Formal specification of generative component assembly using two-level grammar.
Barrett R. BryantCarol C. BurtMikhail AugustonRajeev R. RajeAndrew M. OlsonPublished in: SEKE (2002)
Keyphrases
- formal specification
- software components
- model checking
- object oriented design
- specification languages
- specification language
- reverse engineering
- generative model
- data abstraction
- formal methods
- process algebra
- printed circuit boards
- concurrent systems
- context free grammars
- protocol specification
- model checker
- software systems
- natural language
- high level
- assembly process
- grid workflow
- databases