Rigorous Object-Oriented Modeling: Integrating Formal and Informal Notations

Authors:
Robert B. France;Jean-Michel Bruel;Maria M. Larrondo-Petrie;E. Grant
Affiliations:
-;-;-;-
Venue:
AMAST '97 Proceedings of the 6th International Conference on Algebraic Methodology and Software Technology
Year:
1997

A problem-oriented analysis of basic UML static requirements modeling concepts

Proceedings of the 14th ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications
The KeY Approach: Integrating Object Oriented Design and Formal Verification

JELIA '00 Proceedings of the European Workshop on Logics in Artificial Intelligence
Towards the development of a rigorous model-driven domain-specific software engineering environment

ACST'07 Proceedings of the third conference on IASTED International Conference: Advances in Computer Science and Technology

Hi-index	0.00