Proceedings of the 20th international conference on Software engineering
A Logical Theory of Interfaces and Objects
IEEE Transactions on Software Engineering
Views and Patterns in E-Commerce Application Design
Annals of Software Engineering
Generating Application Development Environments for Java Frameworks
GCSE '01 Proceedings of the Third International Conference on Generative and Component-Based Software Engineering
Design Patterns Application in UML
ECOOP '00 Proceedings of the 14th European Conference on Object-Oriented Programming
Model checking the composition of hypermedia design components
CASCON '00 Proceedings of the 2000 conference of the Centre for Advanced Studies on Collaborative research
Software Process Representation and Analysis for Framework Instantiation
IEEE Transactions on Software Engineering
Type-theoretic design patterns
Proceedings of the 2006 ACM SIGPLAN workshop on Generic programming
Visualizing Design Patterns in Their Applications and Compositions
IEEE Transactions on Software Engineering
Composing pattern-based components and verifying correctness
Journal of Systems and Software
Automated verification of security pattern compositions
Information and Software Technology
EWSA'05 Proceedings of the 2nd European conference on Software Architecture
ACM Transactions on Software Engineering and Methodology (TOSEM) - In memoriam, fault detection and localization, formal methods, modeling and design
Taming distributed system complexity through formal patterns
Science of Computer Programming
| Hi-index | 0.00 |