Industrial Applications of Software Synthesis via Category Theory—Case Studies Using Specware
Automated Software Engineering
Applying Category Theory to Derive Engineering Software from Encoded Knowledge
AMAST '00 Proceedings of the 8th International Conference on Algebraic Methodology and Software Technology
Hi-index | 0.00 |
This paper briefly describes our initial experiences in applied research of formal approaches to the generation and maintenance of software systems supporting structural engineering tasks. We describe the business context giving rise to this activity, and give an example of the type of engineering problem we have focused on. We briefly describe our approach to software generation and maintenance, and point out the challenges that we appear to face in transferring this technology into actual practice.