A visual requirements validation environment for the reverse engineering of formal specifications from rapid prototypes.
Mehmet Bülent ÖzcanIan C. MorreyPublished in: ACM SIGSOFT Softw. Eng. Notes (1995)
Keyphrases
- reverse engineering
- formal specification
- legacy systems
- software engineering
- software maintenance
- dynamic analysis
- object oriented
- program understanding
- reverse engineer
- specification languages
- gene regulatory networks
- object oriented design
- business rules
- information systems
- conceptual schema
- software engineers
- specification language
- design methodology
- databases
- formal methods
- requirements engineering
- integrity constraints
- database design
- business processes
- high level
- concurrent systems
- case study