The phrase "and the formalization of" is correct and usable in written English.
It can be used when discussing the process of making something formal or official, often in academic or professional contexts.
Example: "The research focuses on the development of new theories and the formalization of existing concepts in the field."
Alternatives: "and the establishment of" or "and the officialization of".
On the other hand, the explanation and the formalization of business rules is still a hot topic as a new standard from the OMG was issued in September 2015 entitled Decision Model and Notation.
However, BRT and the formalization of the bus sector can increase the power of urban residents by firmly putting transport in the public sphere; workers by increasing the incentives for collective action; and bus riders by prioritizing space for buses over cars.
Other papers he wrote include "States of Mind: Music in Islamic Sufi rituals," "The Politics of Language and the Formalization of the Iraqi Maqam," and "Code Switching in Algerian Rai Music". Prof. Ben Amor is currently working on two projects: The Making of Tradition: Language, Music and Identity in the Arab World and Developing Writing Skills in Arabic (to be published by Routledge in 2012).
Zohar was involved in founding the National cyber bureau and the formalization of the Israeli national cyber strategy.
Qualitative physics and the formalization of other forms of qualitative reasoning is an independent specialty in AI, different in many ways from logical AI.
In addition to the improved and more centralized resources, and the formalization of processes already in place with YouTube for Creators, YouTube noted it's rolling out a few more tools, too.
The ramified theory of types due to Whitehead and Russell, and ZF (the formalization of set theory named after Zermelo and Fraenkel) exclude self-membership.
And from the formalization of the operation behavior, the operations properties are defined.
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.
The second pillar benefits from the Semantic Analysis Method and Norm Analysis Method [40] allowing a consistent view about the domain, which includes the norms that govern the agents' behavior, and assist the formalization of functional requirements.
In the following we will analyze and discuss the formalization of complex SNOMED CT definitions.
