Previous Next Methods Allocation  
Annex 1  
5.2.2.1 Classical Design Verification  

  Klassische Designverifikation

Contents  
  • 1 Identification/Definition of the Method
  • 2 Brief Characteristic of the Method
  • 3 Application of the Method in the V-Model
  • 4 Interfaces
  • 5 Further Information
  • 6 Literature

    • 1 Identification/Definition of the Method

    /Baader, 1990/ chap. 2.3 of sections II and III

    2 Brief Characteristic of the Method

    The Classical Design Verification proves a specification to be a refinement of another one. The proof is only done after the completion of the refinement.

    3 Application of the Method in the V-Model

    Within the V-Model the Classical Design Verification can be applied for the self assessment in SD. It is not sensible to allocate this method to QA because the team having refined the specification should perform the proof.

    4 Interfaces

    There is an interface to FS - Formal Specification. The Classical Design Verification has to be suited to the formal specification language.

    5 Further Information

    - not applicable -

    6 Literature

    /Baader, 1990/ Basic features of formal methods as a stock-taking of tools and concepts
    /Brock, 1990/ Handbook for the formal specification language RAISE, a further development of the formal specification language VDM extended by the possibility of algebraic specification and b parallelism
    /Jones, 1990/ Describes VDM and its basis
    /Kersten, 1990/ Several reports on "formal specification and verification"
    /Nicholls, 1990/ Articles on the Z User workshop 1989, mainly concerning Z

    Previous Next GDPA Online Last Updated 01.Jan.2002 Updated by Webmaster Last Revised 01.Jan.2002 Revised by Webmaster