Ernst Denert Award for Software Engineering 2020

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

Ernst Denert Award for Software Engineering 2020

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

Proceedings of Monterey Workshop 2001 Engineering Automation for Sofware Intensive System Integration

The 2001 Monterey Workshop on Engineering Automation for Software Intensive System Integration was sponsored by the Office of Naval Research, Air Force Office of Scientific Research, Army Research Office and the Defense Advance Research Projects Agency. It is our pleasure to thank the workshop advisory and sponsors for their vision of a principled engineering solution for software and for their many-year tireless effort in supporting a series of workshops to bring everyone together.This workshop is the 8 in a series of International workshops. The workshop was held in Monterey Beach Hotel, Monterey, California during June 18-22, 2001. The general theme of the workshop has been to present and discuss research works that aims at increasing the practical impact of formal methods for software and systems engineering. The particular focus of this workshop was "Engineering Automation for Software Intensive System Integration". Previous workshops have been focused on issues including, "Real-time & Concurrent Systems", "Software Merging and Slicing", "Software Evolution", "Software Architecture", "Requirements Targeting Software" and "Modeling Software System Structures in a fastly moving scenario".Office of Naval ResearchAir Force Office of Scientific Research Army Research OfficeDefense Advanced Research Projects AgencyApproved for public release, distribution unlimite

Computer Aided Verification

This open access two-volume set LNCS 10980 and 10981 constitutes the refereed proceedings of the 30th International Conference on Computer Aided Verification, CAV 2018, held in Oxford, UK, in July 2018. The 52 full and 13 tool papers presented together with 3 invited papers and 2 tutorials were carefully reviewed and selected from 215 submissions. The papers cover a wide range of topics and techniques, from algorithmic and logical foundations of verification to practical applications in distributed, networked, cyber-physical, and autonomous systems. They are organized in topical sections on model checking, program analysis using polyhedra, synthesis, learning, runtime verification, hybrid and timed systems, tools, probabilistic systems, static analysis, theory and security, SAT, SMT and decisions procedures, concurrency, and CPS, hardware, industrial applications

For an echology of microbe-artworks : thinking in between art and science

