Dr. Ralf Kneuper

Beratung für
Softwarequalitätsmanagement und
Prozessverbesserung

Navigation

English

Veröffentlichungen

Bücher, Buchbeiträge und Tagungsbände
Begutachtete Veröffentlichungen
Sonstige Veröffentlichungen
Vorträge

Bücher, Buchbeiträge und Tagungsbände

B1 Ralf Kneuper: Foundations of specification animation (Kap. 9) und "The specification of the animation tool" (Anhang D): in: C.B. Jones, K.D. Jones, P.A. Lindsay und R.C. Moore: "mural – A Formal Development Support System".
Mit Beiträgen von J. Bicarregui, M. Elvang-Goransson, R. Fields, R. Kneuper, B. Ritchie und A.C. Wills.
Springer-Verlag 1991
B2 Ralf Kneuper: Validation und Verifikation von Software durch symbolische Ausführung,: in: P. Liggesmeyer, H.M. Sneed, A. Spillner: "Testen, Analysieren und Verifizieren von Software".
Springer-Verlag 1992.
Zusammenfassung Volltext (PDF, 243 KB)
B3 Sergio Montenegro, Ralf Kneuper, Günther Müller-Luschnat (Hrsg.): Vorgehensmodelle – Einführung, betrieblicher Einsatz, Werkzeug-Unterstützung und Migration.: Beiträge zum 4. Workshop 17.-18. März 1997 in Berlin-Adlershof.
GMD-Forschungszentrum Informationstechnik, 1997,
GMD-Studien 311. (ISBN: 3-88457-311-X)
B4 Ralf Kneuper, Günther Müller-Luschnat, Andreas Oberweis (Hrsg.): Vorgehensmodelle für die betriebliche Anwendungsentwicklung: Verlag B.G. Teubner,1998. (ISBN: 3-8154-2605-7)
B5 Ralf Kneuper: Organisatorische Gestaltung des Einsatzes von Vorgehensmodellen, in: Ralf Kneuper, Günther Müller-Luschnat, Andreas Oberweis (Hrsg.): "Vorgehensmodelle für die betriebliche Anwendungsentwicklung".: Verlag B.G. Teubner, 1998, S. 228-248.
Zusammenfassung
B6 Ralf Kneuper, Martin Verlage (Hrsg.): Vorgehensmodelle, Prozessverbesserung und Qualitätsmanagement.: 6. Workshop der GI-Fachgruppe 5.1.1 Vorgehensmodelle für die betriebliche Anwendungsentwicklung.
Universität Kaiserslautern, 19. und 20. April 1999
Fraunhofer IRB Verlag, 1999. (ISBN: 3-8167-5259-4)
Inhaltsübersicht
B7 Ralf Kneuper, Manuela Wiemers (Hrsg.): Leichte Vorgehensmodelle: 8. Workshop der GI-Fachgruppe 5.1.1 Vorgehensmodelle für die betriebliche Anwendungsentwicklung. Glashütten/Ts., März 2001.
Shaker Verlag, 2001. (ISBN: 3-8265-8577-1)
Inhaltsübersicht
B8 Ralf Kneuper: Capability Maturity Model (CMM) (Kap. 2.3), in Roland Petrasch: Einführung in das Software-Qualitätsmanagement: Mit Gastbeiträgen von Thomas Blum, Ralf Kneuper, Tim Koomen, Martin Pol und Andreas Spillner.
Logos Verlag, Berlin, 2001. (ISBN: 3-89722-401-1)
Buch bei amazon kaufen
B9 Ralf Kneuper, Roland Petrasch, Manuela Wiemers (Hrsg.): Angepasste Vorgehensmodelle: 9. Workshop der GI-Fachgruppe 5.11 Vorgehensmodelle für die betriebliche Anwendungsentwicklung. Glashütten/Ts., März 2002.
Shaker Verlag, 2002. (ISBN: 3-8322-0021-5)
Inhaltsübersicht Buch bei amazon kaufen
B10 Ralf Kneuper: Supporting Software Processes Using Knowledge Management,: in Chang, S.K.: Handbook of Software Engineering and Knowledge Engineering, Vol. II.
Mai 2002. World Scientific Publishing, 2002. (ISBN: 981-02-4974-8), S. 579-608.
Abstract Volltext (PDF) Buch bei amazon kaufen
B11 Ralf Kneuper: CMMI. Verbesserung von Softwareprozessen mit Capability Maturity Model Integration: November 2002, dpunkt.verlag. (ISBN: 3-89864-185-6)
Rezension "Wirtschaftsinformatik"
Rezensionen bei amazon
B12 Roland Petrasch, Manuela Wiemers, Ralf Kneuper (Hrsg.): Praxistauglichkeit von Vorgehensmodellen: 10. Workshop der GI-Fachgruppe WI-VM. Berlin, März 2003
Shaker Verlag, 2003. (ISBN: 3-8322-1330-9)
Inhaltsübersicht Buch bei amazon kaufen
B13 Roland Petrasch, Manuela Wiemers, Ralf Kneuper (Hrsg.): Akzeptanz von Vorgehensmodellen: 11. Workshop der GI-Fachgruppe WI-VM. Berlin, April 2004
Shaker Verlag, 2004. (ISBN: 3-8322-2710-5)
Inhaltsübersicht Buch bei amazon kaufen
B14 Jens Borchers, Ralf Kneuper (Hrsg.): Software Management 2004. Outsourcing and Integration: GI-Conference Software Management 2004, November 2004, Bad Homburg
Gesellschaft für Informatik, Lecture Notes in Informatics (LNI). (ISBN: 3-88579-383-0)
Buch bei amazon kaufen
B15 Ralf Kneuper: CMMI. Verbesserung von Softwareprozessen mit Capability Maturity Model Integration. 2., überarbeitete und erweiterte Auflage.: 2006, dpunkt.verlag. (ISBN: 3-89864-373-5)
zur 1. Auflage
Rezension "Wirtschaftsinformatik"
Rezension "PMaktuell"
B16 Hubert Biskup, Ralf Kneuper (Hrsg.): Nutzen und Nutzung von Vorgehensmodellen: 13. Workshop der GI-Fachgruppe WI-VM. München, März 2006
Shaker Verlag, 2006. (ISBN: 3-8322-4956-7)
Buch bei amazon kaufen
B17 Ralf Kneuper: CMMI-Modell: in: Vom LAN zum Kommunikationsnetz. Netze und Protokolle, Teil 10/4, Ausgabe-Nr. 01/2007, Februar 2007, WEKA MEDIA, Kissing. (ISBN: 3-8245-3501-7)
B18 Ralf Kneuper: CMMI. Capability Maturity Model Integration.: in: Informationstechnologie von A-Z., Ausgabe-Nr. 01/2007, Februar 2007, WEKA MEDIA, Kissing. (ISBN: 3-8245-8190-6)
B19 Ralf Kneuper: CMMI. Capability Maturity Model Integration.: in: Schelle, Reschke, Schnopp, Schub: Projekte erfolgreich managen. Kap. 4.10.7, 29. Lieferung, Februar 2007, TÜV Media. (ISBN: 978-3-8249-0829-5)
B20 Ralf Kneuper: Erfahrungen mit SCAMPI-Assessments.: in: Wallmüller, Ernest: SPI. Software Process Improvement mit CMMI, PSP/TSP und ISO 15504. S. 48-53, Hanser Verlag, 2007. (ISBN: 978-3-446-40492-2.)
B21 Georg Herzwurm, Ralf Kneuper, Marcus A. Rothenberger: Einführung in den Track Softwareprozessverbesserung.: in: A. Oberweis, C. Weinhardt, et.al.: eOrganisation: Service-, Prozess-, Market-Engineering. 8. Internationale Tagung Wirtschaftsinformatik. Band 2. S. 235-236, Universitätsverlag Karlsruhe, 2007. (ISBN: 978-3-86644-095-1.)
B22 Ralf Kneuper, Eckhard Wirth: CMMI Version 1.2 – Was hat sich in der praktischen Umsetzung geändert.: in: R. Höhn, M. Kuhrmann, et.al.: Vorgehensmodelle und Projektmanagement. Assessment, Zertifizierung, Akkreditierung. S. 159-165, Shaker Verlag, Aachen, 2007. (ISBN: 978-3-8322-6111-5.)
B23 Ralf Kneuper: CMMI. Verbesserung von Software- und Systementwicklungsprozessen mit Capability Maturity Model Integration (CMMI-DEV). 3., aktualisierte und überarbeitete Auflage.: 2007, dpunkt.verlag. (ISBN: 3-89864-373-5)
zur 1. Auflage
zur 2. Auflage
Buch bei amazon kaufen
B24 Ralf Kneuper: Erfüllung der Anforderungen des Capability Maturity Model Integration (CMMI) mit dem V-Modell XT: in: R. Höhn, S. Höppner: Das V-Modell XT. S. 527-537, Springer-Verlag, 2008. (ISBN: 978-3-540-30249-0.)
B25 Ralf Kneuper: CMMI. Improving Software and Systems Development Processes Using Capability Maturity Model Integration (CMMI-DEV).: Rocky Nook, 2009. (ISBN: 978-1-933952-28-4.)
Deutsche Ausgabe dieses Buches
Buchbesprechung bei Sticky Minds
Buchausschnitte von IT Business Edge herunterladen
Buch bei amazon kaufen
Elektronische Fassung bei Safari Books kaufen
B26 Ralf Kneuper: Verbesserung der Akquisition von Produkten und Leistungen auf Basis des CMMI für Akquisition: in: R. Höhn, O. Linssen (Hrsg.): Vorgehensmodelle und Implementierungsfragen Akquisition - Lokalisierung - soziale Maßnahmen - Werkzeuge : 16. Workshop der Fachgruppe WI-VM der Gesellschaft für Informatik e.V. (GI), S. 163-166, Shaker-Verlag, 2009. (ISBN: 978-3-8322-8109-0.)
Buch bei amazon kaufen
Folien zum Vortrag (V13)
B27 Ralf Kneuper, Ernest Wallmüller: CMMI in der Praxis. Fallstudien zur Verbesserung der Entwicklungsprozesse mit CMMI .: 2009, dpunkt.verlag. (ISBN: 978-3-89864-571-3)
Buch bei amazon kaufen

