Login / Signup

A Notion of Implementation for the Specification Language OBSCURE.

Thomas Lehmann
Published in: ADT (1990)
Keyphrases
  • specification language
  • programming language
  • formal specification
  • description language
  • symbolic execution
  • software environment
  • databases
  • general purpose
  • domain specific
  • model checking
  • requirements specification