Systems, Models, and Measures |
Other editions - View all
Common terms and phrases
6-tuple artefact attributes black-box model body predicates Building Chapter characterization clausal implication Closed_set data digraph Data Flow Diagrams data forest defined definition derived disjunction domain elements entity equation example fact-clauses formal languages formal relation system Full Prolog functor hierarchical composition hierarchical implication High Level Prolog history process implementation indirect measurement input product labels language L1 light bulb logic program Measurement theory metalogical metrology model-based measurement scheme models and measures multiple-language nodes non-operational object-oriented measurement Open_set open_window operational parameter Pin(tin predicate logic prescriptive specification problem procedure model process q product/process model program model Prolog logic text Prolog specification Prolog text Prop property variables quicksort Rcomp recursion reference language represent representation requirement Rprop rule-clause self-loops specification and design specification language strategy structural model structural relation symbol system predicates system S1 theory transient transition table translation utility measures valid Ventilation