Une entité scientifique, tout en ayant son propre devenir dans le domaine scientifique, s’étend aussi souvent à d’autres domaines d’activité. Parallèlement à la diffusion des découvertes scientifiques, elle peut susciter un intérêt artistique ou conceptuel. Les études sur le microbiome humain ont nourri un tel intérêt pour les microbes et ont encouragé de nombreux artistes à entrer dans un laboratoire de biologie et à produire des oeuvres artistiques avec et à travers les microbes. Ces oeuvres d’art établissent une relation étroite avec les découvertes scientifiques récentes, les procédures et les protocoles, et posent des questions philosophiques sur la vie et la mort, la nature, l’humanité, et les relations entre les êtres vivants. Cette thèse vise à examiner les processus sociaux, techniques, politiques et économiques qui traversent les sciences des microbes et à déterminer comment ils aboutissent dans les oeuvres d’Elaine Whittaker, Tarsh Bates, François-Joseph Lapointe, Günes-Helen Isitan, le collectif Interspecifics, Victoria Shennan, Saša Spačal, Sonja Bäumel, Raphael Kim et Kathy High. Lorsque nous trouvons un microbe dans un contexte particulier, que trouvons-nous d’autre avec lui ? Dans quelles conditions apparaît-il dans une oeuvre d’art et avec quels éléments l’oeuvre compose-t-elle pour produire des effets esthétiques ? Dans cette thèse, l’histoire des microbes considérée du point de vue des formes d’art les mobilisant (ou « microbe-oeuvres d’art » pour microbe-artworks) commence en fait avec des animalcules qui n’étaient pas encore des entités scientifiques à part entière, mais qui présentaient virtuellement les forces qui seraient réunies plus tard sous le terme scientifique de « microbe ». Dans un premier temps, les animalcules, nommés après des observations d’Antonie von Leeuwenhoek, ont suscité l’intérêt de philosophes comme Leibniz et Spinoza et intensifié la curiosité de peintres comme Johannes Vermeer pour les éléments microscopiques de la vision, initiant ainsi des voyages entre les champs scientifiques et artistiques. Cette étude propose de problématiser ces voyages à l’aide du concept d’« échologie », un terme oublié d’une thèse écrite dans les années 1970 par Jean Milet sur la sociologie de Gabriel Tarde. Mais les théories d’autres philosophes tels que Georges Canguilhem, Michel Foucault, Gilles Deleuze, Félix Guattari, Marie-José Mondzain, et Gilbert Simondon, et des penseurs contemporains tels que Thierry Bardini et Brian Massumi sont également mobilisées pour donner à ce terme toute sa cohérence. Selon l’échologie, les entités sont constituées des motifs (patterns) d’interférence et de résonance avec d’autres choses, qui précèdent leur représentation. Ainsi, une 5 entité donnée est un complexe de forces, et son apparition, le résultat de certaines techniques qui la mettent en relation avec d’autres complexes ne peut s’expliquer comme un effet associé à une seule cause, mais se donne comme un effet supplémentaire, un extra-effet ou un surplus qui laisse toujours une trace ou un résidu. D’un point de vue échologique, une microbe-oeuvre d’art s’opère comme une interface qui intègre des potentiels qui se rendent visibles à travers les traces en vertu de multiples processus recoupant les activités scientifiques et les stratégies artistiques. Chaque chapitre de la thèse est ainsi une étape dans un voyage conceptuel expérimental, révélant les dimensions des oeuvres d’art considérées au regard de l’analyse de ces traces. Au cours de ce voyage, les éléments des théories scientifiques concernées, des entretiens avec des artistes, des sorties sur des sites de pratique des arts biologiques, lors d’ateliers, de conférence et d’écoles d’été sont mobilisés comme facteurs contribuant à la construction des champs problématiques dans chaque chapitre. Les microbes considérés comme des objets de beauté apparaissent comme le résultat d’une transformation discursive des sciences biologiques. D’une conception pathogène des microbes aux approches écologiques, l’iconicité des microbes associés aux microbe-images, l’échologie des microbe-sons, le devenir-milieu de certaines microbe-oeuvres d’art, et enfin la question de l’individuation de la pensée, et l’éthique corrélée compris comme le problème de la valorisation des microbes dans des microbe-oeuvres d’art, le devenir-microbe découle de cette transformation discursive à travers le champ artistique.A scientific entity, while having its own becoming in the scientific field, often also spreads to other fields of activity, such as art and philosophy. Microbiome studies fed such an interest towards microbes and encouraged many artists to enter a biology laboratory and produce a work of art with and through microbes. These artworks establish a close relationship with recent scientific findings, procedures and protocols, and ask philosophical questions about life and death, nature, humanness, and the relationships between living beings. This thesis aims to examine the social, technical, political, and economic processes that go through the microbe sciences and determine how they come together in the artworks of Elaine Whittaker, Tarsh Bates, François-Joseph Lapointe, Günes-Helen Isitan, the collective Interspecifics, Victoria Shennan, Saša Spačal, Sonja Bäumel, Raphael Kim, and Kathy High. When we find a microbe in a particular context, what else do we find with it? Under which conditions does it appear in an artwork and which elements does the artwork compose with to produce aesthetic effects? In this thesis, the story of microbes is recounted from the perspective of microbe-artworks and starts with animalcules, the not yet full-fledged scientific entity which virtually present the forces that would be brought together under the scientific term “microbe”. At first, animalcules––named after Antonie van Leeuwenhoek’s observations, attracted the interest of philosophers such as Leibniz and Spinoza and intensified the curiosity of painters such as Johannes Vermeer towards the microscopic elements of seeing, hereby initiating journeys between scientific and artistic fields. This study proposes to problematize these journeys as an “echology”. Echology is a forgotten term first introduced in the ‘70s by Jean Milet in his thesis about the sociology of Gabriel Tarde. Here, the theories of other philosophers such as Georges Canguilhem, Michel Foucault, Gilles Deleuze, Félix Guattari, Marie-José Mondzain, Gilbert Simondon, and contemporary thinkers such as Thierry Bardini and Brian Massumi are mobilized in order to give this term its full consistency. According to echology, entities consist of patterns of interference and resonance with other things, which arise before their representation. Thus, a given entity is a complex of forces and its apparition the result of certain techniques which put it into relation with other complexes cannot be explained as an effect associated with a single cause but gives itself as an extra-effect or surplus that always leaves a remainder. From an echological perspective, a microbe- 7 artwork operates as an interface that incorporates potentials that make themselves visible through the remainders by virtue of multiple processes cutting across scientific activities and artistic strategies. Each chapter of the thesis is thus a way station in a conceptual journey of experimentation, revealing the dimensions of the artworks under consideration with respect to the analysis of these remainders. During this journey, elements of scientific theories, interviews with artists, field trips to sites of practice of the biological arts, related workshops and summer schools are mobilized as contributory factors of the construction of the problematic fields in each chapter. Microbes considered as objects of beauty hence appear as the result of discursive transformation of biological sciences. From earlier pathogenic conceptions of microbes to contemporary ecological approaches, the iconicity of microbes associated with microbe-images, echology of microbe-sounds, becoming-milieu of certain microbe-artworks, and finally, the question of individuation of thought and the correlated ethics understood as the problem of valuation of microbe-artworks, the becoming-microbe stems from this discursive transformation through the art field

