Deontic specification patterns-generalisation and classification (original) (raw)
Related papers
The Deontic Pattern-A Framework for Analysis Patterns in Information Systems Design
2008
Modest Formalization of Software Design Patterns
Reuse of Specification Patterns with the B Method
Lecture Notes in Computer Science, 2003
Modeling Design Patterns with Description Logics: A Case Study
Lecture Notes in Computer Science, 2011
Model-based specification of design patterns
R. van Geldrop, Lex Bijlsma, J. van der Woude
Acta Informatica, 1999
Architectural Specifications: Modeling and Structuring Behavior Through Rules
A Metamodeling Approach to Pattern Specification
2006
2003
Design Patterns Formal Composition and Analysis
International Journal of Information Technologies and Systems Approach
A Formal Approach to Design Pattern Definition & Application
1995
A UML-based language for specifying domain-specific patterns
2004
Requirements Modelling by Synthesis of Deontic Input-Output Automata
2013
European Conference on Pattern …, 2006
Pattern Reification as the Basis for Description-Driven Systems
Jean-marie Legoff, Tony Solomonides
Computing Research Repository, 2004
Towards Design Pattern Definition Language
A Tool and a Formalism to Design and Apply Patterns
Lecture Notes in Computer Science, 2002
Using Patterns in Domain-Specific Languages
A Model for Meta-Specification and Cataloging of Software Patterns
2005
The Reification of Patterns in the Design of Description-Driven Systems
2001
Design Patterns –A Modeling Challenge
Design Patterns for Description-Driven Systems
1999
Specification and Instantiation of Domain Specific Patterns based on UML
International Conference on Enterprise Information Systems, 2010
Proceedings of the 14th International Conference on Evaluation of Novel Approaches to Software Engineering
Abstracting and generalising with design patterns
1998
Pattern based software development
2017
Precise specification and automatic application of design patterns
Proceedings 12th IEEE International Conference Automated Software Engineering, 1997