DID YOU KNOW? DTIC has over 3.5 million final reports on DoD funded research, development, test, and evaluation activities available to our registered users. Click
HERE to register or log in.
Accession Number:
AD1084142
Title:
Unified Type System
Corporate Author:
Carnegie Mellon University Software Engineering Institute Pittsburgh United States
Report Date:
2018-12-31
Abstract:
Type System Unification. Unification of type systems and expression languages Peter, Lutz, Alexey, Brian, SerbanData Components, Property Types, Classifiers, Annexes, Resolute, AGREE, Data Modeling, EMV2, BA, BLESS, ReqSpec, Scripting languages Python. Current Usages of Types. Application data that occurs in the modeled system. Data subcomponents.Shared data.Local variables in threads and subprograms. Data communicated via data and event data ports. Information about the modeled system and individual components. Properties. Mixture of models and properties. Component classifiers and model elements as properties. Bindings. Specify constraints, e.g., RequiredVirtualBusClass.
Descriptive Note:
Technical Report
Pages:
0024
Distribution Statement:
Approved For Public Release;
Contract Number:
FA8702-15-D-0002
File Size:
0.50MB
