General Quantitative Specification Theories with Modalities - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Conference Papers Year : 2012

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.
Fichier principal
Vignette du fichier
csr.pdf (382.93 Ko) Télécharger le fichier
Origin : Files produced by the author(s)
Loading...

Dates and versions

hal-01087983 , version 1 (27-11-2014)

Identifiers

Cite

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⟩
289 View
89 Download

Altmetric

Share

Gmail Facebook X LinkedIn More