Formal specification of software using H-graph semantics.
Terrence W. PrattPublished in: Graph-Grammars and Their Application to Computer Science (1982)
Keyphrases
- formal specification
- specification languages
- specification language
- object oriented design
- process algebra
- software components
- formal methods
- model checking
- reverse engineering
- software systems
- data abstraction
- software maintenance
- software design
- software development
- concurrent systems
- database
- formal semantics
- test cases
- open source
- software architecture
- fine grained
- knowledge based systems
- multi agent systems
- databases