Pubblicazioni
Pubblicazioni trovate: 409
- List of requirements on formalisms and selection of appropriate tools
Silvano Chiaradonna, Daniele Codetta Raiteri, Felicita Di Giandomenico, Susanna Donatelli, Giuliana Franceschinis, Marco Gribaudo, Mohamed Kaâniche, Paolo Lollini, Francesco Romani, Jeremy Sproston
Apparso su CRUTIAL project, Deliverable D11, Ed. CESI Ricerca, 2008 - UML diagrams supporting domain specification inside the CRUTIAL project
Claudio Brasca, Davide Cerotti, Daniele Codetta Raiteri, Susanna Donatelli, Giovanna Dondossola, Fabrizio Garrone
Apparso su Lecture Notes in Computer Science vol. 5141, Ed. Springer, 2008, Pagine: 106-123 - Non deterministic Repairable Fault Trees for computing optimal repair strategy
Marco Beccuti, Daniele Codetta Raiteri, Giuliana Franceschinis, Serge Haddad
Apparso su Proceedings of the International Conference on Performance Evaluation, Methodologies and Tools, Ed. ICST, 2008 - A Calculus of Evolving Objects
Mariangiola Dezani-Ciancaglini, Paola Giannini, Oscar Nierstrasz
Apparso su Scientific Annals of Computer Science, Ed. "A.I. Cuza'' University Press, 2008, Pagine: 63--98 - Alias Types and effects for "environment-aware'' computations
Ferruccio Damiani, Elena Giachino, Paola Giannini
Apparso su Fundamenta Informaticae 88 1-2, Ed. IOS Press, 2008, Pagine: 63-107 - A Type Safe State Abstraction for Coordination in Java-like Languages
Ferruccio Damiani, Sophia Drossopoulou, Elena Giachino, Paola Giannini
Apparso su Acta Informatica 45, Ed. Springer, 2008, Pagine: 479-536 - A Calculus of Evolving Objects
Mariangiola Dezani-Ciancaglini, Paola Giannini, Oscar Nierstrasz
Apparso su MPOOL'08, 2008 - On state classes and their dynamic semantics
Emanuele Cazzola, Ferruccio Damiani, Elena Giachino, Paola Giannini
Apparso su Software and Data Technologies (ICSOFT 2006, Revised Selected Papers) 10, Ed. Springer, 2008, Pagine: 84-96 - Case-based management of exceptions to business processes: an approach exploiting prototypes
Stefania Montani
Apparso su TR-INF-2008-12-09-UNIPMN, Ed. Computer Science Department, UPO, 2008 - BuzzChecker: Exploiting the Web to Better Understand Society
Marco Furini, S. Montangero
Apparso su TR-INF-2008-07-07-UNIPMN, Ed. Computer Science Department, UPO, 2008
Pagine: « < 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33 34 35 36 37 38 39 40 41 > »
