Problem frame transformations: deriving specifications from requirements.

Robert Seater Daniel Jackson

Published in: IWAAPF@ICSE (2006)

Keyphrases

functional requirements
written in natural language
user requirements
video frames
data sets
case study
requirements engineering
databases
neural network
information retrieval
computer vision
multiscale
real time systems
software requirements
delay insensitive
requirements specification