Login / Signup

Checking the Conformance of Java Classes Against Algebraic Specifications.

Isabel NunesAntónia LopesVasco Thudichum VasconcelosJoão AbreuLuís S. Reis
Published in: ICFEM (2006)
Keyphrases
  • high level
  • programming language
  • algebraic structures
  • database
  • real time
  • information systems
  • web applications
  • np complete
  • lightweight
  • formal specification
  • consistency checking