Typestate protocol specification in JML.

Taekgoo Kim Kevin Bierhoff Jonathan Aldrich Sungwon 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