FOZCIL: A framework for converting formal specifications in Object-Z to design contracts in OO programming languages.
Nixon Sunny GeorgeCui ZhangAnne-Louise RadimskyPublished in: IRI (2011)
Keyphrases
- programming language
- object oriented
- specification language
- object oriented design
- formal specification
- strongly typed
- general purpose
- domain specific languages
- software engineering
- design methodology
- object oriented systems
- programming environment
- high level
- semantic data models
- design patterns
- programming paradigms
- database languages
- java language
- data abstraction
- case study
- database systems
- building blocks
- database applications
- conceptual model
- model checking
- object oriented programming
- complex objects
- database technology
- specification languages
- knowledge representation
- software maintenance
- reverse engineering
- software components