Library / Method Engineering Principles Framework
Jump to passage
In this reading

Link to current text

Published source confirmed at last check

Source changed 2026-10-03 08:25:59 UTC · snapshot created 2026-10-03 08:26:43 UTC · last check 2026-10-03 08:26:30 UTC

ME.7:7 - Conformance Checklist

  • The proposed whole has an intended result or preserved condition, situation, reusable operations/invariant, applicability, participants, variation, bounds, and reidentification rule.
  • Whole identity and every participant status are independently stated.
  • Method composition, Work order/overlap, result use, allocation, support, authority, and description relations are not inferred from one another.
  • The positive branch requires identified whole and parts plus obtaining B.1.5 relations.
  • The prospective branch preserves proposed truth and names guards, adapters, alternatives, recovery, stops, burdens, and unresolved conditions.
  • WorkPlan, performed Work, observations, MethodDescription, and Method identity remain distinct.
  • The result can lower below a candidate whole when load-bearing semantics or relations are missing.
  • A supported account or lower result can complete its receiving use. Any selected continuation has a worthwhile feasible contribution and names the needed later Work, observations, authority, acceptance/failure and reconsideration.