Courses Developed and Taught by Prof. Janusz Laski  
STAD, OU - Prof. J. Laski & P. Luczycki
Procomp, OU - Prof. J. Laski & W. Szermer & W.F. Stanley
 
Swat, Softools Inc.,
 
Short Introduction to VDM-Tools
 
Short Introduction to Spark Systems
 
back to main page

     

COURSES SUPPORTED BY THE
EDS VERIFICATION AND TESTING LABORATORY.

Currently, the following three courses are directly supported by the lab:

  CSE 510   Fundamentals of Software Engineering Modelling
  CSE 437/537   Systematic Software Development
  CSE 438/538   Verification of Computer Programs

In addition, many student projects and independent studies are also connected with the Lab.
Links to courses will display the syllabi and some typical assignments/projects.