Abstract is missing.
- Continuous Rationale Management Using the ConDec ToolsAnja Kleebaum, Jan Ole Johanssen, Barbara Paech, Bernd Bruegge. [doi]
- A Modular Architecture for Personalized Learning Content in Anti-Phishing Learning GamesRené Röpke, Vincent Drury, Ulrik Schroeder, Ulrike Meyer. [doi]
- Developing Domain-Specific Languages for Ocean ModelingReiner Jung, Sven Gundlach, Serafim Simonov, Wilhelm Hasselbring. [doi]
- Professionalisation in ERP Selection RevisitedStefan Humpl. [doi]
- Unterstützte Fehlerbehebung durch kausales Strukturwissen in Überwachungssystemen der AutomobilfertigungJohannes Huegle, Christopher Hagedorn, Matthias Uflacker. [doi]
- A Requirements Management Template in Polarion for Model-Based Development of Airborne SystemsKevin Schmiechen, Shanza Ali Zafar, Konstantin Dmitriev, Christoph Krammer, Markus Maly, Florian Holzapfel. [doi]
- Model-based Monitoring of Integrated UML State Machine Models and CodeMarco Ehl, Marco Konersmann. [doi]
- Model Checking Amalthea with SpinJan Steffen Becker. [doi]
- State of the Art in Software Tool Qualification with DO-330: A SurveyMohamad Ibrahim, Umut Durak. [doi]
- Platform Architecture for the Diagram Assessment DomainMeike Ullrich, Martin Forell, Constantin Houy, Peter Pfeiffer, Selina Schüler, Tobias Stottrop, Brian Willems, Peter Fettke, Andreas Oberweis. [doi]
- Success Factors for the Implementation of a Cloud-based ERP System at Personnel Service CompaniesChristian Ploder, Thomas Dilger, Reinhard Bernsteiner. [doi]
- An Approach for Partially Automated Test Generation Based on Signal RecordingsTimur Eksen, Frank Thielecke. [doi]
- Internal Resource Demand for ERP-System and Partner Evaluation at a Medium-Sized Enterprise with a Discrete Manufacturing Business Model in 2020Holger Kreisel. [doi]
- Dealing with Uncertainty in Architectural Confidentiality AnalysisSebastian Hahner. [doi]
- Model-Based Design of Correct Safety-Critical Systems using Dataflow Languages on the Example of SysML Architecture and Behavior DiagramsHendrik Kausch, Mathias Pfeiffer, Deni Raco, Bernhard Rumpe. [doi]
- Formal Verification of Intelligent Cyber-Physical Systems with the Interactive Theorem Prover KeYmaera XPaula Herber, Julius Adelt, Timm Liebrenz. [doi]
- A Framework for IMA-based Architecture Design with Unmanned Aerial System (UAS) as a Test CaseMuhammad Salman Akhtar, Muhammad Adnan. [doi]
- Tackling Problems on Maintenance and Evolution in Industry 4.0 Scenarios Using a Distributed ArchitectureSandro Koch, Tim Wunderlich, Jonas Hansert, Robert Heinrich, Thomas Schlegel. [doi]
- A Scaleable Online Programming Platform for Software Engineering EducationTorge Hinrichs, Henri Bureau, Jens von Pilgrim, Axel Schmolitzky. [doi]
- RMC Factory: A New Approach for Avionics Software ReuseLaurent Dieudonné, Andreas Bayha, Benedikt Müller 0005. [doi]
- Managing the Transition of Educational Technology from a Research Project to Productive UseDirk Bußler, Ulrike Lucke, Sven Strickroth, Ludwig Weihmann. [doi]