Specification of Intel IA-32 Using an Architecture Description Language.

Jeff Bastian Soner Önder

Published in: IFIP-WADL (2004)

Keyphrases

description language
specification language
action language
software architecture
web services
information retrieval
multi agent
search algorithm
constraint satisfaction problems
web service composition
model checker