General quantitative specification theories with modal transition systems | Zendy

Uli Fahrenberg | Zendy; Axel Legay | Zendy

AI Assistant Blog Pricing

Home ZAIA Blog

Open Access

General quantitative specification theories with modal transition systems

Author(s) -

Uli Fahrenberg,

Axel Legay

Publication year - 2014

Publication title -

acta informatica

Language(s) - English

Resource type - Journals

SCImago Journal Rank - 0.481

H-Index - 40

eISSN - 1432-0525

pISSN - 0001-5903

DOI - 10.1007/s00236-014-0196-8

Subject(s) - computer science , modal , quantitative analysis (chemistry) , theoretical computer science , transition (genetics) , algebra over a field , algorithm , mathematics , pure mathematics , chemistry , polymer chemistry , biochemistry , chromatography , gene

International audienceThis 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. Using a great number of examples, it is shown that this general approach permits to unify many interesting quantitative approaches to system design

The content you want is available to Zendy users.

Already have an account? Click here to sign in.

Having issues? You can contact us here

Accelerating Research