Login / Signup
A Two-Component Language for Adaptation: Design, Semantics and Program Analysis.
Pierpaolo Degano
Gian Luigi Ferrari
Letterio Galletta
Published in:
IEEE Trans. Software Eng. (2016)
Keyphrases
</>
conceptual model
specification language
user interface
oriented programming
xml documents
logic programs
operational semantics
definition language
dynamic logic
java programming