Sign In

Communications of the ACM

Table of Contents

ACM Forum

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 …

Practical programmer: Testing made palatable

How one team made software testing an integral part of the development process.  

Building a foundation for the future of software engineering

LaSSIE: a knowledge-based software information system

Multilevel specification of real time systems

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

Specification-level interoperability

Implementing faceted classification for software reuse

Inside risks: expecting the unexpected mayday