Sentence examples for formalised using from inspiring English sources

The requirements were formalised using the process defined in IEEE standard 1233-1966 [ 15].

This differs from the approach adopted in [38], where the semantics of the trust (lambda )-calculus is formalised using a reduction semantics, with no predefined order of evaluation, and the Church Rosser property and a subject reduction theorem are proved.

Also, correctness properties of system behaviour are formalised using equational sentences, with the associated notions of satisfaction abstracting away observationally indistinguishable, respectively un-reachable states, and with the resulting proof techniques employing coinduction, respectively induction.

Moreover, we discuss how the morphological approach can be formalised using a mathematical programming formulation and introduce a complexity measure that facilitates assessing potential adoption obstacles for end consumers.

Traditionally in model checking the system specification is formalised using a class of formal languages called temporal logics because they enable reasoning about how the state of the system changes over time.

The approach can be mathematically formalised using Metabolic Control Analysis (MCA) [ 1, 2] which describes how the relationship between pathway fluxes and reagent concentrations depends on the network properties.

In the UK, processes such as the NICE Medical Technologies Evaluation Programme do now require the formalised use of economic evaluation methods such that submissions by industry are expected to perform at least a cost-consequences analysis.

If this sounds a bit too risky (in terms of time and personal safety), then go online for some formalised hitching, by using schemes such as LiftShare and CarShare.

Using formalised admission criteria (Table 1), the nursing home physician assessed whether a candidate could be admitted to the transfer unit.

" I would also use formalised standards and formalised questionnaires as a means of backing up my clinical opinion as to the level of distress" (Clinical Psychologist).

However, there are just a handful of worked examples of large pathway diagrams constructed using a formalised graphical modelling language.