A Formal Approach to Hypertext using Post-Prototype Formal Specification.
Danny B. LangePublished in: VDM Europe (1990)
Keyphrases
- formal specification
- specification languages
- model checking
- specification language
- formal methods
- object oriented design
- concurrent systems
- reverse engineering
- process algebra
- expert systems
- database
- artificial intelligence
- data abstraction
- model checker
- knowledge representation
- information technology
- software components
- response time
- database systems
- high level
- information systems