Formal specification of data abstraction in FORTRAN 77: abstract arrays.
Adrian ColbrookColin SmythePublished in: Softw. Eng. J. (1990)
Keyphrases
- data abstraction
- formal specification
- model checking
- specification languages
- object oriented design
- process algebra
- formal methods
- reverse engineering
- concurrent systems
- database management
- high level
- abstract data types
- management system
- case study
- decision making
- data mining
- protocol specification
- software components
- artificial intelligence