Formal design constraints
- 1 October 1996
- conference paper
- Published by Association for Computing Machinery (ACM)
- Vol. 31 (10) , 370-383
- https://doi.org/10.1145/236337.236376
Abstract
No abstract availableThis publication has 3 references indexed in Scilit:
- Exploiting style in architectural design environmentsACM SIGSOFT Software Engineering Notes, 1994
- Foundations for the study of software architectureACM SIGSOFT Software Engineering Notes, 1992
- Graph-Based Algorithms for Boolean Function ManipulationIEEE Transactions on Computers, 1986