Back to Results
First PageMeta Content
Software testing / Source code / Program analysis / Polyspace / Static program analysis / Software review / Debugging / Programming tool / Vulnerability / Software engineering / Computing / Computer programming


Document Date: 2013-01-28 12:50:31

Open Document

File Size: 61,68 KB

Share Result on Facebook

City

Long Beach / Beach / Coimbra / /

Company

Nuno Silva Critical Software SA / General / Microsoft / /

Country

Portugal / /

IndustryTerm

code coverage tools / safety-critical software verification / fault injection tools / static analysis tools / onboard software / safety critical software complexity / safety critical on-board software applications / dynamic analysis tools / software development team / customisable tool / software production / development tools / paper static analysis tools / possible using static code analysis tools / schedulability tools / recent static analysis tools / static analysis tool / software versions / safety-critical software / safer product / server applications / on-board software application / on-board software / low-budget tools / verification technology / redundant tools / static code analysis tools / use static analysis tools / safety-critical on-board software system / target applications / /

Organization

National Aeronautics and Space Administration / /

Person

Rui Lopes / Brian Chess / Addison Wesley / Gary McGraw / ESA ISVV / /

Position

manual code inspector / Major / programmer / /

ProgrammingLanguage

ANSI C / Ada / C / C++ / /

ProvinceOrState

California / /

PublishedMedium

the ESA ISVV Guide / /

Technology

ANSI C / API / command line interface / ESA / verification technology / GUI / /

SocialTag