Sven Jörges
Sven Jörges
University of Applied Sciences and Arts, Dortmund
Bestätigte E-Mail-Adresse bei tu-dortmund.de
Titel
Zitiert von
Zitiert von
Jahr
Model-driven development with the jABC
B Steffen, T Margaria, R Nagel, S Jörges, C Kubczak
Haifa verification conference, 92-108, 2006
2222006
Genesys: service-oriented construction of property conform code generators
S Jörges, T Margaria, B Steffen
Innovations in Systems and Software Engineering 4 (4), 361-384, 2008
492008
Construction and evolution of code generators: A model-driven and service-oriented approach
S Jörges
Springer, 2013
482013
A constraint-based variability modeling framework
S Jörges, AL Lamprecht, T Margaria, I Schaefer, B Steffen
International Journal on Software Tools for Technology Transfer 14 (5), 511-530, 2012
442012
Model driven design of reliable robot control programs using the jABC
S Jorges, C Kubczak, F Pageau, T Margaria
Fourth IEEE International Workshop on Engineering of Autonomic and …, 2007
342007
FormulaBuilder: a tool for graph-based modelling and generation of formulae
S Jörges, T Margaria, B Steffen
Proceedings of the 28th international conference on Software engineering …, 2006
252006
Simplicity‐first model‐based plug‐in development
S Naujokat, J Neubauer, AL Lamprecht, B Steffen, S Jörges, T Margaria
Software: Practice and Experience 44 (3), 277-297, 2014
182014
Effectively addressing complex proteomic search spaces with peptide spectrum matching
D Borges, Y Perez-Riverol, FCS Nogueira, GB Domont, J Noda, ...
Bioinformatics 29 (10), 1343-1344, 2013
182013
eXtreme model-driven design with jABC
C Kubczak, S Jörges, T Margaria, B Steffen
CTIT Proceedings of the Tools and Consultancy Track of the Fifth European …, 2009
172009
Test your strategy: graphical construction of strategies for connect-four
M Bakera, S Jörges, T Margaria
2009 14th IEEE International Conference on Engineering of Complex Computer …, 2009
152009
Simplicity principles for plug-in development: the jABC approach
S Naujokat, AL Lamprecht, B Steffen, S Jörges, T Margaria
2012 Second International Workshop on Developing Tools as Plug-Ins (TOPI), 7-12, 2012
112012
Building code generators with genesys: a tutorial introduction
S Jörges, B Steffen, T Margaria
International Summer School on Generative and Transformational Techniques in …, 2009
102009
Assuring property conformance of code generators via model checking
S Jörges, T Margaria, B Steffen
Formal aspects of computing 23 (5), 589-606, 2011
92011
Model-Driven Development with the jABC, volume 4383 of LNCS
B Steffen, T Margaria, R Nagel, S Jörges, C Kubczak
Springer Berlin/Heidelberg 18, 92-108, 2006
92006
Back-to-back testing of model-based code generators
S Jörges, B Steffen
International Symposium On Leveraging Applications of Formal Methods …, 2014
72014
Exploiting ecore's reflexivity for bootstrapping domain-specific code-generators
S Jörges, B Steffen
2012 35th Annual IEEE Software Engineering Workshop, 72-81, 2012
62012
Genesys: a model-driven and service-oriented approach to the construction and evolution of code generators
S Jörges
Ph. D. thesis, Technische Universitt Dortmund, 2011
62011
Synthesis from a practical perspective
S Jörges, AL Lamprecht, T Margaria, S Naujokat, B Steffen
International Symposium on Leveraging Applications of Formal Methods, 282-302, 2016
52016
Leveraging service-orientation for combining code generation frameworks
S Jörges, B Steffen
2011 16th IEEE International Conference on Engineering of Complex Computer …, 2011
32011
Extreme model-driven development and jabc
S Jörges
Construction and Evolution of Code Generators, 39-71, 2013
22013
Das System kann den Vorgang jetzt nicht ausführen. Versuchen Sie es später erneut.
Artikel 1–20