Add to ORKGAbstract. 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
Abstract. Almost 20 years after the original conception, we revisit sev-eral fundamental questions a...
AbstractWe propose weighted modal transition systems, an extension to the well-studied specification...
International audienceThis extended abstract offers a brief survey presentation of the specification...
Specification theories as a tool in the development process of component-based software systems have...
International audienceSpecification theories as a tool in model-driven development processes of comp...
the date of receipt and acceptance should be inserted later Abstract Specification theories as a too...
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...
This paper proposes a new theory of quantitative specifications. It generalizes the notions of step-...
International audienceThis paper proposes a new theory of quantitative specifications. It generalize...
We introduce a novel formalism of label-structured modal transition systems that combines the classi...
Abstract. Modal transition systems provide a behavioral and composi-tional specification formalism f...
Abstract. Almost 20 years after the original conception, we revisit sev-eral fundamental questions a...
AbstractWe propose weighted modal transition systems, an extension to the well-studied specification...
International audienceThis extended abstract offers a brief survey presentation of the specification...
Specification theories as a tool in the development process of component-based software systems have...
International audienceSpecification theories as a tool in model-driven development processes of comp...
the date of receipt and acceptance should be inserted later Abstract Specification theories as a too...
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...
This paper proposes a new theory of quantitative specifications. It generalizes the notions of step-...
International audienceThis paper proposes a new theory of quantitative specifications. It generalize...
We introduce a novel formalism of label-structured modal transition systems that combines the classi...
Abstract. Modal transition systems provide a behavioral and composi-tional specification formalism f...
Abstract. Almost 20 years after the original conception, we revisit sev-eral fundamental questions a...
AbstractWe propose weighted modal transition systems, an extension to the well-studied specification...
International audienceThis extended abstract offers a brief survey presentation of the specification...