First Page | Meta Content | |
---|---|---|
Document Date: 2013-01-28 12:50:31Open Document File Size: 61,68 KBShare Result on FacebookCityLong Beach / Beach / Coimbra / /CompanyNuno Silva Critical Software SA / General / Microsoft / /CountryPortugal / /IndustryTermcode 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 / /OrganizationNational Aeronautics and Space Administration / /PersonRui Lopes / Brian Chess / Addison Wesley / Gary McGraw / ESA ISVV / /Positionmanual code inspector / Major / programmer / /ProgrammingLanguageANSI C / Ada / C / C++ / /ProvinceOrStateCalifornia / /PublishedMediumthe ESA ISVV Guide / /TechnologyANSI C / API / command line interface / ESA / verification technology / GUI / /SocialTag |