Modelling Specification Construction by Successive Approximations

Authors:
Nicole Lévy;Jeanine Souquières
Affiliations:
-;-
Venue:
AMAST '97 Proceedings of the 6th International Conference on Algebraic Methodology and Software Technology
Year:
1997

A Method for Requirements Elicitation and Formal Specification

ER '99 Proceedings of the 18th International Conference on Conceptual Modeling
A Systematic Approach to Transform OMT Diagrams to a B Specification

FM '99 Proceedings of the Wold Congress on Formal Methods in the Development of Computing Systems-Volume I - Volume I
Methodological Support for Requirements Elicitation and Formal Specification

IWSSD '98 Proceedings of the 9th international workshop on Software specification and design

Hi-index	0.03