Open AccessMessage sequence chart specifications with cross verification
Author(s) -
Timothy Shawn Boles
Publication year - 2019
Language(s) - English
Resource type - Dissertations/theses
DOI - 10.33915/etd.1104
Subject(s) - computer science , programming language , sequence diagram , state diagram , state (computer science) , context (archaeology) , sequence (biology) , theoretical computer science , graph , formal specification , unified modeling language , software engineering , software , genetics , biology , paleontology