DOCUMENT RESOURCES FOR EVERYONE
Technology Model-Driven Development for Safety-Critical Software

1. IBM Software Group | Rational softwareIBM SE SymposiumRoma – 29 Nov 2012Model-Driven Development for Safety Critical Software Giulio Santoli ([email protected])…

Documents European Standardization of Health Informatics ITU-T eHealth conference Geneva 2003-05-23 Dr Gunnar....

Slide 1European Standardization of Health Informatics ITU-T eHealth conference Geneva 2003-05-23 Dr Gunnar O. Klein chairman of CEN/TC 251 convenor of ISO/TC 215/WG 4 Karolinska…

Documents Andy Moyer. Cleanroom Software Engineering What is it? Goals Properties of Cleanroom Cleanroom.....

Slide 1 Andy Moyer Slide 2 Cleanroom Software Engineering  What is it?  Goals  Properties of Cleanroom  Cleanroom Technologies  Case Studies  Critiques…

Documents Cleanroom Software Engineering

Cleanroom Software Engineering Cleanroom Software Engineering Andy Moyer Cleanroom Software Engineering What is it? Goals Properties of Cleanroom Cleanroom Technologies Case…

Documents Certification and Regulation of Software-Intensive Systems

Certification and Regulation of Software-Intensive Systems Nancy G. Leveson Aeronautics and Astronautics Engineering Systems MIT Slides at http://sunnyday.mit.edu/SCC.ppt…

Documents MISMO Software Compliance Certification Program Brown Bag Jan Davis Mary Ann Francis January 14,...

MISMO Software Compliance Certification Program Brown Bag Jan Davis Mary Ann Francis January 14, 2014 The MISMO Winter 2014 Summit Education Program is sponsored by: Jan…