A Framework for Verifying the Conformance of Design to Its Formal Specifications.
Dieu-Huong VuYuki ChibaKenro YatakeToshiaki AokiPublished in: IEICE Trans. Inf. Syst. (2015)
Keyphrases
- formal specification
- conceptual framework
- object oriented design
- model checking
- software architecture
- design principles
- case study
- formal specification language
- database systems
- knowledge acquisition
- knowledge based systems
- design process
- information systems
- multi agent
- design methodology
- object oriented database systems