<--- Back to Details
First PageDocument Content
Architecture Analysis & Design Language / Software architecture / Systems architecture / Association for Computing Machinery / Ada / GNAT / Cheddar cheese / Pascal / Computing / Software engineering / Programming language theory
Architecture Analysis & Design Language
Software architecture
Systems architecture
Association for Computing Machinery
Ada
GNAT
Cheddar cheese
Pascal
Computing
Software engineering
Programming language theory

Microsoft PowerPoint - 2010_SIGAda_Awards.ppt [Compatibility Mode]

Add to Reading List

Source URL: www.sigada.org

Download Document from Source Website

File Size: 332,52 KB

Share Document on Facebook

Similar Documents

Architecture Analysis & Design Language / Software architecture / Systems architecture / Association for Computing Machinery / Ada / GNAT / Cheddar cheese / Pascal / Computing / Software engineering / Programming language theory

Microsoft PowerPoint - 2010_SIGAda_Awards.ppt [Compatibility Mode]

DocID: 18oQe - View Document

Ada programming language / Ada / SPARK / Architecture Analysis & Design Language / A Sharp / PM / OOPSLA / Computing / Software engineering / Computer programming

HILT 2014: HIGH INTEGRITY LANGUAGE TECHNOLOGY ACM SIGAda’s Annual International Conference Co-Located with OOPSLA/SPLASH 2014 October 18 – 21, Portland, Oregon / Final Program High integrity software must not

DocID: 184Nu - View Document

Ada programming language / Software architecture / Systems architecture / Formal methods / Ada / SPARK / Architecture Analysis & Design Language / Ravenscar profile / Real-time computing / Computing / Software engineering / Computer programming

i i “program” — — 10:23 — page 1 — #1 i

DocID: 17NQo - View Document

Design / Systems architecture / Architecture Analysis & Design Language / Subroutine / Object-oriented programming / Architectural pattern / Software engineering / Software architecture / Computer programming

Modeling with the AADL [removed] AADL meeting — April 2007 Semantics of AADL Architectures

DocID: 11hdI - View Document

Systems engineering / Architecture Analysis & Design Language / Communications protocol / Thread / Software architecture / Systems architecture / Computing

Model-Based Engineering with AADL: An Overview Peter Feiler [removed]

DocID: 11dtE - View Document