Software Specification

• Identify a precise software stage: system design specification

• Formal behavioral specification: Stochastic petri Nets, Stochastically Timed Process Algebras

  • Behavioral and performance analysis in a single model

References under SS

Previous slide

Next slide

Back to first slide

View graphic version