Back to Results
First PageMeta Content
Formal methods / Ada programming language / SPARK / Static program analysis / Ada / Software development process / Malpas / Line-replaceable unit / MALPAS Software Static Analysis Toolset / Computing / Software engineering / Computer programming


Document Date: 2003-02-26 14:18:02

Open Document

File Size: 162,68 KB

Share Result on Facebook

City

Bath / Marietta / /

Company

Data Management System / Aerosystems International / Hercules / Lockheed Martin Aeronautical Systems / /

Country

United States / United Kingdom / /

Event

M&A / /

Holiday

Assumption / /

IndustryTerm

software error / accepted tools / delivered safetycritical software / software classifications / software safety properties / software tools / safetycritical software / safety-critical software / designed software / particular software function / software development / software systems / avionics systems / software language / software supplier / software functional areas / /

Organization

Defence Evaluation and Research Agency / Royal Air Force / UK Ministry of Defense / C-130J Functional Organisation / Line Replaceable Unit / UK Ministry of Defence / /

Person

Assessment / Function / Ada Kernal / Harrison / /

Position

Task Manager / Manager Safety Function Modelling Support Function Figure / Task Manager / Chief Engineer / Safety Manager and Project Manager / Translator / definitive PROCSPEC The analyst / Manager / Project Manager / Safety Manager / Chief Engineer / allotted analyst / Manager Project Management Function Data Manager Task Manager Data Management Function Chief Engineer / The Data Manager / Safety Manager and Chief Engineer / analyst / Data Manager / Chief Engineer Safety Manager / Task Manager for analysis / /

Product

C-130J Hercules / C-130 / C-130J / Hercules / /

ProgrammingLanguage

PL/M / C / K / Ada / J / /

ProvinceOrState

Illinois / Georgia / /

SocialTag