Semantically Configurable Consistency Analysis for Class and Object Diagrams

Authors:

Publisher website

1 January 2011

book chapter
Published by Springer Nature

p. 153-167
DOI:10.1007/978-3-642-24485-8_12

Abstract

No abstract available

Keywords

All Related Versions

Version 1, 2014-09-08, ArXiv (Unconfirmed version)

This publication has 16 references indexed in Scilit:

MontiCore: a framework for compositional development of domain specific languages
International Journal on Software Tools for Technology Transfer, 2010
Variability within Modeling Language Definitions
Lecture Notes in Computer Science, 2009
On challenges of model transformation from UML to Alloy
Software and Systems Modeling, 2008
USE: A UML-based specification environment for validating UML and OCL
Science of Computer Programming, 2007
Semantic Variations Among UML StateMachines
Lecture Notes in Computer Science, 2006
Feature Models, Grammars, and Propositional Formulas
2005
Template semantics for model-based notations
IEEE Transactions on Software Engineering, 2003
Using Description Logic to Maintain Consistency between UML Models
2003
The UML as a Formal Modeling Notation
1999
Special Feature: Epigrams on programming
ACM SIGPLAN Notices, 1982