An integrated framework with UML and Object-Z for developing a precise and understandable specification: the light control case study.
Soon-Kyeong KimDavid A. CarringtonPublished in: APSEC (2000)
Keyphrases
- case study
- specification language
- software development
- formal methods
- d objects
- complex objects
- state machine
- uml diagrams
- control system
- real world
- formal specification
- object model
- transparent objects
- control program
- robot control
- conceptual modeling
- control method
- data objects
- software systems
- software engineering
- object oriented
- software design
- moving objects
- object recognition
- software requirements
- three dimensional
- object oriented analysis and design