Secure Synthesis of Code: A Process Improvement Experiment.
P. GarbettJ. P. ParkesMike ShackletonStuart AndersonPublished in: World Congress on Formal Methods (1999)
Keyphrases
- process improvement
- software process
- root cause
- knowledge management
- business process
- cost estimation
- business processes
- software engineering
- e government
- source code
- software process improvement
- process model
- business process management
- security requirements
- real world
- iso iec
- product development
- software development
- control system
- data model