An integration environment to put formal specifications into practical use in real-time systems.

Shinichi Honiden Akihiko Ohsuga Naoshi Uchihira

Published in: IWSSD (1991)

Keyphrases

real time systems
formal specification
real time
object oriented design
distributed systems
model checking
embedded systems
mission critical
real time embedded
real time database systems
formal methods
timing constraints
software components
open source
case study
specification languages
information systems