First Page | Document Content | |
---|---|---|
Date: 2011-08-25 18:51:00Data modeling Stereotype Meta-Object Facility Subtype polymorphism Object-oriented programming Domain-specific modeling Profile Unified Modeling Language Software engineering Computing | Evaluation of the Unified Modeling Language Submission to OOADTF RFP-1 Conrad Bock Kevin Murphy Amy Justice[removed])Add to Reading ListSource URL: www.conradbock.orgDownload Document from Source WebsiteFile Size: 185,87 KBShare Document on Facebook |
Session Types Revisited Ornela Dardha Elena Giachino Davide SangiorgiDocID: 1gxoo - View Document | |
ESV4Methods for Testing and Specification (MTS); The Testing and Test Control Notation version 3; Part 1: TTCN-3 Core LanguageDocID: 1gch4 - View Document | |
A Type System for Components? Ornela Dardha1 1 Elena Giachino1DocID: 1ga1B - View Document | |
Tarski and Coq A. Assaf1,2 1 INRIA Paris-Rocquencourt (Deducteam) 2DocID: 1fTjd - View Document | |
Semantic Subtyping for Objects and Classes Ornela Dardha1 Daniele Gorla2 Daniele Varacca3DocID: 1fBcj - View Document |