A Formal Model of Re-execution in Software Process.

Masato Suzuki Atsushi Iwai Takuya Katayama

Published 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