This model is about giving you a general overview of formal specification in software engineering. I think this is something everyone should know even though you might not formalize a system anytime soon in the future but at least you have a basic understanding about it.