2017

386.
default
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.
default
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.
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

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
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