Parallel program design: a foundation
Parallel program design: a foundation
The role of formal reusable frameworks
Conference proceedings on Formal methods in software development
Object-oriented specification of reactive systems
ICSE '90 Proceedings of the 12th international conference on Software engineering
ACM Transactions on Programming Languages and Systems (TOPLAS)
Design patterns: elements of reusable object-oriented software
Design patterns: elements of reusable object-oriented software
Object-Oriented Behavioral Specifications
Object-Oriented Behavioral Specifications
Design Patterns: Abstraction and Reuse of Object-Oriented Design
ECOOP '93 Proceedings of the 7th European Conference on Object-Oriented Programming
A Formal Approach to Architectural Design Patterns
FME '96 Proceedings of the Third International Symposium of Formal Methods Europe on Industrial Benefit and Advances in Formal Methods
Verification of Reactive Systems Using DisCo and PVS
FME '97 Proceedings of the 4th International Symposium of Formal Methods Europe on Industrial Applications and Strengthened Foundations of Formal Methods
Comparing architectural styles: broker specializes mediator
ISAW '98 Proceedings of the third international workshop on Software architecture
eLeLePUS - a language for specification of software design patterns
Proceedings of the 2001 ACM symposium on Applied computing
Secure and efficient mobile agent application reuse using patterns
SSR '01 Proceedings of the 2001 symposium on Software reusability: putting software reuse in context
Designing a distributed computing environment for global-scale systems: challenges and issues
ACM SIGAPP Applied Computing Review
Design pattern implementation in Java and aspectJ
OOPSLA '02 Proceedings of the 17th ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications
A Theory of Object-Oriented Design
Information Systems Frontiers
Generating Application Development Environments for Java Frameworks
GCSE '01 Proceedings of the Third International Conference on Generative and Component-Based Software Engineering
Integration in Component-Based Software Development Using Design Patterns
COMPSAC '00 24th International Computer Software and Applications Conference
Design Templates for Collective Behavior
ECOOP '00 Proceedings of the 14th European Conference on Object-Oriented Programming
Design Patterns Application in UML
ECOOP '00 Proceedings of the 14th European Conference on Object-Oriented Programming
ECOOP '02 Proceedings of the 16th European Conference on Object-Oriented Programming
A Formal Model of Object-Oriented Design and GoF Design Patterns
FME '01 Proceedings of the International Symposium of Formal Methods Europe on Formal Methods for Increasing Software Productivity
Component and Interface Refinement in Closed-System Specifications
FM '99 Proceedings of the Wold Congress on Formal Methods in the Development of Computing Systems-Volume I - Volume I
Architecture, design, implementation
Proceedings of the 25th International Conference on Software Engineering
Model checking the composition of hypermedia design components
CASCON '00 Proceedings of the 2000 conference of the Centre for Advanced Studies on Collaborative research
Principles in formal specification of object oriented design and architecture
CASCON '01 Proceedings of the 2001 conference of the Centre for Advanced Studies on Collaborative research
Action systems in incremental and aspect-oriented modeling
Distributed Computing - Papers in celebration of the 20th anniversary of PODC
Software Process Representation and Analysis for Framework Instantiation
IEEE Transactions on Software Engineering
A UML-Based Pattern Specification Technique
IEEE Transactions on Software Engineering
Responsibilities and Rewards: Specifying Design Patterns
Proceedings of the 26th International Conference on Software Engineering
OOPSLA '05 Proceedings of the 20th annual ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications
Modeling architectural patterns using architectural primitives
OOPSLA '05 Proceedings of the 20th annual ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications
Automated generation of monitors for pattern contracts
Proceedings of the 2006 ACM symposium on Applied computing
Pattern categories: a mathematical approach for organizing design patterns
CRPIT '02 Proceedings of the 2002 conference on Pattern languages of programs - Volume 13
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
Systematic pattern selection using pattern language grammars and design space analysis
Software—Practice & Experience
Modeling process-driven and service-oriented architectures using patterns and pattern primitives
ACM Transactions on the Web (TWEB)
Composing pattern-based components and verifying correctness
Journal of Systems and Software
An approach to precisely specifying the problem domain of design patterns
Journal of Visual Languages and Computing
Assisting novice software designers by an expert designer agent
Expert Systems with Applications: An International Journal
A catalog of architectural primitives for modeling architectural patterns
Information and Software Technology
Evaluating pattern conformance of UML models: a divide-and-conquer approach and case studies
Software Quality Control
Conquering Fine-Grained Blends of Design Patterns
ICSR '08 Proceedings of the 10th international conference on Software Reuse: High Confidence Software Reuse in Large Systems
Design profiles: toward unified tool support for design patterns and UML profiles
Software—Practice & Experience
Modeling UML software design patterns using fundamental modeling concepts (FMC)
ECC'08 Proceedings of the 2nd conference on European computing conference
Pattern Repositories for Software Engineering Education
Proceedings of the 2007 conference on Databases and Information Systems IV: Selected Papers from the Seventh International Baltic Conference DB&IS'2006
Introducing Motivations in Design Pattern Representation
ICSR '09 Proceedings of the 11th International Conference on Software Reuse: Formal Foundations of Reuse and Domain Engineering
Reusing Patterns through Design Refinement
ICSR '09 Proceedings of the 11th International Conference on Software Reuse: Formal Foundations of Reuse and Domain Engineering
Tracing correct usage of design patterns
SEA '07 Proceedings of the 11th IASTED International Conference on Software Engineering and Applications
Formal specification of the variants and behavioural features of design patterns
Journal of Systems and Software
Automated verification of security pattern compositions
Information and Software Technology
A family of languages for architecture constraint specification
Journal of Systems and Software
Reuse of specification patterns with the B method
ZB'03 Proceedings of the 3rd international conference on Formal specification and development in Z and B
Precise modeling of design patterns
UML'00 Proceedings of the 3rd international conference on The unified modeling language: advancing the standard
Software pattern communities: current practices and challenges
Proceedings of the 14th Conference on Pattern Languages of Programs
Modeling the variability of architectural patterns
Proceedings of the 2010 ACM Symposium on Applied Computing
An approach for structural pattern composition
SC'07 Proceedings of the 6th international conference on Software composition
Automatic enforcement of architectural design rules
Proceedings of the 32nd ACM/IEEE International Conference on Software Engineering - Volume 2
A formal pattern architecture for safe medical systems
WRLA'10 Proceedings of the 8th international conference on Rewriting logic and its applications
ICFEM'10 Proceedings of the 12th international conference on Formal engineering methods and software engineering
Design pattern solutions as explicit entities in component-based software development
Proceedings of the 16th international workshop on Component-oriented programming
MetaProPOS: a meta-process patterns ontology for software development communities
KES'11 Proceedings of the 15th international conference on Knowledge-based and intelligent information and engineering systems - Volume Part I
An Approach for Modeling Architectural Design Rules in UML and its Application to Embedded Software
ACM Transactions on Software Engineering and Methodology (TOSEM)
A methodology to assess the impact of design patterns on software quality
Information and Software Technology
On horizontal specification architectures and their aspect-oriented implementations
Transactions on Aspect-Oriented Software Development II
(Behavioural) design patterns as composition operators
CBSE'10 Proceedings of the 13th international conference on Component-Based Software Engineering
Amplifying the benefits of design patterns: from specification through implementation
FASE'06 Proceedings of the 9th international conference on Fundamental Approaches to Software Engineering
Design decision topology model for pattern relationship analysis
Proceedings of the 1st Asian Conference on Pattern Languages of Programs
Finding the pattern you need: the design pattern intent ontology
MODELS'07 Proceedings of the 10th international conference on Model Driven Engineering Languages and Systems
ACM Transactions on Software Engineering and Methodology (TOSEM) - In memoriam, fault detection and localization, formal methods, modeling and design
Automatic Recognition of Design Patterns from UML-based Software Documentation
Proceedings of International Conference on Information Integration and Web-based Applications & Services
Taming distributed system complexity through formal patterns
Science of Computer Programming
Hi-index | 0.00 |