The First International Workshop on Critical Computer-Based Systems (CCBS’09)

Posted on 19/12/2008 by Francesco Flammini
Posted in Computer e Internet | Leave a comment

stage@AnsaldoSTS

Posted on 19/12/2008 by Francesco Flammini
Nell’ambito del Master in Homeland Security (http://www.masterhomelandsecurity.eu), Ansaldo STS offre possibilità di stage in azienda su tematiche di analisi del rischio e progettazione di sistemi di protezione:

http://www.masterhomelandsecurity.eu/stage

Posted in Uncategorized | Leave a comment

Talk @ DCDS’09

Posted on 16/12/2008 by Francesco Flammini
Posted in Ricerca | Leave a comment

N-Enterprise

Posted on 20/11/2008 by Francesco Flammini
N-ENT
 
Finalmente qualche traccia del progetto che si è aggiudicato il III posto alla business-plan competition Start-Cup "Federico II" 2008…

http://www.docenti.unina.it/docenti/web/download.php?id_prof=2297&id_insegn=11879&id_madre=12942&id_doc=108336&action=dld

Posted in Notizie e politica | Leave a comment

New Paradigms and Tools for High-Assurance Systems Modelling (by Francesco Flammini, Nicola Mazzocca and Valeria Vittorini)

Posted on 16/10/2008 by Francesco Flammini
Published in:

ERCIM News 75 October 2008
Special theme:
Safety-Critical Software

http://ercim-news.ercim.org/images/stories/EN75/EN75-web.pdf

http://ercim-news.ercim.org/content/view/463/664/

Posted in Computer e Internet | Leave a comment

About random testing…

Posted on 08/10/2008 by Francesco Flammini
"Random testing often outperforms supposedly smart ideas."

Bertrand Meyer, ETH Zürich and Eiffel Software
from Seven Principles of Software Testing, IEEE Computer, August 2008

I AGREE.

Posted in Computer e Internet | Leave a comment

Somewhere something went terribly wrong…

Posted on 01/08/2008 by Francesco Flammini
Posted in Computer e Internet | Leave a comment

There are two ways of constructing a software design…

Posted on 01/08/2008 by Francesco Flammini
There are two ways of constructing a software design. One way is to make it so simple that there are obviously no deficiencies. And the other way is to make it so complicated that there are no obvious deficiencies. – C.A.R. Hoare
Posted in Uncategorized | Leave a comment

Can machines be conscious?

Posted on 06/06/2008 by Francesco Flammini
Someone tries to answer this question:

http://spectrum.ieee.org/jun08/6278

Posted in Computer e Internet | Leave a comment

Articolo S&S

Posted on 05/06/2008 by Francesco Flammini
F. Flammini, N. Mazzocca, C. Pragliola PROTEZIONE DELLE
INFRASTRUTTURE
DI TRASPORTO SU FERRO

Posted in Computer e Internet | Leave a comment