Eventi
15
Settembre
2022
15.
09.
2022
29
Settembre
2022
29.
09.
2022
06
Ottobre
2022
06.
10.
2022
13
Ottobre
2022
13.
10.
2022
20
Ottobre
2022
20.
10.
2022
27
Ottobre
2022
27.
10.
2022

Putting Software Performance Requirements into Annotations

Decanato - Facoltà di scienze informatiche

Data d'inizio: 16 Gennaio 2012

Data di fine: 17 Gennaio 2012

The Faculty of Informatics is pleased to announce a seminar given by Petr Tuma

DATE: Monday, January 16th, 2012
PLACE: USI Università della Svizzera italiana, room A33, Red building (Via G. Buffi 13)
TIME: 15.30

ABSTRACT:
We present Stochastic Performance Logic (SPL), a many-sorted logic with interpretation that makes it possible to express assertions on code performance in relative, hardware-independent terms. We show prototype integration of SPL formulas with Java code using performance annotations, for performance testing and documentation purposes.

BIO:
Petr Tuma is currently associate professor and head with the Department of Distributed and Dependable Systems, Charles University. His main research interests include distributed middleware and performance evaluation of software systems; he has participated in international projects such as ITEA OSMOSE, ITEA OSIRIS, FP7 Q-ImPrESS, FP7 ASCENS.

HOST: Prof. Walter Binder