Corpus ID: 10110820

Tool Support for Design Inspection : A Specification Notation

@inproceedings{Heyer1999ToolSF,
  title={Tool Support for Design Inspection : A Specification Notation},
  author={T. Heyer},
  year={1999}
}
  • T. Heyer
  • Published 1999
  • Figures from this paper.

    Industrial Use of Formal Methods Final report
    Tool Support for Design Inspection: A Design Notation
    3
    Tool Support for Design Inspection: Automatic Generation of Questions
    3

    References

    Publications referenced by this paper.
    SHOWING 1-5 OF 5 REFERENCES
    COMPASS: Introduction of Formal Methods in Code Development and Inspection
    17
    COMPASS: A Comprehensible Assertion Method
    9
    The Unified Software Development Process
    3572
    Tool Support for Design Inspection: A Design Notation
    3
    Tool Support for Design Inspection: Automatic Generation of Questions
    3