Perfeziona i miei risultati

Collection spécifique

Lingua

Domaine

Parola chiave

Università della Svizzera italiana

Automatically generated runtime checks for design-level constraints

Wuttke, Jochen ; Pezzè, Mauro (Dir.)

Thèse de doctorat : Università della Svizzera italiana, 2010 ; 2010INFO002.

In recent years, component- and service-orientation has gained importance as the new paradigm in software engineering, and it has introduced the challenge of dynamic component look-up and binding into the validation and verification process. This introduces a new class of inherently dynamic properties that have to be verified when the system is running in its target environment rather than...