关注
Ralf Kneuper
Ralf Kneuper
IU International University
在 kneuper.de 的电子邮件经过验证 - 首页
标题
引用次数
引用次数
年份
CMMI, dpunktVerlag
R Kneuper
Heidelberg, 2007
267*2007
Limits of formal methods
R Kneuper
Formal Aspects of Computing 9 (4), 379-394, 1997
751997
CMMI: Verbesserung von Softwareprozessen mit Capability Maturity Model Integration
R Kneuper
dpunkt-Verlag, 2006
682006
Software Processes and Life Cycle Models
R Kneuper
Cham: Springer, 2018
592018
Sixty Years of Software Development Life Cycle Models
R Kneuper
IEEE Annals of the History of Computing 39 (3), 41-54, 2017
592017
CMMI: Improving Software and Systems Development Processes Using Capability Maturity Model Integration
R Kneuper
Rocky Nook, 2008
452008
Vorgehensmodelle für die betriebliche Anwendungsentwicklung
R Kneuper, G Müller-Luschnat, A Oberweis
Springer-Verlag, 2013
412013
Supporting software processes using knowledge management
R Kneuper
Handbook of Software Engineering and Knowledge Engineering: Volume II …, 2002
312002
Normen zum Qualitätsmanagement bei der Softwareentwicklung
R Kneuper, F Sollmann
Informatik Spektrum 18 (6), 314-323, 1995
231995
Symbolic execution as a tool for validation of specifications
R Kneuper
PQDT-Global, 1989
231989
CMMI: Verbesserung von Software-und Systementwicklungsprozessen mit Capability Maturity Model Integration (CMMI-DEV)
R Kneuper
Dpunkt-Verlag, 2007
202007
Symbolic execution: a semantic approach
R Kneuper
Science of computer programming 16 (3), 207-249, 1991
191991
Prozesse verbessern mit CMMI® for Services
C Hertneck, R Kneuper
Ein Praxisleitfaden mit Fallstudien, Heidelberg, 2011
18*2011
CMMI in der Praxis
R Kneuper, E Wallmüller
Fallstudien zur Verbesserung der Entwicklungsprozesse mit CMMI 1, 2009
142009
Software Processes in the Software Product Life Cycle
R Kneuper
Software Processes and Life Cycle Models, 69-157, 2018
122018
unternehmenszielorientierte Prozessverbesserung mit CMMI
T Greb, R Kneuper
HMD Praxis der Wirtschaftsinformatik 47 (3), 97-106, 2010
122010
Was ist eigentlich Prozessqualität
R Kneuper, P Philipp-Röth-Weg
Heiß, H.-U.; Pepper, P.; Schlinghoff, H. Schneider, J.(Hrsg.) Informatik …, 2011
102011
Validation und Verifikation von Software durch symbolische Ausführung
R Kneuper
Testen, Analysieren und Verifizieren von Software, 155-167, 1992
101992
CMMI–Verbesserung von Softwareprozessen mit Capability Maturity Model Integration. dpunkt-Verlag
R Kneuper
Heidelberg,, 2006
92006
Governance und Compliance von Anfang an wirksam umsetzen
U Andelfinger, R Kneuper
HMD Praxis der Wirtschaftsinformatik 51 (3), 217-227, 2014
72014
系统目前无法执行此操作,请稍后再试。
文章 1–20