Communications of the ACM

ACM Forum

Robert L. Ashenhurst
Pages 21-22

---

Computing perspectives: software and the programmer

Engineering could not exist without mathematics and experimental science. Mathematics deals in pure thought and experimental science is concerned with the laws of nature. Within the same framework, it may be said that the aim … Maurice V. Wilkes
Pages 23-24

---

Practical programmer: Testing made palatable

How one team made software testing an integral part of the development process.   Marc Rettig
Pages 25-29

---

Building a foundation for the future of software engineering

Peter A. Freeman, Marie-Claude Gaudel
Pages 30-33

---

LaSSIE: a knowledge-based software information system

Prem Devanbu, Ron Brachman, Peter G. Selfridge
Pages 34-49

---

Multilevel specification of real time systems

Armen Gabrielian, Matthew K. Franklin
Pages 50-60

---

An experiment in formal software development: using the B theorem prover on a VDM case study

Christine Lafontaine, Yves Ledru, Pierre-Yves Schobbens
Pages 62-ff.

---

Specification-level interoperability

Jack C. Wileden, Alexander L. Wolf, William R. Rosenblatt, Peri L. Tarr
Pages 72-87

---

Implementing faceted classification for software reuse

Rubén Prieto-Díaz
Pages 88-97

---

Inside risks: expecting the unexpected mayday

Peter G. Neumann
Page 128

---