國立虎尾科技大學 |

Ernst Denert Award for Software Engineering 2020 = Practice Meets Foundations /

Record Type:	Language materials, printed : Monograph/item
Title/Author:	Ernst Denert Award for Software Engineering 2020/ edited by Michael Felderer, Wilhelm Hasselbring, Heiko Koziolek, Florian Matthes, Lutz Prechelt, Ralf Reussner, Bernhard Rumpe, Ina Schaefer.
Reminder of title:	Practice Meets Foundations /
other author:	Felderer, Michael.
Description:	VI, 293 p. 89 illus., 66 illus. in color.online resource. :
Contained By:	Springer Nature eBook
Subject:	Software engineering. -
Online resource:	https://doi.org/10.1007/978-3-030-83128-8
ISBN:	9783030831288

Ernst Denert Award for Software Engineering 2020 = Practice Meets Foundations /
Ernst Denert Award for Software Engineering 2020Practice Meets Foundations /[electronic resource] :edited by Michael Felderer, Wilhelm Hasselbring, Heiko Koziolek, Florian Matthes, Lutz Prechelt, Ralf Reussner, Bernhard Rumpe, Ina Schaefer. - 1st ed. 2022. - VI, 293 p. 89 illus., 66 illus. in color.online resource.

Ernst 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.

Open Access

This 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.

ISBN: 9783030831288

Standard No.: 10.1007/978-3-030-83128-8doiSubjects--Topical Terms:

562952
Software engineering.

LC Class. No.: QA76.758

Dewey Class. No.: 005.1

Ernst Denert Award for Software Engineering 2020 = Practice Meets Foundations /
LDR:04928nam a22004215i 4500 001 1087276
003 DE-He213
005 20220228135108.0
007 cr nn 008mamaa
008 221228s2022 sz | s |||| 0|eng d
020 $a 9783030831288 $9 978-3-030-83128-8
024 7 $a 10.1007/978-3-030-83128-8 $2 doi
035 $a 978-3-030-83128-8
050 4 $a QA76.758
072 7 $a UMZ $2 bicssc
072 7 $a COM051230 $2 bisacsh
072 7 $a UMZ $2 thema
082 0 4 $a 005.1 $2 23
245 1 0 $a Ernst Denert Award for Software Engineering 2020 $h [electronic resource] : $b Practice Meets Foundations / $c edited by Michael Felderer, Wilhelm Hasselbring, Heiko Koziolek, Florian Matthes, Lutz Prechelt, Ralf Reussner, Bernhard Rumpe, Ina Schaefer.
250 $a 1st ed. 2022.
264 1 $a Cham : $b Springer International Publishing : $b Imprint: Springer, $c 2022.
300 $a VI, 293 p. 89 illus., 66 illus. in color. $b online resource.
336 $a text $b txt $2 rdacontent
337 $a computer $b c $2 rdamedia
338 $a online resource $b cr $2 rdacarrier
347 $a text file $b PDF $2 rda
505 0 $a Ernst 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.
506 0 $a Open Access
520 $a This 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.
650 0 $a Software engineering. $3 562952
650 0 $a Business information services. $3 654161
650 0 $a Electronic data processing—Management. $3 1366260
650 1 4 $a Software Engineering. $3 669632
650 2 4 $a IT in Business. $3 1064965
650 2 4 $a IT Operations. $3 1366262
700 1 $a Felderer, Michael. $4 edt $4 http://id.loc.gov/vocabulary/relators/edt $3 1076319
700 1 $a Hasselbring, Wilhelm. $e editor. $4 edt $4 http://id.loc.gov/vocabulary/relators/edt $3 1303757
700 1 $a Koziolek, Heiko. $e editor. $4 edt $4 http://id.loc.gov/vocabulary/relators/edt $3 1327265
700 1 $a Matthes, Florian. $e editor. $4 edt $4 http://id.loc.gov/vocabulary/relators/edt $3 1327266
700 1 $a Prechelt, Lutz. $e editor. $4 edt $4 http://id.loc.gov/vocabulary/relators/edt $3 1327267
700 1 $a Reussner, Ralf. $4 edt $4 http://id.loc.gov/vocabulary/relators/edt $3 680455
700 1 $a Rumpe, Bernhard. $4 edt $4 http://id.loc.gov/vocabulary/relators/edt $3 1067791
700 1 $a Schaefer, Ina. $4 edt $4 http://id.loc.gov/vocabulary/relators/edt $3 1210234
710 2 $a SpringerLink (Online service) $3 593884
773 0 $t Springer Nature eBook
776 0 8 $i Printed edition: $z 9783030831271
776 0 8 $i Printed edition: $z 9783030831295
776 0 8 $i Printed edition: $z 9783030831301
856 4 0 $u https://doi.org/10.1007/978-3-030-83128-8
912 $a ZDB-2-SCS
912 $a ZDB-2-SXCS
912 $a ZDB-2-SOB
950 $a Computer Science (SpringerNature-11645)
950 $a Computer Science (R0) (SpringerNature-43710)