R?glinger, Maximilian - 2009
konstruktionswissenschaftlichen Tradition der (deutschsprachigen) Wirtschaftsinformatik zun?chst die Bedeutung der Anforderungsanalyse … Wirtschaftsinformatik gebr?uchlichen Ans?tzen wider. Daher wird untersucht, wie der generische Korrektheitsbegriff konkretisiert werden kann … intuitively, while correctness can be shown by means of verification.Chapter III deals with management support systems. The reason …