Skip to Main content Skip to Navigation
Conference papers

General Quantitative Specification Theories with Modalities

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.
Complete list of metadata

Cited literature [25 references]  Display  Hide  Download

https://hal.inria.fr/hal-01087983
Contributor : Uli Fahrenberg <>
Submitted on : Thursday, November 27, 2014 - 11:51:53 AM
Last modification on : Tuesday, June 15, 2021 - 4:27:13 PM
Long-term archiving on: : Monday, March 2, 2015 - 9:20:25 AM

File

csr.pdf
Files produced by the author(s)

Identifiers

Citation

Sebastian S. Bauer, Uli Fahrenberg, Axel Legay, Claus Thrane. General Quantitative Specification Theories with Modalities. CSR, Jul 2012, Nizhny Novgorod, Russia. pp.18 - 30, ⟨10.1007/978-3-642-30642-6_3⟩. ⟨hal-01087983⟩

Share

Metrics

Record views

512

Files downloads

257