Silhouette
Upgrade to view details

Mr. David L. Barton

Edaptive Computing, Inc.

Message

Employers

Affiliated Awards

Award Title Agency Phase Award amount Start Date End Date
Software Formalisms
Edaptive Computing, Inc.
Principal Investigator
MDA 2 $750K 06/22/07 06/22/09
Test-Ready Model for Flexible System-of-Systems
Edaptive Computing, Inc.
Principal Investigator
MDA 1 $100K 04/04/06 10/31/06
Software Formalisms
Edaptive Computing, Inc.
Principal Investigator
MDA 1 $99.9K 04/04/06 10/10/06
Model-Based Specification Checker for Multi-Domain Systems (SpecCheck)
Edaptive Computing, Inc.
Principal Investigator
NASA 1 $70K 01/01/06 12/31/06
User-Defined Critics for Software Adaptation
Edaptive Computing, Inc.
Principal Investigator
Navy 2 $1000K 01/05/05 01/05/07
Execution of High Level Specifications for Simulation Based Acquisition
Edaptive Computing, Inc.
Principal Investigator
MDA 1 $100K 05/25/04 11/25/04
Technology for Affordable Validation and Verification (V&V) Software Design Processes and Safe ...
Edaptive Computing, Inc.
Principal Investigator
AF 1 $100K 05/19/04 03/19/05
Specification and Test Based Reverse Engineering of Low Level Code System (EDAMarksman)
Edaptive Computing, Inc.
Principal Investigator
OSD 1 $100K 03/25/04 09/25/05
Design for Error Management (ErrorX)
Edaptive Computing, Inc.
Principal Investigator
OSD 1 $100K 03/18/04 09/18/05
FCS Integrated System Level Design Tool
Edaptive Computing, Inc.
Principal Investigator
Army 2 $1.64MM 11/24/03 09/26/07
System Management for Advanced & Replacement Technology
Edaptive Computing, Inc.
Principal Investigator
Navy 2 $600K 12/20/02 12/19/03
FCS Integrated System Level Design Tool
Edaptive Computing, Inc.
Principal Investigator
Army 1 $70K 12/18/02 06/18/03
User-Defined Critics for Software Adaptation
Edaptive Computing, Inc.
Principal Investigator
DARPA 1 $99K 10/09/02 06/09/03