Alloy Community

User login

2IW05 Software Specification

Location: 
Eindhoven University of Technology
Instructors: 
MohammadReza Mousavi
Duration: 
Course
Date last taught: 
Sep 7 2009

A second-year bachelor CS course aimed at covering different aspects of software specification.
Z and Alloy are used for modeling the functionality aspect of software specification (as formal addenda to UML Class Diagrams). Sequence Diagrams (Message Sequence Charts) and State Diagrams (Statecharts) are other means taught in this course to capture the behavioral aspects of software specification.


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