Understand how the algebraic techniques of formal specifications can be used to define interface specifications. Understand how forma, model-based formal techniques can define behavioral specifications. Formal methods of SD are not widely used in industrial SD because most companies feel they are not cost effective.
Risks outweigh the benefits.
Customers will put up with some errors if SW is rapidly delivered, but rapid SD clashes with formal specs. Problems of introduction are high. Formal Specs highlight problems, which must be solved early on, decreasing costs. Whereas with Informal specs, problems may be overlooked, resulting in later resolution and increased costs. Presents system specifications unambiguously.