Sentence examples for formalization of the software from inspiring English sources

There are some initiatives committed with ontology-based modeling and formalization of the software measurement domain, among them the ones proposed in [29, 30].

Only a few studies transfer formalization results over different phases of the software life cycle.

"A Formalization of the Ptolemy II Type System".

Formalization of the prognosis objects and data.

Figure 2 Formalization of the platform load.

Formalization of the prognosis final purpose.

Formalization of the prognosis process environment.

This formalization is based on five steps: Formalization of the prognosis process environment.

Figure2 represents a formalization of the platform load.

Formalization of the functional decomposition of the prognosis.

The formalization of the process is contained in Algorithm 1.