Login / Signup

A Two-Component Language for Adaptation: Design, Semantics and Program Analysis.

Pierpaolo DeganoGian Luigi FerrariLetterio 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