AADL 3 Type System and Expression Language

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).

Open PDF

Document Details

Document Type
Technical Report
Publication Date
Jan 01, 2019
Accession Number
AD1090837

Entities

People

  • Lutz Wrage

Organizations

  • Carnegie Mellon University

Tags

DTIC Thesaurus Topics

  • Composite Materials
  • Conversion
  • Copyrights
  • Data Modeling
  • Department Of Defense
  • Engineering
  • Guarantees
  • Language
  • Machine Learning
  • Materials
  • Measurement
  • Models
  • Scripting Languages
  • Si Base Units
  • Software Development
  • Structural Analysis
  • Universities

Fields of Study

  • Computer science

Readers

  • Computational Linguistics
  • Database Systems and Applications
  • Military Logistics and Supply Chain Management