Constructive Specifications for Compositional Units.

Kung-Kiu Lau Alberto Momigliano Mario Ornaghi

Published in: LOPSTR (2004)

Keyphrases

formal specification
control flow
data sets
genetic algorithm
functional requirements
delay insensitive
database
real time
image processing
website
high level
multi agent
conceptual models
processing units