<--- Back to Details
First PageDocument Content
Systems engineering / ATLAS Transformation Language / Cross-platform software / KM3 / Eclipse / Transformation language / Atlas / Metamodeling / Software / Computing / Unified Modeling Language
Date: 2007-09-06 05:37:48
Systems engineering
ATLAS Transformation Language
Cross-platform software
KM3
Eclipse
Transformation language
Atlas
Metamodeling
Software
Computing
Unified Modeling Language

ATLAS Modell Management Architektur (AMMA)

Add to Reading List

Source URL: orvia.informatik.uni-leipzig.de

Download Document from Source Website

File Size: 49,56 KB

Share Document on Facebook

Similar Documents

Computing / Data management / Data / Business intelligence / Database management systems / Technology forecasting / Transaction processing / Dan Suciu / Big data / Probabilistic database / Data science / Analytics

University of Washington Database Group Quarterly Newsletter - FallUW Database Group Data management systems, cloud services, probabilistic databases, and data pricing in Computer Science & Engineering at the Univ

DocID: 1xV2p - View Document

Theoretical computer science / Helmut Veith / Formal methods / TU Wien / Institute for Applied Information Processing and Communications / Software engineering / Verification / Formal verification / Computing

RESEARCH LINES Mapping SHiNE RiSE Rigorous Systems Engineering

DocID: 1xUZO - View Document

Georgios Fainekos School of Computing, Informatics and Decision Systems Engineering, Arizona State University. Office address: 660 W 6th St, STE, Tempe, AZweb: http://www.public.asu.edu/~gfaineko/, email: f

DocID: 1xUnB - View Document

Functional predicate / Model theory / Symbol / Limit of a function / Universal quantification / Mathematical logic / Mathematics / Logic

A Relational Encoding for a Clash-Free Subset of ASMs Gerhard Schellhorn, Gidon Ernst, J¨org Pf¨ahler, and Wolfgang Reif Institute for Software and Systems Engineering University of Augsburg, Germany {schellhorn,ernst,

DocID: 1xUbX - View Document