Back to Results
First PageMeta Content
Procedural programming languages / Ada programming language / Program analysis / SPARK / Polyspace / Static program analysis / Coding conventions / MISRA C / Ada / Computing / Software engineering / Computer programming


1-4-page_HR_Ad_FULL-COLOR_4[removed]psd
Add to Reading List

Document Date: 2014-11-02 15:48:44

Open Document

File Size: 374,63 KB

Share Result on Facebook

City

PolySpace Technologies / /

Company

modular SA / IEEE Software / qualifiable SA / SPARK SA / NASA Jet Propulsion Laboratory / Airbus / High Integrity Systems / Microsoft / France Telecom / Siebel / /

Continent

Europe / /

Country

United States / United Kingdom / /

/

Facility

Stanford University / /

/

IndustryTerm

software development error / software design / automatic tools / software development inception / uniform software / software life cycle process / given tool / software tools / high-level software requirements / developed software / Incomplete tools / software architecture / software verification process / /

Organization

Stanford University / Ecole Polytechnique / National Aeronautics and Space Administration / UK military / /

Person

Virginie Wiels / Claire Dross / David A. Wheeler / Patrick Behm / Edmond Schonberg / Hervé Delseny / Jean-Marc Meynadier / Franck Sadmi / Paul E. Black / David Lesens / Emmanuel Ledinot / Johannes Kanig / David Mentré / Yannick Moy / Benjamin Monate / Gerard J. Holzmann / Paul Benoit / Alain Faivre / Paul Black / Pavlos Efstathopoulos / Andy German / /

/

Position

military evaluator / ABOUT THE AUTHOR / representative / Software Engineer / /

Product

SQL injection / /

ProgrammingLanguage

Ada / SQL / Java / C / C++ / /

PublishedMedium

Communications of the ACM / IEEE Software / /

SportsLeague

Stanford University / /

Technology

Java / operating system / Compiler Technology / /

SocialTag