Überblick

Zentrales Forschungsthema sind verschiedene Aspekte der Softwaretechnik und des Compilerbaus, insbesondere Requirements-Engineering-Methoden, -Formalismen und -Tools, Constraint-Programmierung, Model Driven Development, experimentelles Software-Engineering, formale Methoden in der Softwareentwicklung, sowie die Entwicklung innovativer Softwarewerkzeuge.

Aktuelles

Prof. Dr. Thom Frühwirth ist Mitglied im Programmkommitee der Opens external link in new window19th International Symposium on Practical Aspects of Declarative Languages - PADL 2017, Paris, 16-17. Januar 2017.
Prof. Dr. Thom Frühwirth ist Mitglied im Programmkommitee der Opens external link in new window2nd Global Conference on Artificial Intelligence (GCAI 2016), Berlin, 29. September - 2. Oktober 2016.
Prof. Dr. Thom Frühwirth ist Mitglied im Programmkomitee der Opens external link in new window32nd International Conference on Logic Programming (ICLP 2016), New York City, 17-21. Oktober 2016.
Die Deutsche Forschungsgemeinschaft (DFG) fördert das Projekt "ENsurance of Software evolUtion by Run-time cErtification" (Prof. Tichy, Universität Ulm, und Prof. Grunske, HU-Berlin) für die Jahre 2016-2018. Fördersumme Universität Ulm: 280.000 EUR. Das Projekt ist Teil des DFG-Schwerpunktprogramms "Design for Future - Managed Software Evolution".
Prof. Dr. Matthias Tichy ist Mitglied im Programmkomitee des Opens external link in new windowFirst International Workshop on Emerging Trends in DevOps and Infrastructure. Edinburgh, 24. Mai 2016.
Prof. Dr. Matthias Tichy ist Mitglied im Programmkomitee der Opens external link in new windowThe International Workshop on Models@run.time for Self-aware Computing Systems. Würzburg, 18. Juli 2016.
Prof. Dr. Matthias Tichy ist Co-Organisator des Opens external link in new windowInternational Workshop on Continuous Software Evolution and Delivery (CSED). ICSE, Austin, US. 14-15. Mai 2016.
Prof. Dr. Matthias Tichy ist Web-Chair der Opens external link in new window10th IEEE International Conference on Self-Adaptive and Self-Organizing Systems (SASO 2016). Augsburg, 12-16. September 2016.
Prof. Dr. Thom Frühwirth ist Track Chair "Constraint Handling Rules" und Mitglied im Programmkommitee der Opens external link in new window10th International Web Rule Symposium - RuleML 2016, New York, Juli 2016.
Prof. Dr. Thom Frühwirth ist ein externer Partner des Projektes Opens external link in new window Automatic Support for Proving Confluence Modulo Equivalence for Constraint Handling Rules, 2016.
Prof. Dr. Matthias Tichy ist Mitglied im Programmkommitee des Opens external link in new window Symposium on Software Engineering Technology and Application (SETA), Atlanta, Georgia, USA, 10-14. Juni 2016.
Prof. Dr. Matthias Tichy ist Mitglied im Programmkommitee der Opens external link in new window4th International Workshop on "Self-optimisation in Autonomic and Organic Computing Systems (SAOS16), Nürnberg, 4-7. April 2016.
Prof. Dr. Matthias Tichy ist Mitglied im Programmkommitee der Opens external link in new window9th International Conference on Graph Transformation, Wien, 5-6. Juli 2016.

Aktuelle Publikationen

Referenzen
pdf
Nada Sharaf, Slim Abdennadher und Thom Frühwirth
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
pdf
Nada Sharaf, Slim Abdennadher und Thom Frühwirth
A Rule-based Approach for Animating Java Algorithms
20th International Conference Information Visualisation (iV2016), Lisbon, Portugal, July 2016.
Juli 2016
default
Alexander Breckel und Matthias Tichy
Live Programming with Code Portals
Workshop on Live Programming Systems (LIVE'16), Rome, Italy
Juli 2016
pdf
Daniel Gall und Thom Frühwirth
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
pdf
Thom Frühwirth
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
default
Stefan Kögel, Joscha Cüppers und Matthias Tichy
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
default
Alexander Breckel und Matthias Tichy
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
default
Alexander Breckel und Matthias Tichy
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
default
Marcel Dausend und Alexander Raschke
Towards a comprehensive extension of abstract state machines for aspect-oriented specification
Science of Computer Programming,
Mai 2016
pdf
Michael Stegmaier, Marcel Dausend, Alexander Raschke und Matthias Tichy
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
Seite:  
Zurück | 1, 2, 3, 4, 5, 6, ... , 39 | Weiter

Kontakt

  • Institut für Softwaretechnik und Programmiersprachen
  • Universität Ulm
  • D-89069 Ulm
  • Telefon: +49 (0)731/50-24161
  • Telefax: +49 (0)731/50-24162
  • Raum: o27-419