Login / Signup

How to Make Algebraic Specifications More Understandable: An Experiment with the PLUSS Specification Language.

Michel BidoitMarie-Claude GaudelA. Mauboussin
Published in: Sci. Comput. Program. (1989)
Keyphrases
  • specification language
  • formal specification
  • programming language
  • description language
  • symbolic execution
  • requirements specification
  • software environment
  • data structure
  • distributed systems
  • model checking