Integrating Types and Specifications for Secure Software Development.
Greg MorrisettPublished in: MMM-ACNS (2010)
Keyphrases
- software development
- software engineering
- neural network
- software systems
- code generation
- software testing
- software design
- lightweight
- functional requirements
- software maintenance
- software developers
- development process
- software architecture
- multi agent systems
- high level
- case study
- information systems
- artificial intelligence
- real world