Viewing CSP Specifications with UML-RT Diagrams.
Patrícia FerreiraAugusto SampaioAlexandre MotaPublished in: Electron. Notes Theor. Comput. Sci. (2008)
Keyphrases
- class diagram
- class diagrams
- unified modeling language
- uml class diagrams
- uml diagrams
- object oriented
- constraint satisfaction problems
- sequence diagrams
- specification language
- constraint propagation
- conceptual models
- arc consistency
- requirements analysis
- constraint programming
- software engineering
- constraint satisfaction
- tree decomposition
- software design
- decomposition methods
- database design
- np hard
- software engineers
- requirements specification
- closest string
- uml models
- intermediate representation
- information systems
- constraint networks
- modeling language
- metamodel
- np complete
- search space