• 8010

    Inffeldgasse 16b Graz

    Österreich

Organisationsprofile

Organisationsprofil

Das Institut für Softwaretechnologie (IST) befasst sich mit theoretischen, praktischen und angewandten Aspekten der Softwaretechnologie. Forschungsgebiete liegen im Bereich intelligenter Systeme, formale Verifikation und systematisches Testen von Software, Künstliche Intelligenz, Requirements Engineering, Recommender Systeme, Optimierung von industriellen Problemen, Spieltheorie, Agile Softwareentwicklungsprozesse, Computersprachen, Computer Science Education, Management von Softwareentwicklungsprojekten (inklusive Wissensmanagement), Softwareentwicklung für Smartphones und Tablets, Kombinatorik und Komplexitätstheorie, Algorithmen und Rechnerischer Geometrie, sowie intelligente autonome Roboter. Forschungsgruppen: Angewandte Softwareentwicklung (Univ.-Prof. Dipl.-Ing. Dr.techn. Alexander Felfernig): Forschungsthemen sind intelligente Methoden, Techniken und Algorithmen zur Verbesserung der Entwicklung, Wartung und Verwendbarkeit von komplexen Softwaresystemen. Beispiele sind die Entwicklung und der Einsatz von Recommender Technologien im Bereich Software Engineering und Knowledge Engineering, der Einsatz von Diagnoseverfahren zur Unterstützung von Wissensakquisitions- und Wartungsprozessen, der Einsatz von Human Computation Methoden zur Entwicklung von Wissensbasen, die Untersuchung der Rolle von entscheidungspsychologischen Theorien bei der Entwicklung von Softwaresystemen und die Anwendung der Forschungsergebnisse im industriellen Umfeld (beispielsweise Konfigurations- und Recommender Systeme im Bereich "Financial Services"). Softwaretechnologie (Univ.-Prof. Dipl.-Ing. Dr.techn. Wolfgang Slany): Forschungsthemen sind intelligente Methoden, Techniken und Algorithmen zur Verbesserung der Entwicklung, Wartung und Verwendbarkeit von komplexen Softwaresystemen, Optimierung von industriellen Problemen, Spieltheorie, Visuelle Computersprachen, Informatikausbildung, Smartphones und Tablets, Kombinatorik und Komplexitätstheorie, sowie intelligente Roboter für Kinder, und die Anwendung der Forschungsergebnisse im industriellen Umfeld (beispielsweise Optimierung von Schicht-Arbeit oder die Erstellung von mobilen Tutorial Systemen). Softwareentwicklung und Artificial Intelligence (Univ.-Prof. Dipl.-Ing. Dr.techn. Franz Wotawa): Forschungsthemen sind die Automatisierung von Testen und der Fehlerlokalisierung in Programmen basierend auf formalen Modellen und die Diagnose und Konfiguration von Systemen. Die Forschungsgruppe beschäftigt sich neben der Erarbeitung theoretischer Grundlagen auch mit der praktischen Umsetzung in Form von Projekten gemeinsam mit der Industrie. Dabei spielen auch die empirische Analyse von Software Repositories und die statische und dynamische Programmanalyse eine große Rolle. Im Bereich der Robotik gibt es eine enge Zusammenarbeit mit Dr. Steinbauer vor allem im Bereich adaptiver und selbst-heilender Systeme. Algorithmen und Rechnerische Geometrie (Assoc.Prof. Dipl.-Ing. Dr.techn. Oswin Aichholzer): Forschungsthemen sind effiziente Algorithmen im Bereich der kombinatorischen und rechnerischen Geometrie. Besonderer Wert wird dabei auf der konkreten Umsetzung der oft komplexen Lösungen in praktisch anwendbare Programme gelegt. Diese Kombination von theoretischen Zusammenhängen und angewandter Softwareentwicklung hat sich bei Problemlösungen bereits mehrfach bewährt. Anwendungen davon finden sich sowohl in der Grundlagenforschung bei komplexen kombinatorisch-geometrischen Fragestellungen, als auch bei konkreten Problemen aus der Wirtschaft. Formale Entwicklungsmethoden der Informatik (Ao.Univ.-Prof. Dipl.-Ing. Dr.techn. Bernhard Aichernig): Forschungsthemen sind Spezifikations-, Produktions- und Verifikationsmethoden, die auf formaler Logik und mathematischen Verfahren basieren. Das ultimative Ziel ist es beweisbar korrekte Software für hochkritische Systeme zu entwickeln. In der Praxis kombinieren wir Beweis- mit Testtechniken. Ein Forschungsschwerpunkt ist die automatische Testfallgenerierung aus abstrakten Modellen mit präziser Semantik (Formales Testen, modellbasiertes Testen). Dazu gehören die Erforschung von geeigneten Modellierungssprachen, die Entwicklung von Testfallgeneratoren, sowie die Evaluierung von Testverfahren. Anwendungsgebiete sind z.B. die Fahrzeugtechnik, das Eisenbahnwesen und die Luftfahrt. Autonome intelligente Systeme (Ass.Prof. Dipl.-Ing. Dr.techn. Gerald Steinbauer): Forschungsthemen sind Wissensrepräsentation und robuste Entscheidungsprozesse für autonom agierende Roboter und Agenten. Insbesondere werden autonome Systeme betrachtet, die sich in dynamischen nicht-deterministischen "Real World" Umgebungen bewegen. Um in solchen Umgebungen zuverlässig zu funktionieren, müssen die Systeme mit entsprechenden Diagnose und Schlussfolgerungsmechanismen ausgestattet werden. Weiters wird an der Anwendung dieser Mechanismen in realen Anwendungsszenarien wie Search and Rescue Robots und Servicerobotik gearbeitet. Ferner arbeiten wir am Einsatz von Educational Robotics in der wissenschaftlichen Nachwuchsförderung.

