<--- Back to Details
First PageDocument Content
Unified Modeling Language / Software architecture / Systems architecture / ISO standards / Architecture Analysis & Design Language / Model-driven architecture / Carnegie Mellon University / Reliability engineering / XML Metadata Interchange / Design / Systems engineering / Software engineering
Date: 2006-11-21 15:50:04
Unified Modeling Language
Software architecture
Systems architecture
ISO standards
Architecture Analysis & Design Language
Model-driven architecture
Carnegie Mellon University
Reliability engineering
XML Metadata Interchange
Design
Systems engineering
Software engineering

Microsoft PowerPoint - aadl exec overview[removed]ppt

Add to Reading List

Source URL: aadl.sei.cmu.edu

Download Document from Source Website

File Size: 941,73 KB

Share Document on Facebook

Similar Documents

3D computer graphics / Computer graphics / Computer-aided engineering / Polygon mesh / STL / Constructive solid geometry / 3D modeling / Mesh / Geometry processing

Functional Programming for Compiling and Decompiling Computer-Aided Design

DocID: 1xW3j - View Document

Mathematical analysis / Mathematics / Measure theory / Boolean algebra / Experiment / Sigma-algebra / Determinacy / Stochastic game / Linear temporal logic / Markov chain / Markov decision process

Quantitative Verification and Strategy Synthesis for Stochastic Games M´aria Svoreˇnov´a and Marta Kwiatkowska Abstract— Design and control of computer systems that operate in uncertain, competitive or adversarial,

DocID: 1xVYM - View Document

Microsoft Research / Aditya Akella / Carnegie Mellon University / Carnegie Mellon Silicon Valley / Research / Computer science / Knowledge

USENIX Association Proceedings of the 13th USENIX Symposium on Networked Systems Design and Implementation (NSDI ’16)

DocID: 1xVWi - View Document

Economy / Business intelligence / Finance / Money / Learning analytics / Predictive analytics / Analytics in higher education / Analytics / Usability / Business analytics / Architectural pattern / Educational technology

Design of Knowledge Analytics Tools for Workplace Learning? Maria A Schett1 , Stefan Thalmann2 , and Ronald K Maier2 1 2

DocID: 1xVWa - View Document

Cryptocurrencies / Blockchains / Economy / Cross-platform software / Money / Concurrent computing / Alternative currencies / Ethereum / Smart contract / Counterparty / RootStock / Bitcoin

An empirical analysis of smart contracts: platforms, applications, and design patterns Massimo Bartoletti and Livio Pompianu arXiv:1703.06322v1 [cs.CR] 18 Mar 2017

DocID: 1xVVD - View Document