2017

398.
default
Gutbrod, Matthias; Münch, Jürgen und Tichy, Matthias
How Do Software Startups Approach Experimentation? Empirical Results from a Qualitative Interview Study
18th International Conference on Product-Focused Software Process Improvement (Profes 2017)
November 2017
397.
default
Frühwirth, Thom
Justifications in Constraint Handling Rules for Logical Retraction in Dynamic Algorithms
Pre-proceedings paper presented at the 27th International Symposium on Logic-Based Program Synthesis and Transformation (LOPSTR 2017), Namur, Belgium, 10-12 October 2017 (arXiv:1708.07854)
Oktober 2017
396.
pdf
Frühwirth, Thom
Implementation of Logical Retraction in Constraint Handling Rules with Justifications
Proceedings of the 21st International Conference on Applications of Declarative Programming and Knowledge Management (INAP)
September 2017
395.
pdf
Richter, Frank; Gall, Daniel und Frühwirth, Thom
A Confluence Checker for Constraint Handling Rules with Persistent Constraints
Proceedings of the 21st International Conference on Applications of Declarative Programming and Knowledge Management (INAP)
September 2017
394.
default
Staron, Miroslaw; Meding, Wilhelm; Tichy, Matthias; Bjurhede, Jonas; Giese, Holger und Söder, Ola
Industrial experiences from evolving measurement systems into self-healing systems for improved availability
Software: Practice and Experience,
August 2017
393.
default
Strüber, Daniel; Born, Kristopher; Gill, Kanwal Daud; Groner, Raffaela; Kehrer, Timo; Ohrndorf, Manuel und Tichy, Matthias
Henshin: A Usability-Focused Framework for EMF Model Transformation Development
Proceedings of the 10th International Conference on Graph Transformation (ICGT 2017), Marburg, Germany
Juli 2017
akzeptiert
392.
pdf
Sharaf, Nada; Abdennadher, Slim und Frühwirth, Thom
A Rule-Based Approach for Automatic Interaction Detection and Annotation
21st International Conference Information Visualisation (iV2017)
Juli 2017
391.
pdf
Sharaf, Nada; Abdennadher, Slim und Frühwirth, Thom
CHR-Graph: A Platform for Animating Tree and Graph Algorithms
Poster at the 21st International Conference Information Visualisation (iV2017)
Juli 2017
390.
default
Gall, Daniel und Frühwirth, Thom
A Decidable Confluence Test for Cognitive Models in ACT-R
In Stefania Costantini, Enrico Franconi, William Van Woensel, Roman Kontchakov, Fariba Sadri, and Dumitru Roman, Editor, Proceedings of RuleML+RR 2017 Band 10364 aus Lecture Notes in Computer Science
Herausgeber: Springer,
Juli 2017

Schlüsselwörter: FormalCog

389.
default
Bordeleau, Francis; Liebel, Grischa; Raschke, Alexander; Stieglbauer, Gerald und Tichy, Matthias
Challenges and Research Directions for Successfully Applying MDE Tools in Practice
Model-Driven Engineering Tools Challenge (MDETools'17), Austin, Texas
Juli 2017
388.
pdf
Tichy, Matthias; Beaucamp, Luis und Kögel, Stefan
Towards Debugging the Matching of Henshin Model Transformations Rules
1st International Workshop on Debugging in Model-Driven Engineering (MDEbug), Austin, Texas
Juli 2017
387.
default
Besker, Terese; Martini, Antonio; Bosch, Jan und Tichy, Matthias
An investigation of Technical Debt in Automated Production Systems
Proceedings of the Ninth International Workshop on Managing Technical Debt (held in conjunction with XP2017), Cologne, Germany
Mai 2017
akzeptiert
386.
pdf
Nassal, Alexander und Tichy, Matthias
Ein Framework zur Erstellung von Planspielen zur Softwaretechnik
15. Workshop für Software Engineering im Unterricht der Hochschulen, Hannover, 22-23. Februar 2017
Februar 2017
385.
default
Liebel, Grischa; Anjorin, Anthony; Knauss, Eric; Lorber, Florian und Tichy, Matthias
Modelling Behavioural Requirements and Alignment with Verification in the Embedded Industry
5th International Conference on Model-Driven Engineering and Software Development (MODELSWARD 2017), Porto, Portugal,
Februar 2017

2016

384.
pdf
Liebel, Grischa; Tichy, Matthias; Knauss, Eric; Ljungkrantz, Oscar und Stieglbauer, Gerald
Organisation and communication problems in automotive requirements engineering
Requirements Engineering,
Oktober 2016
383.
pdf
Kögel, Stefan; Tichy, Matthias und Groner, Raffaela
Automatic Change Recommendation of Models and Meta Models Based on Change Histories
ME 2016 – Models and Evolution Workshop Proceedings (MODELS 2016), Saint-Malo, France
Oktober 2016
382.
pdf
Sharaf, Nada; Abdennadher, Slim; Frühwirth, Thom und Gall, Daniel
Animating Cognitive Models and Architectures: A Rule-based Approach
The 2nd Global Conference on Artificial Intelligence (GCAI 2016), Berlin, Germany
September 2016
381.
pdf
Breckel, Alexander und Tichy, Matthias
Live Programming with Code Portals
Workshop on Live Programming Systems (LIVE'16), Rome, Italy
Juli 2016
380.
pdf
Sharaf, Nada; Abdennadher, Slim und Frühwirth, Thom
A Rule-based Approach for Animating Java Algorithms
20th International Conference Information Visualisation (iV2016), Lisbon, Portugal, July 2016.
Juli 2016
379.
pdf
Sharaf, Nada; Abdennadher, Slim und Frühwirth, Thom
A Rule Based Approach to teach Mathematics using Animation
RuleML 2016 Challenge of the 10th International Web Rule Symposium (RuleML 2016), New York, USA, July 2016.
Juli 2016
378.
pdf
Gall, Daniel und Frühwirth, Thom
Translation of Cognitive Models from ACT-R to Constraint Handling Rules
10th International Web Rule Symposium (RuleML 2016), New York, USA, July 2016
Juli 2016

Schlüsselwörter: FormalCog

377.
pdf
Frühwirth, Thom
Why Can't You Behave? Non-Termination Analysis of Direct Recursive Rules with Constraints
10th International Web Rule Symposium (RuleML 2016), New York, USA, July
Juli 2016
376.
default
Kögel, Stefan; Cüppers, Joscha und Tichy, Matthias
ClickyEvaluation: A Step‐by‐Step Evaluator for Functional Programming Expressions
2nd European Conference of Software Engineering Education (ECSEE), 30 June and 1 July 2016, Seeon Monastery, Germany
Juni 2016
375.
default
Breckel, Alexander und Tichy, Matthias
Embedding Programming Context into Source Code
Proceedings of the 24th IEEE International Conference on Program Comprehension (ICPC'16, co-located with ICSE'16), Austin, Texas, USA
Mai 2016
374.
default
Breckel, Alexander und Tichy, Matthias
Inline: Now You’re Coding with Portals
Tool Demonstration, Proceedings of the 24th IEEE International Conference on Program Comprehension (ICPC'16, co-located with ICSE'16), Austin, Texas, USA
Mai 2016