UML Based Reverse Engineering for the Verification of Railway Control Logics.
Chiara AbbaneoFrancesco FlamminiArmando LazzaroPietro MarmoNicola MazzoccaAngela SansevieroPublished in: DepCoS-RELCOMEX (2006)
Keyphrases
- reverse engineering
- software engineering
- class diagrams
- object oriented
- software maintenance
- formal methods
- formal specification
- reverse engineer
- gene regulatory networks
- dynamic analysis
- software evolution
- program understanding
- business rules
- conceptual schema
- regression testing
- database
- software product
- conceptual modeling
- artificial intelligence
- database design
- model checking
- platform independent
- development process
- metamodel
- uml class diagrams
- databases
- design patterns