Sign in

Formal semantics of behavior specifications in the architecture analysis and design language standard.

Loïc BesnardThierry GautierClément GuyPaul Le GuernicJean-Pierre TalpinBrian R. LarsonEtienne Borde
Published in: HLDVT (2016)
Keyphrases
  • formal semantics
  • modelling language
  • operational semantics
  • formal language
  • modeling language
  • software architecture
  • logical language
  • conceptual model
  • case study
  • high level