Journal of Systems and Software
Verification architectures: compositional reasoning for real-time systems
IFM'10 Proceedings of the 8th international conference on Integrated formal methods
A tool for design pattern detection and software architecture reconstruction
Information Sciences: an International Journal
Aggregation of experiences in experience factories into software patterns
ACM SIGSOFT Software Engineering Notes
Understanding the relevance of micro-structures for design patterns detection
Journal of Systems and Software
A theory of classes from the theoretical foundations of LePUS3
ICFEM'11 Proceedings of the 13th international conference on Formal methods and software engineering
QoSA'10 Proceedings of the 6th international conference on Quality of Software Architectures: research into Practice - Reality and Gaps
Automatic verification of real-time systems with rich data: an overview
TAMC'12 Proceedings of the 9th Annual international conference on Theory and Applications of Models of Computation
Real-Time coordination patterns for advanced mechatronic systems
COORDINATION'12 Proceedings of the 14th international conference on Coordination Models and Languages
On the appropriate rationale for using design patterns and pattern documentation
Proceedings of the 9th international ACM Sigsoft conference on Quality of software architectures
On the existence of high-impact refactoring opportunities in programs
ACSC '12 Proceedings of the Thirty-fifth Australasian Computer Science Conference - Volume 122
Scalable motif detection and aggregation
ADC '12 Proceedings of the Twenty-Third Australasian Database Conference - Volume 124
Towards a Common Semantic Representation of Design and Cloud Patterns
Proceedings of International Conference on Information Integration and Web-based Applications & Services
Automated verification of design patterns: A case study
Science of Computer Programming
Visualizing protected variations in evolving software designs
Journal of Systems and Software
Hi-index | 0.00 |
Many formal approaches for pattern specification are emerging as a means to cope with the inherent shortcomings of informal description. Design Pattern Formalization Techniques presents multiple mathematical, formal approaches for pattern specification, emphasizing on software development processes for engineering disciplines. Design Pattern Formalization Techniques focuses on formalizing the solution element of patterns, providing tangible benefits to pattern users, researchers, scholars, academicians, practitioners and students working in the field of design patterns and software reuse. Design Pattern Formalization Techniques explains details on several specification languages, allowing readers to choose the most suitable formal technique to solve their specific inquiries.