Research Directions in Software Analysis, Synthesis and Certification

Abstract

This paper presents a view of research directions relevant to producing reliable and useful software systems. Appropriate research goals are identified for achieving improvements in software quality via formalization and computer aid for software analysis, synthesis, and certification tasks at all states of software development and evolution.

Open PDF

Document Details

Document Type
Technical Report
Publication Date
Dec 31, 1992
Accession Number
ADA261367

Entities

People

  • Luqi

Organizations

  • Naval Postgraduate School

Tags

Communities of Interest

  • Materials and Manufacturing Processes

DTIC Thesaurus Topics

  • Abstracts
  • Computer Programming
  • Computer Programs
  • Computer Science
  • Computers
  • Consistency
  • Information Systems
  • Language
  • Mathematical Models
  • Models
  • Navy
  • Performance Tests
  • Prototypes
  • Reliability
  • Software Development
  • Software Testing
  • Test Sets

Fields of Study

  • Computer science
  • Engineering

Readers

  • Software Engineering.