Computer Aided Verification

This open access two-volume set LNCS 10980 and 10981 constitutes the refereed proceedings of the 30th International Conference on Computer Aided Verification, CAV 2018, held in Oxford, UK, in July 2018. The 52 full and 13 tool papers presented together with 3 invited papers and 2 tutorials were carefully reviewed and selected from 215 submissions. The papers cover a wide range of topics and techniques, from algorithmic and logical foundations of verification to practical applications in distributed, networked, cyber-physical, and autonomous systems. They are organized in topical sections on model checking, program analysis using polyhedra, synthesis, learning, runtime verification, hybrid and timed systems, tools, probabilistic systems, static analysis, theory and security, SAT, SMT and decisions procedures, concurrency, and CPS, hardware, industrial applications

Post-apartheid Speculative Fiction and the South African City

This thesis examines the role that speculative fiction plays in imagining the city spaces of the future. Considering the rapid pace of change that has marked post-apartheid South Africa as an impetus for emerging literary traditions within contemporary South African speculative fiction, the argument begins by sketching the connections between South Africa's transition to democracy and the emerging speculative texts which mark this period. Positioning speculative fiction as an umbrella term that incorporates a wide selection of generic traditions, the thesis engages with dystopian impulses, science fiction, magical realism and apocalyptic rhetoric. Through theoretical explication, close reading, and textual comparison, the argument initiates a dialogue between genre theory and urban theory as a means of (re)imagining and (re)mapping the city spaces of post-apartheid Cape Town and Johannesburg

LIPIcs, Volume 248, ISAAC 2022, Complete Volume

LIPIcs, Volume 248, ISAAC 2022, Complete Volum

Programming Languages and Systems

This open access book constitutes the proceedings of the 29th European Symposium on Programming, ESOP 2020, which was planned to take place in Dublin, Ireland, in April 2020, as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020. The actual ETAPS 2020 meeting was postponed due to the Corona pandemic. The papers deal with fundamental issues in the specification, design, analysis, and implementation of programming languages and systems

Abstracts on Radio Direction Finding (1899 - 1995)

The files on this record represent the various databases that originally composed the CD-ROM issue of "Abstracts on Radio Direction Finding" database, which is now part of the Dudley Knox Library's Abstracts and Selected Full Text Documents on Radio Direction Finding (1899 - 1995) Collection. (See Calhoun record https://calhoun.nps.edu/handle/10945/57364 for further information on this collection and the bibliography). Due to issues of technological obsolescence preventing current and future audiences from accessing the bibliography, DKL exported and converted into the three files on this record the various databases contained in the CD-ROM. The contents of these files are: 1) RDFA_CompleteBibliography_xls.zip [RDFA_CompleteBibliography.xls: Metadata for the complete bibliography, in Excel 97-2003 Workbook format; RDFA_Glossary.xls: Glossary of terms, in Excel 97-2003 Workbookformat; RDFA_Biographies.xls: Biographies of leading figures, in Excel 97-2003 Workbook format]; 2) RDFA_CompleteBibliography_csv.zip [RDFA_CompleteBibliography.TXT: Metadata for the complete bibliography, in CSV format; RDFA_Glossary.TXT: Glossary of terms, in CSV format; RDFA_Biographies.TXT: Biographies of leading figures, in CSV format]; 3) RDFA_CompleteBibliography.pdf: A human readable display of the bibliographic data, as a means of double-checking any possible deviations due to conversion