From Early to Late Formal Requirements: A Process-Control Case Study.

Eric Dubois Michael Petit Eric Yu

Published in: IWSSD (1998)

Keyphrases

process control
case study
control system
product quality
semiconductor manufacturing
software development
manufacturing process
intelligent control
requirements specification
lessons learned
user requirements
formal language
databases
requirements engineering
real time
formal model
design process
real world