Abstract
This note explores the use of UNITY-based theories to facilitate a cottage industry of software publishing. The requirements for such an industry are discussed, the appropriateness of UNITY specification and compositional theories for these requirements are analyzed, and further research opportunities in this area are identified. This work is based on joint work with Beverly Sanders, and the ideas discussed here have been explored jointly with Paul Sivilotti and Joseph Kiniry.
Cite
CITATION STYLE
Mani Chandy, K., Sivilotti, P. A. G., & Kiniry, J. R. (1998). A cottage industry of software publishing: Implications for theories of composition. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 1388, pp. 890–899). Springer Verlag. https://doi.org/10.1007/3-540-64359-1_751
Register to see more suggestions
Mendeley helps you to discover research relevant for your work.
