Author of the publication

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

, , , , , and . ICSE (1), page 722-732. IEEE Computer Society, (2015)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

Exploring the issues of boundary definition in the application of cosmic-ffp to embedded systems., and . IASTED Conf. on Software Engineering, page 679-684. IASTED/ACTA Press, (2004)Viewpoint: PhD Abstract Publication in Empirical Software Engineering.. Empirical Software Engineering, 3 (4): 325-326 (1998)An Evaluation of the Spearmint Approach to Software Process Modelling., , , and . EWSPT, volume 2077 of Lecture Notes in Computer Science, page 77-89. Springer, (2001)Misleading Metrics and Unsound Analyses., , and . IEEE Software, 24 (2): 73-78 (2007)Status Report on Software Measurement., , , and . IEEE Software, 14 (2): 33-44 (1997)Distributed versus face-to-face meetings for architecture evalution: a controlled experiment., , and . ISESE, page 252-261. ACM, (2006)Analogy-X: Providing Statistical Inference to Analogy-Based Software Cost Estimation., , and . IEEE Trans. Software Eng., 34 (4): 471-484 (2008)Models and algorithms for business value-driven adaptation of business processes and software infrastructure., , , and . ICSE Companion, page 387-390. IEEE, (2009)Different and Conflicting Goals in Software Reviews., , and . ECIS, page 420-435. Copenhagen Business School, (1999)Using Public Domain Metrics To Estimate Software Development Effort., , and . IEEE METRICS, page 16-27. IEEE Computer Society, (2001)