Deriving Specifications from Requirements: An Example.

Michael Jackson Pamela Zave

Published in: ICSE (1995)

Keyphrases

functional requirements
written in natural language
design requirements
database
databases
genetic algorithm
artificial intelligence
class diagram
multiscale
digital libraries
software systems
user requirements
specification language