This paper proposes a new theory of quantitative specifications. It generalizes the notions of step-wise refinement and compositional design operations from the Boolean to an arbitrary quantitative setting. It is shown that this general approach permits to recast many existing problems which arise in system design
UC Los Angeles Mari"elle StoelingaUniversity of Twente Abstract. We present a compositional...
We present a compositional theory of system verifica tion, where specifications assign real-numbered...
International audienceSpecification theories as a tool in model-driven development processes of comp...
International audienceThis paper proposes a new theory of quantitative specifications. It generalize...
Abstract. This paper proposes a new theory of quantitative specifica-tions. It generalizes the notio...
International audienceThis paper proposes a new theory of quantitative specifications. It generalize...
the date of receipt and acceptance should be inserted later Abstract This paper proposes a new theor...
Abstract. Specification theories as a tool in the development process of component-based software sy...
We provide a framework for compositional and iterative design and verification of systems with quant...
We provide a framework for compositional and iterative design and verification of systems with quant...
Specification theories as a tool in the development process of component-based software systems have...
the date of receipt and acceptance should be inserted later Abstract Specification theories as a too...
UC Los Angeles Mari"elle StoelingaUniversity of Twente Abstract. We present a compositional...
We present a compositional theory of system verifica tion, where specifications assign real-numbered...
International audienceSpecification theories as a tool in model-driven development processes of comp...
International audienceThis paper proposes a new theory of quantitative specifications. It generalize...
Abstract. This paper proposes a new theory of quantitative specifica-tions. It generalizes the notio...
International audienceThis paper proposes a new theory of quantitative specifications. It generalize...
the date of receipt and acceptance should be inserted later Abstract This paper proposes a new theor...
Abstract. Specification theories as a tool in the development process of component-based software sy...
We provide a framework for compositional and iterative design and verification of systems with quant...
We provide a framework for compositional and iterative design and verification of systems with quant...
Specification theories as a tool in the development process of component-based software systems have...
the date of receipt and acceptance should be inserted later Abstract Specification theories as a too...
UC Los Angeles Mari"elle StoelingaUniversity of Twente Abstract. We present a compositional...
We present a compositional theory of system verifica tion, where specifications assign real-numbered...
International audienceSpecification theories as a tool in model-driven development processes of comp...
DOI
Add to ORKG