Ivan Marsic Rutgers University
LECTURE 10: Specifying Systems - Intro. Ivan Marsic Rutgers University. Topics. Domains, Phenomena States, Events Context Diagrams Systems and System Descriptions Basic Formalisms for Specifications Boolean Logic Finite State Machines. World, Parts, Phenomena.
371 views • 27 slides