Login / Signup
Generating Java Skeletal Code with Design Contracts from Specifications in a Subset of Object Z.
Sowmiya Ramkarthik
Cui 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