Specifying and prototyping: Some thoughts on why they are successful

This publication has 29 references indexed in Scilit:

• An assessment of the prototyping approach to information systems development
  Communications of the ACM, 1984
• The Best Available Technologies for Computer Security
  Computer, 1983
• Scomp: A Solution to the Multilevel Security Problem
  Computer, 1983
• Combining Testing with Formal Specifications: A Case Study
  IEEE Transactions on Software Engineering, 1983
• SDC Secure Release Terminal Project
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,1983
• Computer experiments with the REVE term rewriting system generator
  Published by Association for Computing Machinery (ACM) ,1983
• Some notes on putting formal specifications to productive use
  Science of Computer Programming, 1982
• Formal specification as a design tool
  Published by Association for Computing Machinery (ACM) ,1980
• Social processes and proofs of theorems and programs
  Communications of the ACM, 1979
• Can programming be liberated from the von Neumann style?
  Communications of the ACM, 1978