 Search Downloads |
| Category: Restricted |
|
|
| Number of Subcategories: 1 | ||
| Files: 7 | ||
Developing critical and large-scale software systems requires the ability to manage resources via a controlled development process. This series of seminars constitutes a breadth-oriented course, designed for software engineers to acquire knowledge and skills on leading and managing a software development project. |
||
 Assurance cases applied to dynamic systems of systems
|
Presentation by Prof. MSc. Felipe Nunes Gaia from Informatics Federal Institute of São Paulo, in the context of the joint meeting between CECRIS and DEVASSES projects. |
 Felipe Nunes Gaia  2016-02-25  1.11 MB  1 {link_to_details} |
| FMEA for SOAs How can it be done?
|
Presentation by Cristiana Areias from University of Coimbra, during hers secondment at PROLAN |
| This email address is being protected from spambots. You need JavaScript enabled to view it.
2015-04-24 1.11 MB 2 {link_to_details} |
| Improving FMEA - State of the art and roadmap
|
Presentation by Fabio Scippacercola from CINI, during his secondment at CRITICAL Software |
| Fabio Scippacercola 2015-04-20 3.56 MB 2 {link_to_details} |
| An Analysis of Software Engineering Issues from Aerospace Critical Systems
|
Presentation by Domenico Cotroneo from CINI, during his secondment at CRITICAL Software |
Prof. Domenico Controneo University of Naples Federico II  Homepage  2015-03-11 407.04 KB 1 {link_to_details} |
| Fabio Scippacercola - Model-Based and Model-Driven Techniques for V&V of Critical Systems
|
Fabio Scippacercola Workshop on "Model-Based and Model-Driven Techniques for V&V of Critical Systems" CRITICAL SW, January 28 - 2015 |
| 2015-02-16 32.01 MB 3 {link_to_details} |
| Andras Zentai - The Prolan partnership within CECRIS Project: current status and future works
|
Andras Zentai talk at University of Naples Federico II - December 12, 2014 |
| 2015-01-15 0 B 1 {link_to_details} |
| Introduction of Melinda Kocsis-Magyar
|
| Melinda Kocsis-Magyar from Prolan @ CINI - University of Florence 2014-05-20 3.53 MB 3 {link_to_details} |
 SW-FMEA CECRIS Secondment at ResilTech
|
| Imre Kocsis From BME @ ResilTech 2014-06-03 1.03 MB 8 {link_to_details} |
| An introduction to the Advice Tool - Part 2
|
| Leonardo Montecchi from University of Firenze @ ResilTech 2014-05-15 3.59 MB 10 {link_to_details} |
| An introduction to the Advice Tool - Part 1
|
| Leonardo Montecchi from University of Firenze @ ResilTech 2014-05-15 6.86 MB 13 {link_to_details} |
| Combinatorial methods
|
| Leonardo Montecchi from University of Firenze @ University of Firenze 2014-05-15 4.29 MB 13 {link_to_details} |
| Introduction to Petri Nets
|
| Nicola Nostro from University of Firenze @ University of Firenze 2013-05-17 3.25 MB 10 {link_to_details} |
| Stochastic Activity Network formalism and Mobius tool
|
| Nicola Nostro from University of Firenze @ University of Firenze 2013-05-17 1.07 MB 6 {link_to_details} |
| Introduction to the basic concepts of Dependability. Approaches for qualitative and quantitative analysis of systems
|
| Nicola Nostro from University of Firenze @ University of Firenze 2013-05-15 174.28 KB 6 {link_to_details} |
| Software Project Management and Development Methodologies
|
| João Carlos Cunha from University of Coimbra @ Prolan 2013-06-25 3.31 MB 11 {link_to_details} |