dblp.uni-trier.dewww.uni-trier.de

Ralf Kneuper

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

2008
14 Marco Kuhrmann, Patrick Keil, Ralf Kneuper, Hubert Biskup: Vorgehensmodelle in der Praxis - Werkzeuge und Anwendung. GI Jahrestagung (1) 2008: 315-316
2007
13 Ralf Kneuper: Vorgehensmodelle und Reifegradmodelle - Ergänzung oder Konkurrenz? GI Jahrestagung (2) 2007: 312-315
2005
12EERalf Kneuper: CMMI zur Lieferantenauswahl - Bewertung von Assessmentergebnissen. HMD - Praxis Wirtschaftsinform. 246: (2005)
2004
11 Jens Borchers, Ralf Kneuper: Software Management 2004: Outsourcing und Integration, Fachtagung des GI-Fachausschusses Management der Anwendungsentwicklung und -wartung im Fachbereich Wirtschaftsinformatik (WI-MAW), 3. bis 5. November 2004, Bad Homburg GI 2004
2003
10EEHeidi Heilmann, Ralf Kneuper: CMM(I) - Capability Maturity Model (Integration). Ein Rahmen zur Gestaltung von Softwareentwicklungsprozessen. HMD - Praxis Wirtschaftsinform. 231: (2003)
2002
9 Ralf Kneuper: Capability Maturity Model Integration. Software Management 2002: 171-172
8 Ralf Kneuper, Reinhard Richter: Softwareentwicklung für Web-basierte Anwendungssysteme. Wirtschaftsinformatik 44(3): 197-198 (2002)
7 Markus Grüne, Ralf Kneuper: Web Engineering. Wirtschaftsinformatik 44(3): 269-275 (2002)
1998
6 Ralf Kneuper: Requirements on Software Process Technology from the Viewpoint of Commercial Software Development: Recommendations for Research Directions. EWSPT 1998: 111-115
1997
5 Ralf Kneuper: Limits of Formal Methods. Formal Asp. Comput. 9(4): 379-394 (1997)
1995
4 Ralf Kneuper, Frank Sollmann: Normen zum Qualitätsmanagement bei der Softwareentwicklung. Informatik Spektrum 18(6): 314-323 (1995)
1994
3 Ralf Kneuper: Anforderungen an den Unterricht der Hochschulen im Fach Software Engineering aus Sicht eines Softwarehauses. SEUH 1994: 28-38
1992
2 Ralf Kneuper: Validation und Verifikation von Software durch symbolische Ausführung. Testen, Analysieren und Verifizieren von Software 1992: 155-167
1991
1 Ralf Kneuper: Symbolic Execution: A Semantic Approach. Sci. Comput. Program. 16(3): 207-249 (1991)

Coauthor Index

1Hubert Biskup [14]
2Jens Borchers [11]
3Markus Grüne [7]
4Heidi Heilmann [10]
5Patrick Keil [14]
6Marco Kuhrmann [14]
7Reinhard Richter [8]
8Frank Sollmann [4]

Colors in the list of coauthors

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)