Auflistung P320 - Software Engineering 2022 nach Titel
1 - 10 von 38
Treffer pro Seite
- Konferenzbeitrag19th Workshop on Automotive Software Engineering (ASE'22)(Software Engineering 2022, 2022) Dörr, Heiko; Helke, SteffenSoftware based systems play an increasingly important role and enable most of the innovations in modern cars. This workshop deals with various topics related to the development of automotive software and discusses suitable methods, techniques, and tools necessary to master the most current challenges researchers and practitioners are facing.
- Konferenzbeitrag4th Workshop on Avionics Systems and Software Engineering (AvioSE'22)(Software Engineering 2022, 2022) Annighöfer, Björn; Schweiger, Andreas; Reich, MarinaSoftware and systems engineering in aerospace is subject to special challenges. The AvioSE'22 workshop connects academia and industry with selected scientific presentations, motivating keynote talks, and an interactive panel discussion.
- KonferenzbeitragAssessing the Usefulness of a Visual Programming IDE for Large-Scale Automation Software(Software Engineering 2022, 2022) Wiesmayr, Bianca; Zoitl, Alois; Rabiser, RickThis is a summary of a paper (with the same title) that we published at the ACM/IEEE 24th International Conference on Model-Driven Engineering Languages and Systems (MODELS 2021) describing a study centered on a visual programming IDE for large-scale automation software development and maintenance.
- KonferenzbeitragAutomated Process-Centric Quality Constraints Checking for Quality Assurance in Safety-critical Systems(Software Engineering 2022, 2022) Mayr-Dorn, Christoph; Vierhauser, Michael; Bichler, Stefan; Keplinger, Felix; Cleland-Huang, Jane; Egyed, Alexander; Mehofer, ThomasThis abstract summarizes the work published as an ICSE 2021 research track paper ''Supporting Quality Assurance with Automated Process-Centric Quality Constraints Checking'' available at https://doi.org/10.1109/ICSE43902.2021.00118 . We propose an approach that, on the one hand, assists in checking compliance with traceability requirements but, on the other hand, allows engineers to temporarily deviate from the prescribed software engineering process. Through the observation of developer activities in the form of changes to engineering artifacts in tools such as Jira or Jama, we build up a representation of the ongoing process progress. This tracking in the background does not force the software developer to work only on activities as defined in a process description. At the same time, it enables us to provide timely feedback to the developer on whether tasks fulfill all QA criteria. This approach lifts the burden off QA engineers in manually checking QA constraints, often a time-consuming, tedious, and error-prone task where feedback reaches developers usually very late. We evaluate our approach by applying it to two different case studies; one open source community system and a safety-critical system in the air-traffic control domain. Results from the analysis show that trace links are often corrected or completed after the fact and thus timely and automated constraint checking support has significant potential on reducing rework.
- KonferenzbeitragChallenges in the Development of Mobile Online Services in the Automotive Industry - A Case Study(Software Engineering 2022, 2022) Prenner, Nils; Klünder, Jil; Nolting, Michael; Sniehotta, Oliver; Schneider, KurtAutomotive companies need to develop new innovations fast in order to stay ahead of their competitors. New sensor technologies and the connection between cars and smartphones open the development of different services, like the analysis of driving behavior. These services are called mobile online services and are a growing field in the automotive sector. We want to understand the challenges that slow down the development of mobile online services in automotive companies. Therefore, we conducted a case study with an interview study in a project that develops services to manage vehicle fleets. Our results show that the company considers mobile online services rather as a by-product and is still focused on the manufacturing of cars. This summary refers to the paper Challenges in the Development of Mobile Online Services in the Automotive Industry -A Case Study. This paper was published as full research paper in the proceedings of the Joint International Conference on Software and System Processes and International Conference on Global Software Engineering 2021.
- KonferenzbeitragCiFi: Versatile Analysis of Class and Field Immutability(Software Engineering 2022, 2022) Roth, Tobias; Helm, Dominik; Reif, Michael; Mezini, MiraThis paper was accepted in 2021 at the 36th IEEE/ACM International Conference on Automated Software Engineering and proposes a model for immutability analysis. Reasoning about immutability is important for preventing bugs, e.g., in multi-threaded software. Static analysis to infer immutability properties has mostly focused on individual objects and references. Reasoning about fields and entire classes, while significantly simpler, has gained less attention. A consistently used terminology is missing, which makes it difficult to implement analyses that rely on immutability information. We propose a model for class and field immutability that unifies terminology for immutability flavors considered by previous work and covers new levels of immutability to handle lazy initialization and immutability dependent on generic type parameters. Using the OPAL static analysis framework, we implement CiFi, a set of modular, collaborating analyses for different flavors of immutability, inferring the properties defined in our model. We propose a benchmark of representative test cases for class and field immutability. We use the benchmark to showcase CiFi's precision and recall in comparison to state of the art and use CiFi to study the prevalence of immutability in real-world libraries, showcasing the practical quality and relevance of our model.
- KonferenzbeitragCollaborative Software Modeling in Virtual Reality(Software Engineering 2022, 2022) Yigitbas, Enes; Gorissen, Simon; Weidmann, Nils; Engels, GregorThis work has been published as a full paper at the MODELS'21 conference. Through collaborative modeling, end-users and experts can create a shared understanding of a system representation. While the Unified Modeling Language (UML) is one of the major conceptual modeling languages in object-oriented software engineering, more and more concerns arise from the modeling quality of UML and its tool-support. Among them, the limitation of the two-dimensional presentation of its notations and lack of natural collaborative modeling tools are reported to be significant. In this paper, we explore the potential of using Virtual Reality (VR) technology for collaborative UML software design by comparing it with classical collaborative software design using conventional devices (Desktop PC / Laptop). For this purpose, we have developed a VR modeling environment that offers a natural collaborative modeling experience for UML Class Diagrams. Based on a user study with 24 participants, we have compared collaborative VR modeling with conventional modeling with regard to efficiency, effectiveness, and user satisfaction. Results show that the use of VR has some disadvantages concerning efficiency and effectiveness, but the user’s fun, the feeling of being in the same room with a remote collaborator, and the naturalness of collaboration were increased.
- KonferenzbeitragContinuous API Evolution in Heterogenous Enterprise Software Systems(Software Engineering 2022, 2022) Knoche, Holger; Hasselbring, WilhelmThe ability to independently deploy parts of a software system is one of the cornerstones of modern software development, and allows for these parts to evolve independently and at different speeds. A major challenge of such independent deployment, however, is to ensure that despite their individual evolution, the interfaces between interacting parts remain compatible. This is especially important for enterprise software systems, which are often highly integrated and based on heterogenous IT infrastructures.
- KonferenzbeitragContrasting Dedicated Model Transformation Languages vs. General Purpose Languages: A Historical Perspective on ATL vs. Java based on Complexity and Size - Extended Abstract(Software Engineering 2022, 2022) Höppner, Stefan; Kehrer, Timo; Tichy, MatthiasModel transformations are one key concept of model-driven engineering, and model transformation languages (MTLs) emerged with its popularity about 15 to 20 years ago. MTLs claim to ease model transformation development by abstracting from recurring transformation aspects and hiding complex semantics behind simple and intuitive syntax. Nonetheless, MTLs are rarely adopted in practice, there is still no empirical evidence for the claim of easier development, and the argument of abstraction deserves a fresh look in the light of modern general-purpose languages (GPLs) which have undergone a significant evolution in the last two decades. In our SoSyM paper, we report on a study in which we compare the complexity and size of model transformations written in three different languages, namely (i) the Atlas Transformation Language (ATL), (ii) Java SE5 (2004-2009), and (iii) Java SE14 (2020); the Java transformations are derived from an ATL specification using a translation schema we developed. Based on the results of these comparisons, we discuss the concrete advancements in newer Java versions. We also discuss to which extent new language advancements justify writing transformations in a GPL rather than a dedicated MTL. We further indicate potential avenues for future research on the comparison of MTLs and GPLs.
- KonferenzbeitragCoVEGI: Cooperative Verification via Externally Generated Invariants(Software Engineering 2022, 2022) Haltermann, Jan; Wehrheim, HeikeSoftware verification has recently made enormous progress. To keep their tools up to date with novel methods and enhanced techniques, tool developers integrate these within their own framework almost exclusively by re-implementation. While this allows for a conceptual re-use of methods, it nevertheless requires novel implementations. Our configurable framework named CoVEGI employs cooperative verification in order to avoid re-implementation and enable usage of novel tools as black-box components in verification. Specifically, cooperation is employed for invariant generation, which is key to the success of a verification run. CoVEGI allows a main verification tool to delegate the task of invariant generation to one or several specialized helper invariant generators, utilizing their results within its verification run. The experimental evaluation shows that the use of CoVEGI can increase the number of correctly verified tasks up to 17%, without increasing the used resources.