Formal Requirements Engineering Using Observer Models.

Andreas Nonnengart Georg Rock Werner Stephan

Published in: FASE (2002)

Keyphrases

requirements engineering
goal oriented
requirements specification
software engineering
artificial intelligence
life cycle
formal models
databases
object oriented
formal model
systems engineering
activity diagrams