Seminar "Empirische Forschungsmethoden in der Softwaretechnik"

2004-01-14, Stephan Salinger, Sebastian Jekutsch

Empirische Verfahren in der Softwaretechnik, d.h. Beobachtungen über und Experimente mit Programmen und Methoden, sind in den letzten 10-20 Jahren erheblich gereift. In einigen Teilgebieten wird die empirische Überprüfung, wenn nicht als Standardteil, so doch als leistungsfähige Ergänzung von Forschungsartikeln gesehen. Trotz dieser Entwicklung haben empirische Verfahren in der Softwaretechnik aber noch nicht dieselbe Bedeutung und zum Teil auch nicht dieselbe Qualität wie in anderen Ingenieurwissenschaften, in der Psychologie oder der Medizin. So werden neue Techniken (z.B. 'Extreme Programming') in der Regel nur postuliert und als intuitiv brauchbar erklärt. Selten werden ihre Vorteile auch durch Messreihen und ähnlichem belegt.

Ziel dieses Seminars ist es, Vorgehensmodelle in der Empirie kennen zu lernen und deren Anwendung anhand von ausgewählten Artikeln aus der Softwaretechnik zu studieren. Hierbei soll der Fokus darauf liegen, die Stärken und Schwächen des Vorgehens in den einzelnen Artikeln zu untersuchen und zu beurteilen. In diesem Zusammenhang werden sich Fragen nach Gültigkeit, Verlässlichkeit und Relevanz stellen.

(siehe auch im KVV)

Material

• Empirische_Studien_in_der_SWT_V1.01.pdf: Die Einführung in den Themenkomplex (Folien Vorbesprechung)
• StatistikfrEmpirikerinderSoftwaretechnik.pdf: Eine Kurzübersicht (Folien Vorbesprechung)

Seminarablauf

Termin: 29.3. - 1.4.04 (Kalenderwoche 14)

Zeit: Jeweils 9 - 16 Uhr ct

Ort: Seminarraum 046

Nr	Thema	Referent/-in	Termin	Papers	Ausarbeitung	Folien
1	Flowchart vs. Pseudocode	Marc Rintsch	29.3., 9 Uhr	Scanlan89, ShnMayMcK77	flussdiagramme_vs_pseudocode.pdf	fc_vs_pc.pdf
2	Formale Methoden	Jan Klauck	29.3., 11 Uhr	SolCla02, BerTic03, SolCla03	2_aufsatz.pdf	2_folien.pdf
3	Aspektorientiertes Programmieren	Benjamin Schröter	29.3., 14 Uhr	WalBanMur99, AOP-Quellen	Ausarbeitung.pdf	Präsentation.pdf Fib_AspectJ.zip Fib_Java.zip
4	Multiversionsprogrammierung	Katja Silligmann	30.3., 9 Uhr	KniLev86, KniLev90		n-version-independence-assumption-rejection.ppt
5	Entwurfsmuster in der Wartung	Henning Staib	30.3., 11 Uhr	PreUngPhi02	PCL-Ausarbeitung.pdf	PCL-Präsentation.pdf
6	Persönlicher Softwareprozess	Jan Sebastian Siwy	30.3., 14 Uhr	PreUng01, PSP-Quellen	PSP-Aufsatz.pdf	PSP-Präsentation.pdf
7	Umfragen	Martin Spickermann	31.3., 9 Uhr	KitPfl01-survey1 … KitPfl03-survey6	Ausarbeitung.pdf	08-Folien.pdf
8	Kunden-Entwickler-Beziehungen	Irina Itschert	31.3., 11 Uhr	KeiCar95
9	CMM-Umfrage	Oliver Pütz	31.3., 11 Uhr	HerGol96, HerZubGol97	9_CMM-Umfrage.pdf	9_CMM-Umfrage_Vortrag-V2.pdf
10	Checklist-basierter vs. perspektivischer Inspektion	Boris Tsarev	1.4., 9 Uhr	LaiElEHar01
11	Vererbungstiefe in der Wartung	Georg Sisow	1.4., 9 Uhr	DalBroMil96-tr, PreUngPhi03	Auserbeitung.pdf	Vortragsfolien.pdf
12	Softwareprozesse, empirisch	Antoinette Herrmann	1.4., 11 Uhr	ShuCarTra01	Vortrag010404final.pdf	Vortrag010404Folienfinal.pdf

Organisatorisches

Ansprechpartner: Sebastian Jekutsch und Stephan Salinger

Hinweise für den Seminarablauf und die Scheinkriterien

Gutachter:

Nr	1. Schriftgutachter/-in	2. Schriftgutachter/-in	1. Vortragsgutachter/-in	2. Vortragsgutachter/-in
1	Oliver Pütz	Henning Staib	Benjamin Schröter	Martin Spikermann
2	Katja Silligmann	Oliver Pütz	Jan Sebastian Siwy	Georg Sisow
3	Antoinette Herrmann	Irina Itschert	Oliver Pütz	Marc Rintsch
4	Martin Spickermann	Antoinette Herrmann	Georg Sisow	Oliver Pütz
5	Marc Rintsch	Boris Tsarev	Antoinette Herrmann	Jan Sebastian Siwy
6	Georg Sisow	Jan Klauck	Katja Silligmann	Henning Staib
7	Jan Sebastian Siwy	Georg Sisow	Jan Klauck	Antoinette Herrmann
8	Boris Tsarev	Marc Rintsch	Benjamin Schröter	Katja Silligmann
9	Benjamin Schröter	Martin Spickermann	Henning Staib	Jan Klauck
10	Marc Rintsch	Benjamin Schröter	Henning Staib	Martin Spickermann
11	Jan Klauck	Katja Silligmann	Martin Spickermann	Irina Itschert
12	Henning Staib	Jan Sebastian Siwy	Marc Rintsch	Benjamin Schröter

