Assume-Guarantee Scenarios: Semantics and Synthesis.

Shahar Maoz Yaniv Sa'ar

Published in: MoDELS (2012)

Keyphrases

formal semantics
real world
logic programming
program synthesis
speech acts
information systems
transformation rules
update semantics
database
argumentation semantics
specification language
graphical representation
texture synthesis
semantic information
expert systems
database systems
website