Quantitative Refinement for Weighted Modal Transition SystemsReportar como inadecuado

Quantitative Refinement for Weighted Modal Transition Systems - Descarga este documento en PDF. Documentación en PDF para descargar gratis. Disponible también para leer online.

1 CISS - Center for Indlejrede Software Systemer 2 TUM - Technische Universität München München 3 ESTASYS - Efficient STAtistical methods in SYstems of systems Inria Rennes – Bretagne Atlantique , IRISA-D4 - LANGAGE ET GÉNIE LOGICIEL

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.

Keywords : reducing complexity of design modal specifications quantitative reasoning

Autor: Claus Thrane - Sebastian S. Bauer - Uli Fahrenberg - Kim Guldstrand Larsen - Line Juhl - Axel Legay -

Fuente: https://hal.archives-ouvertes.fr/


Documentos relacionados