A case study in innovative process improvement: code synthesis from formal specifications.
P. GarbettJ. P. ParkesMike ShackletonStuart AndersonPublished in: Microprocess. Microsystems (1999)
Keyphrases
- formal specification
- process improvement
- software process
- object oriented design
- knowledge management
- model checking
- root cause
- business process
- case study
- reverse engineering
- software process improvement
- source code
- software engineering
- formal methods
- software components
- cost estimation
- business processes
- quality assurance
- protocol specification
- information technology
- e government
- software development
- artificial intelligence
- temporal logic
- business process management
- software testing
- business rules
- software maintenance
- process model