Engineering MDA into Compositional Reasoning for Analyzing Middleware-Based Applications.
Mauro CaporuscioDavide Di RuscioPaola InverardiPatrizio PelliccioneAlfonso PierantonioPublished in: EWSA (2005)
Keyphrases
- software engineering
- artificial intelligence
- reasoning systems
- knowledge base
- engineering design
- distributed systems
- automated reasoning
- model driven engineering
- reasoning mechanisms
- analogical reasoning
- probabilistic reasoning
- design process
- knowledge representation
- computer science
- software systems
- computer aided design
- legal reasoning
- software development
- engineering problems
- information systems