Students
Swat, Developed by Softools Inc. Spark, Developed by Praxis Critical Systems VDM-Tools, Developed by IFAD STAD, OU - Prof. J. Laski & P. Luczynski Procomp, OU - Prof. J. Laski & W. Shermer & W.F. Stanely

This Part of the EDS-Software Verification and Testing Laboratory Web Site is for students taking following course(s) only:

 		  CSE 510   Fundamentals of Software Engineering Mathematics
  CSE 437/537   Systematic Software Devlopment
  CSE 438/538   Verification of Computer Programs


If you are already registered, please choose course,
then type your student's ID, and password


    

If this is your first time here and you are
taking one of the courses listed above ...



         CSE 510  
         CSE 437/537  
         CSE 438/538
student's id   (your email)
password     
     Click Here For New Account 
back to main page