Software specification methods: an overview using a case study

Authors:
Marc Frappier;Henri Habrias
Affiliations:
Univ. de Sherbrooke, Sherbrooke, P.Q., Canada;L'Institut de Recherche en Informatique de Nantes, Nantes, France
Venue:
Software specification methods: an overview using a case study
Year:
2001

Citing 0
Cited 3

Towards a formal specification of an electronic payment system in CSP-CASL

WADT'04 Proceedings of the 17th international conference on Recent Trends in Algebraic Development Techniques
The subject-oriented approach to software design and the abstract state machines method

Conceptual Modelling and Its Theoretical Foundations
Approaches to modeling business processes: a critical analysis of BPMN, workflow patterns and YAWL

Software and Systems Modeling (SoSyM)

Quantified Score

Hi-index	0.00

Visualization

Abstract