Hugging Peers

Steve Roach

☆ Save

29 papers 1998–2014

Combining learning strategies and tools in a first course in computer architecture

Patricia J. Teller, Manuel Nieto, Steve Roach
2003-01 WCAE

A Property Specification Tool for Generating Formal Specifications: Prospec 2.0

Irbis Gallegos, Omar Ochoa, Ann Q. Gates, Steve Roach, Salamah Salamah, Corina Vela
2008-01 SEKE

PROTEF: Automatic Verification of Pattern-Based LTL Templates

Luis García, Steve Roach, Salamah Salamah
2008-01 SEKE

Retrospectives in a software engineering project course: Getting students to get the most from a project experience

Steve Roach
2011-01 CSEE&T

Experience Report on Automated Procedure Construction for Deductive Synthesis

Steve Roach, Jeffrey Van Baalen
2002-01 ASE

Towards a Tool for Generating Aspects from MEDL and PEDL Specifications for Runtime Verification

Omar Ochoa, Irbis Gallegos, Steve Roach, Ann Q. Gates
2007-01 RV

Computer science curriculum 2013: reviewing the strawman report from the ACM/IEEE-CS task force

Mehran Sahami, Steve Roach, Ernesto Cuadros-Vargas, David Reed
2012-01 SIGCSE

ACM/IEEE-CS computer science curricula 2013: implementing the final report

Mehran Sahami, Steve Roach, Ernesto Cuadros-Vargas, Elizabeth K. Hawthorne, Amruth Kumar, Richard LeBlanc
+2 more show fewer
David Reed, Remzi Seker
2014-01 SIGCSE

ACM/IEEE-CS computer science curriculum 2013: reviewing the ironman report

Mehran Sahami, Steve Roach, Ernesto Cuadros-Vargas, Richard LeBlanc
2013-01 SIGCSE

ACM/IEEE computer science 2013 exemplar-fest

Andrea Danyluk, Steve Roach, Elizabeth K. Hawthorne, Henry MacKay Walker, Ruth E. Anderson, Christa M. Chewar
2013-01 SIGCSE

Setting the stage for computing curricula 2013: computer science - report from the ACM/IEEE-CS joint task force

Mehran Sahami, Mark Guzdial, Andrew D. McGettrick, Steve Roach
2011-01 SIGCSE

Instrumentation of Intermediate Code for Runtime Verification

Ann Q. Gates, Oscar Mondragon, Mary Payne, Steve Roach
2003-01 SEW

Automated Testing of LTL Formula Generation by Prospec

Cuauhtemoc Munoz, Steve Roach
2010-01 HASE

Verification of Automatically Generated Pattern-Based LTL Specifications

Salamah Salamah, Ann Q. Gates, Vladik Kreinovich, Steve Roach
2007-01 HASE

The SSP: An Example of High-Assurance Systems Engineering

Gregory L. Wickstrom, Jared Davis, Steven E. Morrison, Steve Roach, Victor L. Winter
2004-01 HASE

Model-Checker-Based Testing of LTL Specifications

Luis García, Steve Roach
2007-01 HASE

Using Decision Procedures to Accelerate Domain-Specific Deductive Synthesis Systems

Jeffrey Van Baalen, Steve Roach
1998-01 LOPSTR

Special session - The CS2013 computer science curriculum guidelines project

Mehran Sahami, Steve Roach, Richard LeBlanc
2011-01 FIE