Difference between revisions of "Ricardian Contract"

From PKC
Jump to navigation Jump to search
 
Line 1: Line 1:
{{WikiEntry|key=Ricardian Contract|qCode=28130610}}
{{WikiEntry|key=Ricardian Contract|qCode=28130610}} is a system modeling technique that is related to the idea of [[Correctness by Design]].

Latest revision as of 01:59, 10 September 2022

Ricardian Contract(Q28130610) is a system modeling technique that is related to the idea of Correctness by Design.