Login / Signup

The Larch Family of Specification Languages.

John V. GuttagJames J. HorningJeannette M. Wing
Published in: IEEE Softw. (1985)
Keyphrases
  • specification languages
  • formal specification
  • object oriented programs
  • first order logic
  • special case
  • model checking
  • database
  • real world
  • information systems
  • artificial neural networks
  • probabilistic model