Product and Iteration of Module Specifications.

Francesco Parisi-Presicce

Published in: CAAP (1988)

Keyphrases

life cycle
high level
delay insensitive
iterative process
long tail
formal specification
iterative algorithms
machine learning
website
development process
production planning
functional requirements
operational semantics