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 <>
Submitted on : Thursday, November 27, 2014 - 11:38:31 AM
Last modification on : Tuesday, June 15, 2021 - 4:27:19 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

540

Files downloads

331