Lsl scripts
Lecture 4 Finite State Machine CS6133 Software Specification and Verification.
Workforce Investment Act Standardized Record Data (WIASRD) 2005 Revisions.
CS3773 Software Engineering Lecture 06 UML State Machines.
CS6133 Software Specification and Verification
UML Notations Activity diagrams State diagrams Class diagrams Use-case diagrams.
© 2008 IBM Corporation Behavioral Models for Software Development Andrei Kirshin, Dolev Dotan, Alan Hartman January 2008.