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 ...
Consistent View-Based Management of Variability in Space and ...google.de
books.google.de
... Thomas Schmorleiz, Ralf Lämmel, undenedtefan Stănciulescu, An- drzej Wąsowski, and Ina Schaefer. “Flexible Product Line Engineering with a Virtual Platform ...
Consistent View-Based Management of Variability in Space and Time
books.google.fi
[11] Michał Antkiewicz, Wenbin Ji, Thorsten Berger, Krzysztof Czarnecki, Thomas Schmorleiz, Ralf Lämmel, undenedtefan Stănciulescu, An- drzej Wąsowski, ...
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 ...
Flexible product line engineering with a virtual platformTypeset.io
typeset.io
Thomas Schmorleiz, Ralf Lämmel. Universität Koblenz-Landau, Germany. S, tefan St˘anciulescu, Andrzej W ˛asowski. IT University of Copenhagen*, Denmark.
Consistent View-Based Management of Variability in ...Karlsruhe Institute of Technology
www.ksp.kit.edu
Thomas Schmorleiz, Ralf Lämmel, unde nedtefan Stănciulescu, An- drzej Wąsowski, and Ina Schaefer. “Flexible Product Line Engineering.
Ralf LämmelDBLP
dblp.uni-trier.de
Ralf Lämmel , Martin Leinberger , Thomas Schmorleiz, Andrei Varanovich: Comparison of feature implementations across languages, technologies, and styles.
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 …
Empirical Evaluation of Feature Trace Recording on the ...Uni Ulm
oparu.uni-ulm.de
von S Viegener · · Zitiert von: 2 — Thomas Schmorleiz, Ralf Lämmel, Stefan Stănciulescu, Andrzej Wą- sowski, and Ina Schaefer. Flexible Product Line Engineering with a. Virtual Platform.
Declarative Software Development (Distilled Tutorial)softlang.uni-koblenz.de › ppdp14
softlang.uni-koblenz.de
(Distilled Tutorial). Status: Published in Proceedings of PPDP Authors: Ralf Lämmel, Andrei Varanovich, Martin Leinberger, Thomas Schmorleiz, Jean-Marie ...
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.
Comparison of feature implementations across...
martinleinberger.com
Comparison of feature implementations across languages,technologies, and styles. Ralf Lämmel, Martin Leinberger, Thomas Schmorleiz, Andrei Varanovich.
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
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, ...
Wikipedia: Леммель, Ральф — Википедия
Comput. Program. 97: (2015). ↑ Jean-Marie Favre, Ralf Lämmel, Thomas Schmorleiz, Andrei Varanovich ...
Alle Infos zum Namen "Thomas Schmorleiz"
101companies: A Community Project on Software Technologies and...
www.springerprofessional.de
Aus dem eBook: Objects, Models, Components, Patterns von Jean-Marie Favre, Ralf Lämmel, Thomas Schmorleiz, Andrei Varanovich: 101companies is ...
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
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 ...
101companies: A Community Project on Software ...www.springerprofessional.de › ...
www.springerprofessional.de
Autoren: Jean-Marie Favre, Ralf Lämmel, Thomas Schmorleiz, Andrei Varanovich. Verlag: Springer Berlin Heidelberg. Erschienen in: Objects, Models, ...
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 ...
IFL by ifl2014
ifl2014.github.io
3:30 Thomas Schmorleiz and Ralf Lämmel Towards Tool Support for History Annotations in Similarity Management; 4:00 Michael Arntzenius Moxy: a language ...
An annotation-centric approach to similarity management - PDF Free...
technodocbox.com
Submission underway. Thomas Schmorleiz and Ralf Lämmel Software Languages Team, University of Koblenz-Landau Management of similarity.
101subbotnik1 - SOFTLANG Team, Uni Koblenz-Landau
softlang.wikidot.com
Ralf Lämmel: Introduction to the 101subbotnik; Carl Corea: 101consult — IT consulting inspired by 101; Martin Leinberger: The ultimate discovery service; Thomas Schmorleiz: The new 101wiki. 3pm-5pm: Session 3 (Working groups). CONTRIBUTE; (MOVE); SCRUTINIZE; SERVE. 5pm-7pm: Session
ERA Track | IEEE CSMR-WCREuantwerpen.be
ansymore.uantwerpen.be
Ralf Lämmel, Martin Leinberger, Thomas Schmorleiz and Andrei Varanovich. Comparison of feature implementations across languages and technologies and styles ...
Accepted Papers | IEEE CSMR-WCRE
ansymore.uantwerpen.be
... Rocco Oliveto, Andrea De Lucia, Andrian Marcus, Yann-Gaël Guéhéneuc and ... Prasetya, Peter M. Kruse, Alessandra Bagnato, Mark Harman, Onn Shehory Ralf Lämmel, Martin Leinberger, Thomas Schmorleiz and Andrei Varanovich.
Similarity management of 'cloned and owned' variantsGesellschaft für Informatik
fb-swt.gi.de
von T Schmorleiz · Zitiert von: 16 — Thomas Schmorleiz. Ralf Lämmel. Software Languages Team, University of Koblenz-Landau. Abstract. The 'clone and own' approach to software product.
CiteSeerX — Flexible Product Line Engineering with a Virtual Platform
citeseerx.ist.psu.edu
by Michał Antkiewicz , Wenbin Ji , Thorsten Berger , Krzysztof Czarnecki , Thomas Schmorleiz , Ralf Lämmel , Ina Schaefer , Technische Universität ...
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 ...
Slides and BibTeXSATToSE
sattose.org
Thomas Schmorleiz, Ralf Laemmel, Similarity Management via History Annotation, pp. 45–48. (link) (slides) (bibtex). Tom Mens, Mathieu Goeminne, Uzma Raja, ...
Softlang uni ko - servicesandsolution.comservicesandsolution.com
ikvii.servicesandsolution.com
... AST-based API-usage analysis of open WebSimilarity management of 'cloned and owned' variants Thomas Schmorleiz and Ralf Lämmel Software Languages Team ...
NIER session - ICSE 2014International Conference on Software Engineering
2014.icse-conferences.org
Michał Antkiewicz, Wenbin Ji, Thorsten Berger, Krzysztof Czarnecki, Thomas Schmorleiz, Ralf Lämmel, Ștefan Stănciulescu, Andrzej Wąsowski, and Ina Schaefer.
Comparison of feature implementations across languages, technologies,...
www.semanticscholar.org
Comparison of feature implementations across languages, technologies, and styles. Ralf Lämmel, Martin Leinberger, Thomas Schmorleiz, Andrei Varanovich.
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,.
Flexible product line engineering with a virtual platform | Semantic...
www.semanticscholar.org
Flexible product line engineering with a virtual platform. Michal Antkiewicz, Wenbin Ji, Thorsten Berger, Krzysztof Czarnecki, Thomas Schmorleiz, Ralf Lämmel ...
References - School of Computer Sciencecgi.cse.unsw.edu.au › ~eptcs › refe...
cgi.cse.unsw.edu.au
Ralf Lämmel, Thomas Schmorleiz & Andrei Varanovich (2013): The 101Haskell Chrestomathy: A Whole Bunch of Learnable Lambdas. In: Proceedings of the ...
sortiert nach Relevanz / Datum