Industrial Applications of Software Synthesis via Category Theory

Industrial Applications of Software Synthesis via Category Theory (2001)

Cached

Download Links

[www.cs.vassar.edu]

Other Repositories/Bibliography

DBLP

by Keith Williamson , Michael Healy

Venue:	AUTOMATED SOFTWARE ENGINEERING
Citations:	3 - 1 self

Versions

Version History

Metadata Version 3

User correction supplied by mph

Datum	Value	Source
TITLE	Industrial Applications of Software Synthesis via Category Theory	user correction - Legacy Corrections
AUTHOR NAME	Keith Williamson	user correction
AUTHOR AFFIL	The Boeing Company, Seattle, Washington	user correction
AUTHOR NAME	Michael Healy	user correction
AUTHOR AFFIL	The Boeing Company, Seattle, Washington	user correction
ABSTRACT	Over the last two years, we have demonstrated the feasibility of applying category-theoretic methods in specifying, synthesizing, and maintaining industrial strength software systems. We have been using a first-of-its-kind tool for this purpose, Kestrel's Specware^TM software development system. In this paper, we describe our experiences and give an industrial perspective on what is needed to make this technology have broader appeal to industry. Our overall impression is that the technology does work for industrial strength applications, but that it needs additional work to make it more usable. We believe this work marks a turning point in the use of mathematically rigorous approaches to industrial strength software development and maintenance. It is interesting to note that when this technology is applied to software systems whose outputs are designs for airplane parts, the design rationale that is captured is not only software engineering design rationale, but also design rationale ...	user correction
YEAR	2001	user correction - Legacy Corrections
VENUE	AUTOMATED SOFTWARE ENGINEERING	user correction
VENUE TYPE	JOURNAL	INFERENCE
PAGES	2001	INFERENCE
VOLUME	8	INFERENCE
CITATIONS	20 found	ParsCit 1.0