Structured analysis - formal design, using stream and object oriented formal specifications.
Hans ToetenelJan van KatwijkNico PlatPublished in: Formal Methods in Software Development (1990)
Keyphrases
- formal specification
- object oriented
- object oriented design
- design methodology
- case study
- formal methods
- specification languages
- real world
- design process
- database design
- design patterns
- artificial intelligence
- database
- model checking
- database applications
- object oriented databases
- general purpose
- data model
- object oriented database systems
- data streams
- object oriented systems
- object oriented data models
- databases