spacer
spacer search

Software Engineering for Service-Oriented Overlay Computers
Software Engineering for Service-Oriented Overlay Computers

Search
spacer
 
header
Main Menu
 
Home arrow Consortium arrow UniversitŠ di Pisa

UniversitŠ di Pisa Print
 

The University of Pisa is one of the oldest and best-known among Italian universities and the Department of Informatics is the oldest of its kind in Italy.

The SENSORIA initiative will involve three research groups, namely: the Models and Languages for Open Distributed Systems group, the Analysis of Security and Performance for Concurrent and Mobile Processes group, and the Rigorous Methods for Requirements Capture and Software Architecture group.

The groups will contribute to the development of SOC languages and architectures, security aspects and verification tools, also exploiting the expertise and results that have been obtained in previous FET projects within the Global Computing 1 (GC1) initiative: AGILE (Architectures for Mobility), DEGAS (Design Environments for Global Applications) and PROFUNDIS (Proofs of Functionality for Mobile Distributed Systems)

Main contributions of University of Pisa to SENSORIA are in the areas of concurrent, distributed and mobile programming, foundations of service-oriented computing, security, quantitative analysis and automated verification.

spacer

The Sensoria Project Website
2005 - 2010
spacer