Login / Signup

Generating Java Skeletal Code with Design Contracts from Specifications in a Subset of Object Z.

Sowmiya RamkarthikCui Zhang
Published in: ACIS-ICIS (2006)
Keyphrases
  • source code
  • moving objects
  • object oriented
  • open source
  • case study
  • database systems
  • d objects
  • software architecture
  • object oriented programming
  • object orientation
  • database application development