Search results: Found 17

Listing 1 - 10 of 17 << page
of 2
>>
Sort by
The Essence of Software Engineering

Authors: ---
ISBN: 9783319738963 9783319738970 Year: Pages: 236 DOI: https://doi.org/10.1007/978-3-319-73897-0 Language: English
Publisher: Springer Nature Grant: adesso AG
Subject: Computer Science
Added to DOAB on : 2018-07-19 14:34:48
License:

Loading...
Export citation

Choose an application

Abstract

This open access book includes contributions by leading researchers and industry thought leaders on various topics related to the essence of software engineering and their application in industrial projects. It offers a broad overview of research findings dealing with current practical software engineering issues and also pointers to potential future developments.Celebrating the 20th anniversary of adesso AG, adesso gathered some of the pioneers of software engineering including Manfred Broy, Ivar Jacobson and Carlo Ghezzi at a special symposium, where they presented their thoughts about latest software engineering research and which are part of this book. This way it offers readers a concise overview of the essence of software engineering, providing valuable insights into the latest methodological research findings and adesso’s experience applying these results in real-world projects.

The Huawei and Snowden Questions: Can Electronic Equipment from Untrusted Vendors be Verified? Can an Untrusted Vendor Build Trust into Electronic Equipment?

Author:
Book Series: Simula SpringerBriefs on Computing ISBN: 9783319749495 9783319749501 Year: Volume: 4 DOI: https://doi.org/10.1007/978-3-319-74950-1 Language: English
Publisher: Springer Nature Grant: Simula Research Laboratory
Subject: Computer Science
Added to DOAB on : 2018-07-20 15:43:36
License:

Loading...
Export citation

Choose an application

Abstract

This book answers two central questions: firstly, is it at all possible to verify electronic equipment procured from untrusted vendors? Secondly, can I build trust into my products in such a way that I support verification by untrusting customers? In separate chapters the book takes readers through the state of the art in fields of computer science that can shed light on these questions. In a concluding chapter it discusses realistic ways forward. In discussions on cyber security, there is a tacit assumption that the manufacturer of equipment will collaborate with the user of the equipment to stop third-party wrongdoers. The Snowden files and recent deliberations on the use of Chinese equipment in the critical infrastructures of western countries have changed this. The discourse in both cases revolves around what malevolent manufacturers can do to harm their own customers, and the importance of the matter is on par with questions of national security.This book is of great interest to ICT and security professionals who need a clear understanding of the two questions posed in the subtitle, and to decision-makers in industry, national bodies and nation states.

Agile Processes in Software Engineering and Extreme Programming: 19th International Conference, XP 2018, Porto, Portugal, May 21–25, 2018, Proceedings

Authors: --- ---
Book Series: Lecture Notes in Business Information Processing ISSN: 1865-1348 ISBN: 9783319916019 9783319916026 Year: Volume: 314 Pages: 309 DOI: https://doi.org/10.1007/978-3-319-91602-6 Language: English
Publisher: Springer Nature Grant: Agile Alliance
Subject: Computer Science
Added to DOAB on : 2018-06-21 13:37:42
License:

Loading...
Export citation

Choose an application

Abstract

This open access book constitutes the proceedings of the 19th International Conference on Agile Software Development, XP 2018, held in Porto, Portugal, in May 2018.XP is the premier agile software development conference combining research and practice, and XP 2018 provided a playful and informal environment to learn and trigger discussions around its main theme – make, inspect, adapt.The 21 papers presented in this volume were carefully reviewed and selected from 62 submissions. They were organized in topical sections named: agile requirements; agile testing; agile transformation; scaling agile; human-centric agile; and continuous experimentation.

Control Theory Tutorial: Basic Concepts Illustrated by Software Examples

Author:
Book Series: SpringerBriefs in Applied Sciences and Technology ISSN: 2191-530X ISBN: 9783319917061 9783319917078 Year: Pages: 111 DOI: https://doi.org/10.1007/978-3-319-91707-8 Language: English
Publisher: Springer Nature Grant: US National Science Foundation (NSF); Donald Bren Foundation; University of California
Subject: Computer Science
Added to DOAB on : 2018-06-22 16:13:03
License:

Loading...
Export citation

Choose an application

Abstract

This open access Brief introduces the basic principles of control theory in a concise self-study guide. It complements the classic texts by emphasizing the simple conceptual unity of the subject. A novice can quickly see how and why the different parts fit together. The concepts build slowly and naturally one after another, until the reader soon has a view of the whole. Each concept is illustrated by detailed examples and graphics. The full software code for each example is available, providing the basis for experimenting with various assumptions, learning how to write programs for control analysis, and setting the stage for future research projects. The topics focus on robustness, design trade-offs, and optimality. Most of the book develops classical linear theory. The last part of the book considers robustness with respect to nonlinearity and explicitly nonlinear extensions, as well as advanced topics such as adaptive control and model predictive control. New students, as well as scientists from other backgrounds who want a concise and easy-to-grasp coverage of control theory, will benefit from the emphasis on concepts and broad understanding of the various approaches.

