Evaluation Criteria for Real-Time Specification Languages

Abstract

We develop a set of general evaluation criteria for (formal and informal) real-time specification languages. These criteria cover important properties of a specification (applicability to real-time systems, completeness, etc.) as well as techniques for analyzing those properties (verification traceability, etc.) These general criteria are intended as a guide to development of more specific criteria during actual evaluations of languages.

Open PDF

Document Details

Document Type
Technical Report
Publication Date
Feb 11, 1992
Accession Number
ADA246612

Entities

People

  • Carolyn E. Gasarch
  • Paul C. Clements
  • Ralph D. Jeffords

Organizations

  • United States Naval Research Laboratory

Tags

Communities of Interest

  • Human Systems
  • Materials and Manufacturing Processes

DTIC Thesaurus Topics

  • Abstracts
  • Classification
  • Cognitive Systems Engineering
  • Computer Programming
  • Computer Programs
  • Computer Science
  • Computers
  • Engineering
  • Language
  • Natural Languages
  • Software Development
  • Specifications
  • Standards
  • Systems Engineering
  • Test And Evaluation
  • Validation
  • Verification

Fields of Study

  • Computer science
  • Engineering

Readers

  • Software Engineering.