Methodological Support for Requirements Elicitation and Formal Specification.

Maritta Heisel Jeanine Souquières

Published in: IWSSD (1998)

Keyphrases

formal specification
requirements elicitation
model checking
object oriented design
specification languages
end users
reverse engineering
specification language
software engineering
formal methods
concurrent systems
databases
database systems
knowledge management
requirements analysis