Search results: Found 15

Listing 1 - 10 of 15 << page
of 2
>>
Sort by
Finite Difference Computing with Exponential Decay Models

Author:
Book Series: Lecture Notes in Computational Science and Engineering ISSN: 1439-7358 ISBN: 9783319294384 9783319294391 Year: Volume: 110 Pages: 200 Language: English
Publisher: Springer
Subject: Computer Science --- Mathematics
Added to DOAB on : 2017-01-24 17:39:00
License:

Loading...
Export citation

Choose an application

Abstract

This text provides a very simple, initial introduction to the complete scientific computing pipeline: models, discretization, algorithms, programming, verification, and visualization. The pedagogical strategy is to use one case study – an ordinary differential equation describing exponential decay processes – to illustrate fundamental concepts in mathematics and computer science. The book is easy to read and only requires a command of one-variable calculus and some very basic knowledge about computer programming. Contrary to similar texts on numerical methods and programming, this text has a much stronger focus on implementation and teaches testing and software engineering in particular.

Model-Driven Development and Operation of Multi-Cloud Applications: The MODAClouds Approach

Authors: --- --- ---
Book Series: SpringerBriefs in Applied Sciences and Technology ISSN: 2191-530X ISBN: 9783319460307 9783319460314 Year: Pages: 149 Language: English
Publisher: Springer
Subject: Chemical Engineering --- Media and communication --- Geology --- Earth Sciences --- Business and Management --- Computer Science --- Electrical and Nuclear Engineering
Added to DOAB on : 2017-03-09 11:42:39
License:

Loading...
Export citation

Choose an application

Abstract

This book summarizes work being undertaken within the collaborative MODAClouds research project, which aims to facilitate interoperability between heterogeneous Cloud platforms and remove the constraints of deployment, portability, and reversibility for end users of Cloud services. Experts involved in the project provide a clear overview of the MODAClouds approach and explain how it operates in a variety of applications.While the wide spectrum of available Clouds constitutes a vibrant technical environment, many early-stage issues pose specific challenges from a software engineering perspective. MODAClouds will provide methods, a decision support system, and an open source IDE and run-time environment for the high-level design, early prototyping, semiautomatic code generation, and automatic deployment of applications on multiple Clouds. It will free developers from the need to commit to a fixed Cloud technology stack during software design and offer benefits in terms of cost savings, portability of applications and data between Clouds, reversibility (moving applications and data from Cloud to non-Cloud environments), risk management, quality assurance, and flexibility in the development process.

The Essence of Software Engineering

Authors: ---
ISBN: 9783319738963 / 9783319738970 Year: Pages: 236 Language: English
Publisher: Springer 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.

Agile Processes in Software Engineering and Extreme Programming: 17th International Conference, XP 2016, Edinburgh, UK, May 24-27, 2016, Proceedings

Authors: ---
Book Series: Lecture Notes in Business Information Processing ISSN: 1865-1348 ISBN: 9783319335148 9783319335155 Year: Volume: 251 Pages: 334 Language: English
Publisher: Springer
Subject: Electrical and Nuclear Engineering --- Business and Management --- General and Civil Engineering
Added to DOAB on : 2017-03-13 11:56:43
License:

Loading...
Export citation

Choose an application

Abstract

This book contains the refereed proceedings of the 17th International Conference on Agile Software Development, XP 2016, held in Edinburgh, UK, in May 2016.While agile development has already become mainstream in industry, this field is still constantly evolving and continues to spur an enormous interest both in industry and academia. To this end, the XP conference attracts a large number of software practitioners and researchers, providing a rare opportunity for interaction between the two communities.The 14 full papers accepted for XP 2016 were selected from 42 submissions. Additionally, 11 experience reports (from 25 submissions) 5 empirical studies (out of 12 submitted) and 5 doctoral papers (from 6 papers submitted) were selected, and in each case the authors were shepherded by an experienced researcher. Generally, all of the submitted papers went through a rigorous peer-review process.

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 Language: English
Publisher: Springer 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.

S-BPM in the Wild: Practical Value Creation

Authors: --- ---
ISBN: 9783319175416 9783319175423 Year: Pages: 283 Language: English
Publisher: Springer
Subject: Computer Science --- Business and Management --- Manufactures --- Media and communication --- Electrical and Nuclear Engineering --- Biotechnology --- Transportation --- General and Civil Engineering --- Materials --- Pharmacy and materia medica
Added to DOAB on : 2016-04-12 17:29:40
License:

Loading...
Export citation

Choose an application

Abstract

This is the first book to present field studies on the application of subject-oriented business process management (S-BPM). Each case presents a specific story and focuses on an essential modeling or implementation issue, and most end with implications or suggestions for further studies. Significant variables and success factors are identified that were discovered during the respective study and lead to suggesting S-BPM novelties. For each case, the authors explain step-by-step how the story develops, and provide readers guidance by detailing the respective rationale.The studies covered are clustered according to three main S-BPM themes: Part I “Business Operation Support” documents approaches to the practical development of S-BPM solutions in various application domains and organizational settings, while Part II “Consultancy and Education Support” highlights cases that can help to train readers in S-BPM modeling and knowledge acquisition for S-BPM lifecycle iterations. It also refers to architecting S-BPM solutions for application cases based on hands-on experience. Part III “Technical Execution Support” focuses on concepts for utilizing specific theories and technologies to execute S-BPM models. It also addresses how to create reference models for certain settings in the field. Lastly, the appendix covers all relevant aspects needed to grasp S-BPM modeling and apply it based on fundamental examples. Its format reconciles semantic precision with syntactic rigor.>Addressing the needs of developers, educators and practitioners, this book will help companies to learn from the experiences of first-time users and to develop systems that fit their business processes, explaining the latest key methodological and technological S-BPM developments in the fields of training, research and application.

