How This Course Will Help Your Career
What You’ll Learn
An introduction to formal methods, and how formalism can help in design problems
A brief history of the development of formalisms (in logic, mathematics, and science)
What states are, and what the various kinds of states that can exist in an interactive product are
How to model and specify the states of a design in a detailed manner
How to use dialogue notation, such as state transition networks, to present the different states in your designs as well as annotate any danger states that might be present
Sales Page: https://anon.to/3SbuX6