General quantitative specification theories with modal transition systems
Résumé
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. Using a great number of examples, it is shown that this general approach permits to unify many interesting quantitative approaches to system design.
Origine : Fichiers produits par l'(les) auteur(s)
Loading...