Keyphrases
- reverse engineering
- software engineering
- software maintenance
- object oriented
- high level
- conceptual schema
- modal logic
- program understanding
- reverse engineer
- dynamic analysis
- computer aided design
- formal specification
- gene regulatory networks
- software evolution
- logic programming
- software product
- genetic regulatory networks
- programming language
- regular expressions
- gene networks
- data abstraction
- open source