Characterising Sound Visualisations of Specifications Using Micro-Charts and Refinement.

Colin Pilbrow Steve Reeves

Published in: APSEC Workshops (2017)

Keyphrases

formal specification
delay insensitive
high level
electro mechanical systems
semantic description
reactive systems
database
databases
real world
information retrieval
web services
case study
object oriented
finite state machines
control flow
concurrent systems