A Reverse-Engineering Approach to Understanding B Specifications with UML Diagrams.
Akram IdaniYves LedruDidier BertPublished in: SEW (2006)
Keyphrases
- reverse engineering
- uml diagrams
- software engineers
- formal specification
- software engineering
- software design
- software maintenance
- legacy software systems
- object oriented
- dynamic analysis
- unified modeling language
- software evolution
- reverse engineer
- gene regulatory networks
- program understanding
- artificial intelligence
- information systems
- conceptual models
- life cycle
- expert systems
- knowledge base
- e learning
- constraint language
- database