Applying category theory to derive engineering software from encoded knowledge

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 1816, Issue , 2000, Pages 484-498

  Healy, Michael ^a   Williamson, Keith ^b  

^a UNIVERSITY OF WASHINGTON   (United States)

^b BOEING COMPANY   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

ALGEBRA; COMPUTER SOFTWARE MAINTENANCE; INDUSTRIAL RESEARCH; MANUFACTURE; PRODUCT DESIGN;

ENGINEERING DISCIPLINES; ENGINEERING SOFTWARE; INDUSTRIAL SOFTWARE DEVELOPMENT; INDUSTRIAL STRENGTH; MANUFACTURING PROCESS; MATHEMATICAL FOUNDATIONS; MATHEMATICAL METHOD; SOFTWARE DEVELOPMENT SYSTEMS;

SOFTWARE DESIGN;

EID: 84974684001     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-45499-3_34     Document Type: Conference Paper

References (14)

1. D. Bjorner and C. Jones. Formal Specification and Software Development. Prentice-Hall International, 1982.
2. L Blaine and A. Goldberg. Dtre-a semi-automatic transformation system. In B Moller, editor, Constructing Programs from Specifications. North-Holland, 1991.
3. T. Gruber et al. An ontology for engineering mathematics. In Proceedings of the Fourth International Conference on Principles of Representation and Reasoning. Morgan Kauffman, 1994.
4. J. A. Goguen and R. M. Burstall. Some fundamental algebraic tools for the semantics of computation-part 1: Comma categories, colimits, signatures and theories. Theoretical Computer Science, 31(1,2):175-209, 1984.
5. J. A. Goguen and R. M. Burstall. Institutions: Abstract model theory for specification and programming. Journal of the Association for Computing Machinery, 39(1):95-146, 1992.
6. R. Jullig and Y. V. Srinivas. Diagrams for software synthesis. In Proceedings of KBSE ‘93: The Eighth Knowledge-Based Software Engineering Conference, pages 10-19. IEEE Computer Society Press, 1993.
7. J. Meseguer. General logics. In Logic Colloquium ’87, pages 275-329. Science Publishers B. V. (North-Holland), 1987.
8. B C Pierce. Basic CategoryThe oryf or Computer Scientists. MIT Press, 1991.
9. D. Smith. Kids: Akno wledge based software development system. In M. Lowry and R. McCartney, editors, Automating Software Design. MIT Press, 1991.
10. J. M. Spivey. The Z Notation: A Reference Manual. Prentice-Hall, 1992.
11. Y. V. Srinivas and R. Jullig. specwaretm: Formal support for composing software. In Proceedings of the Conference of Mathematics of Program Construction, 1995.
12. T. C. Wang and A. Goldberg. A mechanical verifier for supporting the design of reliable reactive systems. In Proceedings of the International Symposium on Software Reliability Engineering, 1991.
13. K. Williamson and M. Healy. Formally specifyuing engineering design rationale. In Proceedings of the Automated Software Engineering Conference-1997, 1997.
14. K. Williamson and M. Healy. Deriving engineering software from requirements. Journal of Intelligent Manufacturing, 11(1):3-28, 2000.