User Tools

Site Tools


requirements_models

Differences

This shows you the differences between two versions of the page.

Link to this comparison view

Both sides previous revision Previous revision
Last revision Both sides next revision
requirements_models [2018/11/02 23:59]
andries
requirements_models [2018/11/03 00:00]
andries [3. How to satisfy requirements]
Line 34: Line 34:
 Requirements can be used on their own or in combination with knowledge models about possibilities either as a guide for designing components according to the knowledge and the requirements or as for guiding (partly automated) verification of the completeness and quality of designs or of information about delivered products. Requirements can be used on their own or in combination with knowledge models about possibilities either as a guide for designing components according to the knowledge and the requirements or as for guiding (partly automated) verification of the completeness and quality of designs or of information about delivered products.
  
-====== 3. How to satisfy requirements ​======+====== 3. Computer Augmented Design and Automated verification ​======
  
 There is a strong benefit when requirements as well as designs are delivered as expressions in Gellish, because then it becomes possible to use computer aided support in verifying whether the designs are compliant with the requirements. When also the information about delivered products is expressed in Gellish the benefits become ever stronger, because then the information about the delivered products can be automatically verified against the design of the individual as well as against the requirements for the kinds. ​ There is a strong benefit when requirements as well as designs are delivered as expressions in Gellish, because then it becomes possible to use computer aided support in verifying whether the designs are compliant with the requirements. When also the information about delivered products is expressed in Gellish the benefits become ever stronger, because then the information about the delivered products can be automatically verified against the design of the individual as well as against the requirements for the kinds. ​
requirements_models.txt ยท Last modified: 2018/11/03 00:01 by andries