1
0
0
(1 - 28 von 28
)
HOL theorem-proving system / List hol-info Archives
sourceforge.net
Jean Marie Favre, Ralf Laemmel, Thomas Schmorleiz and Andrei ... Stefan Marr and Theo D'Hondt * TimeSquare: Treat your Models with ...
Staff View: Objects, models, components, patterns
library.villanova.edu
... Jean-Marie Favre, Ralf Lämmel, Thomas Schmorleiz and Andrei Varanovich -- |t An Object-Oriented Application Framework for the Development of Real-Time ...
Object, Models, Components, Patterns: 50th International ...
books.google.fi
58 Jean-Marie Favre, Ralf Lämmel, Thomas Schmorleiz, and Andrei Varanovich An Object-Oriented Application Framework for the Development of Real-Time Systems ...
th Working Conference on Reverse Engineering ( ...Proceedings.com
www.proceedings.com
Jean-Marie Favre, Ralf Lämmel, Martin Leinberger, Thomas Schmorleiz, and Andrei Varanovich vii. Page 5. Reconstructing Architectural Views from Legacy ...
A Domain Specific Transformation Language to Bridge ...Eclipse
www.eclipse.org
von ASB Herrera · Zitiert von: 7 — ACM Jean-Marie Favre, Ralf Lämmel, Thomas Schmorleiz, and Andrei Varanovich. 101companies: a community project on software technologies and ...
Linking Documentation and Source Code in a Software Chrestomathy
softlang.uni-koblenz.de
Linking Documentation and Source Code in a Software Chrestomathy Status In proceedings of WCRE Authors Jean-Marie Favre, Ralf Lämmel, Martin Leinberger, Thomas Schmorleiz, and Andrei Varanovich . Abstract The software chrestomathy of the 101companies community project demonstrates "many" software languages and software technologies by implementing "many" variants of a human …
Research Group Software languages | University of KoblenzUniversität Koblenz
www.uni-koblenz.de
Autor/-in: Ralf Lämmel, Andrei Varanovich, Martin Leinberger, Thomas Schmorleiz, Jean-Marie Favre · Konferenzpaper. Comparison of Feature Implementations ...
101companies: A Community Project on Software ...Springer
link.springer.com
von JM Favre · · Zitiert von: 41 — 101companies: A Community Project on Software Technologies and Software Languages. Jean-Marie Favre,; Ralf Lämmel,; Thomas Schmorleiz & … Andrei Varanovich.
Objects, Models, Components, Patterns - 50th International...
researchr.org
[doi] · 101companies: A Community Project on Software Technologies and Software LanguagesJean-Marie Favre, Ralf Lämmel, Thomas Schmorleiz, ...
101companies: A Community Project on Software Technologies and...
link.springer.com
Jean-Marie Favre (18); Ralf Lämmel (19); Thomas Schmorleiz (19); Andrei Varanovich (19). Author Affiliations University of Grenoble, France; 19. University ...
101companies: A Community Project on Software ...link.springer.com › chapter
link.springer.com
Jean-Marie Favre; Ralf Lämmel; Thomas Schmorleiz; Andrei Varanovich. Jean-Marie Favre. 1. Ralf Lämmel. 2. Thomas Schmorleiz. 2. Andrei Varanovich
Wikipedia: Леммель, Ральф — Википедия
Comput. Program. 97: (2015). ↑ Jean-Marie Favre, Ralf Lämmel, Thomas Schmorleiz, Andrei Varanovich ...
Recent Advances in Eclipse QVTO! - PDF Free Download
docplayer.net
19 April Megamodels as models of the linguistic architecture of software products and software technologies Ralf Lämmel (Software Languages Team) on behalf of Jean-Marie Favre, Thomas Schmorleiz, More information
101:@project wikiWikidot
101wiki.softlang.org
Aug 2010: @repo starts to take shape thanks to Thomas Schmorleiz who enters the @project for several years to come. Oct 2011: Jean-Marie Favre, ...
101companies: A Community Project on Software Technologies and ...hal.inria.fr › hal
hal.inria.fr
Citation. Jean-Marie Favre, Ralf Lämmel, Thomas Schmorleiz, Andrei Varanovich companies: A Community Project on Software Technologies and Software ...
Does the Introduction of Lambda Expressions Improve the ...sbc.org.br
sol.sbc.org.br
von W Lucas · · Zitiert von: 22 — Jean-Marie Favre, Ralf Lämmel, Thomas Schmorleiz, and Andrei Varanovich companies: A Community Project on Software Technologies ...
Lecture Notes in Computer ScienceUniversity of Utah
ftp.math.utah.edu
AP — Jean-Marie Favre and Ralf Lämmel and Thomas Schmorleiz 101companies: a Community Project on Software Technologies and Software ...
Solving the Interoperability problem between UML modeling tools ...docplayer.net › Solving-the-interoperabil...
docplayer.net
... architecture of software products and software technologies Ralf Lämmel ( Software Languages Team) on behalf of Jean-Marie Favre, Thomas Schmorleiz,.
PROGRAMMABLE REVERSE ENGINEERINGWorld Scientific
www.worldscientific.com
von SR TILLEY · · Zitiert von: 203 — Linking Documentation and Source Code in a Software Chrestomathy. Jean-Marie Favre, Ralf Lammel, Martin Leinberger, Thomas Schmorleiz and Andrei Varanovich.
Information:Papers
101wiki.softlang.org
Jean-Marie Favre, Ralf Lämmel, Martin Leinberger, Thomas Schmorleiz, and Andrei Varanovich: "Linking Documentation and Source Code in a Software ...
EAPLS: TOOLS Europe 2012: Call for Participation
eapls.org
Jean Marie Favre, Ralf Laemmel, Thomas Schmorleiz and Andrei Varanovich; Incremental Dynamic Updates with First-class Contexts. Erwann ...
[Om-announce] TOOLS Europe 2012: Call for Participation
mailman.openmath.org
Jean Marie Favre, Ralf Laemmel, Thomas Schmorleiz and Andrei Varanovich * Incremental Dynamic Updates with First-class Contexts.
[TYPES/announce] TOOLS Europe 2012: Call for Participation
lists.seas.upenn.edu
Jean Marie Favre, Ralf Laemmel, Thomas Schmorleiz and Andrei Varanovich * Incremental Dynamic Updates with First-class Contexts.
VICCI. The Eclipse Modeling Framework (EMF) A Practical Introduction...
docplayer.net
... software products and software technologies Ralf Lämmel (Software Languages Team) on behalf of Jean-Marie Favre, Thomas Schmorleiz,. More information ...
Alle Infos zum Namen "Thomas Schmorleiz"
sortiert nach Relevanz / Datum