Functional documents for computer systems
- 31 October 1995
- journal article
- Published by Elsevier in Science of Computer Programming
- Vol. 25 (1) , 41-61
- https://doi.org/10.1016/0167-6423(95)96871-j
Abstract
No abstract availableKeywords
This publication has 28 references indexed in Scilit:
- Foundations of the trace assertion method of module interface specificationIEEE Transactions on Software Engineering, 2001
- Precise documentation of well-structured programsIEEE Transactions on Software Engineering, 1994
- Simulating the behavior of software modules by trace rewritingIEEE Transactions on Software Engineering, 1994
- Predicate logic for software engineeringIEEE Transactions on Software Engineering, 1993
- Predicative programmingNew Generation Computing, 1991
- Principles of Computer Programming: A Mathematical Approach: By Harlan D. Mills, Victor R. Basili, John D. Gannon and Richard G. Hamlet. Brown Publishers, Oxford, 1988, Price £20.75 (paperback), ISBN 0-697-06841-2.Science of Computer Programming, 1989
- Predicative programming Part ICommunications of the ACM, 1984
- A generalized control structure and its formal definitionCommunications of the ACM, 1983
- The new math of computer programmingCommunications of the ACM, 1975
- On the criteria to be used in decomposing systems into modulesCommunications of the ACM, 1972