Icon class icon_class far fa-sticky-note icon_class_computed far fa-sticky-note Note kind ASSERTION SysMLv1.x keywords InterfaceBlock Keywords design-by-contract contract Relates to The problem statement: A Client subscribes to an output value property but does not know what computes it or how Variations on concrete implementations of I_A and the constraints with computations they carry Parametric diagrams with BindingConnectors for concrete implementation blocks A1 and A2 Related notes Related notes (backlinks) Related snippets (extracts) Visit also Visit also (backlinks) Flags
