Sentence examples for formalization of design from inspiring English sources

The range of interesting applications is very wide: formal specification of interfaces and abstract classes, specification of component based software, formalization of design pattern, using Slam-sl as a pattern language, etc.

Formalization of Design Patterns refers to the techniques and methodologies that were developed for the representation of Design Patterns.

The main contribution is the formalization of design objectives and development of the fitness function that drives the optimization process.

The approach is based on the use of a domain-specific extension of the modeling language UML and on the formalization of design models as transition systems for verification purposes.

We argue that the real value of efforts to develop CAD tools is the formalization of genetic design rules that determine the complex relationships between genotype and phenotype.

In this paper, we propose an approach for semantic DW traceability that requires: (i) the formalization of each design phase, (ii) the identification of horizontal and vertical interactions (inside and between phases), (iii) their semantic definition, storage and usage.

Hendrick is attributed with the formalization of organizational design and management (ODAM) in ergonomics [Hendrick, H.W., Kleiner, B.M., 2001. Macroergonomics: An Introduction to Work System Design. Human Factors and Ergonomics Society, Santa Monica, CA.].

The formalization of the ontology design pattern for the class of disease we are representing, the notation given in Table 2 is used.

Approaches to optimizing the benefits while mitigating the drawbacks have taken the shape of the formalization of requirements, modular design practices, extensive system simulation, and spacecraft data trend analysis.

The purpose of this paper is to describe possible improvements in the formalization of the ITER RH design process and V&V processes, in order to increase their cost efficiency and reliability.

Although TRC has been extensively researched, the formalization of experimental methods and design standards is still in progress.