Industrial Applications of Software Synthesis via Category Theory-Case Studies Using Specware.
Keith E. WilliamsonMichael HealyRichard A. BarkerPublished in: Autom. Softw. Eng. (2001)
Keyphrases
- industrial applications
- case study
- software development
- industrial systems
- theoretical framework
- development process
- lessons learned
- computer systems
- computational model
- software systems
- theoretical basis
- software maintenance
- software packages
- systems engineering
- software tools
- personal computer
- real world
- software platform
- program synthesis
- computer software
- book examines
- software quality
- belief functions
- software architecture
- open source
- artificial intelligence