A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is
Lecture Notes in Computer Science
6 4. The infix-notation in is used to distinguish terms from parametric design (infix PD) and terms from propose & revise (infix P&R). Def 6.1 State P&R : Design model PD Def 6.2 Complete P&R : Complete design model PD Def 6.3 Set with a total order and equality P&R : SET OF parameter PD Def 6.4 < P&R : ⊂ PD , = P&R : = PD Def 6.5 Correct P&R = Valid design model PD Ax 6.1 Preference P&R (s P&R ,s´P &R ) ↔ cost(d PD ) < cost(d´P D ) ∧ s P&R = d PD ∧ s´P &R = d´P D Ax 6.2 Partial completenessdoi:10.1007/bfb0026781 fatcat:phdhvcdvarfzlmvb6muvv3jlze