Cerca nel blog
-
Recent Posts
Archives
Categories
Meta
Author Archives: Francesco Flammini
The First International Workshop on Critical Computer-Based Systems (CCBS’09)
Posted in Computer e Internet
Leave a comment
stage@AnsaldoSTS
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
N-Enterprise
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)
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…
"Random testing often outperforms supposedly smart ideas." Bertrand Meyer, ETH Zürich and Eiffel Softwarefrom Seven Principles of Software Testing, IEEE Computer, August 2008 I AGREE.
Posted in Computer e Internet
Leave a comment
There are two ways of constructing a software design…
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. – … Continue reading
Posted in Uncategorized
Leave a comment
Can machines be conscious?
Someone tries to answer this question: http://spectrum.ieee.org/jun08/6278
Posted in Computer e Internet
Leave a comment
Articolo S&S
F. Flammini, N. Mazzocca, C. Pragliola PROTEZIONE DELLE INFRASTRUTTURE DI TRASPORTO SU FERRO
Posted in Computer e Internet
Leave a comment
