Tool Support for Proof Engineering.
Anne MulhernCharles FischerBen LiblitPublished in: Electron. Notes Theor. Comput. Sci. (2007)
Keyphrases
- tool support
- software engineering
- requirements engineering
- software development
- software tools
- design decisions
- software projects
- engineering design
- computer science
- life cycle
- systems engineering
- theorem prover
- artificial intelligence
- engineering problems
- mechanical engineering
- data sets
- software systems
- development process
- theorem proving
- test suite
- design process
- product design
- intrusion detection
- engineering education
- source code
- information systems
- machine learning