Fingerprint Fingerprints basieren auf dem Durchsuchen des Texts wissenschaftlicher Dokumente, die mit den zugehörigen Personen in Bezug stehen. Auf dieser Grundlage wird ein Index mit gewichteten Begriffen erstellt, der die Hauptthemen der Forschungseinheit darlegt.

Testing Ingenieurwesen & Materialwissenschaft
Model checking Ingenieurwesen & Materialwissenschaft
Specifications Ingenieurwesen & Materialwissenschaft
Spreadsheets Ingenieurwesen & Materialwissenschaft
Triangulation Ingenieurwesen & Materialwissenschaft
Computer programming languages Ingenieurwesen & Materialwissenschaft
Students Ingenieurwesen & Materialwissenschaft
Fault detection Ingenieurwesen & Materialwissenschaft

Netzwerk Kürzliche externe Kooperation auf Landesebene. Details anzeigen, indem Sie auf die Punkte klicken.

Profile

Kein Foto von Bernhard Aichernig
19952022
Kein Foto von Oswin Aichholzer
19922020
Kein Foto von Müslüm Atas

Müslüm Atas

Person

20142019

Forschungsoutput 1986 2019

Analyzing and Managing Complex Software Ecosystems: A Framework to Understand Value in Information Systems

Vorraber, W., Müller, M., Voessner, S. & Slany, W., Mai 2019, in : IEEE Software. 36, 3, S. 55-60 6 S.

Publikation: Beitrag in einer FachzeitschriftArtikelForschungBegutachtung

Ecosystems
Information systems
Engines
Open source software

Cross-sections of line configurations in $R^3$ and $(d-2)$-flat configurations in $R^d$

Aichholzer, O., Fabila-Monroy, R., Hurtado, F., Perez-Lantero, P., Ruiz-Vargas, A. J., Urrutia Galicia, J. & Vogtenhuber, B., 2019, in : Computational Geometry: Theory and Applications. 77, S. 51-61 11 S.

Publikation: Beitrag in einer FachzeitschriftArtikelForschungBegutachtung

CSPHeuristix: A Learning-based Heuristics Library for Constraint Satisfaction Problems

Polat Erdeniz, S. & Felfernig, A., 2019, (Eingereicht) in : Journal of Intelligent Information Systems.

Publikation: Beitrag in einer FachzeitschriftArtikelForschungBegutachtung

Aktivitäten 1996 2018

Smart Black-box Testing - Combining Model Learning and Model-based Testing

Bernhard Aichernig (Redner/in)
11 Sep 2018

Aktivität: Vortrag oder PräsentationGastvortragScience to science

Spectrum-based fault localization for logic-based reasoning

Ingo Pill (Redner/in)
15 Okt 2018

Aktivität: Vortrag oder PräsentationVortrag bei Workshop, Seminar oder KursScience to science

18th IEEE International Conference on Software Quality, Reliability, and Security Companion, QRS-C 2018

Martin Jochen Zimmermann (Teilnehmer/-in)
16 Jul 201820 Jul 2018

Aktivität: Teilnahme an / Organisation vonKonferenz oder Fachtagung (Teilnahme an/Organisation von)

Preise

1. Platz FOPI Innovation Award 2015

Bernadette Spieler (Empfänger/-in), 7 Sep 2015

Auszeichnung: Preise / Medaillen / Ehrungen

2.Platz HEALTH Research Award 2015 Kathegorie "eHealth"

Bernadette Spieler (Empfänger/-in), 13 Mär 2015

Auszeichnung: Preise / Medaillen / Ehrungen

Telemedicine
Research

AAAI-15 Outstanding Program Committee Member

Ingo Hans Pill (Empfänger/-in), 2015

Auszeichnung: Preise / Medaillen / Ehrungen

Committee Membership

Presse / Medien

Coding for anyone

Martin Ebner & Wolfgang Slany

29/03/18

1 medienbeitrag

Presse / Medien

Intelligenter Entscheiden lernen

Alexander Felfernig

1/04/16

1 medienbeitrag

Presse / Medien

Projekte 1995 2024