Architectural Design via Declarative Programming.

Luís Moniz Pereira Ruben Duarte Viegas

Published in: ICEIS (2) (2007)

Keyphrases

architectural design
declarative programming
answer set programming
logic programming
logic programs
design decisions
software architecture
search problems
answer sets
stable model semantics
detailed design
artificial intelligence
e learning
case study
search space