Formal descriptions of software measurement and evalution a short overview and evaluation - Dumke, Reiner; Schmietendorf, Andreas 1963-; Zuse, Horst 1945- (Fak. Für Informatik, Univ. Magdeburg, 2005)