Formal specifications as constructive diagrams

Authors:
Carol Britton;Martin Loomes;Richard Mitchell
Affiliations:
-;-;-
Venue:
Microprocessing and Microprogramming - Special volume: short notes from Euromicro '92
Year:
1983

Citing 0
Cited 1

Evaluating the Intelligibility of Diagrammatic Languages Used in the Specification of Software

Diagrams '00 Proceedings of the First International Conference on Theory and Application of Diagrams

Quantified Score

Hi-index	0.00

Visualization

Abstract