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 SpecwareTM 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 from other engineering disciplines (e.g., mechanical, material, manufacturing, etc.). This suggests the technology provides an approach to general systems engineering that enables one to structure and reuse engineering knowledge broadly.


    Zugriff

    Zugriff über TIB

    Verfügbarkeit in meiner Bibliothek prüfen

    Bestellung bei Subito €


    Exportieren, teilen und zitieren



    Titel :

    Industrial applications of software synthesis via category theory


    Beteiligte:
    Williamson, K. (Autor:in) / Healy, M. (Autor:in)


    Erscheinungsdatum :

    1999


    Format / Umfang :

    9 Seiten, 20 Quellen




    Medientyp :

    Aufsatz (Konferenz)


    Format :

    Print


    Sprache :

    Englisch






    Category A^* Software Development for the ATV

    Boudillet, O. / Berthelier, D. / Dalemagne, D. et al. | British Library Conference Proceedings | 2006


    Category A^* Software Development for the ATV

    Boudillet, O. / Berthelier, D. / Zekri, E. et al. | British Library Conference Proceedings | 2005


    Multisensor fusion description using category theory

    Thorsen, S.N. / Oxley, M.E. | IEEE | 2004