Methods, systems, and computer program products for generating computer source code products. According to one method, an engineer creating or modifying an implementation of computer source code selects design patterns from a catalog of pre-existing design patterns. The design patterns are known abstractions that solve specific problems of computer program design and implementation. The selected design patterns are then bound to elements within a representation of the implementation known as a model. The model is then converted into a representation using elemental design patterns, and this abstraction model is used to generate the computer source code in any programming language. The abstraction model is also suitable as input for an automated inference engine for validation or verification purposes prior to or after the generation of the computer source code.