a formal design method

Clicks: 8
ID: 223353
2000
Article Quality & Performance Metrics
Overall Quality
Not rated
Combines reader engagement with the AI quality analysis. This article has not been analysed, so there is no overall score — reader engagement is measured and shown alongside.
AI Quality Assessment
Not analyzed
Readership in this journal
Popular

Ranked #175 of 188 articles by views in the journal of nutrition

Most read Least read

Bar heights use a square-root scale. Only the 120 most-read articles are drawn; the journal has 188 in total.

Mint this article as an NFT
Not yet minted

Create a permanent, verifiable on-chain record of this article on the Scimatic Network. The NFT is held in your Journament account, and you can withdraw it to your own wallet at any time.

5 SUSD one-off · no wallet required
Abstract
In the first part of this article, there are described two ways out of the design process theory: metamodel as a basic principle of a design process description and non-standard logics as a feasible formal background of the design theory. In the second part, one possibility of the design process description is discussed by means of one type of nonstandard logic – modal logic formalism. A simple example shows some of the properties of our approach.
Reference Key
hostomsk2000actaa Use this key to autocite in the manuscript while using SciMatic Manuscript Manager or Thesis Manager
Authors ;S. Hostomský;I. Jelínek
Journal the journal of nutrition
Year 2000
DOI
DOI not found
URL
Keywords

Citations

No citations found. To add a citation, contact the admin at info@scimatic.org

No comments yet. Be the first to comment on this article.