2016

381.
default
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
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
373.
default
Dausend, Marcel und Raschke, Alexander
Towards a comprehensive extension of abstract state machines for aspect-oriented specification
Science of Computer Programming,
Mai 2016
372.
default
Nassal, Alexander und Tichy, Matthias
Modeling Human Behavior for Software Engineering Simulation Games
Proceedings of the Fifth International Workshop on Games and Software Engineering (GAS2016 @ICSE), Austin, Texas, U.S.A.
Mai 2016
371.
pdf
Stegmaier, Michael; Dausend, Marcel; Raschke, Alexander und Tichy, Matthias
A Universal Control Construct for Abstract State Machines
Abstract State Machines, Alloy, B, TLA, VDM, and Z, Proceedings of the 5th International Conference, ABZ 2016, Linz, Austria
Mai 2016
370.
pdf
Arcaini, Paolo; Bonfanti, Silvia; Dausend, Marcel; Gargantini, Angelo; Mashkoor, Atif; Raschke, Alexander; Riccobene, Elvinia; Scandurra, Patrizia und Stegmaier, Michael
Unified Syntax for Abstract State Machines
Abstract State Machines, Alloy, B, TLA, VDM, and Z, Proceedings of the 5th International Conference, ABZ 2016, Linz, Austria
Mai 2016
369.
default
Getir, Sinem; Grunske, Lars und Tichy, Matthias
ENSURE: Ensurance of Software Evolution by Run-time Certification - Description of Selected Project Results
Modellbasierte Entwicklung Eingebetteter Systeme (MBEES2016), March 30 - April 1, Dagstuhl, Germany
März 2016
368.
default
Weck, Tobias und Tichy, Matthias
Visualizing Data-Flows in Functional Programs
Proc. of the 23rd IEEE International Conference on Software Analysis, Evolution, and Reengineering (SANER), March 14-18, Osaka, Japan
März 2016
367.
default
Durisic, Darko; Staron, Miroslaw; Tichy, Matthias und Hansson, Jörgen
Addressing the Need for Strict Meta-Modeling in Practice - A Case Study of AUTOSAR
In Slimane Hammoudi and Luis Ferreira Pires, Editor, Proc. of the 4th International Conference on Model-Driven Engineering and Software Development (MODELSWARD 2016), February 19 - 21, Rome, Italy
Februar 2016
366.
default
Vogel-Heuser, Birgit; Fay, Alexander; Schaefer, Ina und Tichy, Matthias
Evolution of Software in Automated Production Systems: Challenges and Research Directions
Tagungsband der Software Engineering-Konferenz (SE), February 23-26, Wien, Austria
Februar 2016
365.
default
Liebel, Grischa; Marko, Nadja; Tichy, Matthias; Leitner, Andrea und Hansson, Jörgen
Model-Based Engineering in the Embedded Systems Domain - An Industrial Survey on the State-of-Practice
Journal of Software and Systems Modeling,
2016

2015

364.
default
Vogel-Heuser, Birgit; Fay, Alexander; Schaefer, Ina und Tichy, Matthias
Evolution of software in automated production systems - Challenges and Research Directions
Journal of Systems and Software, 110:54-84
Dezember 2015
363.
default
Maro, Salome; Steghöfer, Jan-Philipp; Anjorin, Anthony; Tichy, Matthias und Gelin, Lars
On Integrating Graphical and Textual Editors for a UML Based Domain Specific Language - An Industrial Experience
Proc. of 8th ACM SIGPLAN International Conference on Software Language Engineering (SLE)
Oktober 2015
362.
default
Vogel-Heuser, Birgit; Rösch, Susanne; Martini, Antonio und Tichy, Matthias
Technical Debt in Automated Production Systems
Proc. of the 7th International Workshop on Managing Technical Debt, October 2nd, Bremen, Germany
Oktober 2015
361.
pdf
Sharaf, Nada; Abdennadher, Slim und Frühwirth, Thom
CHRAnimation: An Animation Tool for Constraint Handling Rules
Revised Selected Papers of the 24th International Symposium on Logic-Based Program Synthesis and Transformation (LOPSTR 2014) Band 8981
Herausgeber: Springer LNCS,
September 2015
360.
pdf
Gall, Daniel und Frühwirth, Thom
A Formal Semantics for the Cognitive Architecture ACT-R
Revised Selected Papers of the 24th International Symposium on Logic-Based Program Synthesis and Transformation (LOPSTR 2014) Band 8981
Herausgeber: Springer LNCS,
September 2015
359.
pdf
Zaki, Amira; Abdennadher, Slim und Frühwirth, Thom
Combining Forward and Backward Propagation
10th International Symposium on Frontiers of Combining Systems (FroCoS'15)
September 2015
358.
default
Liebel, Grischa und Tichy, Matthias
Comparing Comprehensibility of Modelling Languages for SpecifyingBehavioural Requirements
Proc. of the First International Workshop on Human Factors in Modeling (HuFaMo’15) at MODELS 2015, September 28th, Ottawa, Canada
September 2015
357.
pdf
Frühwirth, Thom
Constraint Handling Rules - What Else?
Invited Survey Paper, The 9th International Web Rule Symposium (RuleML)
August 2015