DAIDA: an environment for evolving information systems
ACM Transactions on Information Systems (TOIS)
A Knowledge-Based Approach to the Analysis of Loops
IEEE Transactions on Software Engineering
A graphical user interface for executing formal specifications
Proceedings of the 2001 ACM symposium on Applied computing
Executing Formal Specifications with Concurrent Constraint Programming
Automated Software Engineering
Database Application Development as an Object Modeling Activity
VLDB '90 Proceedings of the 16th International Conference on Very Large Data Bases
The Amsterdam Manifesto on OCL
Object Modeling with the OCL, The Rationale behind the Object Constraint Language
An SGML-based programming environment for literate programming
CASCON '94 Proceedings of the 1994 conference of the Centre for Advanced Studies on Collaborative research
Formal specification of dynamic constraints with the B method
ICFEM '97 Proceedings of the 1st International Conference on Formal Engineering Methods
How the design of JML accommodates both runtime assertion checking and formal verification
Science of Computer Programming - Formal methods for components and objects pragmatic aspects and applications
The design of ESSENCE: a constraint language for specifying combinatorial problems
IJCAI'07 Proceedings of the 20th international joint conference on Artifical intelligence
Teaching Formal Methods for the Unconquered Territory
TFM '09 Proceedings of the 2nd International Conference on Teaching Formal Methods
transML: a family of languages to model model transformations
MODELS'10 Proceedings of the 13th international conference on Model driven engineering languages and systems: Part I
Towards a fully generic theory of data
ICFEM'06 Proceedings of the 8th international conference on Formal Methods and Software Engineering
A survey of formal concept analysis support for software engineering activities
Formal Concept Analysis
Compiling formal specifications to oz programs
MOZ'04 Proceedings of the Second international conference on Multiparadigm Programming in Mozart/Oz
Making specifications complete through models
Proceedings of the 2004 international conference on Architecting Systems with Trustworthy Components
Behavioral interface specification languages
ACM Computing Surveys (CSUR)
Automated verification of model transformations based on visual contracts
Automated Software Engineering
Engineering model transformations with transML
Software and Systems Modeling (SoSyM)
Hi-index | 0.00 |