Ernst Denert Award for Software Engineering 2019 : (Record no. 2109)

MARC details
000 -Satzkennung
Kontrollfeld mit fester Länge 05864nam a22004933i 4500
001 - Kontrollnummer
Kontrollfeld EBC6420687
003 - Kontrollnummer Identifier
Kontrollfeld MiAaPQ
005 - Datum und Zeit der letzten Transaktion
Kontrollfeld 20220324112728.0
006 - Datenelemente mit fester Länge - Weitere Materialmerkmale
Kontrollfeld mit fester Länge m o d |
007 - Feld mit fester Länge zur physischen Beschreibung - Allgemeine Information
Kontrollfeld mit fester Länge cr cnu||||||||
008 - Feld mit fester Länge zur physischen Beschreibung - Allgemeine Angaben
Kontrollfeld mit fester Länge 220324s2020 xx o ||||0 eng d
020 ## - Internationale Standardbuchnummer
Internationale Standardbuchnummer 9783030586171
Nähere Angaben (electronic bk.)
020 ## - Internationale Standardbuchnummer
Gelöschte/ungültige ISBN 9783030586164
035 ## - Systemkontrollnummer
System-Kontrollnummer (MiAaPQ)EBC6420687
035 ## - Systemkontrollnummer
System-Kontrollnummer (Au-PeEL)EBL6420687
035 ## - Systemkontrollnummer
System-Kontrollnummer (OCoLC)1231606099
040 ## - Katalogisierungsquelle
Original-Katalogisierungsstelle MiAaPQ
Katalogisierungssprache eng
Beschreibungsfestlegungen rda
-- pn
Übertragungsstelle MiAaPQ
Bearbeitungsstelle MiAaPQ
050 #4 - Signatur der Library of Congress
Notation QA76.758
100 1# - Haupteintragung - Personenname
Personenname Felderer, Michael.
245 10 - Titel
Titel Ernst Denert Award for Software Engineering 2019 :
Zusatz zum Titel Practice Meets Foundations.
264 #1 - Produktion, Veröffentlichung, Distribution, Herstellung und Urheberrechtsvermerk
Herstellungs-, Veröffentlichungs- Vertriebs-, Erzeugungsort Cham :
Produzent, Herausgeber, Distributor, Hersteller Springer International Publishing AG,
Datum der Herstellung, der Veröffentlichung, des Vertriebs oder des Urheberschutzvermerks 2020.
264 #4 - Produktion, Veröffentlichung, Distribution, Herstellung und Urheberrechtsvermerk
Datum der Herstellung, der Veröffentlichung, des Vertriebs oder des Urheberschutzvermerks �2020.
300 ## - Physische Beschreibung
Umfang 1 online resource (142 pages)
336 ## - Inhaltstyp
Inhaltstypterm text
Inhaltstypcode txt
Quelle rdacontent
337 ## - Medientyp
Bezeichnung des Medientyps computer
Medientypcode c
Quelle rdamedia
338 ## - Datenträgertyp
Datenträgertypbezeichnung online resource
Datenträgertypcode cr
Quelle rdacarrier
505 0# - Fußnote zu strukturierten Inhaltsangaben
Fußnote zu strukturierten Inhaltsangaben 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.
505 8# - Fußnote zu strukturierten Inhaltsangaben
Fußnote zu strukturierten Inhaltsangaben 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.
505 8# - Fußnote zu strukturierten Inhaltsangaben
Fußnote zu strukturierten Inhaltsangaben 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.
588 ## - Anmerkung zur Ausgabe, zum Teil oder zur Iteration, die/der als Grunlage für die Identifizierung der Ressource verwendet wird
Anmerkung zur Ausgabe, zum Teil oder zur Iteration, die/der als Grunlage für die Identifizierung der Ressource verwendet wird Description based on publisher supplied metadata and other sources.
590 ## - Lokale Fußnote (RLIN)
Local note Electronic reproduction. Ann Arbor, Michigan : ProQuest Ebook Central, 2022. Available via World Wide Web. Access may be limited to ProQuest Ebook Central affiliated libraries.
655 #4 - Indexierungsterm - Genre/Form
Genre/Form oder fokussierter Term Electronic books.
700 1# - Nebeneintragung - Personenname
Personenname Hasselbring, Wilhelm.
700 1# - Nebeneintragung - Personenname
Personenname Koziolek, Heiko.
700 1# - Nebeneintragung - Personenname
Personenname Matthes, Florian.
700 1# - Nebeneintragung - Personenname
Personenname Prechelt, Lutz.
700 1# - Nebeneintragung - Personenname
Personenname Reussner, Ralf.
700 1# - Nebeneintragung - Personenname
Personenname Rumpe, Bernhard.
700 1# - Nebeneintragung - Personenname
Personenname Schaefer, Ina.
776 08 - Andere physische Form
Verweisungsphrase Print version:
Haupteintragung Felderer, Michael
Titel Ernst Denert Award for Software Engineering 2019
Ort, Verlag und Erscheinungsjahr Cham : Springer International Publishing AG,c2020
Internationale Standardbuchnummer 9783030586164
797 2# - LOCAL ADDED ENTRY--CORPORATE NAME (RLIN)
Körperschafts- oder Gebietskörperschaftsname als Eintragungselement ProQuest (Firm)
856 40 - Elektronische Adresse und Zugriff
URL <a href="https://www.nbs.de/bibliothek/faq">https://www.nbs.de/bibliothek/faq</a>
OPAC-Notiz Wie greife ich auf das E-Book zu?
856 40 - Elektronische Adresse und Zugriff
URL <a href="https://ebookcentral.proquest.com/lib/nbsde/detail.action?docID=6420687">https://ebookcentral.proquest.com/lib/nbsde/detail.action?docID=6420687</a>
OPAC-Notiz Click to View

No items available.

Powered by Koha