LEADER 05821nam 22007215 450 001 9910548276503321 005 20241007143739.0 010 $a3-030-83128-0 024 7 $a10.1007/978-3-030-83128-8 035 $a(CKB)5590000000896797 035 $a(MiAaPQ)EBC6898804 035 $a(Au-PeEL)EBL6898804 035 $a(oapen)https://directory.doabooks.org/handle/20.500.12854/79361 035 $a(DE-He213)978-3-030-83128-8 035 $a(PPN)260830658 035 $a(EXLCZ)995590000000896797 100 $a20220228d2022 u| 0 101 0 $aeng 135 $aurcnu|||||||| 181 $ctxt$2rdacontent 182 $cc$2rdamedia 183 $acr$2rdacarrier 200 10$aErnst Denert Award for Software Engineering 2020 $ePractice Meets Foundations /$fedited by Michael Felderer, Wilhelm Hasselbring, Heiko Koziolek, Florian Matthes, Lutz Prechelt, Ralf Reussner, Bernhard Rumpe, Ina Schaefer 205 $a1st ed. 2022. 210 1$aCham :$cSpringer International Publishing :$cImprint: Springer,$d2022. 215 $a1 online resource (290 pages) $cillustrations (some color) 311 1 $a3-030-83127-2 327 $aErnst Denert Software Engineering Award 2020 -- Some Patterns of Convincing Software Engineering Research, or: How to Win the Ernst Denert Software Engineering Award 2020 -- What You See Is What You Get: Practical Effect Handlers in Capability-Passing Style -- How to Effectively Reduce Failure Analysis Time? -- Open Source Software Governance: Distilling and Applying Industry Best Practices -- Dynamically Scalable Fog Architectures -- Crossing Disciplinary Borders to Improve Requirements Communication -- DevOps Use: A Community-Oriented Methodology for Societal Software Engineering -- Hybrid Differential Software Testing -- Ever Change a Running System: Structured Software Reengineering Using Automatically Proven-Correct Transformation Rules -- Static Worst-Case Analyses and Their Validation Techniques for Safety-Critical Systems -- Improving the Model-Based Systems Engineering Process -- Understanding How Pair Programming Actually Works in Industry: Mechanisms, Patterns, and Dynamics. 330 $aThis open access book provides an overview of the dissertations of the eleven nominees for the Ernst Denert Award for Software Engineering in 2020. The prize, kindly sponsored by the Gerlind & Ernst Denert Stiftung, is awarded for excellent work within the discipline of Software Engineering, which includes methods, tools and procedures for better and efficient development of high quality software. An essential requirement for the nominated work is its applicability and usability in industrial practice. The book contains eleven papers that describe the works by Jonathan Brachthäuser (EPFL Lausanne) entitled What You See Is What You Get: Practical Effect Handlers in Capability-Passing Style, Mojdeh Golagha?s (Fortiss, Munich) thesis How to Effectively Reduce Failure Analysis Time?, Nikolay Harutyunyan?s (FAU Erlangen-Nürnberg) work on Open Source Software Governance, Dominic Henze?s (TU Munich) research about Dynamically Scalable Fog Architectures, Anne Hess?s (Fraunhofer IESE, Kaiserslautern) work on Crossing Disciplinary Borders to Improve Requirements Communication, Istvan Koren?s (RWTH Aachen U) thesis DevOpsUse: A Community-Oriented Methodology for Societal Software Engineering, Yannic Noller?s (NU Singapore) work on Hybrid Differential Software Testing, Dominic Steinhofel?s (TU Darmstadt) thesis entitled Ever Change a Running System: Structured Software Reengineering Using Automatically Proven-Correct Transformation Rules, Peter Wägemann?s (FAU Erlangen-Nürnberg) work Static Worst-Case Analyses and Their Validation Techniques for Safety-Critical Systems, Michael von Wenckstern?s (RWTH Aachen U) research on Improving the Model-Based Systems Engineering Process, and Franz Zieris?s (FU Berlin) thesis on Understanding How Pair Programming Actually Works in Industry: Mechanisms, Patterns, and Dynamics ? which actually won the award. The chapters describe key findings of the respective works, show their relevance and applicability to practice and industrial software engineering projects, and provide additional information and findings that have only been discovered afterwards, e.g. when applying the results in industry. This way, the book is not only interesting to other researchers, but also to industrial software professionals who would like to learn about the application of state-of-the-art methods in their daily work. 606 $aSoftware engineering 606 $aBusiness information services 606 $aElectronic data processing$xManagement 606 $aSoftware Engineering 606 $aIT in Business 606 $aIT Operations 606 $aEnginyeria de programari$2thub 606 $aPremis$2thub 608 $aLlibres electrònics$2thub 615 0$aSoftware engineering. 615 0$aBusiness information services. 615 0$aElectronic data processing$xManagement. 615 14$aSoftware Engineering. 615 24$aIT in Business. 615 24$aIT Operations. 615 7$aEnginyeria de programari 615 7$aPremis 676 $a005.1 700 $aFelderer$b Michael$4edt$01210532 701 $aFelderer$b Michael$01210532 701 $aHasselbring$b Wilhelm$01210533 701 $aKoziolek$b Heiko$0868266 701 $aMatthes$b Florian$01210534 701 $aPrechelt$b Lutz$01210535 701 $aReussner$b Ralf$01210536 701 $aRumpe$b Bernhard$0976796 701 $aSchaefer$b Ina$0915957 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a9910548276503321 996 $aErnst Denert Award for Software Engineering 2020$92793678 997 $aUNINA