A technique for software module specification with examples
This paper presents an approach to writing specifications for parts of software systems. The main goal is to provide specifications sufficiently precise and complete that…
A technique for software module specification with examples
Use of the concept of transparency in the design of hierarchically structured systems
On a solution to the cigarette smoker’s problem (without conditional statements)
On the criteria to be used in decomposing systems into modules
A technique for software module specification with examples
Concurrent control with “readers” and “writers”
ACM encourages its members to take a direct hand in shaping the future of the association. There are more ways than ever to get involved.
Get Involved