Systematic software development using VDM (2nd ed.)
Systematic software development using VDM (2nd ed.)
The Z notation: a reference manual
The Z notation: a reference manual
Categories and computer science
Categories and computer science
Category theory for computing science, 2nd ed.
Category theory for computing science, 2nd ed.
ZUM '95 Proceedings of the 9th International Conference of Z Usres on The Z Formal Specification Notation
Tutorial on the Irish School of the VDM
VDM '91 Proceedings of the 4th International Symposium of VDM Europe on Formal Software Development-Volume 2: Tutorials
On the Inheritance of Monoid Properties in Indexed Structures.
On the Inheritance of Monoid Properties in Indexed Structures.
A generic model for state-based agent systems
IW-FM'97 Proceedings of the 1st Irish conference on Formal Methods
The single transferable voting system: functional decomposition in formal specification
IW-FM'97 Proceedings of the 1st Irish conference on Formal Methods
Algebraic advances for aliasing
2FACS'97 Proceedings of the 2nd BCS-FACS conference on Northern Formal Methods
Hi-index | 0.00 |
Models of software systems are built in Z and VDM using partial functions between sets and certain operations on these partial functions : extension (⊔), restriction (◃), removal and override (†). Can these operations be given a categorial semantics? Doing so will show the 'nature' of the operations. The operation of override is found to depend on the 'shape' on X, the poset PX. The operations are developed in an elementary topos E. This is achieved by constructing each operation in the topos Set, of sets and total functions, and then using these constructions as the definition of the operations in an elementary topos. Each of the operations is thus given a categorical semantics. As an example the operation of override is considered in the topos Set↓, of total functions and commuting diagrams. Can models of software systems be built in topoi other than Set?