Search results:
Found 4
| Listing 1 - 4 of 4 |
Sort by
|
Book Series: The Karlsruhe Series on Software Design and Quality / Ed. by Prof. Dr. Ralf Reussner ISSN: 18670067 ISBN: 9783731508526 Year: 2018 Volume: 28 Pages: XXV, 342 p. DOI: 10.5445/KSP/1000086097 Language: GERMAN
Publisher: KIT Scientific Publishing
Subject: Computer Science
Added to DOAB on : 2019-07-28 18:37:01
License:
Abstract
|
Keywords
|
Free access
|
Buy the book
|
Export citation
|
Loading...Choose an application
- Reference Manager
- EndNote
- RefWorks (Direct export to RefWorks)
This work presents novel concepts for efficient decision support in reconfiguring software-intensive technical systems with limited maintenance access. In contrast to purely redundancy-oriented approaches, the proposed methodology is based on the predictive pre-calculation of adequate configuration alternatives in the relevant design space. The knowledge about configuration relationships is manifested early and used for the autonomic cost-efficient assessment of configuration alternatives.
Book Series: Theoretical Computer Science and General Issues ISBN: 9783319893624 9783319893631 Year: 2018 Volume: 10802 Pages: 357 DOI: https://doi.org/10.1007/978-3-319-89363-1 Language: English
Publisher: Springer Nature Grant: ETAPS e.V.
Subject: Computer Science
Added to DOAB on : 2018-06-28 17:40:03
License:
Abstract
|
Keywords
|
Free access
|
Buy the book
|
Export citation
|
Loading...Choose an application
- Reference Manager
- EndNote
- RefWorks (Direct export to RefWorks)
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 software maintenance --- computer software selection and evaluation --- formal logic --- formal methods --- formal specification --- programming languages --- semantics --- software engineering --- specifications --- verification
Book Series: The Karlsruhe Series on Software Design and Quality / Ed. by Prof. Dr. Ralf Reussner ISSN: 18670067 ISBN: 9783731503460 Year: 2015 Volume: 17 Pages: XX, 360 p. DOI: 10.5445/KSP/1000045910 Language: ENGLISH
Publisher: KIT Scientific Publishing
Subject: Computer Science
Added to DOAB on : 2019-07-30 20:02:02
License:
Abstract
|
Keywords
|
Free access
|
Buy the book
|
Export citation
|
Loading...Choose an application
- Reference Manager
- EndNote
- RefWorks (Direct export to RefWorks)
Model transformations, together with models, form the principal artifacts in model-driven software development. Industrial practitioners report that transformations on larger models quickly get sufficiently large and complex themselves. To alleviate entailed maintenance efforts, this thesis presents a modularity concept with explicit interfaces, complemented by software visualization and clustering techniques. All three approaches are tailored to the specific needs of the transformation domain.
Book Series: Lecture Notes in Business Information Processing ISBN: 9783030588588 Year: 2020 Pages: 318 DOI: 10.1007/978-3-030-58858-8 Language: English
Publisher: Springer Nature
Subject: Computer Science --- Business and Management
Added to DOAB on : 2020-10-15 00:06:32
License:
Abstract
|
Keywords
|
Free access
|
Buy the book
|
Export citation
|
Loading...Choose an application
- Reference Manager
- EndNote
- RefWorks (Direct export to RefWorks)
This open access book constitutes the 6 research workshops, the Agile Education and Training Track, the Doctoral Symposium, as well as a panel presented at XP 2020, the 21st International Conference on Agile Software Development, which was held during June 8-12, 2020. The conference was planned to take place at the IT University of Copenhagen, Denmark. Due to the COVID 19 pandemic, the conference was held online. In 2020, the following six workshops took place: Third International Workshop on Software-Intensive Business Eighth International Workshop on Large-Scale Agile Development Second European Symposium on Serverless Computing and Applications Second International Workshop on Agile Transformation First International Workshop on Agility with Microservices Programming Third International Workshop on Autonomous Agile Teams XP is the premier agile software development conference combining research and practice. It is a unique forum where agile researchers, practitioners, thought leaders, coaches, and trainers get together to present and discuss their most recent innovations, research results, experiences, concerns, challenges, and trends. XP conferences provide an informal environment to learn and trigger discussions and welcome both people new to agile and seasoned agile practitioners. The 31 papers presented in this volume were carefully reviewed and selected from overall 79 submissions. In addition to the 26 workshop papers, this volume also includes 2 papers from the Agile Education and Training Track and 3 papers from the Doctoral Symposium. Furthermore, the book contains a summary of a panel discussion with the topic “Covid-19’s Influence on the Future of Agile”.
Management of Computing and Information Systems --- IT in Business --- Software Engineering --- IT Operations --- XP --- Agile software development --- Extreme programming --- Lean development --- Software measurement --- open access --- Software maintenance --- Software testing --- Empirical software engineering --- Software management --- Software development techniques --- Business agility --- Information architecture --- Maintenance & repairs --- Business mathematics & systems --- Business applications
| Listing 1 - 4 of 4 |
Sort by
|
