Sign in

Typestate protocol specification in JML.

Taekgoo KimKevin BierhoffJonathan AldrichSungwon Kang
Published in: SAVCBS (2009)
Keyphrases
  • protocol specification
  • communication protocols
  • formal specification
  • formal methods
  • database
  • service oriented
  • communication networks
  • black box
  • model driven
  • transformation rules