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. © 2011 Springer-Verlag GmbH.
CITATION STYLE
Bauer, S. S., Fahrenberg, U., Juhl, L., Larsen, K. G., Legay, A., & Thrane, C. (2011). Quantitative refinement for weighted modal transition systems. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 6907 LNCS, pp. 60–71). https://doi.org/10.1007/978-3-642-22993-0_9
Mendeley helps you to discover research relevant for your work.