Author of the publication

Formal Methods Application: An Empirical Tale of Software Development

, and . IEEE Transactions on Software Engineering, 28 (3): 308-320 (March 2002)
DOI: http://doi.ieeecomputersociety.org/10.1109/32.991322

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 Requirements Specification Analysis of Attitude Control of the International Space Station Alpha.. HICSS (3), page 348-355. IEEE Computer Society, (1998)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)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)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)Formal Methods Application: An Empirical Tale of Software Development, and . IEEE Transactions on Software Engineering, 28 (3): 308-320 (March 2002)Reflections on Software Engineering 2004, the ACM/IEEE-CS Guidelines for Undergraduate Programs in Software Engineering., , , , and . Software Education and Training Sessions @ ICSE, volume 4309 of Lecture Notes in Computer Science, page 11-27. Springer, (2005)Perspectives on assessment through teaching portfolios in computer science., , , , and . SIGCSE, page 200-203. ACM, (1996)