Title: Design Patterns Formalization Techniques
Subjects: Computer architecture, System design