View The Document

Accession Number:

AD1197711

Title:

Contracts in System Development: From Multiconcern Analysis to Assurance

Author(s):

• Hugues, Jerome
• Procter, Sam

Author Organization(s):

• CARNEGIE-MELLON UNIV PITTSBURGH PA

Report Date:

2023-03-17

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

Document Type:

Conference:

Journal:

Pages:

12

File Size:

0.59MB

Contracts:

Grants:

Descriptors:

• software development
• computer programs
• guarantees
• verification
• contracts
• language
• materials
• technical debt
• universities
• department of defense
• engineering
• artifacts
• copyrights
• governments
• application software
• decomposition

Identifiers:

• System Development
• Multiconcern Analysis
• Assurance
• support decomposition

SubjectCategory:

• Behavioral and Social Sciences
• Military Sciences
• Behavioral and Social Sciences

Distribution Statement:

Approved For Public Release

View The Document