Sentence examples for in the formalisation from inspiring English sources

We exemplify its use in the formalisation of a selection criterion based on coverage of process communications for integration testing.

Finally, the canyon is another potential testing ground for developing land cooperatively, much as Urban-Think Tank had imagined doing in San Agustín, so that the communal agenda is not lost in the formalisation process.

Other complementary strategies act upstream by building a common ground: they aid in the formalisation of these specifications, fostering the use of a shared language and the same level of detail.

Along the way, a number of methodological issues are raised, such as the question of how the symbols deployed in the formalisation might be grounded through a robot's interaction with the world.

Now Frege, himself, ironically, had revolutionised mathematics by introducing hitherto unprecedented standards of rigour in the formalisation of mathematical theories.

Indeed, how are prison-specific logics and national ideologies articulated together in the formalisation of prison chaplaincy?

Initially heavily focused on community mobilisations around, and receiving funding for, HIV/AIDS [ 2], the last few years have seen moves in the region towards greater integration of community based programmes within health systems, and in particular, the formalisation of national community health worker (CHW) programmes [ 3].

In this vein, the formalisation of capacity constraints on extraction found in the work of Kurz and Salvadori (2009, 2011) is more accurate.

After the first official licensing of hackney carriage drivers in 1838 and the formalisation, decades later, of "the Knowledge", London's black cab drivers ruled the roads more or less unchallenged.

In several countries, the formalisation and functioning of the system and its use are less developed than might be expected, given the opportunities.

Isabelle/HOL [36] is a proof assistant that has been used in several projects like the formalisation of a general purpose operating system kernel, in which C code can be extracted from the produced Isabelle theories [25].