Requirements Specification - 2

• Requirements/Program description languages

  • A PDL is a language derived from a programming language (e.g. Ada). It may contain additional, more abstract constructs to increase its expressive power
  • Various special-purpose requirements specification languages have been designed, e.g. PSL/PSA [Teichrow/Hershey,1977], RSL [Alford,1977]

Example: A PDL description
of ATM operation

Previous slide

Next slide

Back to first slide

View graphic version