<--- Back to Details
First PageDocument Content
Avionics / Security / Software requirements / IEC 61508 / DO-178B / System safety / Requirement / Hazard analysis / Software development process / Systems engineering / Software development / Safety
Date: 2013-12-30 09:27:21
Avionics
Security
Software requirements
IEC 61508
DO-178B
System safety
Requirement
Hazard analysis
Software development process
Systems engineering
Software development
Safety

NASA Workshop 説明資料案

Add to Reading List

Source URL: www.nasa.gov

Download Document from Source Website

File Size: 813,21 KB

Share Document on Facebook

Similar Documents

Ethics / Philosophy / Emerging technologies / Human behavior / Professional ethics / Codes of conduct / Philosophy of life / Business ethics / Ethical decision / Computer ethics / Self-driving car / Ethical code

Does ACM’s Code of Ethics Change Ethical Decision Making in Software Development? Andrew McNamara Justin Smith

DocID: 1xW0L - View Document

Computing / Engineering / Software engineering / Software testing / Information and communications technology / Product development / Software development / Software engineer / Test automation / Software quality

AetherWorks 501 Fifth Avenue, New York, NYSENIOR SOFTWARE ENGINEER AETHERWORKS AetherWorks is a Software Research & Venture Development firm. We have been located on Bryant Park for the last 7 years where we have

DocID: 1xW0u - View Document

Abstract algebra / Algebra / Mathematics / Category theory / Functors / Morphism / Category / Sheaf / Limit / Pushout / Cone / Diagram

Designware: Software Development by Re nement Douglas R. Smith Kestrel Institute, Palo Alto, CaliforniaUSA Abstract

DocID: 1xUES - View Document

Programming language implementation / Compiler construction / Computing / Software engineering / Parsing / Parsing algorithms / SYNTAX / LR parser / Deterministic parsing / Identifier

Practical Algorithms for Incremental Software Development Environments Tim A. Wagner March 10, 1998 Preface

DocID: 1xUBZ - View Document

Concurrent computing / Computing / Computer programming / Parallel computing / Numerical linear algebra / Numerical software / Application programming interfaces / Fortran / OpenACC / Math Kernel Library / OpenMP / ScaLAPACK

1 Roadmap for the Development of a Linear Algebra Library for Exascale Computing SLATE: Software for Linear Algebra Targeting Exascale

DocID: 1xUyc - View Document