Title: Design Pattern Formalization Techniques
Subjects: Open Source, Software architecture, COMPUTERS, Programming, Software patterns, General, Software Development & Engineering, Formal methods (Computer science), Tools, System design, Computer architecture