• No results found

Using a Graphical Design Tool for Formal Specification

N/A
N/A
Info
Download
Protected

Academic year: 2020

Share "Using a Graphical Design Tool for Formal Specification"

Copied!
10
0
0

Loading.... (view fulltext now)

Download now ( 10 Page )

Full text

Loading

Figure

Fig. 1. Example Class Diagram and Class Specification

References

Download now ( PDF - 10 Page - 206.68 KB )

Related documents

Empirical evaluation of change impact predictions using a requirements management tool with formal relation types : a quasi experiment

Analyze the real-world impact of using a software tool with formal requirements relation- ship types for the purpose of the evaluation of the effectiveness of tools with respect