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