Why use evolving algebras for hardware and software engineering?
- 1 January 1995
- book chapter
- Published by Springer Nature
- p. 236-271
- https://doi.org/10.1007/3-540-60609-2_12
Abstract
No abstract availableKeywords
This publication has 21 references indexed in Scilit:
- Seven more myths of formal methodsIEEE Software, 1995
- Ten commandments of formal methodsComputer, 1995
- Formal verification for fault-tolerant architectures: prolegomena to the design of PVSIEEE Transactions on Software Engineering, 1995
- Biting the silver bullet: toward a brighter future for system developmentComputer, 1992
- Education for computing professionalsComputer, 1990
- Denotational and operational semantics for prologThe Journal of Logic Programming, 1988
- No Silver Bullet Essence and Accidents of Software EngineeringComputer, 1987
- Software aspects of strategic defense systemsCommunications of the ACM, 1985
- Social processes and proofs of theorems and programsCommunications of the ACM, 1979
- An axiomatic basis for computer programmingCommunications of the ACM, 1969