Profile cover photo
Profile photo
Chair of Software Engineering RWTH Aachen University
82 followers -
To define, improve, and industrially apply techniques, concepts and methods for innovative and efficient development of software and software-intensive systems, such that high-quality products can be developed in a shorter period of time and with flexible integration of changing requirements.
To define, improve, and industrially apply techniques, concepts and methods for innovative and efficient development of software and software-intensive systems, such that high-quality products can be developed in a shorter period of time and with flexible integration of changing requirements.

82 followers
About
Chair of Software Engineering RWTH Aachen University's posts

Post has attachment
Referent: Dr. rer. nat. Robert Heinrich
Title: Modeling and Simulating Software Architectures -- The Palladio Approach

Too often, software designers lack an understanding of the effect of design decisions on such quality attributes as performance and reliability. This necessitates costly trial-and-error testing cycles, delaying or complicating rollout. Quantitative architecture simulation approaches to software design enable software engineers to model quality of service in early design stages. This talk presents the first simulator for software architectures, the Palladio approach. Key concepts of the Palladio approach are a domain-specific modeling language for software architecture quality and the corresponding development process. Robert Heinrich describes how quality information can be used to calibrate architecture models from which detailed simulation models are automatically derived for quality predictions to systematically answer questions about scalability, hardware resources, and efficiency.


Dr. rer. nat. Robert Heinrich is head of the Quality-driven System Evolution research group at the Software Design and Quality (SDQ) chair, Karlsruhe Institute of Technology (KIT). He holds a doctoral degree from Heidelberg University. His research interests include quality modeling and simulation across several domains, such as production automation systems, information systems and business processes.

Post has attachment
Wir gratulieren Pedram Mir Seyed Nazari ganz herzlich zum erfolgreichen Bestehen seiner Doktorprüfung!

Datum: 06.02.2017
Titel der Dissertation: "MontiCore: Efficient Development of Composed Modeling Language Essentials"

Photo

Post has attachment
Referent: Prof. Dr. Markus Strohmaier
Universität Koblenz-Landau,
Direktor Leibnitz Insitut für Social Sciences, Köln

Thema: Ansätze zur Analyse von sequentiellem Benutzerverhalten am Web

Abstract:

Benutzerverhalten am World Wide Web ist oft als Sequenz (Abfolge) von unter-schiedlichen Events oder Aktivitäten zu verstehen. Beispiele für derartige Benut-zersequenzen umfassen Click- oder Querysequenzen, Abfolgen von Musik (Playlists) oder Bildern, bzw. Check-in Reihen. Während eine Vielzahl von Arbeiten sich im Kontext der Webforschung mit einzelnen Aspekten der Modellierung und/oder der Analyse von Online Benutzerverhalten befassen, so stehen keine systematischen/generellen Ansätze für die Analyse von sequentiellen Benutzerverhalten am Web zur Verfügung. Eine generelle Herangehensweise stellt jedoch eine kritische Voraussetzung für die Entwicklung eines tiefen Verständnisses über Benutzerverhalten am Web dar.
Der Vortrag nimmt sich diesem Problem an. Zuerst wird ein Bayesian Ansatz vorgestellt, der es erlaubt beliebige Hypothesen über sequentielles Benutzerverhalten auszudrücken und zu vergleichen. Danach wird näher auf die automatische Identifikation von interessanten Subgruppen in sequentiellen Datensätzen über Benutzerverhalten eingegangen. Die Arbeiten stellen einen anwendungsorientierten Beitrag zur Entwicklung von robusten Instrumenten für die Analyse von sequentiellen Datensätzen über Benutzerverhalten am Web dar.

Es laden ein: Die Dozenten der Informatik


Vita Prof. Strohmaier:

