Strongest Postcondition Semantics as the Formal Basis for Reverse Engineering.
Gerald C. GannodBetty H. C. ChengPublished in: Autom. Softw. Eng. (1996)
Keyphrases
- reverse engineering
- conceptual schema
- formal specification
- software engineering
- object oriented
- dynamic analysis
- software maintenance
- business rules
- formal language
- reverse engineer
- software product
- model theoretic
- operational semantics
- software evolution
- program understanding
- mathematical theory
- gene regulatory networks
- computer aided design
- software engineers
- legacy systems
- genetic regulatory networks
- highly expressive
- description logics