Simply Observable Behavioral Specification.

Michihiro Matsumoto Kokichi Futatsugi

Published in: APSEC (1999)

Keyphrases

evolutionary algorithm
specification language
real time
case study
multiscale
business processes
formal methods
behavioral model
tool suite