Constraint diagrams
- 9 October 1997
- proceedings article
- Published by Association for Computing Machinery (ACM)
- Vol. 32 (10) , 327-341
- https://doi.org/10.1145/263698.263756
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