1. A method for partitioning a specification in a source code; characterized in that the method comprises the following steps: converting the specification into a plurality of abstract syntax trees; partitioning the plurality of abstract syntax trees into at least a first set and a second set, the first set of abstract syntax trees to be implemented by a first processor and the second set of abstract syntax trees to be implemented by a second processor.