Related Research Articles
The waterfall model is a breakdown of project activities into linear sequential phases, where each phase depends on the deliverables of the previous one and corresponds to a specialization of tasks. The approach is typical for certain areas of engineering design. In software development, it tends to be among the less iterative and flexible approaches, as progress flows in largely one direction through the phases of conception, initiation, analysis, design, construction, testing, deployment and maintenance.
The Berkeley Lazy Abstraction Software verification Tool (BLAST) is a software model checking tool for C programs. The task addressed by BLAST is the need to check whether software satisfies the behavioral requirements of its associated interfaces. BLAST employs counterexample-driven automatic abstraction refinement to construct an abstract model that is then model-checked for safety properties. The abstraction is constructed on the fly, and only to the requested precision.
The World Wide Web has become a major delivery platform for a variety of complex and sophisticated enterprise applications in several domains. In addition to their inherent multifaceted functionality, these Web applications exhibit complex behaviour and place some unique demands on their usability, performance, security, and ability to grow and evolve. However, a vast majority of these applications continue to be developed in an ad hoc way, contributing to problems of usability, maintainability, quality and reliability. While Web development can benefit from established practices from other related disciplines, it has certain distinguishing characteristics that demand special considerations. In recent years, there have been developments towards addressing these considerations.
The ARIS concept by August-Wilhelm Scheer aims to ensure that an enterprise information system can completely meet its requirements.
Friedrich Ludwig "Fritz" Bauer was a German pioneer of computer science and professor at the Technical University of Munich.
The University of Duisburg-Essen is a public research university in North Rhine-Westphalia, Germany. In the 2019 Times Higher Education World University Rankings, the university was awarded 14th place in the world. It was orginally founded in 1654 and re-established on 1 January 2003, as a merger of the Gerhard Mercator University of Duisburg and the University of Essen. It is based in both the cities of Duisburg and Essen, and a part of University Alliance Metropolis Ruhr.
Process mining is a family of techniques relating the fields of data science and process management to support the analysis of operational processes based on event logs. The goal of process mining is to turn event data into insights and actions. Process mining is an integral part of data science, fueled by the availability of event data and the desire to improve processes. Process mining techniques use event data to show what people, machines, and organizations are really doing. Process mining provides novel insights that can be used to identify the executional path taken by operational processes and address their performance and compliance problems.
Mehdi Jazayeri is the founding dean of the faculty of informatics of the Università della Svizzera italiana in Lugano, Switzerland, and author of several textbooks on computer software. He was awarded the Influential Educator Award in 2012 by the ACM SIGSOFT.
The International Requirements Engineering Board (IREB) e.V. was founded in Fürth in Germany in October 2006. IREB e.V. is as a legal entity based in Germany.
Colette Rolland is a French computer scientist and Professor of Computer Science in the department of Mathematics and Informatics at the University of Paris 1 Pantheon-Sorbonne, and a leading researcher in the area of information and knowledge systems, known for her work on meta-modeling, particularly goal modelling and situational method engineering.
Rüdiger Valk is a German mathematician. From 1976 to 2010 he was Professor for Theoretical Computer Science (Informatics) at the Institut für Informatik of the University of Hamburg, Germany.
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."
In data mining, intention mining or intent mining is the problem of determining a user's intention from logs of his/her behavior in interaction with a computer system, such as in search engines, where there has been research on user intent or query intent prediction since 2002 ; and commercial intents expressed in social media posts.
Ulrich Frank is a German Business informatician and Professor of Business informatics at the University of Duisburg-Essen, known for his work on the state of the art in information systems research and the development of the Multi-Perspective Enterprise Modeling (MEMO) meta modelling framework.
Jan Bosch is a Dutch computer scientist, Professor of Software Engineering at the University of Groningen and at Chalmers University of Technology, and IT consultant, particularly known for his work on software architecture.
Günter Böckle is a German software engineer and project manager at Siemens Corporate Technology, known for his work on Software product line engineering.
Danny Greefhorst is a Dutch enterprise architect and consultant at ArchiXL, known for his work in the field of enterprise architecture.
Hausi A. Müller is a Canadian computer scientist and software engineer. He is a professor of computer science at the University of Victoria, British Columbia, Canada and a Fellow of the Canadian Academy of Engineering.
Hartmut Ehrig was a German computer scientist and professor of theoretical computer science and formal specification. He was a pioneer in algebraic specification of abstract data types, and in graph grammars.
References
- ↑ J. Desel/K. Pohl/A. Schür (Hrsg.): Teubner-Reihe Wirtschaftsinformatik, Modellierung '99, Workshop der Gesellschaft für Informatik e.V. (GI), ISBN 978-3-519-00274-1 (PDF)
- ↑ Marwedel, Peter. Embedded system design. Vol. 1. Secaucus, NJ: Springer, 2006.
- ↑ van der Linden, Frank J., Klaus Schmid, and Eelco Rommes. Software product lines in action. Springer-Verlag Berlin Heidelberg, 2007.
