Affiner les résultats


Università della Svizzera italiana

Automatically generating complex test cases from simple ones

Rubinov, Konstantin ; Pezzè, Mauro (Dir.)

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

While source code expresses and implements design considerations for software system, test cases capture and represent the domain knowledge of software developer, her assumptions on the implicit and explicit interaction protocols in the system, and the expected behavior of different modules of the system in normal and exceptional conditions. Moreover, test cases capture information about the...

Université de Neuchâtel

SPLAY : a toolkit for the design and evaluation of large scale distributed systems

Leonini, Lorenzo ; Felber, Pascal (Dir.)

Thèse de doctorat : Université de Neuchâtel, 2014.

Cette thèse présente SPLAY, un système intégré qui facilite la conception, le déploiement et les expérimentations des systèmes distribués à grande échelle. SPLAY couvre toutes les étapes du développement à l'évaluation. Il permet à des développeurs d'exprimer des algorithmes de manière simple et concise dans un langage proche du pseudo-code que l'on peut trouver dans les...

Université de Fribourg

Website-oriented recommendation based on heat spreading and tag-aware collaborative filtering

Zhang, Zi-Ke ; Yu, Lu ; Fang, Kuan ; You, Zhi-Qiang ; Liu, Chuang ; Liu, Hao ; Yan, Xiao-Yong

In: Physica A: Statistical Mechanics and its Applications, 2014, vol. 399, p. 82–88

Recently, Recommender Systems has been widely applied in helping users find potentially interesting items from the era of big data. However, most of researches on this topic have focused on estimating the direct relationships between users and items, neglecting other available information. In this paper, we discuss about mining webs with information extracted from search and browser logs of...

Università della Svizzera italiana

Mining unstructured software data

Bacchelli, Alberto ; Lanza, Michele (Dir.)

Thèse de doctorat : Università della Svizzera italiana, 2013 ; 2013INFO003.

Our thesis is that the analysis of unstructured data supports software understanding and evolution analysis, and complements the data mined from structured sources. To this aim, we implemented the necessary toolset and investigated methods for exploring, exposing, and exploiting unstructured data.To validate our thesis, we focused on development email data. We found two main challenges in...

Università della Svizzera italiana

Open-world software: specification, verification, and beyond

Bianculli, Domenico ; Ghezzi, Carlo (Dir.)

Thèse de doctorat : Università della Svizzera italiana, 2012 ; 2012INFO009.

Open-world software systems are built by composing heterogeneous,third-party components, whose behavior and interactions cannot be fully controlled or predicted; moreover, the environment they interact with is characterized by frequent, unexpected, and welcome changes. This class of software exhibits new features that often demand for rethinking and extending the traditional methodologies...

Università della Svizzera italiana

Object-focused environments revisited

Olivero, Fernando ; Lanza, Michele (Dir.)

Thèse de doctorat : Università della Svizzera italiana, 2013 ; 2013INFO001.

In the object oriented programming (OOP) paradigm, programs are composed solely of objects. The computational model is based on a world of collaborating objects, where they send each other messages to carry out tasks. The programs are crafted with the aid of tools, which enable to describe their components and behavior in a human readable form. With the advent of the graphical user interface...

Università della Svizzera italiana

Change-centric improvement of team collaboration

Hattori, Lile Palma ; Lanza, Michele (Dir.)

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

In software development, teamwork is essential to the successful delivery of a final product. The software industry has historically built software utilizing development teams that share the workplace. Process models, tools, and methodologies have been enhanced to support the development of software in a collocated setting. However, since the dawn of the 21st century, this scenario has begun...

Université de Neuchâtel

Efficient transactional memory runtimes for unmanaged environments = Cadre d'exécution efficace pour les mémoires transactionnelles en environnement non supervisé

Marlier, Patrick ; Felber, Pascal (Dir.)

Thèse de doctorat : Université de Neuchâtel, 2011 ; 2210.

Pour profiter pleinement de la puissance de calcul des processeurs multi-cœurs, les programmeurs doivent utiliser la programmation concurrente. Cependant, l'utilisation des verrous qui est la méthode de programmation concurrente la plus répandue, est particulièrement difficile à maîtriser. C'est pourquoi il est nécessaire d'utiliser des alternatives aux verrous. Un des paradigmes le plus...

Università della Svizzera italiana

On the evolution of source code and software defects

D'Ambros, Marco ; Lanza, Michele (Dir.)

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

Software systems are subject to continuous changes to adapt to new and changing requirements.This phenomenon, known as software evolution, leads in the long term to software aging: The size and the complexity of systems increase, while their quality decreases. In this context, it is no wonder that software maintenance claims the most part of a software system's cost.The analysis of software...