Autor der Publikation

Empirical Study Towards a Leading Indicator for Cost of Formal Software Verification.

, , , , , und . ICSE (1), Seite 722-732. IEEE Computer Society, (2015)

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

 

Weitere Publikationen von Autoren mit dem selben Namen

Different and Conflicting Goals in Software Reviews., , und . ECIS, Seite 420-435. Copenhagen Business School, (1999)Misleading Metrics and Unsound Analyses., , und . IEEE Software, 24 (2): 73-78 (2007)Status Report on Software Measurement., , , und . IEEE Software, 14 (2): 33-44 (1997)Analogy-X: Providing Statistical Inference to Analogy-Based Software Cost Estimation., , und . IEEE Trans. Software Eng., 34 (4): 471-484 (2008)An Evaluation of the Spearmint Approach to Software Process Modelling., , , und . EWSPT, Volume 2077 von Lecture Notes in Computer Science, Seite 77-89. Springer, (2001)Exploring the issues of boundary definition in the application of cosmic-ffp to embedded systems., und . IASTED Conf. on Software Engineering, Seite 679-684. IASTED/ACTA Press, (2004)Viewpoint: PhD Abstract Publication in Empirical Software Engineering.. Empirical Software Engineering, 3 (4): 325-326 (1998)Some issues in the measurement and control of programming productivity., und . Inf. Manag., 4 (4): 169-176 (1981)Managing programming productivity., und . J. Syst. Softw., 5 (1): 49-58 (1985)The State of Practice in the Use of Software Metrics., und . Aust. Comput. J., 31 (1): 9-16 (1999)