General Quantitative Specification Theories with Modalities

Bauer Sebastian, S.;Fahrenberg, Uli;Legay, Axel;Thrane, Claus
(2012) CSR (July.2012)

Files

No attached file found for this publication.

Details

Authors
  • Bauer Sebastian, S.
    Author
  • Fahrenberg, Uli
    Author
  • Legay, AxelUCLouvain
    Author
  • Thrane, Claus
    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. It is shown that this general approach permits to recast many existing problems which arise in system design.

Citations

  • APA
  • Chicago
  • FWB

Bauer Sebastian, S., Fahrenberg, U., Legay, A., & Thrane, C. (2012). General Quantitative Specification Theories with Modalities. Computer Science – Theory and Applications Lecture Notes in Computer Science. CSR. https://doi.org/10.1007/978-3-642-30642-6_3