This shows you the differences between two versions of the page.
Both sides previous revision Previous revision | |||
requirements_models [2018/11/03 00:00] andries [3. How to satisfy requirements] |
requirements_models [2018/11/03 00:01] (current) andries [3. Computer Augmented Design and Automated verification] |
||
---|---|---|---|
Line 53: | Line 53: | ||
The Gellish specification of individual objects can thus be verified by computer software against the Gellish expression of the requirements. | The Gellish specification of individual objects can thus be verified by computer software against the Gellish expression of the requirements. | ||
- | **//Continue with//** [[:Standard Specification Models]] | + | **//Continue with//** [[:Standard Specification Models|Modeling of product types]] |