CSCI910 - Software Requirements, Specifications and Formal Methods

Currently taking this course in UOW.

First assignment did not went much well, hope second will be good.

“DFD models data flow, FSM models states and transitions, Petri Net models concurrency and synchronization, and Z Schema provides formal specification of state and operations”