ACM Transactions on Programming Languages and Systems (TOPLAS)
Design patterns: elements of reusable object-oriented software
Design patterns: elements of reusable object-oriented software
Design patterns for object-oriented software development
Design patterns for object-oriented software development
Monitoring compliance of a software system with its high-level design models
Proceedings of the 18th international conference on Software engineering
Pattern-oriented software architecture: a system of patterns
Pattern-oriented software architecture: a system of patterns
The object constraint language: precise modeling with UML
The object constraint language: precise modeling with UML
Proceedings of the 20th international conference on Software engineering
Pattern-Oriented Software Architecture: Patterns for Concurrent and Networked Objects
Pattern-Oriented Software Architecture: Patterns for Concurrent and Networked Objects
Precise Visual Specification of Design Patterns
ECCOP '98 Proceedings of the 12th European Conference on Object-Oriented Programming
Using Role-Based Modeling Language (RBML) to Characterize Model Families
ICECCS '02 Proceedings of the Eighth International Conference on Engineering of Complex Computer Systems
A Role-Based Metamodeling Approach to Specifying Design Patterns
COMPSAC '03 Proceedings of the 27th Annual International Conference on Computer Software and Applications
Precise modeling of design patterns
UML'00 Proceedings of the 3rd international conference on The unified modeling language: advancing the standard
1FACS'96 Proceedings of the 1st BCS-FACS conference on Northern Formal Methods
Semantic-based weaving of scenarios
Proceedings of the 5th international conference on Aspect-oriented software development
Composing aspect models with graph transformations
Proceedings of the 2006 international workshop on Early aspects at ICSE
Toward effective deployment of design patterns for software extension: a case study
Proceedings of the 2006 international workshop on Software quality
Run-time monitoring of architecturally significant behaviors using behavioral profiles and aspects
Proceedings of the 2006 international symposium on Software testing and analysis
Information and Software Technology
Propositional Logic Constraint Patterns and Their Use in UML-Based Conceptual Modeling and Analysis
IEEE Transactions on Knowledge and Data Engineering
Visualizing Design Patterns in Their Applications and Compositions
IEEE Transactions on Software Engineering
An approach to precisely specifying the problem domain of design patterns
Journal of Visual Languages and Computing
On the refinement of web application systems from upper-stream models to program models
SEPADS'07 Proceedings of the 6th WSEAS International Conference on Software Engineering, Parallel and Distributed Systems
ICER: a tool for finding errors in a UML model
Proceedings of the 2008 ACM symposium on Applied computing
A quantitative approach for evaluating the quality of design patterns
Journal of Systems and Software
Evaluating pattern conformance of UML models: a divide-and-conquer approach and case studies
Software Quality Control
Describing access control models as design patterns using roles
Proceedings of the 2006 conference on Pattern languages of programs
Derivation of program models for web application systems using meta-models
SEPADS'08 Proceedings of the 7th WSEAS International Conference on Software Engineering, Parallel and Distributed Systems
An Embedded Software Testing Tool Supporting Multi-paradigm Views
ICCSA '08 Proceeding sof the international conference on Computational Science and Its Applications, Part I
Semantics Preservation of Sequence Diagram Aspects
ECMDA-FA '08 Proceedings of the 4th European conference on Model Driven Architecture: Foundations and Applications
Managing Non-Functional Properties of Inter-enterprise Business Service Delivery
Service-Oriented Computing - ICSOC 2007 Workshops
An aspect-oriented methodology for designing secure applications
Information and Software Technology
Advanced separation of concerns in agent-oriented design patterns
International Journal of Agent-Oriented Software Engineering
Formal Foundation for Pattern-Based Modelling
FASE '09 Proceedings of the 12th International Conference on Fundamental Approaches to Software Engineering: Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009
Utilizing domain models for application design and validation
Information and Software Technology
Modeling UML software design patterns using fundamental modeling concepts (FMC)
ECC'08 Proceedings of the 2nd conference on European computing conference
Dealing with Complexity Using Conceptual Models Based on Tropos
Conceptual Modeling: Foundations and Applications
Assessing conformance of pattern-based design in UML
Proceedings of the 46th Annual Southeast Regional Conference on XX
Introducing Motivations in Design Pattern Representation
ICSR '09 Proceedings of the 11th International Conference on Software Reuse: Formal Foundations of Reuse and Domain Engineering
Quality-driven architecture development using architectural tactics
Journal of Systems and Software
Support for aspectual modeling to Multiagent system architecture
EA '09 Proceedings of the 2009 ICSE Workshop on Aspect-Oriented Requirements Engineering and Architecture Design
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
Polymorphic Scenario-Based Specification Models: Semantics and Applications
MODELS '09 Proceedings of the 12th International Conference on Model Driven Engineering Languages and Systems
Design Patterns Instantiation Based on Semantics and Model Transformations
SOFSEM '10 Proceedings of the 36th Conference on Current Trends in Theory and Practice of Computer Science
Assessing the impact of aspects on model composition effort
Proceedings of the 9th International Conference on Aspect-Oriented Software Development
Towards automatization of domain modeling
Data & Knowledge Engineering
Designing social patterns using advanced separation of concerns
CAiSE'07 Proceedings of the 19th international conference on Advanced information systems engineering
A pattern story for combining crosscutting concern state machines
Proceedings of the 14th Conference on Pattern Languages of Programs
DAIS'07 Proceedings of the 7th IFIP WG 6.1 international conference on Distributed applications and interoperable systems
A XML script-based testing tool for embedded softwares
ICCSA'07 Proceedings of the 2007 international conference on Computational science and Its applications - Volume Part II
Weaving multiple aspects in sequence diagrams
Transactions on aspect-oriented software development III
Information and Software Technology
Automatic enforcement of architectural design rules
Proceedings of the 32nd ACM/IEEE International Conference on Software Engineering - Volume 2
Formalising design and interaction patterns and their relationships
Proceedings of the 1st International Workshop on Pattern-Driven Engineering of Interactive Computing Systems
Empirical Software Engineering
Mining early aspects based on syntactical and dependency analyses
Science of Computer Programming
Behavioral profiles—a way to model and validate program behavior
Software—Practice & Experience
Object oriented design pattern decay: a taxonomy
Proceedings of the 2010 ACM-IEEE International Symposium on Empirical Software Engineering and Measurement
Tool support for quality-driven development of software architectures
Proceedings of the IEEE/ACM international conference on Automated software engineering
CAiSE'10 Proceedings of the 22nd international conference on Advanced information systems engineering
A process to derive domain-specific patterns: application to the real time domain
ADBIS'10 Proceedings of the 14th east European conference on Advances in databases and information systems
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
On the synthesis of upper-stream models for various web application systems
ACS'06 Proceedings of the 6th WSEAS international conference on Applied computer science
A survey on UML-based aspect-oriented design modeling
ACM Computing Surveys (CSUR)
Design pattern solutions as explicit entities in component-based software development
Proceedings of the 16th international workshop on Component-oriented programming
A model-based framework for software performance feedback
MODELS'10 Proceedings of the 2010 international conference on Models in software engineering
Pattern tool support to guide interface design
INTERACT'11 Proceedings of the 13th IFIP TC 13 international conference on Human-computer interaction - Volume Part II
A metamodeling approach to pattern specification
MoDELS'06 Proceedings of the 9th international conference on Model Driven Engineering Languages and Systems
An Approach for Modeling Architectural Design Rules in UML and its Application to Embedded Software
ACM Transactions on Software Engineering and Methodology (TOSEM)
Aspect-Oriented risk driven development of secure applications
DBSEC'06 Proceedings of the 20th IFIP WG 11.3 working conference on Data and Applications Security
A tool for a formal pattern modeling language
ICFEM'06 Proceedings of the 8th international conference on Formal Methods and Software Engineering
A methodology to assess the impact of design patterns on software quality
Information and Software Technology
A test case refactoring approach for pattern-based software development
Software Quality Control
An institution theory of formal meta-modelling in graphically extended BNF
Frontiers of Computer Science in China
Interaction transformation patterns based on semantic roles
NLDB'05 Proceedings of the 10th international conference on Natural Language Processing and Information Systems
Modeling volatile concerns as aspects
CAiSE'06 Proceedings of the 18th international conference on Advanced Information Systems Engineering
A rigorous foundation for pattern-based design models
ZB'05 Proceedings of the 4th international conference on Formal Specification and Development in Z and B
Dynamic secure aspect modeling with UML: from models to code
MoDELS'05 Proceedings of the 8th international conference on Model Driven Engineering Languages and Systems
Representing and applying design patterns: what is the problem?
MoDELS'05 Proceedings of the 8th international conference on Model Driven Engineering Languages and Systems
Conceptual modeling based on transformation linguistic patterns
ER'05 Proceedings of the 24th international conference on Conceptual Modeling
Precise specification of design pattern structure and behaviour
ECMFA'10 Proceedings of the 6th European conference on Modelling Foundations and Applications
A performance profile and test tool for development of embedded software using various report views
ICCS'06 Proceedings of the 6th international conference on Computational Science - Volume Part II
ICSR'06 Proceedings of the 9th international conference on Reuse of Off-the-Shelf Components
Analyzing object-oriented design patterns from an object-process viewpoint
NGITS'06 Proceedings of the 6th international conference on Next Generation Information Technologies and Systems
A pattern story for combining crosscutting concern state machines
Transactions on Pattern Languages of Programming I
Antipattern-based model refactoring for software performance improvement
Proceedings of the 8th international ACM SIGSOFT conference on Quality of Software Architectures
Polymorphic scenario-based specification models: semantics and applications
Software and Systems Modeling (SoSyM)
Reusing pattern solutions in modeling: a generic approach based on a role language
SLE'11 Proceedings of the 4th international conference on Software Language Engineering
Design decision topology model for pattern relationship analysis
Proceedings of the 1st Asian Conference on Pattern Languages of Programs
Understanding design patterns — what is the problem?
Software—Practice & Experience
Modelling adaptations requirements in web workflows
Proceedings of the 14th International Conference on Information Integration and Web-based Applications & Services
Identifying and modelling complex workflow requirements in web applications
ICWE'12 Proceedings of the 12th international conference on Current Trends in Web Engineering
Modeling Design Patterns for Semi-Automatic Reuse in System Design
Journal of Database Management
A multiple case study of design pattern decay, grime, and rot in evolving software systems
Software Quality Control
Propagation of incremental changes to performance model due to SOA design pattern application
Proceedings of the 4th ACM/SPEC International Conference on Performance Engineering
ACM Transactions on Software Engineering and Methodology (TOSEM) - In memoriam, fault detection and localization, formal methods, modeling and design
Composition-Centered architectural pattern description language
ECSA'13 Proceedings of the 7th European conference on Software Architecture
Automated verification of design patterns: A case study
Science of Computer Programming
An approach for modeling and detecting software performance antipatterns based on first-order logics
Software and Systems Modeling (SoSyM)
| Hi-index | 0.00 |
Abstract--Informally described design patterns are useful for communicating proven solutions for recurring design problems to developers, but they cannot be used as compliance points against which solutions that claim to conform to the patterns are checked. Pattern specification languages that utilize mathematical notation provide the needed formality, but often at the expense of usability. In this paper, we present a rigorous and practical technique for specifying pattern solutions expressed in the Unified Modeling Language (UML). The specification technique paves the way for the development of tools that support rigorous application of design patterns to UML design models. The technique has been used to create specifications of solutions for several popular design patterns. We illustrate the use of the technique by specifying observer and visitor pattern solutions.