General quantitative specification theories with modal transition systems

Fahrenberg, Uli;Legay, Axel
(2014) Acta Informatica — p. 261-295 (2014)

Files

No attached file found for this publication.

Details

Authors
  • Fahrenberg, Uli
    Author
  • Legay, AxelUCLouvain
    Author
Abstract
This paper proposes a new theory of quantitative specifications. It generalizes the notions of step-wise refinement and compositional design operations from the Boolean to an arbitrary quantitative setting. Using a great number of examples, it is shown that this general approach permits to unify many interesting quantitative approaches to system design.
Affiliations

Citations

  • APA
  • Chicago
  • FWB

Fahrenberg, U., & Legay, A. (2014). General quantitative specification theories with modal transition systems. Acta Informatica, 261-295. https://doi.org/10.1007/s00236-014-0196-8 (Original work published 2014)