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

DO-178C
Results: 51

#	Item
31	StackAnalyzer Proving the Absence of Stack Overflows 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 Functional Safety Astrée DO-178C IEC 61508 Software development Safety Software requirements
32	Product Overview Software Technology Tool Qualification Support Pack® A compliance data package that is used for the qualification of LDRA verification tools Add to Reading List Source URL: www.ldra.com Language: English - Date: 2015-03-26 09:28:03 Technology Software requirements Evaluation Embedded systems Computing DO-178C Verification and validation Verification Validation Systems engineering Pharmaceutical industry Validity
33	Media contacts: Janice Hughes, Hughes Communications, Inc., Media Relations Tel : +[removed], Mobile: +[removed], Email: [removed] Mark James, LDRA, Marketing Manager Tel: +[removed]9300, Em Add to Reading List Source URL: www.ldra.com Language: English - Date: 2015-03-26 09:28:10 Embedded systems Software requirements Technology Electronics Software engineering DO-178B DO-178C Liverpool Data Research Associates DO-254 Software development Safety Avionics
34	Frédéric Pothon ACG Solutions DO-178C/ED-12C versus DO-178B/ED-12B Add to Reading List Source URL: www.adacore.com Language: English - Date: 2012-10-25 12:08:54 Safety Electronics Computing Software DO-248B DO-178C DO-178B Integrity Software testing Software requirements Avionics Embedded systems
35	Parasoft C/C++test Qualification Kit for DO-178B/C What are DO-178B and DO-178C? DO-178B and DO-178C are guidelines that describe the objectives of software development lifecycle (SDLC) processes associated with developi Add to Reading List Source URL: www.parasoft.com Language: English - Date: 2014-12-09 17:31:23 Software Software requirements Embedded systems Safety DO-178B Software testing DO-178C Parasoft Code coverage Software development Avionics Computing
36	Qualification Support Kit The Qualification Support Kit provides the specification of the functional requirements of AbsInt tools in their operational context as well as a set of test cases showing the correct implementa Add to Reading List Source URL: www.absint.com Language: English - Date: 2015-01-19 06:15:30 Safety Electronics Computing Technology Software testing DO-178B DO-178C Verification Requirement Software requirements Avionics Embedded systems
37	an AdaCore Publication Spring 2011 www.adacore.com newsflash Airbus Military Using GNATcheck Add to Reading List Source URL: www.adacore.com Language: English - Date: 2011-12-16 12:50:37 Computer programming AdaCore GNAT Ada A Sharp DO-178B Code coverage DO-178C GNU Compiler Collection Computing Software Ada programming language
38	Product Overview Software Technology Tool Qualification Support Pack® A compliance data package that is used for the qualification of LDRA verification tools Add to Reading List Source URL: www.ldra.com Language: English - Date: 2015-01-02 11:18:41 Technology Software requirements Evaluation Embedded systems Computing DO-178C Verification and validation Verification Validation Systems engineering Pharmaceutical industry Validity
39	newsflash GNAT Pro 7.3 Add to Reading List Source URL: www.adacore.com Language: English - Date: 2015-02-02 18:01:05 Computer programming AdaCore SPARK GNAT Programming Studio Ada GNAT A Sharp DO-178B DO-178C Computing Ada programming language Software engineering
40	adacore_spr08_11x17_5h.qxd Add to Reading List Source URL: www.adacore.com Language: English - Date: 2011-12-16 12:50:39 Computer programming AdaCore SPARK GNAT Ada A Sharp Static program analysis DO-178C Free software Computing Ada programming language Software engineering