Accession Number:

AD1090837

Title:

AADL 3 Type System and Expression Language

Descriptive Note:

Technical Report

Corporate Author:

CARNEGIE-MELLON UNIV PITTSBURGH PA PITTSBURGH United States

Personal Author(s):

Report Date:

2019-01-01

Pagination or Media Count:

26.0

Abstract:

Type System Unification.Unification of type systems and expression languages Peter, Lutz, Alexey, Brian, Serban.Data Components, Property Types, Classifiers, Annexes, Resolute, AGREE, Data Modeling, EMV2, BA, BLESS, ReqSpec, and Scripting languages Python.

Subject Categories:

  • Computer Programming and Software

Distribution Statement:

APPROVED FOR PUBLIC RELEASE