A Formal Model of Re-execution in Software Process.
Masato SuzukiAtsushi IwaiTakuya KatayamaPublished in: ICSP (1993)
Keyphrases
- formal model
- software process
- process improvement
- software development
- process model
- software process improvement
- software engineering
- iso iec
- product quality
- software quality
- security properties
- software projects
- execution environment
- requirements engineering
- security patterns
- real world
- process control
- high level
- artificial intelligence