Modeling constraints improves software architecture design reasoning.
Antony TangHans van VlietPublished in: WICSA/ECSA (2009)
Keyphrases
- modeling language
- software development
- software systems
- consistency checking
- knowledge base
- formal models
- constraint satisfaction
- software tools
- user interface
- qualitative reasoning
- global constraints
- software architecture
- computer systems
- software maintenance
- constrained optimization
- constraint programming
- software package
- automated reasoning
- soft constraints
- reasoning systems