Skip to Main content Skip to Navigation
Conference papers

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.
Complete list of metadata

Cited literature [18 references]  Display  Hide  Download

https://hal.inria.fr/hal-01088046
Contributor : Uli Fahrenberg Connect in order to contact the contributor
Submitted on : Thursday, November 27, 2014 - 11:38:31 AM
Last modification on : Thursday, January 20, 2022 - 4:20:43 PM
Long-term archiving on: : Monday, March 2, 2015 - 9:22:24 AM

File

mfcs.pdf
Files produced by the author(s)

Identifiers

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, ⟨10.1007/978-3-642-22993-0_9⟩. ⟨hal-01088046⟩

Share

Metrics

Record views

318

Files downloads

81