Kuaba approach: Integrating formal semantics and design rationale representation to support design reuse.
Adriana Pereira de MedeirosDaniel SchwabePublished in: Artif. Intell. Eng. Des. Anal. Manuf. (2008)
Keyphrases
- design rationale
- formal semantics
- modelling language
- modeling language
- semi automatic
- software application
- logical language
- formal representation
- logical reasoning
- development process
- domain knowledge
- design patterns
- database
- first order logic
- distributed systems
- knowledge management
- user interface
- multi agent systems
- databases