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

The Cognitive Apprenticeship, and . Teaching Reference Today: New Directions, Novel Approaches, (2016)Requirements Capture with RCAT., and . RE, page 183-192. IEEE Computer Society, (2008)A Practical Method for Verifying Event-Driven Software., and . ICSE, page 597-607. ACM, (1999)An Automated Verification Method for Distributed Systems Software Based on Model Extraction., and . IEEE Trans. Software Eng., 28 (4): 364-377 (2002)Events and Constraints: A Graphical Editor for Capturing Logic Requirements of Programs., , and . RE, page 14-22. IEEE Computer Society, (2001)Automated Testing of Planning Models., , , , and . MoChArt, volume 5348 of Lecture Notes in Computer Science, page 90-105. Springer, (2008)Automating software feature verification., and . Bell Labs Tech. J., 5 (2): 72-87 (2000)An Entry Point for Formal Methods: Specification and Analysis of Event Logs, , , and . FMA, volume 20 of EPTCS, page 16-21. (2009)Interval reduction through requirements analysis., and . Bell Labs Tech. J., 3 (2): 22-31 (1998)From scripts to specifications: the evolution of a flight software testing effort., , and . ICSE (2), page 129-138. ACM, (2010)978-1-60558-719-6.