Automated consistency checking of UML/MARTE based software systems.
Shouvik DeyRumpa HazraAnanya KanjilalSwapan BhattacharyaPublished in: TENCON (2018)
Keyphrases
- software systems
- consistency checking
- source code
- metamodel
- software engineering
- software architecture
- software development
- query answering
- software design
- temporal reasoning
- software maintenance
- temporal constraints
- design patterns
- software components
- software evolution
- complex software systems
- software engineers
- linux kernel
- software testing
- open source
- multi agent systems
- data sets
- software intensive systems
- component based software
- object oriented systems
- software quality
- functional dependencies
- cooperative