From Specifications to Machine Code: Program Construction through Formal Reasoning.
Friedrich L. BauerPublished in: ICSE (1982)
Keyphrases
- control flow
- program understanding
- formal specification
- formal models
- construction process
- static analysis
- program code
- reactive systems
- unit testing
- formal language
- source code
- code generation
- reverse engineering
- computer programs
- java programs
- test cases
- knowledge base
- meta level
- data flow
- specification language
- operational semantics
- program execution
- fault localization
- execution traces
- programs written
- requirements specification
- java code
- software testing
- knowledge representation
- reasoning systems
- expert systems
- formal methods
- formal model
- programming language
- software systems
- concurrent programs
- program slicing
- open source
- semantic web
- delay insensitive
- reasoning mechanisms
- model checking
- qualitative reasoning
- automated reasoning
- reasoning process