R?glinger, Maximilian - 2009
This doctoral thesis aims at extending the knowledge base of requirements engineering within the software engineering … intuitively, while correctness can be shown by means of verification.Chapter III deals with management support systems. The reason …