Quantitative Refinement for Weighted Modal Transition Systems - Université de Rennes
Communication Dans Un Congrès Année : 2011

Quantitative Refinement for Weighted Modal Transition Systems

Résumé

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.
Fichier principal
Vignette du fichier
mfcs.pdf (375.36 Ko) Télécharger le fichier
Origine Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

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

Identifiants

Citer

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, ⟨10.1007/978-3-642-22993-0_9⟩. ⟨hal-01088046⟩
333 Consultations
88 Téléchargements

Altmetric

Partager

More