Formal Specification inSoftware Development

• Formal specifications ground the software development process in the well-defined basis of computer science

• Emphasis switches from customer to developer

• Formal specification expressed in language whose syntax and semantics are formally defined

  • hierarchical decomposition
  • mathematical foundation
  • graphical presentation
  • accompanied by informal description

Previous slide

Next slide

Back to first slide

View graphic version