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

Requirements, Architectures and Risks., and . STRAW, page 100-106. (2003)Optimizing the V&V process for critical systems., , and . GECCO, page 1139. ACM, (2007)Criteria for Evaluation of Visual Programming Languages., , and . J. Vis. Lang. Comput., 8 (2): 175-192 (1997)Better Reasoning About Software Engineering Activities., and . ASE, page 391-394. IEEE Computer Society, (2001)Evaluating the Impact of Combination of Engagement Strategies in SEP-CyLE on Improve Student Learning of Programming Concepts., , , , , , , and . SIGCSE, page 1130-1135. ACM, (2019)Technology Transfer Issues for Formal Methods of Software Specification., , , , and . CSEE&T, page 23-31. IEEE Computer Society, (2000)Undergraduate software engineering laboratories: a progress report from two universities., , and . SIGCSE, page 57-62. ACM, (1992)Inservice education of high school computer science teachers., , and . SIGCSE, page 199-203. ACM, (1989)Finding robust solutions in requirements models., , , , , , and . Autom. Softw. Eng., 17 (1): 87-116 (2010)Language Choice for CS1 and CS2: Experiences from Two Universities., and . Computer Science Education, 7 (1): 35-51 (1996)