Quantitative Refinement for Weighted Modal Transition Systems

Sebastian S. Bauer; Uli Fahrenberg; L. Juhl; Kim Guldstrand Larsen; Alex Legay; C. Thrane

doi:10.1007/978-3-642-22993-0_9

Quantitative Refinement for Weighted Modal Transition Systems

Sebastian S. Bauer, Uli Fahrenberg, L. Juhl, Kim Guldstrand Larsen, Alex Legay, C. Thrane

Publikation: Bidrag til tidsskrift › Konferenceartikel i tidsskrift › Forskning › peer review

21 Citationer (Scopus)

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.

Originalsprog	Engelsk
Bogserie	Lecture Notes in Computer Science
Vol/bind	6907 LNCS
Sider (fra-til)	60-71
Antal sider	12
ISSN	0302-9743
DOI	https://doi.org/10.1007/978-3-642-22993-0_9
Status	Udgivet - 1 jan. 2011
Begivenhed	36th International Conference on Mathematical Foundations of Computer Science - Warsaw, Polen Varighed: 22 aug. 2011 → 26 aug. 2011 Konferencens nummer: 36

Konference

Konference	36th International Conference on Mathematical Foundations of Computer Science
Nummer	36
Land/Område	Polen
By	Warsaw
Periode	22/08/2011 → 26/08/2011

Bibliografisk note

Proceedings of the 36th International Conference on Mathematical Foundations of Computer Science. Murlak, F. & Sankowski, P. (eds.)

Adgang til dokumentet

10.1007/978-3-642-22993-0_9

AUB Link

Søg efter materialet i Aalborg Universitetsbiblioteks søgemaskine

Andre filer og links

Citationsformater

@inproceedings{e467d028d91e4b46a10ba531273482e2,

title = "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.",

author = "Bauer, {Sebastian S.} and Uli Fahrenberg and L. Juhl and Larsen, {Kim Guldstrand} and Alex Legay and C. Thrane",

note = "Proceedings of the 36th International Conference on Mathematical Foundations of Computer Science. Murlak, F. & Sankowski, P. (eds.); 36th International Conference on Mathematical Foundations of Computer Science ; Conference date: 22-08-2011 Through 26-08-2011",

year = "2011",

month = jan,

day = "1",

doi = "10.1007/978-3-642-22993-0_9",

language = "English",

volume = "6907 LNCS",

pages = "60--71",

journal = "Lecture Notes in Computer Science",

issn = "0302-9743",

publisher = "Physica-Verlag",

}

TY - GEN

T1 - Quantitative Refinement for Weighted Modal Transition Systems

AU - Bauer, Sebastian S.

AU - Fahrenberg, Uli

AU - Juhl, L.

AU - Larsen, Kim Guldstrand

AU - Legay, Alex

AU - Thrane, C.

N1 - Conference code: 36

PY - 2011/1/1

Y1 - 2011/1/1

N2 - 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.

AB - 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.

UR - http://www.scopus.com/inward/record.url?eid=2-s2.0-80052136418&partnerID=8YFLogxK

UR - http://www.scopus.com/inward/record.url?scp=80052136418&partnerID=8YFLogxK

UR - http://www.scopus.com/inward/citedby.url?scp=80052136418&partnerID=8YFLogxK

U2 - 10.1007/978-3-642-22993-0_9

DO - 10.1007/978-3-642-22993-0_9

M3 - Conference article in Journal

AN - SCOPUS:80052136418

SN - 0302-9743

VL - 6907 LNCS

SP - 60

EP - 71

JO - Lecture Notes in Computer Science

JF - Lecture Notes in Computer Science

T2 - 36th International Conference on Mathematical Foundations of Computer Science

Y2 - 22 August 2011 through 26 August 2011

ER -

Quantitative Refinement for Weighted Modal Transition Systems

Abstract

Konference

Bibliografisk note

Adgang til dokumentet

AUB Link

Andre filer og links

Fingeraftryk

Citationsformater