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
Next revision
Previous revision
requirements_models [2018/11/02 23:59]
andries
requirements_models [2018/11/03 00:01]
andries [3. Computer Augmented Design and Automated verification]
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. ​
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]]
requirements_models.txt ยท Last modified: 2018/11/03 00:01 by andries