Specification: levels of formality


  • Informal Specification

    • based on natural language (ambiguous)

  • Formal Specification

    • based on mathematical language

  • Semiformal Specification

    • - made of both informal and formal parts

    - a powerful means of describing requirements

    - UML: a semiformal modeling language

    - Use Case Diagram: a semiformal notation