Center of Excellence of Software Evolution

Abstract

The broad goal of the project is to investigate techniques to minimize the soaring cost of software evolution, focusing on component-based systems where predictable behavior and performance are important. Key research results include techniques for reusable component and pattern design, formal specification of behavior and performance, modular verification of behavior and performance correctness, and principles for contract-checking components. Languages and tools that incorporate these findings are key technology transfer results. Key educational results include a formal approach and materials for teaching component-based software engineering at the graduate and undergraduate levels in Computer Science, and statistical evaluation of the approach.

Open PDF

Document Details

Document Type
Technical Report
Publication Date
Oct 15, 2001
Accession Number
ADA398492

Entities

People

  • E. J. Harner
  • Murali Sitaraman

Organizations

  • West Virginia University

Tags

Communities of Interest

  • Biomedical

DTIC Thesaurus Topics

  • Computer Programming
  • Computer Science
  • Computers
  • Education
  • Electrical Engineering
  • Engineering
  • Information Science
  • Information Systems
  • Language
  • Object Oriented Programming
  • Reliability
  • Reliability Engineering
  • Software Development
  • Software Metrics
  • Technology Transfer
  • Test And Evaluation
  • Verification

Fields of Study

  • Computer science
  • Engineering

Readers

  • Aviation Science / Aeronautics.
  • Defense Technology Research and Development.
  • Software Engineering.