Contracts in System Development: From Multiconcern Analysis to Assurance

Abstract

Contracts in Software Engineering and beyond - Well established practice to support (de)composition and analysis: Requirement Allocation and Verification, Analysis Contracts, Vertical Integration Contracts, Horizontal Integration Contracts, Conformance Contracts, and Implementation Contract

Open PDF

Document Details

Document Type
Technical Report
Publication Date
Mar 17, 2023
Accession Number
AD1197711

Entities

People

  • Jérôme Hugues
  • Sam Procter

Organizations

  • Carnegie Mellon University

Tags

DTIC Thesaurus Topics

  • Application Software
  • Artifacts
  • Computer Programs
  • Contracts
  • Copyrights
  • Decomposition
  • Department Of Defense
  • Engineering
  • Governments
  • Guarantees
  • Language
  • Materials
  • Semantics
  • Software Development
  • Technical Debt
  • Universities
  • Verification

Fields of Study

  • Computer science

Readers

  • Atmospheric Science / Meteorology, specifically Wind Wave Turbulence.
  • Software Engineering