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.
Type de document :
Communication dans un congrès
CSR, Jul 2012, Nizhny Novgorod, Russia. pp.18 - 30, 2012, 〈10.1007/978-3-642-30642-6_3〉
Liste complète des métadonnées

Littérature citée [25 références]  Voir  Masquer  Télécharger

https://hal.inria.fr/hal-01087983
Contributeur : Uli Fahrenberg <>
Soumis le : jeudi 27 novembre 2014 - 11:51:53
Dernière modification le : mercredi 16 mai 2018 - 11:24:07
Document(s) archivé(s) le : lundi 2 mars 2015 - 09:20:25

Fichier

csr.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

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, 2012, 〈10.1007/978-3-642-30642-6_3〉. 〈hal-01087983〉

Partager

Métriques

Consultations de la notice

405

Téléchargements de fichiers

61