UML-driven Information Systems and their Formal Integration Validation and Distribution.
Nasreddine AoumeurGunter SaakePublished in: MSVVEIS (2007)
Keyphrases
- information systems
- formal methods
- conceptual models
- conceptual modeling
- information technology
- probability distribution
- software engineering
- data driven
- database design
- data distribution
- model driven
- data integration
- modeling language
- formal model
- state machine
- regression testing
- spatial distribution
- knowledge management
- health care
- random variables
- specification language
- object oriented
- testing process
- enterprise resource planning
- data model
- requirements specification
- model based testing