Login / Signup
Object-Z to Java/OO-Perl: A Conversion from Object-Z to Executable Skeletal Code with Dynamically Checkable Design Contracts.
Sherri M. Sanders
Cui Zhang
Published in:
SEKE (2008)
Keyphrases
</>
object orientation
d objects
object oriented
programming language
object model
complex objects
target object
databases
source code
web services
case study
data model
object tracking
multiple objects
software testing