Software and Systems Modeling

Last updated

Related Research Articles

<span class="mw-page-title-main">RWTH Aachen University</span> University in Aachen, Germany

RWTH Aachen University, also known as North Rhine-Westphalia Technical University of Aachen, Rhine-Westphalia Technical University of Aachen, Technical University of Aachen, University of Aachen, or Rheinisch-Westfälische Technische Hochschule Aachen, is a German public research university located in Aachen, North Rhine-Westphalia, Germany. With more than 47,000 students enrolled in 144 study programs, it is the largest technical university in Germany. In 2018, the university was ranked 31st in the world university rankings in the field of engineering and technology, and 36th world-wide in the category of natural sciences.

<span class="mw-page-title-main">Bernhard Rosenkränzer</span> German free software programmer

Bernhard Rosenkränzer is the founder and main developer of Ark Linux and a contributor to various other free software projects such as KDE and OpenOffice.org. To many in the Linux community he is known as "Bero", a concatenation of the first two letters of his given and surnames.

Peter Pin-Shan Chen is a Taiwanese American computer scientist. He is a (retired) distinguished career scientist and faculty member at Carnegie Mellon University and Distinguished Chair Professor Emeritus at LSU. He is known for the development of the entity–relationship model in 1976.

Kevin C. Lano is a British computer scientist.

Professor Jean-Marc Jézéquel is a French computer scientist.

LISA is a language to describe the instruction set architecture of a processor. LISA captures the information required to generate software tools and implementation hardware of a given processor.

Klaus Henning is a German information scientist. He held the professorship of Information Management in Mechanical Engineering and was director of the Center for Learning and Knowledge Management at RWTH Aachen.

<span class="mw-page-title-main">Wil van der Aalst</span> Dutch computer scientist and professor

Willibrordus Martinus Pancratius van der Aalst is a Dutch computer scientist and full professor at RWTH Aachen University, leading the Process and Data Science (PADS) group. His research and teaching interests include information systems, workflow management, Petri nets, process mining, specification languages, and simulation. He is also known for his work on workflow patterns.

Dorothea Wagner is a German computer scientist, known for her research in graph drawing, route planning, and social network analysis. She heads the Institute of Theoretical Informatics at the Karlsruhe Institute of Technology.

<span class="mw-page-title-main">Sabina Jeschke</span> German mechanical engineer

Sabina Jeschke is a German university professor for information sciences in mechanical engineering at the RWTH Aachen University. As of 10 November 2017, she was named member of the management board of Deutschen Bahn AG for digitalization and technology. She is also the director of the Cybernetics Lab IMA/ZLW & IfU. In the summer semester of 2017, she is on sabbatical leave to develop her research in the area of artificial consciousness, and is involved in building a think tank "Strong Artificial Intelligence" at the Volvo Car Corporation in Göteborg. Since May 2015, Jeschke has been a member of the supervisory board of Körber AG, since April 2012 chairman of the board of VDI Aachen. Beginning of January 2023 she took on an additional position as a senior advisor at Arthur D. Little.

Bernhard Rumpe is a German computer scientist, professor of computer science and head of the Software Engineering Department at the RWTH Aachen University. His research focusses on "technologies, methods, tools ... necessary to create software in the necessary quality that is as efficient and sustainable as possible."

Bernhard Steffen is a German computer scientist and professor at the TU Dortmund University, Germany. His research focuses on various facets of formal methods ranging from program analysis and verification, to workflow synthesis, to test-based modeling, and machine learning.

Bernhard H. Walke is a pioneer of mobile Internet access and professor emeritus at RWTH Aachen University in Germany. He is a driver of wireless and mobile 2G to 5G cellular radio networks technologies. In 1985, he proposed a local cellular radio network comprising technologies in use today in 2G, 4G and discussed for 5G systems. For example, self-organization of a radio mesh network, integration of circuit- and packet switching, de-centralized radio resource control, TDMA/spread spectrum data transmission, antenna beam steering, spatial beam multiplexing, interference coordination, S-Aloha based multiple access and demand assigned traffic channels, mobile broadband transmission using mm-waves, and multi-hop communication.

John Mylopoulos is a Greek-Canadian computer scientist, Professor at the University of Toronto, Canada, and at the University of Trento, Italy. He is known for his work in the field of conceptual modeling, specifically the development an agent-oriented software development methodology. called TROPOS.

Klaus Pohl is a German computer scientist and Professor for Software Systems Engineering at the University of Duisburg-Essen, mainly known for his work in Requirements Engineering and Software product line engineering.

Ludwig Staiger is a German mathematician and computer scientist at the Martin Luther University of Halle-Wittenberg.

Tiziana Margaria is a computer scientist and software engineer whose research topics include formal methods and model-driven engineering. Educated in Italy, she has worked in Italy, Germany, Sweden, and Ireland, and currently works in Ireland as Chair of Software Systems in the University of Limerick's Department of Computer Science and Information Systems.

<span class="mw-page-title-main">Joost-Pieter Katoen</span> Dutch theoretical computer scientist

Joost-Pieter Katoen is a Dutch theoretical computer scientist based in Germany. He is distinguished professor in Computer Science and head of the Software Modeling and Verification Group at RWTH Aachen University. Furthermore, he is part-time associated to the Formal Methods & Tools group at the University of Twente.

Martin Grohe is a German mathematician and computer scientist known for his research on parameterized complexity, mathematical logic, finite model theory, the logic of graphs, database theory, and descriptive complexity theory. He is a University Professor of Computer Science at RWTH Aachen University, where he holds the Chair for Logic and Theory of Discrete Systems.

<span class="mw-page-title-main">Robert France</span> Jamaica-born American computer scientist

Robert Bertrand France was a Jamaica-born American computer scientist.

References

  1. Chechik, Marsha; Georg, Geri; Gogolla, Martin; Jezequel, Jean-Marc; Rumpe, Bernhard; Schindler, Martin (April 29, 2015). "In memory of Robert B. France, Co-Founder and Editor-in-Chief of SoSyM from 1999 to 2015". Software & Systems Modeling. Springer-Verlag. 14 (2): 525–532. doi: 10.1007/s10270-015-0461-5 .
  2. "Software and Systems Modeling". 2018 Journal Citation Reports. Web of Science (Science ed.). Thomson Reuters. 2018.
  3. "Software and Systems Modeling". Springer-Verlag . Retrieved February 12, 2020.