Results 1 
2 of
2
Fusion and Simultaneous Execution in the Refinement Calculus
 Acta Informatica
, 1997
"... In the refinement calculus, program statements are modelled as predicate transformers. A product operator for predicate transformers was introduced by Martin [18] and Naumann [25] using category theoretic considerations. ..."
Abstract

Cited by 13 (2 self)
 Add to MetaCart
(Show Context)
In the refinement calculus, program statements are modelled as predicate transformers. A product operator for predicate transformers was introduced by Martin [18] and Naumann [25] using category theoretic considerations.
The Arrow Manifesto: Towards software engineering based on comprehensible yet rigorous graphical specifications
"... . A novel formalizable specification paradigm is proposed which makes it possible to solve a lot of specification problems in software. The roots of the idea are in mathematical category theory; following its terminology we call our specifications sketches. Among the principal advantages of sketches ..."
Abstract

Cited by 1 (0 self)
 Add to MetaCart
. A novel formalizable specification paradigm is proposed which makes it possible to solve a lot of specification problems in software. The roots of the idea are in mathematical category theory; following its terminology we call our specifications sketches. Among the principal advantages of sketches are the following. ffl Nice amalgamation of logical rigor and graphical evidence. Sketches are graphbased images yet they are precise formal specifications as rigor as, say, first order logic theories. ffl Universality, in the precise sense of the word. It can be mathematically proven that any specification whose semantic meaning can be formalized can be also expressed by a sketch. ffl Unifying power. Many of graphical specification languages can be simulated by sketches in the corresponding signature of diagram markers. ffl Semantic capabilities. The sketch language is inherently objectoriented and provides a quite natural way of specifying OO classreference schemas. ffl Easy and f...