Elements of style
- 1 May 1996
- journal article
- Published by Association for Computing Machinery (ACM) in ACM SIGSOFT Software Engineering Notes
- Vol. 21 (3) , 239-249
- https://doi.org/10.1145/226295.226322
Abstract
No abstract availableThis publication has 9 references indexed in Scilit:
- Faster checking of software specifications by eliminating isomorphsPublished by Association for Computing Machinery (ACM) ,1996
- Model checking software systemsPublished by Association for Computing Machinery (ACM) ,1995
- The IFAD VDM-SL toolboxACM SIGPLAN Notices, 1994
- Aslantest: a symbolic execution tool for testing Aslan formal specificationsPublished by Association for Computing Machinery (ACM) ,1994
- Requirements specification for process-control systemsIEEE Transactions on Software Engineering, 1994
- State-based model checking of event-driven system requirementsIEEE Transactions on Software Engineering, 1993
- Debugging Larch shared language specificationsIEEE Transactions on Software Engineering, 1990
- Automatic verification of finite-state concurrent systems using temporal logic specificationsACM Transactions on Programming Languages and Systems, 1986
- Formal specification as a design toolPublished by Association for Computing Machinery (ACM) ,1980