Industrial Applications of Software Synthesis via Category Theory.
Keith E. WilliamsonMichael HealyPublished in: ASE (1999)
Keyphrases
- industrial applications
- industrial systems
- software development
- theoretical framework
- program synthesis
- computational modeling
- source code
- computer systems
- formal methods
- software design
- data mining
- formal theory
- systems engineering
- software maintenance
- software tools
- software systems
- databases
- development process
- operating system
- logic programs
- theoretical basis
- object detection
- software engineering
- user interface
- general theory
- software packages
- learning algorithm
- commercial software
- genetic algorithm
- information retrieval