Manifold Compositions: Formal control, Intuition, and the Case for Comprehensive Software.
Sever TipeiPublished in: ICMC (2007)
Keyphrases
- software systems
- software design
- software development
- real world
- requirements specification
- control system
- formal methods
- artificial intelligence
- software developers
- software tools
- user interface
- monitoring system
- development process
- parameter space
- manifold learning
- website
- control method
- computer systems
- software maintenance
- modeling language
- formal specification
- case study
- software package
- neural network