First Page | Document Content | |
---|---|---|
![]() Date: 2009-04-07 07:40:15Software architecture Systems architecture Architecture Analysis & Design Language Unified Modeling Language Systems engineering SIGNAL Carnegie Mellon University UML tool Software Engineering Institute Software engineering Design Computing | Add to Reading List |
![]() | Microsoft PowerPoint - 2010_SIGAda_Awards.ppt [Compatibility Mode]DocID: 18oQe - View Document |
![]() | 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 notDocID: 184Nu - View Document |
![]() | i i “program” — — 10:23 — page 1 — #1 iDocID: 17NQo - View Document |
![]() | Modeling with the AADL [removed] AADL meeting — April 2007 Semantics of AADL ArchitecturesDocID: 11hdI - View Document |
![]() | Model-Based Engineering with AADL: An Overview Peter Feiler [removed]DocID: 11dtE - View Document |