DWARF-driven Equivalence Checking of UML Statecharts and Software Components.
Patrick HeckelerJörg BehrendJürgen RufThomas KropfWolfgang RosenstielRoland WeissPublished in: Softwaretechnik-Trends (2011)
Keyphrases
- software components
- software systems
- class diagrams
- software development
- sequence diagrams
- conceptual modeling
- object oriented systems
- uml class diagrams
- component based development
- software reuse
- formal methods
- software engineering
- software artifacts
- software modules
- formal specification
- uml models
- object oriented
- metamodel
- building blocks
- class diagram
- software engineers
- software design
- java programs
- reverse engineering
- petri net
- software architecture
- commercial off the shelf
- source code
- software maintenance
- database
- regression testing
- data cube
- reusable components
- web services
- conceptual models
- software evolution
- model driven
- information technology
- real world