General Quantitative Specification Theories with Modalities
Abstract
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.
Origin : Files produced by the author(s)
Loading...