KIDS: A Semiautomatic Program Development System
IEEE Transactions on Software Engineering
The B-book: assigning programs to meanings
The B-book: assigning programs to meanings
Proposed NIST standard for role-based access control
ACM Transactions on Information and System Security (TISSEC)
The Science of Programming
Model Checking Complete Requirements Specifications Using Abstraction
Automated Software Engineering
Advanced Systems Design with Java, UML and MDA
Advanced Systems Design with Java, UML and MDA
Formal Specification using Interaction Diagrams
SEFM '07 Proceedings of the Fifth IEEE International Conference on Software Engineering and Formal Methods
Electronic Notes in Theoretical Computer Science (ENTCS)
Model checking of UML 2.0 interactions
MoDELS'06 Proceedings of the 2006 international conference on Models in software engineering
29 new unclarities in the semantics of UML 2.0 state machines
ICFEM'05 Proceedings of the 7th international conference on Formal Methods and Software Engineering
AIC'09 Proceedings of the 9th WSEAS international conference on Applied informatics and communications
Formal behavior modeling and effective automatic refinement
Information Sciences: an International Journal
Slicing of UML models using model transformations
MODELS'10 Proceedings of the 13th international conference on Model driven engineering languages and systems: Part II
Specification and verification of model transformations using UML-RSDS
IFM'10 Proceedings of the 8th international conference on Integrated formal methods
A model-based development approach for model transformations
FSEN'11 Proceedings of the 4th IPM international conference on Fundamentals of Software Engineering
Correctness of object oriented models by extended type inference
ICTAC'12 Proceedings of the 9th international conference on Theoretical Aspects of Computing
A survey and comparison of transformation tools based on the transformation tool contest
Science of Computer Programming
Hi-index | 0.00 |
To obtain the full benefits of model-driven development (MDD) approaches such as MDA, a suitable level of abstraction needs to be chosen which enables the core functionality and properties of a system to be expressed, independent of programming language or implementation platform, so that this specification can be reused for a wide variety of different environments. This paper describes how constraints, together with UML class diagrams and state machines, can be used as a precise and platform-independent specification language. We describe the use of constraints in UML-RSDS and tool support for the synthesis of executable systems from constraints.