Compositional definition

Compositional means enabling modularity in specification, implementation, verification and validation. The formal techniques now standard for hardware and software development are being lifted to the system level, physics and control inclusive: composable specifications, predicate abstraction, specification refinement, implementation refinement, invariants, and assume-guarantee contracts. An end-to-end uniform formal approach to system, 1D physics, software and hardware development is emerging.
View Source

Examples of Compositional in a sentence

  • The Gross Heating Value, Specific Gravity, and Compressibility of the Gas delivered at the Receipt Points and Delivery Points shall be determined from compositional analysis as described in Section 2(d) above as outlined in Gas Processors Association Standard 2172 Calculation of Gross Heating Value, Relative Density, and Compressibility of Natural Gas Mixtures from Compositional Analysis.

  • The Btu value will be determined utilizing the complete actual composition of the Gas according to the methods in GPA Standard 2172-96, titled "Calculation of Gross Heating Value, Relative Density and Compressibility Factor for Natural Gas Mixtures from Compositional Analysis," and corrected to the base conditions.

  • Geuder (eds.), The Projection of Arguments: Lexical and Compositional Factors, 309-53.

  • Rés.89ter: An Examination of Compositional, Editorial, and Notational Processes in 17th Century French Harpsichord Music.” PhD Dissertation, University of Chicago.

  • The Btu value will be determined utilizing the complete actual composition of the gas according to the methods in GPA Standard 2172-96, titled "Calculation of Gross Heating Value, Relative Density and Compressibility Factor for Natural Gas Mixtures from Compositional Analysis," and corrected to the base conditions.

  • Compositional techniques are usually deductive in nature, i.e. safety analysis proceeds from system failures to determine the causes of such failures), while behavioural simulation techniques are typically inductive in nature, i.e. the analysis moves forwards from known causes to determine the effect of such causes in the system).

  • Compositional Verification of Multi-Agent Systems: a Formal Analysis of Pro-activeness and Reactiveness.

  • A Compositional Interchange Format for Hybrid Systems: Design and Imple- mentation.

  • The Contractor shall provide fifty (50) Comprehensive Compositional and Soil Nutrient Tests at specific locations directed by the Trust on an as-needed basis, which shall include: • Organic matter content (% oven dry weight of soil) • Soil reaction (pH).

  • Compositional verification of sequential programs with procedures.

Related to Compositional

  • Composition means the chemical composition of a metal, enamel, ceramic or other

  • Compost means the safe and stable product of controlled biologic decomposition of organic materials that is beneficial to plant growth.

  • Compostable means all the materials in the product or package

  • Formulation means the combination of various ingredients designed to render the product useful and effective for the purpose claimed, or the form of pesticide as purchased by users;

  • Composting means a controlled process involving microbial decomposition of organic matter;