Cyber-Physical Systems of Systems: Foundations – A Conceptual Model and Some Derivations: The AMADEOS Legacy

Authors: --- ---
Book Series: Programming and Software Engineering ISSN: 0302-9743 ISBN: 9783319475899 9783319475905 Year: Volume: 10099 Pages: 257 Language: English
Publisher: Springer
Subject: General and Civil Engineering --- Electrical and Nuclear Engineering --- Computer Science --- Media and communication
Added to DOAB on : 2017-03-08 15:25:05
License:

Loading...
Export citation

Choose an application

Abstract

Technical Systems-of-Systems (SoS) – in the form of networked, independent constituent computing systems temporarily collaborating to achieve a well-defined objective – form the backbone of most of today’s infrastructure. The energy grid, most transportation systems, the global banking industry, the water-supply system, the military equipment, many embedded systems, and a great number more, strongly depend on systems-of-systems. The correct operation and continuous availability of these underlying systems-of-systems are fundamental for the functioning of our modern society.The 8 papers presented in this book document the main insights on Cyber-Physical System of Systems (CPSoSs) that were gained during the work in the FP7-610535 European Research Project AMADEOS (acronym for Architecture for Multi-criticality Agile Dependable Evolutionary Open System-of-Systems). It is the objective of this book to present, in a single consistent body, the foundational concepts and their relationships. These form a conceptual basis for the description and understanding of SoSs and go deeper in what we consider the characterizing and distinguishing elements of SoSs: time, emergence, evolution and dynamicity.

Fundamental Approaches to Software Engineering: 21st International Conference, FASE 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings

Authors: ---
Book Series: Theoretical Computer Science and General Issues ISBN: 9783319893624 / 9783319893631 Year: Volume: 10802 Pages: 357 Language: English
Publisher: Springer Grant: ETAPS e.V.
Subject: Computer Science
Added to DOAB on : 2018-06-28 17:40:03
License:

Loading...
Export citation

Choose an application

Abstract

This book constitutes the proceedings of the 21st International Conference on Fundamental Approaches to Software Engineering, FASE 2018, which took place in Thessaloniki, Greece in April 2018, held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018.The 19 papers presented in this volume were carefully reviewed and selected from 63 submissions. The papers are organized in topical sections named: model-based software development; distributed program and system analysis; software design and verification; specification and program testing; family-based software development.

Computer and Information Sciences: 31st International Symposium, ISCIS 2016, Kraków, Poland, October 27–28, 2016, Proceedings

Authors: --- --- ---
Book Series: Communications in Computer and Information Science ISSN: 1865-0929 ISBN: 9783319472164 9783319472171 Year: Volume: 659 Pages: 278 Language: English
Publisher: Springer
Subject: Business and Management --- Transportation --- Manufactures --- Biotechnology --- Therapeutics --- Electrical and Nuclear Engineering
Added to DOAB on : 2017-03-08 12:46:55
License:

Loading...
Export citation

Choose an application

Abstract

This book constitutes the refereed proceedings of the 31st International Symposium on Computer and Information Sciences, ISCIS 2016, held in Krakow, Poland, in October 2016.The 29 revised full papers presented were carefully reviewed and selected from 65 submissions. The papers are organized in topical sections on smart algorithms; data classification and processing; stochastic modelling; performance evaluation; queuing systems; wireless networks and security; image processing and computer vision.

Foundations of Software Science and Computation Structures: 21st International Conference, FOSSACS 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14–20, 2018. Proceedings

Authors: ---
Book Series: Theoretical Computer Science and General Issues ISSN: 0302-9743 ISBN: 9783319893655 / 9783319893662 Year: Pages: 583 Language: English
Publisher: Springer Grant: ETAPS e.V.
Subject: Computer Science
Added to DOAB on : 2018-06-26 16:52:58
License:

Loading...
Export citation

Choose an application

Abstract

This book constitutes the proceedings of the 21st International Conference on Foundations of Software Science and Computational Structures, FOSSACS 2018, which took place in Thessaloniki, Greece, in April 2018, held as part of the European Joint Conference on Theory and Practice of Software, ETAPS 2018.The 31 papers presented in this volume were carefully reviewed and selected from 103 submissions. The papers are organized in topical sections named: semantics; linearity; concurrency; lambda-calculi and types; category theory and quantum control; quantitative models; logics and equational theories; and graphs and automata.

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

Publisher

Springer (15)


License

CC by (11)

CC by-nc (4)


Language

english (15)


Year
From To Submit

2018 (8)

2017 (1)

2016 (4)

2015 (1)

2013 (1)