Advanced Search

Refine my results

Document type

  • Theses disable the filter

Institution

Specific Collection

Language

Author

Domain

Keyword

Sorted by: Date of deposit
2 results 1
Università della Svizzera italiana

Software redundancy : what, where, how

Mattavelli, Andrea ; Pezzè, Mauro (Dir.) ; Carzaniga, Antonio (Codir.)

Thèse de doctorat : Università della Svizzera italiana, 2016 ; 2016INFO007.

Software systems have become pervasive in everyday life and are the core component of many crucial activities. An inadequate level of reliability may determine the commercial failure of a software product. Still, despite the commitment and the rigorous verification processes employed by developers, software is deployed with faults. To increase the reliability of software systems, researchers...

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...

2 results 1