Attempto Controlled English — Not Just Another Logic Specification Language

This publication has 16 references indexed in Scilit:

• Specifications are necessarily informal or: Some more myths of formal methods
  Journal of Systems and Software, 1998
• Seven more myths of formal methods
  IEEE Software, 1995
• Ten commandments of formal methods
  Computer, 1995
• A Method for Controlling the Production of Specifications in Natural Language
  The Computer Journal, 1995
• Dealing with Ambiguities by Underspecification: Construction, Representation and Deduction
  Journal of Semantics, 1993
• Specifications are (preferably) executable
  Software Engineering Journal, 1992
• Seven myths of formal methods
  IEEE Software, 1990
• A specifier's introduction to formal methods
  Computer, 1990
• A 15 Year Perspective on Automatic Programming
  IEEE Transactions on Software Engineering, 1985
• On Formalism in Specifications
  IEEE Software, 1985