• search
    search
  • reviewers
    reviewers
  • feeds
    feeds
  • assignments
    assignments
  • settings
  • logout

Integrating Protocol Contracts with Program Code - A Leightweight Approach for Applied Behaviour Models that Respect Their Execution Context.

Marco KonersmannMichael Goedicke
Published in: BM-FA (Revised Selected Papers) (2014)
Keyphrases
  • program code
  • data model
  • learning styles
  • formal specification