Author of the publication

Technology Transfer Issues for Formal Methods of Software Specification.

, , , , and . CSEE&T, page 23-31. IEEE Computer Society, (2000)

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

Language Choice for CS1 and CS2: Experiences from Two Universities., and . Computer Science Education, 7 (1): 35-51 (1996)Global Diffusion of the Internet - II: National Differences in Web Site Connectivity., and . Commun. Assoc. Inf. Syst., (2003)A learning object repository in support of introductory IT courses., , , and . SIGITE Conference, page 223-227. ACM, (2005)Reexamining the introductory computer science course in liberal arts institutions., , , and . SIGCSE, page 100-104. ACM, (1990)Information Technology Training in Developing Countries., , and . WCCE, volume 217 of IFIP Conference Proceedings, page 787-794. Kluwer, (2001)Some Applications from Software Testing for a Discrete Structures Course.. Computer Science Education, 2 (1): 1-30 (1991)Teaching project management: an experiential approach, , and . Journal of Computing Sciences in Colleges, 22 (3): 198 -- 205 (2007)Comparing Object-Oriented and Data Flow Models - a Case Study., and . ACM Conference on Computer Science, page 541-547. ACM, (1992)Inquiry-based computer science instruction: some initial experiences., , and . ITiCSE, page 14-17. ACM, (1998)Technology Transfer Issues for Formal Methods of Software Specification., , , , and . CSEE&T, page 23-31. IEEE Computer Society, (2000)