Begutachtete Veröffentlichungen

P1 Ralf Kneuper: Symbolic execution: a semantic approach

Science of Computer Programming, Vol. 16 (1991), S. 207-249

Abstract

P2 Ralf Kneuper: "Anforderungen an den Unterricht der Hochschulen im Fach Software Engineering aus Sicht eines Softwarehauses"

in: Hußmann, Paech (Hrsg.): 3. Workshop SEUH – Software Engineering im Unterricht der Hochschulen
Teubner Verlag, 1994.

Volltext (PDF, 203 KB)

P3 Ralf Kneuper, Frank Sollmann: Normen zum Qualitätsmanagement bei der Softwareentwicklung

Informatik Spektrum, Band 18 (1995), S. 314-323

Volltext (PDF, 228 KB)

P4 Ralf Kneuper: Limits of Formal Methods

Formal Aspects of Computing, 9 (1997), S. 379-394.

Abstract Volltext (PDF, 199 KB)

P5 Ralf Kneuper: Requirements on Software Process Technology from the Viewpoint of Commercial Software Development: Recommendations for Research Directions

in: Volker Gruhn (Ed.): Software Process Technology.
6th European Workshop, EWSPT'98, Weybridge, UK, September 1998, Proceedings.
Springer, 1998, Lecture Notes in Computer Science 1487.

