Faultless Software Project.

Abstract

Research has focused in three areas. The first is the development of a general platform paradigm for informal program verification and understanding. The second is the development of practical methods for the reconstruction of functional specifications from code. The third is the development of formal, statistical models for the evaluation of testing methods.

Open PDF

Document Details

Document Type
Technical Report
Publication Date
Jun 01, 1993
Accession Number
ADA278161

Entities

People

  • William Howden

Organizations

  • University of California, San Diego

Tags

Communities of Interest

  • Materials and Manufacturing Processes

DTIC Thesaurus Topics

  • Abstracts
  • California
  • Computer Programming
  • Computer Science
  • Computers
  • Contracts
  • Demographic Cohorts
  • Engineering
  • Models
  • Software Development
  • Software Testing
  • Specifications
  • Standards
  • Test And Evaluation
  • Test Methods
  • Universities
  • Verification

Fields of Study

  • Computer science

Readers

  • Software Engineering.