Quantitative Refinement for Weighted Modal Transition Systems

Abstract : Specification theories as a tool in the development process of component-based software systems have recently attracted a considerable attention. Current specification theories are however qualitative in nature and hence fragile and unsuited for modern software systems. We propose the first specification theory which allows to capture quantitative aspects during the refinement and implementation process.
Type de document :
Communication dans un congrès
MFCS, Aug 2011, Warszawa, Poland. pp.60 - 71, 2011, 〈10.1007/978-3-642-22993-0_9〉
Liste complète des métadonnées

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

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

Fichier

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

Identifiants

Citation

Claus Thrane, Sebastian S. Bauer, Uli Fahrenberg, Kim Guldstrand Larsen, Line Juhl, et al.. Quantitative Refinement for Weighted Modal Transition Systems. MFCS, Aug 2011, Warszawa, Poland. pp.60 - 71, 2011, 〈10.1007/978-3-642-22993-0_9〉. 〈hal-01088046〉

Partager

Métriques

Consultations de la notice

474

Téléchargements de fichiers

69