Markus Strohmaier is a Full Professor of Web-Science at the Faculty of Computer Science at University of Koblenz-Landau (Germany), Founder and Scientific Director of the Computational Social Science department at GESIS - the Leibniz Institute for the Social Sciences (Germany), and a Distinguished Visiting Scholar at Stanford University's Media-X program (since 2010). He has been a visiting scientist/professor at Stanford University (USA) during the 2011/12 academic year, at XEROX Parc (2009, 2010-2011) and at RWTH Aachen (2009). Markus Strohmaier received his PhD from the Faculty of Computer Science at Graz University of Technology in 2004. From 2006-2007, he was a Postdoctoral Fellow at the Dept. of Computer Science at University of Toronto working with Prof. Eric Yu on agent-oriented and social modeling. In 2012, he completed his habilitation at Graz University of Technology. His main research interests include Web-Science, Social and Semantic Computing, Social Software Engineering, Networks and Data Mining. To date, he has been awarded substantial research funding (either as PI, Co-PI or key scientist) from national and European funding agencies. Markus Strohmaier has published in top-tier conferences and high impact journals such as the International World Wide Web (WWW) conference and further top ACM and IEEE conferences. His research group has received numerous best paper/poster awards and -nominations, including the WWW'15, ACM WebSci'15, and the AAAI ICWSM'14 Best Paper.

Post has attachment
Referent: Prof. Michel Chaudron

Thema: On the effectiveness of modeling in software development

Abstract:
Modeling is a common part of modern day software engineering practice. Little evidence exists about how models are made and how they help in producing better software. In this talk I will present highlights from my last decade of research in the area of software modeling using UML.

Topics that will be addressed:

- What is the state of UML modeling in practice and in open source projects?
- How can we assess the quality of UML models?
- Do UML models actually help in creating better software?

Also, I will overview some of the ongoing projects that aim to enhance the effectiveness of modeling.

Vita:
Michel Chaudron is Full Professor at the Software Engineering division of the joint Department of Computer Science of Chalmers and Gothenburg University in Sweden. Prior to this, we work at Universities in Leiden and Eindhoven in the Netherlands. He obtained his Ph.D. in the area of formal methods and programming calculi for parallel computing. His research interests are in: software architecture, software design, software modeling with a special focus on UML, software composition. He has an interest in empirical studies in software engineering especially in the aforementioned areas and preferably industrial industrial context. He supports several conferences and journals including (Conf:) MODELS and Euromicro SEAA and (Jnl:) SoSyM and Empirical Studies in Software Engineering (EMSE).

Post has attachment
We now have a companion website with additional material for:

http://mdebook.irisa.fr/

Post has attachment
Jean-Marc Jézéquel received the CNRS Silver Medal this November. Our deepest congratulations!

Prof. Rumpe was honoured to be invited on this occasion and talk about "Language and Model Engineering"

Abstract: Modeling is key for any engineering discipline to design a system and to early understand its quality. Effective modeling needs appropriate modeling languages,because as already Wittgenstein said:
"The borders of my language are the borders of my world."
General consensus of model-driven engineering is, that domain-specific modeling languages help to reduce the “conceptual gap” between problem domains and software engineering. While this specialization helps domain experts to express solutions, software and system architecture issues transcend different domains. Cyberphysical systems touch even more sub-domains than traditional products and thus need even better integration of languages describing individual aspects of the CPS.

While specialization helps domain experts to express solutions to specific challenges, system and software architecture issues transcend different domains. Independent of the intended domain, modeling systems and software architectures provides many benefits such as abstraction, reusability, composability, and extensibility. We examine the promises and challenges that facilitate reuse, composition and extension even on the language level. We discuss useful language design principles that allow to come up with tailored solutions for modeling, designing and analyzing software systems already in early stages.
Photo

Post has attachment
Hall of Fame: Professor Dr. Shahar Maoz

Wir gratulieren Professor Dr. Shahar Maoz nachträglich zum Erhalt seiner Professur und zum Erhalt des ERC Starting Grant im Jahre 2014. Diesen erhielt er im Kontext des Forschungsprojektes "SYNTECH: Synthesis Technologies for Reactive Systems Software Engineers".

Wir verkünden dies mit Stolz, da er von 2010 - 2012 bei uns in Aachen als Post-Doc gearbeitet hat.
Photo

Post has attachment
Wir gratulieren Markus Look ganz herzlich zum erfolgreichen Bestehen seiner Doktorprüfung!

