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 Trans. Software Eng., 28 (3): 308-320 (2002)SE2004: Recommendations for Undergraduate Software Engineering Curricula., , , , and . IEEE Software, 23 (6): 19-25 (2006)IEEE-CS/ACM Computing Curriculum Software Engineering Volume Project., , , , , , , and . CSEE&T, page 333-. IEEE Computer Society, (2003)Technology Transfer Issues for Formal Methods of Software Specification., , , , and . CSEE&T, page 23-31. IEEE Computer Society, (2000)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)Applying an operational formal method throughout software engineering education.. Inf. Softw. Technol., 40 (4): 233-238 (1998)