Evaluation at the Federal University of Applied Adminstrative Sciences

Dulisch, Linssen und Reiter (2001) legten ein umfassendes Evaluationskonzept für die FH Bund vor. In den zehn Fachbereichen und im Zentralbereich der FH Bund erfolgt/e eine Diskussion, Modifikation und konkrete Anpassung an die Belange vor Ort. Dieser Prozess wurde in einer Evaluationtagung an der FH Bund im Juni 2003 gebündelt. Die Tagung zeigte, dass alle Fachbereiche und der Zentralbereich Fortschritte machen, wenn auch in unterschiedlichem Tempo. Dieser Band dokumentiert den Status Quo der Evaluation in den Fachbereichen und dem Zentralbereich und folgt damit § 6 Hochschulrahmengesetz (HRG), wonach die Arbeit der Hochschulen bewertet und das Ergebnis der Bewertung veröffentlicht werden soll. Inhaltsübersicht: - Evaluation an Fachhochschulen - Überblick - Empfehlungen des Benchmarking Clubs - Evaluationstagung der FH Bund 2003 - Zentralbereich - Allgemeine und Innere Verwaltung - Arbeitsverwaltung - Auswärtige Angelegenheiten - Bundesgrenzschutz - Bundeswehrverwaltung - Finanzen - Landwirtschaftliche Sozialversicherung - Öffentliche Sicherheit - Gesamtkonzept - Öffentliche Sicherheit - Abteilung Kriminalpolizei - Sozialversicherung - Wetterdiens

SPL Conqueror: Toward optimization of non-functional

of non-functional properties in softwar

A Classification and Survey of Analysis Strategies For Software Product Lines

Software-product-line engineering has gained considerable momentum in the recent years, both in industry and in academia. A software product line is a family of software products that share a common set of features. Software product lines challenge traditional analysis techniques, such as type checking, model checking, and theorem proving, in their quest of ensuring correctness and reliability of software. Simply creating and analyzing all products of a product line is usually not feasible, due to the potentially exponential number of valid feature combinations. Recently, researchers began to develop analysis techniques that take the distinguishing properties of software product lines into account, for example, by checking feature-related code in isolation or by exploiting variability information during analysis. The emerging field of product-line analyses is both broad and diverse, so it is difficult for researchers and practitioners to understand their similarities and differences. We propose a classification of product-line analyses to enable systematic research and application. Based on our insights with classifying and comparing a corpus of 123 research articles, w