Ernst Denert Award for Software Engineering 2019 : : Practice Meets Foundations.
Saved in:
: | |
---|---|
TeilnehmendeR: | |
Place / Publishing House: | Cham : : Springer International Publishing AG,, 2020. Ã2020. |
Year of Publication: | 2020 |
Edition: | 1st ed. |
Language: | English |
Online Access: | |
Physical Description: | 1 online resource (142 pages) |
Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
id |
5006420687 |
---|---|
ctrlnum |
(MiAaPQ)5006420687 (Au-PeEL)EBL6420687 (OCoLC)1231606099 |
collection |
bib_alma |
record_format |
marc |
spelling |
Felderer, Michael. Ernst Denert Award for Software Engineering 2019 : Practice Meets Foundations. 1st ed. Cham : Springer International Publishing AG, 2020. Ã2020. 1 online resource (142 pages) text txt rdacontent computer c rdamedia online resource cr rdacarrier Intro -- Contents -- Ernst Denert Software Engineering Awards 2019 -- 1 Relevance of Software Engineering -- 2 History of the Ernst Denert Software Engineering Award -- 3 Award Submission Process -- 4 Selection Criteria -- 5 Selection Process -- 6 The Award Nominees and the Winner -- 7 Contents of the Book -- 7.1 Thanks -- Software Engineering -- 1 1968 -- 2 Software Architecture -- 2.1 Application View -- 2.2 Design View -- 2.3 Program View -- 3 Software Development -- 4 Teamwork -- 5 A Final Wish -- Applications of Synchronized Pushdown Systems -- 1 Introduction -- 2 Motivating Examples -- 2.1 Null Pointer Analysis -- 2.2 Taint Analysis -- 2.3 Typestate Analysis -- 2.4 Cryptographic Misuses -- 3 Synchronized Pushdown Systems -- 3.1 Calls-Pushdown System -- 3.2 Field-Pushdown System -- 3.3 Synchronization of Call-PDS and Field-PDS -- 4 Boomerang -- 5 Typestate Analyses Based on IDEal -- 6 CogniCrypt -- 6.1 The CrySL Language -- 6.2 Compiling CrySL to a Static Analysis -- 6.3 Evaluation on Maven Central -- 7 Conclusion -- References -- Software Developers' Work Habits and Expertise: Empirical Studies on Sketching, Code Plagiarism, and Expertise Development -- 1 Introduction -- 2 Sketching: Developers' Usage of Sketches and Diagrams in Practice -- 3 Code Plagiarism: Stack Overflow Code Snippets in GitHub Projects -- 4 Expertise Development: Toward a Theory of Software Development Expertise -- 5 Methodological Insights: Issues in Sampling Software Developers -- 6 Open Data: Building and Maintaining the SOTorrent Dataset -- 7 Summary and Future Work -- References -- Applied Artifact-Based Analysis for Architecture ConsistencyChecking -- 1 Introduction -- 2 Foundations -- 2.1 UML/P -- 2.1.1 Class Diagrams -- 2.1.2 Object Diagrams -- 2.1.3 Object Constraint Language -- 2.2 MontiCore -- 2.3 Architecture Consistency Checking -- 3 Artifact-Based Analysis. 3.1 Create Artifact Model -- 3.2 Specify Artifact Data Analyses -- 3.3 Artifact-Based Analyses -- 3.4 Artifact-Based Analysis for Architecture Consistency Checking -- 4 Applied Analyses -- 4.1 DEx Generator -- 4.2 MontiCar Repositories -- 5 Conclusion -- References -- Same but Different: Consistently Developing and Evolving Software Architecture Models and Their Implementation -- 1 Introduction -- 2 The Explicitly Integrated Architecture Approach -- 2.1 Explicitly Integrated Architecture Process -- 2.2 Model Integration Concept -- 2.2.1 Integration Mechanisms -- 2.2.2 Operational Semantics -- 2.3 Intermediate Architecture Description Language -- 2.4 Architecture Model Transformations -- 2.4.1 Transformations Between Architecture Languages -- 2.4.2 Transformations Within the IAL -- 3 Tool Support -- 3.1 Codeling -- 3.1.1 Model/Code Transformations -- 3.1.2 Model-to-Model Transformations -- 3.1.3 Process Execution -- 3.2 Code Generation Tool -- 3.3 Execution Runtimes -- 4 Evaluation -- 4.1 Use Case JACK 3 -- 4.2 Use Case CoCoME in PCM -- 4.3 Further Use Cases -- 4.4 Discussion -- 5 Related Work -- 6 Conclusions and Future Work -- References -- Actionable Program Analyses for Improving Software Performance -- 1 Introduction -- 1.1 Terminology -- 1.2 Challenges and Motivation -- 1.3 Outline -- 2 Performance Issues and Optimizations in JavaScript -- 2.1 Methodology -- 2.2 Subject Projects -- 2.3 Selection of Performance Issues -- 2.4 Main Findings -- 2.5 Practical Impact -- 3 Performance Profiling for Optimizing Orders of Evaluation -- 3.1 An Analysis for Detecting Reordering Opportunities -- 3.2 Dynamic Analysis -- 3.3 Experimental Evaluation -- 4 Cross-Language Optimizations in Big Data Systems -- 4.1 Performance Issues in SCOPE Language -- 4.2 Static Analysis to Find Method Inlining Opportunities -- 4.3 Experimental Evaluation -- 4.3.1 Case Studies. 5 Test Generation of Higher-Order Functions in Dynamic Languages -- 5.1 Overview of the Framework -- 5.2 Callback Generation Approaches -- 6 Conclusions -- 6.1 Summary of Contributions -- 6.2 Future Research Directions -- References. Description based on publisher supplied metadata and other sources. Electronic reproduction. Ann Arbor, Michigan : ProQuest Ebook Central, 2024. Available via World Wide Web. Access may be limited to ProQuest Ebook Central affiliated libraries. Electronic books. Hasselbring, Wilhelm. Koziolek, Heiko. Matthes, Florian. Prechelt, Lutz. Reussner, Ralf. Rumpe, Bernhard. Schaefer, Ina. Print version: Felderer, Michael Ernst Denert Award for Software Engineering 2019 Cham : Springer International Publishing AG,c2020 9783030586164 ProQuest (Firm) https://ebookcentral.proquest.com/lib/oeawat/detail.action?docID=6420687 Click to View |
language |
English |
format |
eBook |
author |
Felderer, Michael. |
spellingShingle |
Felderer, Michael. Ernst Denert Award for Software Engineering 2019 : Practice Meets Foundations. Intro -- Contents -- Ernst Denert Software Engineering Awards 2019 -- 1 Relevance of Software Engineering -- 2 History of the Ernst Denert Software Engineering Award -- 3 Award Submission Process -- 4 Selection Criteria -- 5 Selection Process -- 6 The Award Nominees and the Winner -- 7 Contents of the Book -- 7.1 Thanks -- Software Engineering -- 1 1968 -- 2 Software Architecture -- 2.1 Application View -- 2.2 Design View -- 2.3 Program View -- 3 Software Development -- 4 Teamwork -- 5 A Final Wish -- Applications of Synchronized Pushdown Systems -- 1 Introduction -- 2 Motivating Examples -- 2.1 Null Pointer Analysis -- 2.2 Taint Analysis -- 2.3 Typestate Analysis -- 2.4 Cryptographic Misuses -- 3 Synchronized Pushdown Systems -- 3.1 Calls-Pushdown System -- 3.2 Field-Pushdown System -- 3.3 Synchronization of Call-PDS and Field-PDS -- 4 Boomerang -- 5 Typestate Analyses Based on IDEal -- 6 CogniCrypt -- 6.1 The CrySL Language -- 6.2 Compiling CrySL to a Static Analysis -- 6.3 Evaluation on Maven Central -- 7 Conclusion -- References -- Software Developers' Work Habits and Expertise: Empirical Studies on Sketching, Code Plagiarism, and Expertise Development -- 1 Introduction -- 2 Sketching: Developers' Usage of Sketches and Diagrams in Practice -- 3 Code Plagiarism: Stack Overflow Code Snippets in GitHub Projects -- 4 Expertise Development: Toward a Theory of Software Development Expertise -- 5 Methodological Insights: Issues in Sampling Software Developers -- 6 Open Data: Building and Maintaining the SOTorrent Dataset -- 7 Summary and Future Work -- References -- Applied Artifact-Based Analysis for Architecture ConsistencyChecking -- 1 Introduction -- 2 Foundations -- 2.1 UML/P -- 2.1.1 Class Diagrams -- 2.1.2 Object Diagrams -- 2.1.3 Object Constraint Language -- 2.2 MontiCore -- 2.3 Architecture Consistency Checking -- 3 Artifact-Based Analysis. 3.1 Create Artifact Model -- 3.2 Specify Artifact Data Analyses -- 3.3 Artifact-Based Analyses -- 3.4 Artifact-Based Analysis for Architecture Consistency Checking -- 4 Applied Analyses -- 4.1 DEx Generator -- 4.2 MontiCar Repositories -- 5 Conclusion -- References -- Same but Different: Consistently Developing and Evolving Software Architecture Models and Their Implementation -- 1 Introduction -- 2 The Explicitly Integrated Architecture Approach -- 2.1 Explicitly Integrated Architecture Process -- 2.2 Model Integration Concept -- 2.2.1 Integration Mechanisms -- 2.2.2 Operational Semantics -- 2.3 Intermediate Architecture Description Language -- 2.4 Architecture Model Transformations -- 2.4.1 Transformations Between Architecture Languages -- 2.4.2 Transformations Within the IAL -- 3 Tool Support -- 3.1 Codeling -- 3.1.1 Model/Code Transformations -- 3.1.2 Model-to-Model Transformations -- 3.1.3 Process Execution -- 3.2 Code Generation Tool -- 3.3 Execution Runtimes -- 4 Evaluation -- 4.1 Use Case JACK 3 -- 4.2 Use Case CoCoME in PCM -- 4.3 Further Use Cases -- 4.4 Discussion -- 5 Related Work -- 6 Conclusions and Future Work -- References -- Actionable Program Analyses for Improving Software Performance -- 1 Introduction -- 1.1 Terminology -- 1.2 Challenges and Motivation -- 1.3 Outline -- 2 Performance Issues and Optimizations in JavaScript -- 2.1 Methodology -- 2.2 Subject Projects -- 2.3 Selection of Performance Issues -- 2.4 Main Findings -- 2.5 Practical Impact -- 3 Performance Profiling for Optimizing Orders of Evaluation -- 3.1 An Analysis for Detecting Reordering Opportunities -- 3.2 Dynamic Analysis -- 3.3 Experimental Evaluation -- 4 Cross-Language Optimizations in Big Data Systems -- 4.1 Performance Issues in SCOPE Language -- 4.2 Static Analysis to Find Method Inlining Opportunities -- 4.3 Experimental Evaluation -- 4.3.1 Case Studies. 5 Test Generation of Higher-Order Functions in Dynamic Languages -- 5.1 Overview of the Framework -- 5.2 Callback Generation Approaches -- 6 Conclusions -- 6.1 Summary of Contributions -- 6.2 Future Research Directions -- References. |
author_facet |
Felderer, Michael. Hasselbring, Wilhelm. Koziolek, Heiko. Matthes, Florian. Prechelt, Lutz. Reussner, Ralf. Rumpe, Bernhard. Schaefer, Ina. |
author_variant |
m f mf |
author2 |
Hasselbring, Wilhelm. Koziolek, Heiko. Matthes, Florian. Prechelt, Lutz. Reussner, Ralf. Rumpe, Bernhard. Schaefer, Ina. |
author2_variant |
w h wh h k hk f m fm l p lp r r rr b r br i s is |
author2_role |
TeilnehmendeR TeilnehmendeR TeilnehmendeR TeilnehmendeR TeilnehmendeR TeilnehmendeR TeilnehmendeR |
author_sort |
Felderer, Michael. |
title |
Ernst Denert Award for Software Engineering 2019 : Practice Meets Foundations. |
title_sub |
Practice Meets Foundations. |
title_full |
Ernst Denert Award for Software Engineering 2019 : Practice Meets Foundations. |
title_fullStr |
Ernst Denert Award for Software Engineering 2019 : Practice Meets Foundations. |
title_full_unstemmed |
Ernst Denert Award for Software Engineering 2019 : Practice Meets Foundations. |
title_auth |
Ernst Denert Award for Software Engineering 2019 : Practice Meets Foundations. |
title_new |
Ernst Denert Award for Software Engineering 2019 : |
title_sort |
ernst denert award for software engineering 2019 : practice meets foundations. |
publisher |
Springer International Publishing AG, |
publishDate |
2020 |
physical |
1 online resource (142 pages) |
edition |
1st ed. |
contents |
Intro -- Contents -- Ernst Denert Software Engineering Awards 2019 -- 1 Relevance of Software Engineering -- 2 History of the Ernst Denert Software Engineering Award -- 3 Award Submission Process -- 4 Selection Criteria -- 5 Selection Process -- 6 The Award Nominees and the Winner -- 7 Contents of the Book -- 7.1 Thanks -- Software Engineering -- 1 1968 -- 2 Software Architecture -- 2.1 Application View -- 2.2 Design View -- 2.3 Program View -- 3 Software Development -- 4 Teamwork -- 5 A Final Wish -- Applications of Synchronized Pushdown Systems -- 1 Introduction -- 2 Motivating Examples -- 2.1 Null Pointer Analysis -- 2.2 Taint Analysis -- 2.3 Typestate Analysis -- 2.4 Cryptographic Misuses -- 3 Synchronized Pushdown Systems -- 3.1 Calls-Pushdown System -- 3.2 Field-Pushdown System -- 3.3 Synchronization of Call-PDS and Field-PDS -- 4 Boomerang -- 5 Typestate Analyses Based on IDEal -- 6 CogniCrypt -- 6.1 The CrySL Language -- 6.2 Compiling CrySL to a Static Analysis -- 6.3 Evaluation on Maven Central -- 7 Conclusion -- References -- Software Developers' Work Habits and Expertise: Empirical Studies on Sketching, Code Plagiarism, and Expertise Development -- 1 Introduction -- 2 Sketching: Developers' Usage of Sketches and Diagrams in Practice -- 3 Code Plagiarism: Stack Overflow Code Snippets in GitHub Projects -- 4 Expertise Development: Toward a Theory of Software Development Expertise -- 5 Methodological Insights: Issues in Sampling Software Developers -- 6 Open Data: Building and Maintaining the SOTorrent Dataset -- 7 Summary and Future Work -- References -- Applied Artifact-Based Analysis for Architecture ConsistencyChecking -- 1 Introduction -- 2 Foundations -- 2.1 UML/P -- 2.1.1 Class Diagrams -- 2.1.2 Object Diagrams -- 2.1.3 Object Constraint Language -- 2.2 MontiCore -- 2.3 Architecture Consistency Checking -- 3 Artifact-Based Analysis. 3.1 Create Artifact Model -- 3.2 Specify Artifact Data Analyses -- 3.3 Artifact-Based Analyses -- 3.4 Artifact-Based Analysis for Architecture Consistency Checking -- 4 Applied Analyses -- 4.1 DEx Generator -- 4.2 MontiCar Repositories -- 5 Conclusion -- References -- Same but Different: Consistently Developing and Evolving Software Architecture Models and Their Implementation -- 1 Introduction -- 2 The Explicitly Integrated Architecture Approach -- 2.1 Explicitly Integrated Architecture Process -- 2.2 Model Integration Concept -- 2.2.1 Integration Mechanisms -- 2.2.2 Operational Semantics -- 2.3 Intermediate Architecture Description Language -- 2.4 Architecture Model Transformations -- 2.4.1 Transformations Between Architecture Languages -- 2.4.2 Transformations Within the IAL -- 3 Tool Support -- 3.1 Codeling -- 3.1.1 Model/Code Transformations -- 3.1.2 Model-to-Model Transformations -- 3.1.3 Process Execution -- 3.2 Code Generation Tool -- 3.3 Execution Runtimes -- 4 Evaluation -- 4.1 Use Case JACK 3 -- 4.2 Use Case CoCoME in PCM -- 4.3 Further Use Cases -- 4.4 Discussion -- 5 Related Work -- 6 Conclusions and Future Work -- References -- Actionable Program Analyses for Improving Software Performance -- 1 Introduction -- 1.1 Terminology -- 1.2 Challenges and Motivation -- 1.3 Outline -- 2 Performance Issues and Optimizations in JavaScript -- 2.1 Methodology -- 2.2 Subject Projects -- 2.3 Selection of Performance Issues -- 2.4 Main Findings -- 2.5 Practical Impact -- 3 Performance Profiling for Optimizing Orders of Evaluation -- 3.1 An Analysis for Detecting Reordering Opportunities -- 3.2 Dynamic Analysis -- 3.3 Experimental Evaluation -- 4 Cross-Language Optimizations in Big Data Systems -- 4.1 Performance Issues in SCOPE Language -- 4.2 Static Analysis to Find Method Inlining Opportunities -- 4.3 Experimental Evaluation -- 4.3.1 Case Studies. 5 Test Generation of Higher-Order Functions in Dynamic Languages -- 5.1 Overview of the Framework -- 5.2 Callback Generation Approaches -- 6 Conclusions -- 6.1 Summary of Contributions -- 6.2 Future Research Directions -- References. |
isbn |
9783030586171 9783030586164 |
callnumber-first |
Q - Science |
callnumber-subject |
QA - Mathematics |
callnumber-label |
QA76 |
callnumber-sort |
QA 276.758 |
genre |
Electronic books. |
genre_facet |
Electronic books. |
url |
https://ebookcentral.proquest.com/lib/oeawat/detail.action?docID=6420687 |
illustrated |
Not Illustrated |
oclc_num |
1231606099 |
work_keys_str_mv |
AT felderermichael ernstdenertawardforsoftwareengineering2019practicemeetsfoundations AT hasselbringwilhelm ernstdenertawardforsoftwareengineering2019practicemeetsfoundations AT koziolekheiko ernstdenertawardforsoftwareengineering2019practicemeetsfoundations AT matthesflorian ernstdenertawardforsoftwareengineering2019practicemeetsfoundations AT precheltlutz ernstdenertawardforsoftwareengineering2019practicemeetsfoundations AT reussnerralf ernstdenertawardforsoftwareengineering2019practicemeetsfoundations AT rumpebernhard ernstdenertawardforsoftwareengineering2019practicemeetsfoundations AT schaeferina ernstdenertawardforsoftwareengineering2019practicemeetsfoundations |
status_str |
n |
ids_txt_mv |
(MiAaPQ)5006420687 (Au-PeEL)EBL6420687 (OCoLC)1231606099 |
carrierType_str_mv |
cr |
is_hierarchy_title |
Ernst Denert Award for Software Engineering 2019 : Practice Meets Foundations. |
author2_original_writing_str_mv |
noLinkedField noLinkedField noLinkedField noLinkedField noLinkedField noLinkedField noLinkedField |
marc_error |
Info : Unimarc and ISO-8859-1 translations identical, choosing ISO-8859-1. --- [ 856 : z ] |
_version_ |
1792331057563959296 |
fullrecord |
<?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>05775nam a22004813i 4500</leader><controlfield tag="001">5006420687</controlfield><controlfield tag="003">MiAaPQ</controlfield><controlfield tag="005">20240229073836.0</controlfield><controlfield tag="006">m o d | </controlfield><controlfield tag="007">cr cnu||||||||</controlfield><controlfield tag="008">240229s2020 xx o ||||0 eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9783030586171</subfield><subfield code="q">(electronic bk.)</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="z">9783030586164</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(MiAaPQ)5006420687</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(Au-PeEL)EBL6420687</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)1231606099</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">MiAaPQ</subfield><subfield code="b">eng</subfield><subfield code="e">rda</subfield><subfield code="e">pn</subfield><subfield code="c">MiAaPQ</subfield><subfield code="d">MiAaPQ</subfield></datafield><datafield tag="050" ind1=" " ind2="4"><subfield code="a">QA76.758</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Felderer, Michael.</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Ernst Denert Award for Software Engineering 2019 :</subfield><subfield code="b">Practice Meets Foundations.</subfield></datafield><datafield tag="250" ind1=" " ind2=" "><subfield code="a">1st ed.</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Cham :</subfield><subfield code="b">Springer International Publishing AG,</subfield><subfield code="c">2020.</subfield></datafield><datafield tag="264" ind1=" " ind2="4"><subfield code="c">Ã2020.</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">1 online resource (142 pages)</subfield></datafield><datafield tag="336" ind1=" " ind2=" "><subfield code="a">text</subfield><subfield code="b">txt</subfield><subfield code="2">rdacontent</subfield></datafield><datafield tag="337" ind1=" " ind2=" "><subfield code="a">computer</subfield><subfield code="b">c</subfield><subfield code="2">rdamedia</subfield></datafield><datafield tag="338" ind1=" " ind2=" "><subfield code="a">online resource</subfield><subfield code="b">cr</subfield><subfield code="2">rdacarrier</subfield></datafield><datafield tag="505" ind1="0" ind2=" "><subfield code="a">Intro -- Contents -- Ernst Denert Software Engineering Awards 2019 -- 1 Relevance of Software Engineering -- 2 History of the Ernst Denert Software Engineering Award -- 3 Award Submission Process -- 4 Selection Criteria -- 5 Selection Process -- 6 The Award Nominees and the Winner -- 7 Contents of the Book -- 7.1 Thanks -- Software Engineering -- 1 1968 -- 2 Software Architecture -- 2.1 Application View -- 2.2 Design View -- 2.3 Program View -- 3 Software Development -- 4 Teamwork -- 5 A Final Wish -- Applications of Synchronized Pushdown Systems -- 1 Introduction -- 2 Motivating Examples -- 2.1 Null Pointer Analysis -- 2.2 Taint Analysis -- 2.3 Typestate Analysis -- 2.4 Cryptographic Misuses -- 3 Synchronized Pushdown Systems -- 3.1 Calls-Pushdown System -- 3.2 Field-Pushdown System -- 3.3 Synchronization of Call-PDS and Field-PDS -- 4 Boomerang -- 5 Typestate Analyses Based on IDEal -- 6 CogniCrypt -- 6.1 The CrySL Language -- 6.2 Compiling CrySL to a Static Analysis -- 6.3 Evaluation on Maven Central -- 7 Conclusion -- References -- Software Developers' Work Habits and Expertise: Empirical Studies on Sketching, Code Plagiarism, and Expertise Development -- 1 Introduction -- 2 Sketching: Developers' Usage of Sketches and Diagrams in Practice -- 3 Code Plagiarism: Stack Overflow Code Snippets in GitHub Projects -- 4 Expertise Development: Toward a Theory of Software Development Expertise -- 5 Methodological Insights: Issues in Sampling Software Developers -- 6 Open Data: Building and Maintaining the SOTorrent Dataset -- 7 Summary and Future Work -- References -- Applied Artifact-Based Analysis for Architecture ConsistencyChecking -- 1 Introduction -- 2 Foundations -- 2.1 UML/P -- 2.1.1 Class Diagrams -- 2.1.2 Object Diagrams -- 2.1.3 Object Constraint Language -- 2.2 MontiCore -- 2.3 Architecture Consistency Checking -- 3 Artifact-Based Analysis.</subfield></datafield><datafield tag="505" ind1="8" ind2=" "><subfield code="a">3.1 Create Artifact Model -- 3.2 Specify Artifact Data Analyses -- 3.3 Artifact-Based Analyses -- 3.4 Artifact-Based Analysis for Architecture Consistency Checking -- 4 Applied Analyses -- 4.1 DEx Generator -- 4.2 MontiCar Repositories -- 5 Conclusion -- References -- Same but Different: Consistently Developing and Evolving Software Architecture Models and Their Implementation -- 1 Introduction -- 2 The Explicitly Integrated Architecture Approach -- 2.1 Explicitly Integrated Architecture Process -- 2.2 Model Integration Concept -- 2.2.1 Integration Mechanisms -- 2.2.2 Operational Semantics -- 2.3 Intermediate Architecture Description Language -- 2.4 Architecture Model Transformations -- 2.4.1 Transformations Between Architecture Languages -- 2.4.2 Transformations Within the IAL -- 3 Tool Support -- 3.1 Codeling -- 3.1.1 Model/Code Transformations -- 3.1.2 Model-to-Model Transformations -- 3.1.3 Process Execution -- 3.2 Code Generation Tool -- 3.3 Execution Runtimes -- 4 Evaluation -- 4.1 Use Case JACK 3 -- 4.2 Use Case CoCoME in PCM -- 4.3 Further Use Cases -- 4.4 Discussion -- 5 Related Work -- 6 Conclusions and Future Work -- References -- Actionable Program Analyses for Improving Software Performance -- 1 Introduction -- 1.1 Terminology -- 1.2 Challenges and Motivation -- 1.3 Outline -- 2 Performance Issues and Optimizations in JavaScript -- 2.1 Methodology -- 2.2 Subject Projects -- 2.3 Selection of Performance Issues -- 2.4 Main Findings -- 2.5 Practical Impact -- 3 Performance Profiling for Optimizing Orders of Evaluation -- 3.1 An Analysis for Detecting Reordering Opportunities -- 3.2 Dynamic Analysis -- 3.3 Experimental Evaluation -- 4 Cross-Language Optimizations in Big Data Systems -- 4.1 Performance Issues in SCOPE Language -- 4.2 Static Analysis to Find Method Inlining Opportunities -- 4.3 Experimental Evaluation -- 4.3.1 Case Studies.</subfield></datafield><datafield tag="505" ind1="8" ind2=" "><subfield code="a">5 Test Generation of Higher-Order Functions in Dynamic Languages -- 5.1 Overview of the Framework -- 5.2 Callback Generation Approaches -- 6 Conclusions -- 6.1 Summary of Contributions -- 6.2 Future Research Directions -- References.</subfield></datafield><datafield tag="588" ind1=" " ind2=" "><subfield code="a">Description based on publisher supplied metadata and other sources.</subfield></datafield><datafield tag="590" ind1=" " ind2=" "><subfield code="a">Electronic reproduction. Ann Arbor, Michigan : ProQuest Ebook Central, 2024. Available via World Wide Web. Access may be limited to ProQuest Ebook Central affiliated libraries. </subfield></datafield><datafield tag="655" ind1=" " ind2="4"><subfield code="a">Electronic books.</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Hasselbring, Wilhelm.</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Koziolek, Heiko.</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Matthes, Florian.</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Prechelt, Lutz.</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Reussner, Ralf.</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Rumpe, Bernhard.</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Schaefer, Ina.</subfield></datafield><datafield tag="776" ind1="0" ind2="8"><subfield code="i">Print version:</subfield><subfield code="a">Felderer, Michael</subfield><subfield code="t">Ernst Denert Award for Software Engineering 2019</subfield><subfield code="d">Cham : Springer International Publishing AG,c2020</subfield><subfield code="z">9783030586164</subfield></datafield><datafield tag="797" ind1="2" ind2=" "><subfield code="a">ProQuest (Firm)</subfield></datafield><datafield tag="856" ind1="4" ind2="0"><subfield code="u">https://ebookcentral.proquest.com/lib/oeawat/detail.action?docID=6420687</subfield><subfield code="z">Click to View</subfield></datafield></record></collection> |