DO-178B - PDFSEARCH.IO - Document Search Engine

DO-178B
Results: 147

#	Item
11	Cross referens H ProgSäk / DO-178B Add to Reading List Source URL: fmv.se Language: English - Date: 2012-05-07 05:49:51 Specification Technology Management Business Software requirements Quality Requirement
12	White paper How to measure embedded systems software test quality Copyright Notice Add to Reading List Source URL: www.atollic.com Language: English - Date: 2013-08-14 09:54:45 Software Code coverage Software bug Test automation Software quality DO-178B Avionics software Non-regression testing Software testing Software development Software engineering
13	H ProgSäk EHandbook for Software in Safety-Critical Applications English edition Add to Reading List Source URL: fmv.se Language: English - Date: 2013-01-09 07:23:56 Systems engineering Software engineering Science Avionics Software system safety DO-178B IEC 61508 Software development process Reliability engineering Safety Software development Software quality
14	DO-178B and McCabe IQ Table of Contents Executive Summary ___________________________________________________________ 3 Part 1: Introduction ___________________________________________________________ 4 Software Qualit Add to Reading List Source URL: www.mccabe.com Language: English - Date: 2014-02-25 09:52:58 Software testing Software metrics Avionics Embedded systems Pharmaceutical industry DO-178B Code coverage Cyclomatic complexity Software quality Software development Technology Computing
15	Formal Verification in Aeronautics: Current Practice and Upcoming Standard Yannick Moy, AdaCore ACSL Workshop, Fraunhofer FIRST Add to Reading List Source URL: frama-c.com Language: English - Date: 2013-09-24 04:53:57 Software Software requirements Embedded systems Safety DO-178C DO-178B Frama-C Formal verification Verification Software development Avionics Computing
16	Astrée Proving the Absence of Runtime Errors AbsInt GmbH 2012 Add to Reading List Source URL: www.absint.com Language: English - Date: 2012-04-23 04:44:53 Software Avionics Embedded systems Software testing DO-178B Astrée Functional Safety DO-178C Software development process Software development Safety Software requirements
17	Microsoft PowerPoint - Project_Coverage.ppt [Compatibility Mode] Add to Reading List Source URL: libre.adacore.com Language: English - Date: 2012-03-20 14:43:19 Software testing Software requirements Avionics Ada programming language Embedded systems AdaCore DO-178B Code coverage Gcov Computing Software development Software engineering
18	Microsoft Word - Coverage_and_Free_Software_Gasperonidoc Add to Reading List Source URL: www.adacore.com Language: English - Date: 2011-12-15 13:49:09 Software testing Gcov Code coverage DO-178B QEMU GNU Compiler Collection Compiler optimization C Hardware virtualization Software Computing Programming language implementation
19	PDF Document Add to Reading List Source URL: www.esterel-technologies.com Language: English - Date: 2015-03-16 10:03:25 Electronics Computing Esterel LDRA Testbed DO-178B Test execution engine Test harness Software testing Esterel Technologies Software development
20	New DOE Software Quality Assurance Requirements: Implications for Meteorological Software Cliff Glantz Pacific Northwest National Laboratory Add to Reading List Source URL: hps.ne.uiuc.edu Language: English - Date: 2007-01-05 22:05:55 Evaluation Software quality assurance Hazard analysis Safety Software system safety DO-178B Software quality Ethics Software development