Alloy Community

User login

SOFTENG 461 - Special Topic in Software Engineering 1

Home
Location: 
University of Auckland, New Zealand
url: 
https://www.se.auckland.ac.nz/courses/SOFTENG461/archive/2004/
Instructors: 
Dr. Jing Sun (coordinator) and Dr. John Hamer
Duration: 
Course
Date last taught: 
Mar 1 2004

SOFTENG 461 looks at the formal specification, design, and (automatic)
analysis of software systems. A variety of specification notations
will be presented, including Alloy, Z and OCL. The course compares
the various approaches, with an emphasis on their practical application.

by anonymous

Syndicate content  

The development of this site is supported by the National Science Foundation under Computing Research Infrastructure Grant No. 0707612.

Theme originally designed by Chris Herberte