Correctness and composition of software architectures
- 1 December 1994
- journal article
- Published by Association for Computing Machinery (ACM) in ACM SIGSOFT Software Engineering Notes
- Vol. 19 (5) , 164-174
- https://doi.org/10.1145/195274.195403
Abstract
No abstract availableThis publication has 7 references indexed in Scilit:
- Specification and analysis of system architecture using RapideIEEE Transactions on Software Engineering, 1995
- Correct architecture refinementIEEE Transactions on Software Engineering, 1995
- The temporal logic of actionsACM Transactions on Programming Languages and Systems, 1994
- Partial orderings of event sets and their application to prototyping concurrent, timed systemsJournal of Systems and Software, 1993
- Composing specificationsACM Transactions on Programming Languages and Systems, 1993
- The PegaSys System: pictures as formal documentation of large programsACM Transactions on Programming Languages and Systems, 1986
- Proof of correctness of data representationsActa Informatica, 1972