Search Downloads
Category: Restricted

Number of Subcategories: 1
Order by: Default | Name | Date | Hits | [Ascending]
Subcategories:
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.

Files:
Software Project Management and Development Methodologies
Author João Carlos Cunha from University of Coimbra @ Prolan Date 2013-06-25 Filesize 3.31 MB Download 11 {link_to_details}
Introduction to the basic concepts of Dependability. Approaches for qualitative and quantitative analysis of systems
Author Nicola Nostro from University of Firenze @ University of Firenze Date 2013-05-15 Filesize 174.28 KB Download 6 {link_to_details}
Stochastic Activity Network formalism and Mobius tool
Author Nicola Nostro from University of Firenze @ University of Firenze Date 2013-05-17 Filesize 1.07 MB Download 6 {link_to_details}
Introduction to Petri Nets
Author Nicola Nostro from University of Firenze @ University of Firenze Date 2013-05-17 Filesize 3.25 MB Download 10 {link_to_details}
Combinatorial methods
Author Leonardo Montecchi from University of Firenze @ University of Firenze Date 2014-05-15 Filesize 4.29 MB Download 13 {link_to_details}
An introduction to the Advice Tool - Part 1
Author Leonardo Montecchi from University of Firenze @ ResilTech Date 2014-05-15 Filesize 6.86 MB Download 13 {link_to_details}
An introduction to the Advice Tool - Part 2
Author Leonardo Montecchi from University of Firenze @ ResilTech Date 2014-05-15 Filesize 3.59 MB Download 10 {link_to_details}
SW-FMEA CECRIS Secondment at ResilTech
Author Imre Kocsis From BME @ ResilTech Date 2014-06-03 Filesize 1.03 MB Download 8 {link_to_details}
Introduction of Melinda Kocsis-Magyar
Author Melinda Kocsis-Magyar from Prolan @ CINI - University of Florence Date 2014-05-20 Filesize 3.53 MB Download 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

Date 2015-01-15 Filesize 0 B Download 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

Date 2015-02-16 Filesize 32.01 MB Download 3 {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
Coimbra - CRITICAL SW - March 11, 2015

Author Prof. Domenico Controneo University of Naples Federico II Website Homepage Date 2015-03-11 Filesize 407.04 KB Download 1 {link_to_details}
Improving FMEA - State of the art and roadmap

Presentation by Fabio Scippacercola from CINI, during his secondment at CRITICAL Software
Coimbra - CRITICAL SW - April 17, 2015

Author Fabio Scippacercola Date 2015-04-20 Filesize 3.56 MB Download 2 {link_to_details}
FMEA for SOAs How can it be done?

Presentation by Cristiana Areias from University of Coimbra, during hers secondment at PROLAN
Budakalász - PROLAN - April 23, 2015

Author  This email address is being protected from spambots. You need JavaScript enabled to view it. Date 2015-04-24 Filesize 1.11 MB Download 2 {link_to_details}
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.
ResilTech - Pontedera - February 24, 2016.

Author Felipe Nunes Gaia Date 2016-02-25 Filesize 1.11 MB Download 1 {link_to_details}
Joomla templates by a4joomla

Please be aware that this website uses cookies.