<--- Back to Details
First PageDocument Content
Software framework / Evaluation / Quality assurance / NQAF
Date: 2014-12-30 02:41:32
Software framework
Evaluation
Quality assurance
NQAF

UNSC-2010; established EG on NQA

Add to Reading List

Source URL: www.unsiap.or.jp

Download Document from Source Website

File Size: 83,33 KB

Share Document on Facebook

Similar Documents

Internet architecture / Computing / Internet / Network architecture / Border Gateway Protocol / BGP hijacking / Route Views / Autonomous system / Routing / Router / Multihoming / Computer network

BGPStream: A Software Framework for Live and Historical BGP Data Analysis Chiara Orsini 1 , Alistair King1 , Danilo Giordano2 , Vasileios Giotsas1 , Alberto Dainotti1 1 CAIDA, UC San Diego 2

DocID: 1xVAn - View Document

Mathematical analysis / Mathematics / Constructible universe / Distribution

A Framework for Verification of Software with Time and Probabilities Marta Kwiatkowska1 , Gethin Norman2 , and David Parker1 1 2

DocID: 1xUUp - View Document

Programming language implementation / Compiler construction / Software engineering / Computing / Compiler optimizations / Software testing / Abstract interpretation / LLVM / Compiler / Intermediate representation / Hoare logic / Static single assignment form

SeaHorn: A Framework for Verifying C Programs (Competition Contribution)? Arie Gurfinkel1 , Temesghen Kahsai2 , and Jorge A. Navas3 1 Software Engineering Institute / CMU, USA

DocID: 1xTGL - View Document

Dealing with Hardware in Embedded Software: A Retargetable Framework Based on the Devil Language Fabrice Mérillon, Gilles Muller To cite this version: Fabrice Mérillon, Gilles Muller. Dealing with Hardware in Embedded

DocID: 1uWSK - View Document

A Functional Framework for Result Checking Gilles Barthe1 , Pablo Buiras1,2 , and C´esar Kunz1 2 1 IMDEA Software, Spain

DocID: 1uHbN - View Document