摘要:
There is provided a method for generating a software module based upon elements from multiple software modules. The method includes the step of extracting a plurality of sets of elements from the multiple software modules based upon at least one extraction criterion. Any elements in the sets that violate at least one correctness and completeness criterion are identified. The violating elements are automatically brought into compliance with the at least one correctness and completeness criterion. A plurality of single software modules is generated, wherein each of the single software modules contains one of the sets of elements. The plurality of single software modules are composed to form a final, single software module. The extracting step may include the steps of: classifying the elements in the multiple software modules according to concerns the elements pertain to; representing the concerns by a multi-dimensional space, wherein each dimension represents a type of concern, each coordinate on a dimension represents a concern of that type, and each point in the space represents an element; and representing the at least one extraction criterion in terms of the multi-dimensional space.