Author of the publication

Investigating the use of analysis contracts to support fault isolation in object oriented code.

, , and . ISSTA, page 70-80. ACM, (2002)

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

Facilitating the transition from use case models to analysis models: Approach and experiments., , and . ACM Trans. Softw. Eng. Methodol., 22 (1): 5:1-5:38 (2013)How Reuse Influences Productivity in Object-Oriented Systems., , and . Commun. ACM, 39 (10): 104-116 (1996)A replicated assessment and comparison of common software cost modeling techniques., , and . ICSE, page 377-386. ACM, (2000)Enabling the runtime assertion checking of concurrent contracts for the Java modeling language., , and . ICSE, page 786-795. ACM, (2011)Model-Driven, Network-Context Sensitive Intrusion Detection., , , and . MoDELS, volume 4735 of Lecture Notes in Computer Science, page 61-75. Springer, (2007)A UML/MARTE Model Analysis Method for Detection of Data Races in Concurrent Systems., , and . MoDELS, volume 5795 of Lecture Notes in Computer Science, page 47-61. Springer, (2009)A systematic review of transformation approaches between user requirements and analysis models., , and . Requir. Eng., 16 (2): 75-99 (2011)Property-Based Software Engineering Measurement., , and . IEEE Trans. Software Eng., 22 (1): 68-86 (1996)A Realistic Empirical Evaluation of the Costs and Benefits of UML in Software Maintenance., , and . IEEE Trans. Software Eng., 34 (3): 407-432 (2008)Embracing the Engineering Side of Software Engineering.. IEEE Software, 29 (4): 96 (2012)