• No results found

Automated formal specification generation and refinement from requirement documents

N/A
N/A
Info
Download
Protected

Academic year: 2020

Share "Automated formal specification generation and refinement from requirement documents"

Copied!
20
0
0

Loading.... (view fulltext now)

Download now ( 20 Page )

Full text

Loading

Figure

Figure 1. Proposed strategy overall process
Table 1. Example of a user view use case
Table 2. Example of a component view use case
Figure 5. Case frame and respective case frame restriction example
+5

References

Download now ( PDF - 20 Page - 485.76 KB )

Related documents