( en | de | ru )

 

Disambiguation of "Roach, Steve"

Author of the publication

copydeleteadd this publication to your clipboard
Special session: The CS2013 Computer Science curriculum guidelines project.

, , , and . FIE, page 1311-1313. IEEE Computer Society, (2013)

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.

Matthew Roach

Steve Völler

Steve Tonah

Steve Blechschmidt

Steve Pasek

 

Other publications of authors with the same name

Verifying Pattern-Generated LTL Formulas: A Case Study., , , and . SPIN, volume 3639 of Lecture Notes in Computer Science, page 200-220. Springer, (2005)Higher-order strategic programming: A road to software assurance., , and . IASTED Conf. on Software Engineering and Applications, page 350-355. IASTED/ACTA Press, (2004)A Taxonomy and Catalog of Runtime Software-Fault Monitoring Tools., , and . IEEE Trans. Software Eng., 30 (12): 859-872 (2004)DynaMICs: Comprehensive Support for Run-Time Monitoring., , , and . RV@CAV, volume 55 of Electronic Notes in Theoretical Computer Science, page 164-180. Elsevier, (2001)Prospec: Support for Elicitation and Formal Specification of Software Properties., , and . RV@CAV, volume 89 of Electronic Notes in Theoretical Computer Science, page 67-88. Elsevier, (2003)Special session - The CS2013 computer science curriculum guidelines project., , and . FIE, page 2. IEEE Computer Society, (2011)Retrospectives in a software engineering project course: Getting students to get the most from a project experience.. CSEE&T, page 467-471. IEEE Computer Society, (2011)Computer science curricula 2013 released., and . Commun. ACM, 57 (6): 5 (2014)Prediction of inherited and genetic mutations using the software model checker SPIN., and . SAC, page 208-209. ACM, (2005)A Transformational Overview of the Core Functionality of an Abstract Class Loader for the SSP., , , , and . WORDS, page 301-311. IEEE Computer Society, (2005)