Login / Signup
Integrating Protocol Contracts with Program Code - A Leightweight Approach for Applied Behaviour Models that Respect Their Execution Context.
Marco Konersmann
Michael Goedicke
Published in:
BM-FA (Revised Selected Papers) (2014)
Keyphrases
</>
program code
data model
learning styles
formal specification