國立高雄大學圖資館 |

Language: English

Back

Ernst Denert Award for Software Engineering 2020practice meets foundations /

Record Type:	Electronic resources : Monograph/item
Title/Author:	Ernst Denert Award for Software Engineering 2020edited by Michael Felderer ... [et al.].
Reminder of title:	practice meets foundations /
other author:	Felderer, Michael.
Published:	Cham :Springer International Publishing :2022.
Description:	vi, 293 p. :ill. (some col.), digital ;24 cm.
Contained By:	Springer Nature eBook
Subject:	Software engineering.
Online resource:	https://doi.org/10.1007/978-3-030-83128-8
ISBN:	9783030831288$q(electronic bk.)

Ernst Denert Award for Software Engineering 2020practice meets foundations /
Ernst Denert Award for Software Engineering 2020practice meets foundations /[electronic resource] :edited by Michael Felderer ... [et al.]. - Cham :Springer International Publishing :2022. - vi, 293 p. :ill. (some col.), digital ;24 cm.

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 Brachthauser (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-Nurnberg) 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 Wagemann's (FAU Erlangen-Nurnberg) 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$q(electronic bk.)

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

184729
Software engineering.

LC Class. No.: QA76.758 / .E76 2022

Dewey Class. No.: 005.1

Ernst Denert Award for Software Engineering 2020practice meets foundations /
LDR:04420nmm a2200337 a 4500 001 622340
003 DE-He213
005 20220228135108.0
006 m d
007 cr nn 008maaau
008 221209s2022 sz s 0 eng d
020 $a 9783030831288$q(electronic bk.)
020 $a 9783030831271$q(paper)
024 7 $a 10.1007/978-3-030-83128-8 $2 doi
035 $a 978-3-030-83128-8
040 $a GP $c GP
041 0 $a eng
050 4 $a QA76.758 $b .E76 2022
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
090 $a QA76.758 $b .E71 2022
245 0 0 $a Ernst Denert Award for Software Engineering 2020 $h [electronic resource] : $b practice meets foundations / $c edited by Michael Felderer ... [et al.].
260 $a Cham : $b Springer International Publishing : $b Imprint: Springer, $c 2022.
300 $a vi, 293 p. : $b ill. (some col.), digital ; $c 24 cm.
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 $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 Brachthauser (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-Nurnberg) 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 Wagemann's (FAU Erlangen-Nurnberg) 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 184729
650 0 $a Software engineering $x Awards. $3 924149
650 1 4 $a Software Engineering. $3 274511
650 2 4 $a IT in Business. $3 703717
650 2 4 $a IT Operations. $3 913145
700 1 $a Felderer, Michael. $3 683561
710 2 $a SpringerLink (Online service) $3 273601
773 0 $t Springer Nature eBook
856 4 0 $u https://doi.org/10.1007/978-3-030-83128-8
950 $a Computer Science (SpringerNature-11645)