Towards Reverse-Engineering of UML Views from Structured Formal Developments.
Akram IdaniBernard CoulettePublished in: ICEIS (3-1) (2008)
Keyphrases
- reverse engineering
- class diagrams
- software engineering
- formal specification
- formal methods
- object oriented
- dynamic analysis
- artificial intelligence
- program understanding
- software maintenance
- conceptual schema
- legacy systems
- software systems
- database design
- gene regulatory networks
- conceptual modeling
- database
- reverse engineer
- development process
- software development
- business rules
- software engineers
- entity relationship
- software evolution
- platform independent
- model driven architecture
- modeling language
- design patterns
- software product
- data model
- uml diagrams
- database systems
- databases