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

Formal Methods Application: An Empirical Tale of Software Development, and . IEEE Transactions on Software Engineering, 28 (3): 308-320 (March 2002)Empirical results of a software engineering curriculum incorporating formal methods.. SIGCSE, page 157-161. ACM, (2000)Experience integrating a formal method into a software engineering course.. SIGCSE, page 271-274. ACM, (1996)Supporting the Formal Analysis of Software Systems., and . CSSE (2), page 776-779. IEEE Computer Society, (2008)978-0-7695-3336-0.Security Analysis of Tramel.. HICSS, IEEE Computer Society, (1999)Formal Requirements Specification Analysis of Attitude Control of the International Space Station Alpha.. HICSS (3), page 348-355. IEEE Computer Society, (1998)Technology Transfer Issues for Formal Methods of Software Specification., , , , and . CSEE&T, page 23-31. IEEE Computer Society, (2000)IEEE-CS/ACM Computing Curriculum Software Engineering Volume Project., , , , , , , and . CSEE&T, page 333-. IEEE Computer Society, (2003)Certification for Software Professionals: The IEEE Computer Society?s CSDP Program., , , , , , and . CSEE&T, page 323-. IEEE Computer Society, (2003)Advances in Software Specification and Verification - Minitrack Introduction., and . HICSS, IEEE Computer Society, (2001)