Formal Methods for Engineering Education

EECS Department
University of California, Berkeley
Technical Report No. UCB/EECS-2015-170
June 30, 2015

http://www2.eecs.berkeley.edu/Pubs/TechRpts/2015/EECS-2015-170.pdf

The advent of massive open online courses (MOOCs) has placed a renewed focus on the development and use of computational aids for teaching and learning. In Spring 2014, a graduate course was taught at UC Berkeley to explore the use of formal methods for a range of activities in online and large-scale education, including utomatic grading, synthesizing new problems, automatically solving problems, and creating and managing virtual laboratory environments. Students performed a range of projects exploring these topics for courses in computer science, electrical engineering, and other disciplines. This technical report includes the final reports on student projects along with a summary of some of the main lessons learned through in-class discussions.


BibTeX citation:

@techreport{EECS-2015-170,
    Editor = {Seshia, Sanjit A.},
    Title = {Formal Methods for Engineering Education},
    Institution = {EECS Department, University of California, Berkeley},
    Year = {2015},
    Month = {Jun},
    URL = {http://www2.eecs.berkeley.edu/Pubs/TechRpts/2015/EECS-2015-170.html},
    Number = {UCB/EECS-2015-170},
    Abstract = {The advent of massive open online courses (MOOCs) has placed a renewed
focus on the development and use of computational aids for teaching
and learning. In Spring 2014, a graduate course was taught at UC
Berkeley to explore the use of formal methods for a range of
activities in online and large-scale education, including 
utomatic grading, synthesizing new problems, automatically solving
problems, and creating and managing virtual laboratory environments. 
Students performed a range of projects exploring these topics for
courses in computer science, electrical engineering, and other
disciplines. This technical report includes the final reports on
student projects along with a summary of some of the main lessons
learned through in-class discussions.}
}

EndNote citation:

%0 Report
%E Seshia, Sanjit A.
%T Formal Methods for Engineering Education
%I EECS Department, University of California, Berkeley
%D 2015
%8 June 30
%@ UCB/EECS-2015-170
%U http://www2.eecs.berkeley.edu/Pubs/TechRpts/2015/EECS-2015-170.html
%F EECS-2015-170