Technologies for Development: From Innovation to Social Impact

Authors: --- ---
ISBN: 9783319910673 9783319910680 Year: Pages: 225 DOI: https://doi.org/10.1007/978-3-319-91068-0 Language: English
Publisher: Springer Nature Grant: Schweizerischer Nationalfonds zur Förderung der wissenschaftlichen Forschung (SNF)
Subject: Environmental Technology
Added to DOAB on : 2018-07-20 16:20:27
License:

Loading...
Export citation

Choose an application

Abstract

This open access book presents 18 case studies that explore current scientific and technological efforts to address global development issues, such as poverty, from a holistic and interdisciplinary point of view, putting actual impacts at the centre of its analysis. It illustrates the use of technologies for development in various fields of research, such as humanitarian action, medical and information and communication technology, disaster risk-reduction technologies, habitat and sustainable access to energy. The authors discuss how innovative technologies, such as unmanned aerial vehicles for disaster risk reduction, crowdsourcing humanitarian data, online education and ICT-based medical technologies can have significant social impact. The book brings together the best papers of the 2016 International Conference on Technologies for Development at EPFL, Switzerland. The book explores how the gap between innovation in the global South and actual social impact can be bridged. It fosters exchange between engineers, other scientists, practitioners and policy makers active at the interface of innovation and technology and human, social, and economic development.

IMPROVE - Innovative Modelling Approaches for Production Systems to Raise Validatable Efficiency

Authors: ---
Book Series: Technologien für die intelligente Automation ISBN: 9783662578056 Year: Pages: 129 DOI: 10.1007/978-3-662-57805-6 Language: English
Publisher: Springer Nature
Subject: Computer Science --- Agriculture (General)
Added to DOAB on : 2020-01-29 11:21:06
License:

Loading...
Export citation

Choose an application

Abstract

This open access work presents selected results from the European research and innovation project IMPROVE which yielded novel data-based solutions to enhance machine reliability and efficiency in the fields of simulation and optimization, condition monitoring, alarm management, and quality prediction.

Computer Aided Verification

Authors: ---
Book Series: Lecture Notes in Computer Science ISBN: 9783319961453 Year: Pages: 703 DOI: 10.1007/978-3-319-96145-3 Language: English
Publisher: Springer Nature
Subject: Computer Science
Added to DOAB on : 2020-01-29 11:21:09
License:

Loading...
Export citation

Choose an application

Abstract

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.

Computer Aided Verification

Authors: ---
Book Series: Lecture Notes in Computer Science ISBN: 9783319961422 Year: Pages: 545 DOI: 10.1007/978-3-319-96142-2 Language: English
Publisher: Springer Nature
Subject: Computer Science
Added to DOAB on : 2020-01-29 11:21:09
License:

Loading...
Export citation

Choose an application

Abstract

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.

Safety Cultures, Safety Models

Authors: --- --- ---
Book Series: SpringerBriefs in Applied Sciences and Technology ISBN: 9783319951294 Year: Pages: 166 DOI: 10.1007/978-3-319-95129-4 Language: English
Publisher: Springer Nature
Subject: Agriculture (General) --- Economics --- Psychology --- Sociology
Added to DOAB on : 2020-02-04 11:21:12
License:

Loading...
Export citation

Choose an application

Abstract

The objective of this book is to help at-risk organizations to decipher the “safety cloud”, and to position themselves in terms of operational decisions and improvement strategies in safety, considering the path already travelled, their context, objectives and constraints. What link can be established between safety culture and safety models in order to increase safety within companies carrying out dangerous activities? First, while the term “safety culture” is widely shared among the academic and industrial world, it leads to various interpretations and therefore different positioning when it comes to assess, improve or change it. Many safety theories, concepts, and models coexist today, being more or less appealing and/or directly useful to the industry. How, and based on which criteria, to choose from the available options? These are some of the questions addressed in this book, which benefits from the expertise of its worldwide famous authors in several industrial sectors.

Risk Communication for the Future

Authors: ---
Book Series: SpringerBriefs in Applied Sciences and Technology ISBN: 9783319740980 Year: Pages: 175 DOI: 10.1007/978-3-319-74098-0 Language: English
Publisher: Springer Nature
Subject: Agriculture (General) --- Business and Management --- Information theory
Added to DOAB on : 2020-02-04 11:21:13
License:

Loading...
Export citation

Choose an application

Abstract

The conventional approach to risk communication, based on a centralized and controlled model, has led to blatant failures in the management of recent safety related events. In parallel, several cases have proved that actors not thought of as risk governance or safety management contributors may play a positive role regarding safety. Building on these two observations and bridging the gap between risk communication and safety practices leads to a new, more societal perspective on risk communication, that allows for smart risk governance and safety management. This book is Open Access under a CC-BY licence.

Listing 1 - 10 of 17 << page
of 2
>>
Sort by
Narrow your search

Publisher

Springer Nature (17)


License

CC by (17)


Language

english (17)


Year
From To Submit

2018 (17)