Login / Signup

Identification of and Solutions to Shortcomings of LCL, a Larch/C Interface Specification Language.

Patrice ChalinPeter GrogonoThiruvengadam Radhakrishnan
Published in: FME (1996)
Keyphrases
  • specification language
  • description language
  • formal specification
  • programming language
  • software environment
  • web services
  • user interface
  • machine learning
  • multi agent
  • symbolic execution
  • requirements specification