Basic category theory for computer scientists
Basic category theory for computer scientists
The Z notation: a reference manual
The Z notation: a reference manual
Institutions: abstract model theory for specification and programming
Journal of the ACM (JACM)
Specware: Formal Support for Composing Software
MPC '95 Mathematics of Program Construction
Formally specifying engineering design rationale
ASE '97 Proceedings of the 12th international conference on Automated software engineering (formerly: KBSE)
Hi-index | 0.00 |
In an industrial research project, we have demonstrated the feasibility of applying category-theoretic methods to the specification, synthesis, and maintenance of industrial strength software systems. The demonstration used a first-of-its-kind tool for this purpose, Kestrel's SpecwareTM software development system. We describe our experiences and discuss broadening the application of such category-theoretic methods in industry. Although the technology is promising, it needs additional development to make it generally usable. This is not surprising given its mathematical foundation. On the other hand, we believe our demonstration is a turning point in the use of mathematically rigorous approaches in industrial software development and maintenance. We have demonstrated here the capture via mathematical methods not only of software engineering design rationale, but also of the product design and manufacturing process rationale used by different engineering disciplines, and the production of usable software directly from the captured rationale. We feel that that further evolution of the tools for this technology will make formal systems engineering a reality.