Journal of the ACM Bibliography

Manfred Broy. Compositional refinement of interactive systems. Journal of the ACM, 44(6):850-891, November 1997. [BibTeX entry]
Categories and Subject Descriptors: C.0 [General]; D.1.4 [Programming Techniques]: Sequential Programming; D.2.1 [Software Engineering]: Requirements/Specifications -- methodologies; D.2.1 [Software Engineering]: Requirements/Specifications; F.3.1 [Logics and Meanings of Programs]: Specifying and Verifying and Reasoning about Programs -- specification techniques

General Terms: Design, Verification

Additional Key Words and Phrases: Interactive systesm, refinement, specification

Selected references


  • Journal of the ACM homepage
  • Bibliography top level
  • Journal of the ACM Author Index
  • Search the HBP database