Specification methodology: An integrated relational approach
- 1 November 1986
- journal article
- research article
- Published by Wiley in Software: Practice and Experience
- Vol. 16 (11) , 1003-1030
- https://doi.org/10.1002/spe.4380161105
Abstract
No abstract availableKeywords
This publication has 9 references indexed in Scilit:
- On Formalism in SpecificationsIEEE Software, 1985
- A generalized control structure and its formal definitionCommunications of the ACM, 1983
- Functional Program TestingIEEE Transactions on Software Engineering, 1980
- A controlled experiment in program testing and code walkthroughs/inspectionsCommunications of the ACM, 1978
- Symbolic Testing and the DISSECT Symbolic Evaluation SystemIEEE Transactions on Software Engineering, 1977
- The new math of computer programmingCommunications of the ACM, 1975
- A Semantic Basis for Program VerificationJournal of Cybernetics, 1974
- Programming by action clustersBIT Numerical Mathematics, 1969
- On the calculus of relationsThe Journal of Symbolic Logic, 1941