Datum: 15.12.2016
Titel der Dissertation: "Modellgetriebene, agile Entwicklung und Evolution mehrbenutzerfähiger Enterprise Applikationen mit MontiEE"
Photo

Post has attachment
Referent: Prof. Dr. Joel Greenyer
Leibniz Universität Hannover

Thema: Scenario-based Design and Analysis of Structurally Dynamic Reactive Systems


Software-intensive systems such as communicating cars or modern industrial production systems consist of multiple interacting components and physical or virtual relationships between components change at run-time. This dynamic system structure influences the components' behavior, which again affects the system's structure. Combined with the often distributed and concurrent nature of the software, this causes substantial complexity that must be mastered during system design. We propose a formal specification method that combines scenario-based modeling and graph transformations. The specifications are executable and can be analyzed via simulation. We furthermore developed a formal synthesis procedure that can find inconsistencies or prove the specification's realizability. This method is implemented in ScenarioTools, an Eclipse-based tool suite that combines the Scenario Modeling Language, an extended variant of LSCs, and graph transformations modeled with Henshin. The particular novelty is the synthesis support for systems with dynamic structure.

Joel Greenyer is an assistant professor (Juniorprofessor) in the Software Engineering Group at the Leibniz Universität Hannover. Before (2011-2013) he was a postdoc researcher at the Politecnico di Milano and (2007-2011) a doctoral student at the University of Paderborn. His research focuses on model-based, automated, and formal techniques for the development and analysis of software-intensive systems. A special area of interest are scenario-based specification approaches for distributed embedded systems and the application of formal verification and controller synthesis techniques. These techniques shall help engineers detect and resolve inconsistencies that they may have introduced in the system design, and further support them in increasing energy-efficiency and dependability, designing effective tests, and engineering software updates.

Post has attachment
Referent: Dr. Shahar Maoz
School of Computer Science, Tel Aviv University

SYNTECH: Synthesis Technologies for Reactive Systems Software Engineers

Reactive synthesis is an automated procedure to obtain a correct-by-construction reactive
system from a given specification. Examples of these systems include the software controllers
of robotic systems. Despite recent advancements on the theory and algorithms of reactive
synthesis, e.g., efficient synthesis for the GR(1) fragment of linear temporal logic, many challenges
remain in bringing reactive synthesis technologies to the hands of software engineers.

The SYNTECH project is about bridging this gap. It addresses challenges related to the change
from writing code to writing specifications, and the development of tools to support a
specification-centric rather than a code-centric development process.

We report on initial results from the SYNTECH project, including observations and case studies
conducted to learn about the challenges of using GR(1) synthesis in the development of reactive
robotic systems deployed and executed on real Lego NXT robots; novel techniques for detecting
and debugging non-well-separated reactive specifications; the inclusion of well-known high-level
specification patterns in efficient GR(1) synthesis; and a symbolic algorithm for a quantitative extension
of reactive specifications with energy objectives.

Joint work with Or Pistiner and Jan Oliver Ringert, covering papers presented in FSE'15, SYNT'15,
FSE'16, and SYNT'16.
Initial results of ERC Starting Grant SYNTECH project, see http://smlab.cs.tau.ac.il/syntech/.

Vita:
Dr. Shahar Maoz is a tenure-track senior lecturer (assistant professor) at the School of
Computer Science, Tel Aviv University. He received his Ph.D. from the Weizmann Institute of Science,
Israel in 2009. From 2010 to 2012 he was post-doc research fellow in RWTH Aachen University,
Germany, with a postdoctoral fellowship from the Minerva Foundation. He joined Tel Aviv University
as a faculty member at the end of 2012 and has spent a sabbatical as visiting scientist at MIT CSAIL in 2015–2016.
His research interests are in software engineering, specifically in the use of models and formal
methods for software evolution, log analysis, and synthesis. Maoz is a recipient of an ERC Starting
Grant for the development of synthesis technologies
for reactive systems software engineers (project SYNTECH).
Wait while more posts are being loaded