Author of the publication

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

Automating Software Analysis and Testing Using a Program Transformation System., and . Symposium on Testing, Analysis, and Verification, page 75-84. ACM, (1989)Knowledge-Based Software Development from Requirements to Code., , and . System Development and Ada, volume 275 of Lecture Notes in Computer Science, page 62-80. Springer, (1986)Customized Tools for Software Quality Assurance and Reengineering., , and . WCRE, IEEE Computer Society, (1995)Software Assurance Research Infusion: The NASA Experience., , , , and . ISoLA, page 18-27. IEEE Computer Society, (2006)Application of REFINE Language ToolsTM to Software Quality Assurance., and . KBSE, page 4. IEEE Computer Society, (1994)Automating the Modularization of Large COBOL Programs: Application of an Enabling Technology for Reengineering., and . WCRE, page 222-230. IEEE Computer Society, (1993)Architecting and generalizing a safety case for critical condition detection software: an experience report., and . ASSURE@ICSE, page 29-33. IEEE Computer Society, (2013)Industrial experience in automating software re-engineering., , , , , , and . COMPSAC, page 611-616. IEEE, (1990)A program transformation approach to automating software re-engineering., , and . COMPSAC, page 314-322. IEEE, (1990)