Constraint-Oriented Specification in a Constructive Formal Description Technique

Authors:
Ed Brinksma
Affiliations:
-
Venue:
Stepwise Refinement of Distributed Systems, Models, Formalisms, Correctness, REX Workshop
Year:
1989

Citing 0
Cited 2

A Decomposition of a Formal Specification: An Improved Constraint-Oriented Method

IEEE Transactions on Software Engineering
Non-local choice and beyond: intricacies of MSC choice nodes

FASE'05 Proceedings of the 8th international conference, held as part of the joint European Conference on Theory and Practice of Software conference on Fundamental Approaches to Software Engineering

Quantified Score

Hi-index	0.00

Visualization

Abstract