Awards

$499K

RELIABLE SPECIFICATION FOR ADA SOFTWARE

Phase 2 SBIR

Agency: National Aeronautics and Space Administration
Topic: 90-2
Budget: 01/01/90 - 12/31/90
PI: Dr. Andres Rudmik

THE PROPOSED APPROACH FOCUSES ON TECHNIQUES AND TOOLS THAT WILL DRAMATICALLY IMPROVE SOFTWARE RELIABILITY THROUGH A SYSTEMATIC APPROACH FOR FAULT AVOIDANCE, BASED UPON: A RELIABLE SPECIFICATION TECHNIQUE THAT SUPPORTS THE FORMAL,INCREMENTAL, AND HUMANLY VERIFIABLE DESCRIPTION OF SYSTEM BEHAVIOR, BASED UPON THE PROVEN BOX STRUCTURES METHODOLOGY, ...

$49.5K

PASSIVE KNOWLEDGE ACQUISITION

Phase 1 SBIR

Agency: National Aeronautics and Space Administration
Topic: 90-1
Budget: 01/01/90 - 12/31/90
PI: Dr. Andres Rudmik

$49.5K

RELIABLE SPECIFICATION FOR ADA SOFTWARE

Phase 1 SBIR

Agency: National Aeronautics and Space Administration
Topic: 89-1
Budget: 01/01/89 - 12/31/89
PI: Dr. Andres Rudmik

$49.1K

DESIGN KNOWLEDGE CAPTURE

Phase 1 SBIR

Agency: National Aeronautics and Space Administration
Topic: 89-1
Budget: 01/01/89 - 12/31/89
PI: Vincent J Kovarik

THE CAPTURE OF DESIGN KNOWLEDGE IS CURRENTLY A PAPER AND HUMAN INTENSIVE PROCESS. IT OFFERS LITTLE OR NO AUTOMATED ASSISTANCE TO THE DEVELOPER. THIS PROPOSAL DESCRIBES AN APPROACH TO DEVELOPING A SOFTWARE DEVELOPMENT DESIGN KNOWLEDGE SERVER. THIS SERVER FUNCTIONS AS A PERSISTENT OBJECT BASE, RETAINING NOT ONLY THE PRODUCTS OF A DEVELOPMENT EFFOR...

$496K

KNOWLEDGE-BASED REUSABLE SOFTWARE SYNTHESIS SYSTEM

Phase 2 SBIR

Agency: National Aeronautics and Space Administration
Topic: 88-2
Budget: 01/01/88 - 12/31/88
PI: Unavailable

SOFTWARE PRODUCTIVITY SOLUTIONS, INC. PROPOSES AN INNOVATIVEAPPROACH FOR DEVELOPING MISSION SOFTWARE SYSTEMS THROUGH THEAUTOMATED SYNTHESIS OF REUSABLE ADA COMPONENTS. THE APPROACH ADDRESSES THE PROBLEM OF REUSABILITY THROUGH A UNIQUE COMBINATION OF SOFTWARE ENGINEERING, DATABASE MODELING AND KNOWLEDGE-BASED SYSTEMS TECHNOLOGIES. THE PLAN DESCRI...

$45.9K

KNOWLEDGE-BASED REUSABLE SOFTWARE SYNTHESIS SYSTEM

Phase 1 SBIR

Agency: National Aeronautics and Space Administration
Topic: 87-1
Budget: 01/01/87 - 12/31/87
PI: Unavailable