Constraint diagrams
Author:
Open Access
- 9 October 1997
- conference paper
- Published by Association for Computing Machinery (ACM)
- Vol. 32 (10) , 327-341
Abstract
No abstract availableKeywords
This publication has 4 references indexed in Scilit:
- An Invitation to Formal MethodsComputer, 1996
- On the frame problem in procedure specificationsIEEE Transactions on Software Engineering, 1995
- A formal semantics for object model diagramsIEEE Transactions on Software Engineering, 1995
- Statecharts: a visual formalism for complex systemsScience of Computer Programming, 1987