Difference between revisions of "Grigore Rosu's Teaching"

From FSL
Jump to: navigation, search
Line 4: Line 4:
 
{{Header | 2017}}
 
{{Header | 2017}}
  
:* Fall 2017: [https://wiki.cites.illinois.edu/wiki/display/cs427fa17/Home CS427] - Software Engineering I
+
:* Fall 2017: [https://wiki.illinois.edu/wiki/display/cs427fa17/ CS427] - Software Engineering I
 
:* Spring 2017: [[CS598 - Runtime Verification (Spring 2017) | CS598]] - Runtime Verification
 
:* Spring 2017: [[CS598 - Runtime Verification (Spring 2017) | CS598]] - Runtime Verification
  

Revision as of 18:12, 28 August 2017

(back to Grigore Rosu's page)


2017
  • Fall 2017: CS427 - Software Engineering I
  • Spring 2017: CS598 - Runtime Verification


2016
  • Fall 2016: CS427 - Software Engineering I
  • Spring 2016: Sabbatical


2015
  • Fall 2015: Sabbatical
  • Spring 2015: CS422 - Programming Language Design


2014
  • Fall 2014: CS427 - Software Engineering I
  • Spring 2014: CS421 - Programming Languages and Compilers


2013
  • Fall 2013: CS422 - Programming Language Design
  • Spring 2013: CS522 - Programming Language Semantics


2012
  • Fall 2012: CS422 - Programming Language Design
  • Spring 2012: CS522 - Programming Language Semantics


2011
  • Fall 2011: CS422 - Programming Language Design
  • Spring 2011: CS522 - Programming Language Semantics


2010
  • Fall 2010: CS422 - Programming Language Design
  • Spring 2010: CS422 - Programming Language Design


2009
  • Fall 2009: CS522 - Programming Language Semantics


2008
  • Spring 2008: CS522 - Programming Language Semantics


2007
  • Fall 2007: CS422 - Programming Language Design
  • Spring 2007: CS477/ECE478 - Formal Software Development Methods


2006
  • Fall 2006: CS422 - Programming Language Design
  • Spring 2006: CS522 - Programming Language Semantics


2005
  • Fall 2005: CS422 - Programming Language Design
  • Spring 2005: CS522 - Programming Language Semantics


2004
  • Fall 2004: CS422 - Programming Language Design
  • Spring 2004: CS321 - Programming Languages and Compilers


2003
  • Fall 2003: CS322 - Programming Language Design
  • Spring 2003: CS497GR - Automated Software Engineering


2002
  • Fall 2002: CS497GR - Automated Software Engineering
Personal tools
Namespaces

Variants
Actions
Navigation