Quantitative Refinement for Weighted Modal Transition Systems

Sebastian S. Bauer,Uli Fahrenberg,Line Juhl,Kim G. Larsen,Axel Legay,Claus Thrane
DOI: https://doi.org/10.1007/978-3-642-22993-0_9
2011-01-01
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.
What problem does this paper attempt to address?