General quantitative specification theories with modal transition systems - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Journal Articles Acta Informatica Year : 2014

General quantitative specification theories with modal transition systems

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

Dates and versions

hal-01087314 , version 1 (25-11-2014)

Identifiers

Cite

Uli Fahrenberg, Axel Legay. General quantitative specification theories with modal transition systems. Acta Informatica, 2014, pp.261-295. ⟨10.1007/s00236-014-0196-8⟩. ⟨hal-01087314⟩
209 View
150 Download

Altmetric

Share

Gmail Facebook X LinkedIn More