Interaction, Concurrency & OOP in the Curriculum A Second-Year Course
PPT Slide
Abstract
The world is full of concurrent systems
How sequential programming is usually taught
How concurrent programming is usually taught
A better approach: A new intro course in concurrency
Advantages
Main ideas in concurrent programming
Relevant research in concurrent programming
Running theme: Battle game
Interaction and concurrency and OOP in Battle
Program correctness in Battle
Integration into our curriculum
Course modules
Course modules (cont.)
Programming assignments
Results and future work
Triveni: Overview
Motivation
Triveni: Computational Model
Example
Basic Principle 2b: Specification-based Testing
5ESS Carrier Group Alarms Software
JavaTriveni case study
JavaTriveni case study (cont.)
Current and future Work
Email: triveni@cs.luc.edu
Home Page: http://www.cs.luc.edu/triveni/
Download presentation source