Difference between revisions of "Correct by design"
Jump to navigation
Jump to search
(Created page with "{{WikiEntry|key={{PAGENAME}}|qCode=}} is a design and engineering principle that all systems must be designed and built in ways that make incorrect implementation and usage is either infeasible or at least impractical. One way of accomplish this is to make all related artifacts all alinged in ways to avoid mistakes, such as using Verion Control, Blockchain, Ricardian Contract, and Relational Database to capture the entirety of a system in ways that avoids...") |
|||
| Line 1: | Line 1: | ||
{{WikiEntry|key={{PAGENAME}}|qCode=}} is a design and engineering principle that all systems must be designed and built in ways that make incorrect implementation and usage is either infeasible or at least impractical. | {{WikiEntry|key={{PAGENAME}}|qCode=}} is a design and engineering principle that all systems must be designed and built in ways that make incorrect implementation and usage is either infeasible or at least impractical. | ||
One way of accomplish this is to make all related artifacts all alinged in ways to avoid mistakes, such as using [[Verion Control]], [[Blockchain]], [[Ricardian Contract]], and [[Relational Database]] to capture the entirety of a system in ways that avoids mistakes. | One way of accomplish this is to make all related artifacts all alinged in ways to avoid mistakes, such as using [[Verion Control]], [[Blockchain]], [[Ricardian Contract]], and [[Relational Database]] to capture the entirety of a system in ways that avoids mistakes. | ||
There are some references on this subject: [https://eugenykolpakov.com/design/2021-07-24-correct-by-design/ Correct by Design] written by Eugeny Kolpakov. | |||
Revision as of 02:01, 10 September 2022
Correct by design(Q) is a design and engineering principle that all systems must be designed and built in ways that make incorrect implementation and usage is either infeasible or at least impractical. One way of accomplish this is to make all related artifacts all alinged in ways to avoid mistakes, such as using Verion Control, Blockchain, Ricardian Contract, and Relational Database to capture the entirety of a system in ways that avoids mistakes.
There are some references on this subject: Correct by Design written by Eugeny Kolpakov.