Automated Encapsulation of UML Activities for Incremental Development and Verification.
Frank Alexander KraemerPeter HerrmannPublished in: MoDELS (2009)
Keyphrases
- software engineering
- data driven
- knowledge based systems
- activity recognition
- semi automated
- artificial intelligence
- software systems
- information integration
- incremental learning
- database design
- skill levels
- innovative ways
- formal methods
- lifelong learning
- development process
- software architecture
- information processing
- software development
- case study
- knowledge base
- information systems