Testing Ada Abstract Data Types Using Formal Specifications.
Stéphane BarbeyDidier BuchsPublished in: Ada-Europe (1994)
Keyphrases
- formal specification
- abstract data types
- software testing
- data types
- object oriented databases
- object oriented design
- specification languages
- programming language
- model checking
- formal methods
- relational database systems
- data model
- reverse engineering
- relational databases
- database management systems
- formal specification language
- web services
- software systems
- data analysis