Elements of style: analyzing a software design feature with a counterexample detector
- 1 July 1996
- journal article
- Published by Institute of Electrical and Electronics Engineers (IEEE) in IEEE Transactions on Software Engineering
- Vol. 22 (7), 484-495
- https://doi.org/10.1109/32.538605
Abstract
No abstract availableThis publication has 24 references indexed in Scilit:
- Consistency checking of SCR-style requirements specificationsPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2002
- Using partial-order methods in the formal validation of industrial concurrent programsPublished by Association for Computing Machinery (ACM) ,1996
- Efficient search as a means of executing specificationsLecture Notes in Computer Science, 1996
- 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
- An executable subset of Meta-IV with loose specificationLecture Notes in Computer Science, 1991
- Debugging Larch shared language specificationsIEEE Transactions on Software Engineering, 1990
- Formal specification as a design toolPublished by Association for Computing Machinery (ACM) ,1980
- Finite state modelling in program developmentPublished by Association for Computing Machinery (ACM) ,1975