Abstract Volltext (PDF, 274 KB)

P6 Caroline Claus, Michael Freund, Michael Kaiser, Ralf Kneuper: Implementing Systematic Requirements Management in a Large Software Development Programme

in: A.L. Opdahl, K. Pohl, E. Dubois: Fifth International Workshop on Requirements Engineering: Foundation for Software Quality,
REFSQ '99, 14-15 June 1999, Heidelberg.
Presses Universitaires de Namur.

Abstract Volltext (PDF, 101 KB)

P7 Ralf Kneuper: CMM-Assessments zur Prozeßverbesserung bei der Softwareentwicklung. Ein Praxisbericht.

In: A. Oberweis, H. Sneed (Hrsg.): Software Management '99,
Proc. Fachtagung der Gesellschaft für Informatik e.V. (GI) Oktober 1999 in München.
B.G. Teubner-Verlagsgesellschaft, Leipzig, Stuttgart 1999, S. 225-241.

Abstract

P8 Ralf Kneuper: Unterstützung von Softwareprozessen durch Wissensmanagement.

In: Georg Herzwurm, Urs Andelfinger, Werner Mellis, Günther Müller-Luschnat (Hrsg.): Vorgehensmodelle: Wirtschaftlichkeit, Werkzeugunterstützung und Wissensmanagement.
Shaker Verlag, Aachen 2000,
7. Workshop der Fachgruppe 5.11 Vorgehensmodelle) (ISBN: 3-8265-5939-8

Abstract Buch bei amazon kaufen

P9 Ralf Kneuper: Ein Vorgehensmodell für die Durchführung von Vorgehensmodell-Workshops

In: Ralf Kneuper, Manuela Wiemers (Hrsg.): Leichte Vorgehensmodelle
8. Workshop der GI-Fachgruppe 5.1.1 Vorgehensmodelle. Glashütten/Ts., März 2001.
Shaker Verlag, 2001. (ISBN: 3-8265-8577-1)

Volltext (aktualisierte Fassung)

P10 Ralf Kneuper, Martin Sigmund: Management-Commitment bei der Einführung von Projekt- und Qualitätsmanagement am Beispiel CMM

In: Reinhard Richter (Hrsg.): 4. Fachtagung Management und Controlling von IT-Projekten. Glashütten⁄Ts. 2001. dpunkt.verlag. (ISBN: 3-89864-114-7)

Zusammenfassung

P11 Ralf Kneuper, Reinhard Richter: Softwareentwicklung für Web-basierte Anwendungssysteme.

Editorial zum Schwerpunktthema. Wirtschaftsinformatik, Heft 3, 2002, S. 197-198.

P12 Markus Grüne, Ralf Kneuper: Web Engineering.

Für Sie gesurft. Wirtschaftsinformatik, Heft 3, 2002, S. 269-275.

P13 Heidi Heilmann, Ralf Kneuper: CMM(I) – Capability Maturity Model (Integration). Ein Rahmen zur Gestaltung von Softwareentwicklungsprozessen.

HMD – Praxis der Wirtschaftsinformatik, Heft 231, 2003, S. 63-70.

P14 Ralf Kneuper: Erfüllung der CMMI-Anforderungen mit dem neuen V-Modell XT.

in: Roland Petrasch, Reinhard Höhn, Stephan Höppner, Herbert Wetzel, Manuela Wiemers (Hrsg.): Entscheidungsfall Vorgehensmodelle. 12. Workshop der Fachgruppe WI-VM der Gesellschaft für Informatik e.V. (GI). Shaker Verlag, 2005. S. 59-70.

Vortragsfolien (PDF, 423 KB)

P15 Ralf Kneuper: CMMI zur Lieferantenauswahl – Bewertung von Assessmentergebnissen

HMD – Praxis der Wirtschaftsinformatik, Heft 246, 2005, S. 93-103.

P16 Thomas Greb, Ralf Kneuper, Jan Stender: CMMI und ITIL – Zusammenarbeit von Entwicklung und IT Service Management.

it Service Management, Heft 2, 2006, S. 11-18.

P17 Thomas Greb, Ralf Kneuper, Jan Stender: Nutzung der CMMI-Assessmentmethode für ITIL-Prozesse.

it Service Management, Heft 3, 2007, S. 10-15.

P18 Ralf Kneuper: Vorgehensmodelle und Reifegradmodelle – Ergänzung oder Konkurrenz?

in: Informatik 2007. Informatik trifft Logistik. Band 2. Beiträge zur 37. Jahrestagung der Gesellschaft für Informatik e.V. (GI) 24. - 27. September 2007 in Bremen. Lecture Notes in Informatics (LNI) – Proceedings, Volume P-110. S. 312-315. Workshop Vorgehensmodelle in der Praxis – Reife und Qualität

Zusammenfassung

Volltext (© Gesellschaft für Informatik (GI))

Vortragsfolien

Sonstige Veröffentlichungen

O1 Ralf Kneuper: Symbolic Execution of Specifications: User Interface and Scenarios

Dept. of Computer Science, Univ. of Manchester, Techn. Report UMCS-87-12-6, 1987

Abstract

O2 Ralf Kneuper: Symbolic Execution as a Tool for Validation of Specifications

PhD Thesis, Dept. of Computer Science, Univ. of Manchester, 1989

Abstract

O3 Ralf Kneuper: Die Entwicklung der Mathematik

Skriptum nach der mathematikgeschichtlichen Vorlesung von N. Stuloff, Teil 4: Von Hilbert bis Bourbaki. Universität Mainz, Fachbereich Mathematik, 1990

O4 Ralf Kneuper: Book Review Truth, Deduction and Computation: Logic and Semantics for Computer Science by Ruth Davis

Science of Computer Programming, 1990, S. 249-251

O5 Ralf Kneuper: Anmerkungen zu Mellis, Stelzer: Das Rätsel des prozeßorientierten Softwarequalitätsmanagement.

Wirtschaftsinformatik, Heft 5/99, S. 474

O6 J. Foldenauer, R. Kneuper, H.-H. Schäfer, E. Wirth, G. Zarden: Der Leuchtturm – Entwicklung und Einsatz eines betrieblichen Vorgehensmodells.

Rundbrief Fachausschuss Management der Anwendungsentwicklung und -wartung, Heft I/2000, S. 14-19

O7 Ralf Kneuper: Supporting Software Processes Using Knowledge Management.

Rundbrief Fachausschuss Management der Anwendungsentwicklung und -wartung, Heft I/2000, S. 20-33

O8 Ralf Kneuper: CMM-Assessments zur Prozessverbesserung bei der SW-Entwicklung.

Wirtschaftsinformatik-Fachverband WIF, Nachhaltige Leistungsteigerung durch Informatik Prozess Management, WIF-Tagung 11. Mai 2000, Zürich

O9 Ralf Kneuper, Michael Kaiser: Introduction of project management in a large SW development programme.

5th European Software Engineering Process Group Conference 2000 (European SEPG)

Abstract

O10 Ralf Kneuper Buchbesprechung "Herbert Kargl: Management und Controlling von IV-Projekten

Wirtschaftsinformatik, Heft 5, 2001, S. 530

HTML version

O11 Ralf Kneuper: Buchbesprechung Christoph Zahrnt: Projektmanagement von IT-Verträgen

Rundbrief Fachausschuss Management der Anwendungsentwicklung und -wartung, Heft 1/2002, S. 64-65

O12 Ralf Kneuper Capability Maturity Model Integration

(Tutorial-Kurzfassung), in: Thorsten Spitta, Jens Borchers, Harry M. Sneed (Eds.): Software Management 2002. GI-Edition.
Lecture Notes in Informatics, 2002. ISBN 3-88579-352-0.

O13 Ralf Kneuper: Capability Maturity Model Integration (CMMI). Ein Qualitätsmanagementmodell für die Software- und Systementwicklung.

Rundbrief Fachausschuss Management der Anwendungsentwicklung und -wartung (WI-MAW), Heft 2/2003, S. 12-23

O14 Ralf Kneuper: Nutzung von CMMI und Verwandten zur Lieferantenauswahl, oder: Wie kann ich die Aussagekraft angeblicher CMMI-Assessmentergebnisse überprüfen.