Advanced Development Environments, Continuation

Abstract

The Stanford Advanced Development Environments project is designing a new generation of machine processable languages and automated environment tools to support formal and rigorous development methods in all phases of systems production. New methodologies, based on automated applications of powerful design and specification languages, are required in order to revolutionize current methods of building, maintaining, and modifying large distributed computer systems. Formal development methodologies are the most promising emerging technology for increasing the trustworthiness of future computer systems, lowering their cost and production time, and managing the growing complexity that must be expected of twenty-first century systems.

Open PDF

Document Details

Document Type
Technical Report
Publication Date
Jan 01, 1989
Accession Number
ADA220510

Entities

People

  • David C. Luckham

Organizations

  • Stanford University

Tags

Communities of Interest

  • Engineered Resilient Systems

DTIC Thesaurus Topics

  • Algorithms
  • Computer-Aided Design
  • Computers
  • Debugging
  • Electrical Engineering
  • Emerging Technology
  • Engineering
  • Environment
  • Language
  • Naval Warfare
  • Production
  • Software Development
  • Software Testing
  • Specifications
  • Technology Transfer
  • Two Dimensional
  • Universities

Fields of Study

  • Computer science
  • Engineering

Readers

  • Computer Science.
  • Cybersecurity.
  • Systems Analysis and Design