Literatur

AOP-Quellen	Zum Einstieg geeignet: Taja Scharf: Aspekorientierte Programmierung mit AspectJ. JavaSpektrum 4/2003, Seite 32--36
BerTic03	Daniel M. Berry, Walter F. Tichy: Comments on "Formal Methods Application: An Empirical Tale of Software Development, IEEE Trans. Softw. Eng., volume 29, number 6, 2003, pages 567--571,
DalBroMil96-tr	John Daly, Andrew Brooks, James Miller, Marc Roper, and Murray Wood: Evaluating inheritance depth on the maintainability of object-oriented software. Empirical Software Engineering, 1(2): 109-132, 1996
HerGol96	James D. Herbsleb, Dennis R. Goldenson: A systematic survey of CMM experience and results, Proceedings of the 18th international conference on Software engineering, 1996, pages 323--330
HerZubGol97	James Herbsleb, David Zubrow, Dennis Goldenson, Will Hayes, and Mark Paulk: Software quality and the Capability Maturity Model Commun. ACM, volume 40, number 6, 1997, pages 30--40
KeiCar95	Mark Keil, Erran Carmel: Customer-Developer Links in Software Development Commun. ACM, volume 38, number 5, 1995, pages 33--44
KitPfl01-survey1 ... KitPfl03-survey6	Shari Lawrence Pfleeger, Babara A. Kitchenham: Principles of Survey Research (Part 1 – Part 6) ACM SIGSOFT, Software Enginneering Notes vol 26 no 6 – vol 27 no 5 November 2001 – September 2002
KniLev86	John C. Knight, Nancy G. Leveson: An experimental evaluation of assumption of independence in multiversion programming. IEEE Transaction on Software Engineering 12(1):96-109, January 1986
KniLev90	John C. Knight and Nancy G. Leveson: A reply to the criticisms of the Knight and Leveson Software Engineering Notes, 15(1):24-35, January 1990.
LaiElEHar01	Oliver Laitenberger, Khaled El Emam, and Thomas Harbich: An internally replicated quasi-experimental comparison of checklist and perspective-based reading of code documents. IEEE Trans. On Software Engineering, Vol. 27, No. 5, May 2001, pages 387--421
PreUng01	Lutz Prechelt, Barbara Unger: A controlled experiment measuring the effects of Personal Software Process (PSP). IEEE Trans. on Software Engineering. Vol. 27, No. 5, May 2000, pages 465--472
PreUngPhi02	Lutz Prechelt, Barbara Unger, Michael Phillipsen, and Walter F.Tichy: Two controlled experiments assesing the usefulness of design pattern information during program maintenance. IEEE Trans. on Software Engineering, Vol. 28, No. 6, June 2002, pages 595--606
PreUngPhi03	Lutz Prechelt, Barbara Unger, Michael Phillipsen, and Walter F.Tichy: A controlled experiment on inheritance depth as a cost factor for maintenance. IEEE Trans. On Software Engineering. 2000
PSP-Quellen	Zum Einstieg geeignet: Lutz Prechelt: Der persönliche Softwareprozeß. c't 1998, Heft 19, S.174-175
Scanlan89	David A. Scanlan: Structured Flowcharts Outperform Pseudocode: An Experimental Comparison Software, IEEE Publication Date: Sep 1989 On page(s): 28-36 Volume: 6, Issue: 5
ShnMayMcK77	Ben Shneiderman, Richard Mayer, Don McKay and Peter Heller: Experimental investigations of the utility of detailed flowcharts in programming, Commun. ACM, volume 20, number 6, 1977, pages 373--381
ShuCarTra01	Forrest Shull, Jeffrey Carver, and Guilherme H. Travassos: An Empirical Methodology for Introducing Software Processes, Proceedings of the 8th European software engineering conference held jointly with 9th ACM SIGSOFT international symposium on Foundations of software engineering, pages 288--296,2001
SolCla02	Ann E. Kelley Sobel, Michael R. Clarkson: Formal Methods Application: An Empirical Tale of Software Development. IEEE Trans. Softw. Eng., volume 28, number 3, 2002, pages 308--320
SolCla03	Ann E. Kelley Sobel, Michael R. Clarkson: Response to "Comments on 'Formal Methods Application: An Empirical Tale of Software Development', IEEE Trans. Softw. Eng., volume 29, number 6, 2003, pages 572--575
WalBanMur99	Robert J. Walker, Elisia L.A. Baniassad, and Gail C. Murphy: An initial assessment of aspect-oriented programming. In Proc. 21st Intl. Conf. on Software Engineering, pages 120-130, Los Angeles, CA, May 1999. IEEE CS Press