Контакты/Проезд  Доставка и Оплата Помощь/Возврат
История
  +7 707 857-29-98
  +7(7172) 65-23-70
  10:00-18:00 пн-пт
  shop@logobook.kz
   
    Поиск книг                        
Найти
  Зарубежные издательства Российские издательства  
Авторы | Каталог книг | Издательства | Новинки | Учебная литература | Акции | Бестселлеры | |
 

Ernst Denert Award for Software Engineering 2020: Practice Meets Foundations, Felderer Michael, Hasselbring Wilhelm, Koziolek Heiko


Варианты приобретения
Цена: 37260.00T
Кол-во:
Наличие: Поставка под заказ.  Есть в наличии на складе поставщика.
Склад Америка: 240 шт.  
При оформлении заказа до: 2025-07-28
Ориентировочная дата поставки: Август-начало Сентября
При условии наличия книги у поставщика.

Добавить в корзину
в Мои желания

Автор: Felderer Michael, Hasselbring Wilhelm, Koziolek Heiko
Название:  Ernst Denert Award for Software Engineering 2020: Practice Meets Foundations
ISBN: 9783030831271
Издательство: Springer
Классификация:


ISBN-10: 3030831272
Обложка/Формат: Hardcover
Страницы: 240
Вес: 0.59 кг.
Дата издания: 09.11.2021
Язык: English
Издание: 1st ed. 2022
Иллюстрации: 66 illustrations, color; 23 illustrations, black and white; vi, 293 p. 89 illus., 66 illus. in color.; 66 illustrations, color; 23 illustrations, blac
Размер: 23.39 x 15.60 x 1.75 cm
Читательская аудитория: Professional & vocational
Подзаголовок: Practice meets foundations
Ссылка на Издательство: Link
Рейтинг:
Поставляется из: Германии
Описание: 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 Software Engineering Award 2020.- Some Patterns of Convincing Software Engineering Research, or: How to Win the Ernst Denert Software Engineering Award 2020.- What You See Is What You Get: Practical Effect Handlers in Capability-Passing Style


Ernst Denert Award for Software Engineering 2019: Practice Meets Foundations

Автор: Felderer Michael, Hasselbring Wilhelm, Koziolek Heiko
Название: Ernst Denert Award for Software Engineering 2019: Practice Meets Foundations
ISBN: 3030586197 ISBN-13(EAN): 9783030586195
Издательство: Springer
Рейтинг:
Цена: 46570.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание:

Ernst Denert Software Engineering Awards 2019.- Software Engineering.- Applications of Synchronized Pushdown Systems.- Software Developers' Work Habits and Expertise: Empirical Studies on Sketching, Code Plagiarism, and Expertise Development.- Applied Artifact-Based Analysis for Architecture Consistency Checking.- Same but Different: Consistently Developing and Evolving Software Architecture Models and Their Implementation.- Actionable Program Analyses for Improving Software Performance.


Ernst Denert Award for Software Engineering 2019: Practice Meets Foundations

Автор: Felderer Michael, Hasselbring Wilhelm, Koziolek Heiko
Название: Ernst Denert Award for Software Engineering 2019: Practice Meets Foundations
ISBN: 3030586162 ISBN-13(EAN): 9783030586164
Издательство: Springer
Цена: 46570.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание:

Ernst Denert Software Engineering Awards 2019.- Software Engineering.- Applications of Synchronized Pushdown Systems.- Software Developers' Work Habits and Expertise: Empirical Studies on Sketching, Code Plagiarism, and Expertise Development.- Applied Artifact-Based Analysis for Architecture Consistency Checking.- Same but Different: Consistently Developing and Evolving Software Architecture Models and Their Implementation.- Actionable Program Analyses for Improving Software Performance.


Foundations of Software Science and Computational Structures

Автор: Luca de Alfaro
Название: Foundations of Software Science and Computational Structures
ISBN: 3642005950 ISBN-13(EAN): 9783642005954
Издательство: Springer
Рейтинг:
Цена: 83850.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Contains topics that include semantics, logics and automata, algebras, automata theory, processes and models, security, probabilistic and quantitative models, synthesis, and program analysis and semantics.

Mathematical Foundations of Software Development. Proceedings of the International Joint Conference on Theory and Practice of Software Development (TAPSOFT), Berlin, March 25-29, 1985

Автор: Hartmut Ehrig; Christiane Floyd; Maurice Nivat; Ja
Название: Mathematical Foundations of Software Development. Proceedings of the International Joint Conference on Theory and Practice of Software Development (TAPSOFT), Berlin, March 25-29, 1985
ISBN: 3540151982 ISBN-13(EAN): 9783540151982
Издательство: Springer
Рейтинг:
Цена: 37260.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.

Software Foundations for Data Interoperability and Large Scale Graph Data Analytics: 4th International Workshop, Sfdi 2020, and 2nd International Work

Автор: Qin Lu, Zhang Wenjie, Zhang Ying
Название: Software Foundations for Data Interoperability and Large Scale Graph Data Analytics: 4th International Workshop, Sfdi 2020, and 2nd International Work
ISBN: 3030611329 ISBN-13(EAN): 9783030611323
Издательство: Springer
Цена: 46570.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This book constitutes refereed proceedings of the 4th International Workshop on Software Foundations for Data Interoperability, SFDI 2020, and 2nd International Workshop on Large Scale Graph Data Analytics, LSGDA 2020, held in Conjunction with VLDB 2020, in September 2020.

Foundations and Practice of Security

Автор: Nur Zincir-Heywood; Guillaume Bonfante; Mourad Deb
Название: Foundations and Practice of Security
ISBN: 3030184188 ISBN-13(EAN): 9783030184186
Издательство: Springer
Рейтинг:
Цена: 61480.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This book constitutes the revised selected papers of the 11th International Symposium on Foundations and Practice of Security, FPS 2018, held in Montreal, QC, Canada, in March 2018. cyber physical security and hardware security;

Software technologies : applications and foundations : STAF 2018

Автор: Manuel Mazzara, Iulian Ober
Название: Software technologies : applications and foundations : STAF 2018
ISBN: 3030047709 ISBN-13(EAN): 9783030047702
Издательство: Springer
Рейтинг:
Цена: 46570.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание:

Formal Co-Simulation of Cyber-Physical Systems (CoSim-CPS).- From Data to Models and Back (DataMod).- Formal Methods for Interactive Systems (FMIS).- Foundations of Coordination Languages and Self-adaptative Systems (FOCLASA).- Graph Computation Models (GCM).- Model-Driven Engineering for Design-Runtime Interaction in Complex Systems (MDE@DeRun).- Microservices: Science and Engineering (MSE).- Security for and by Model-Driven Engineering (MDE).


Foundations of Software Technology and Theoretical Computer Science

Автор: P.S. Thiagarajan
Название: Foundations of Software Technology and Theoretical Computer Science
ISBN: 3540587152 ISBN-13(EAN): 9783540587156
Издательство: Springer
Рейтинг:
Цена: 83850.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This volume contains the proceedings of the 14th International Conference on the Foundations of Software Technology and Theoretical Computer Science, held in Madras, India in December 1994. Contributors emphasize algorithms and complexity in addition to more theoretical concepts.

Foundations of Software Science and Computation Structures

Автор: Maurice Nivat
Название: Foundations of Software Science and Computation Structures
ISBN: 3540643001 ISBN-13(EAN): 9783540643005
Издательство: Springer
Рейтинг:
Цена: 65210.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: The 19 papers presented in this volume were selected from a total of 44 submissions. Among the topics covered are: formal specification; automata theory; term rewriting and rewriting systems; process algebras; formal language theory; type theory; event structures; and iteration theory.

Foundations of Software Technology and Theoretical Computer Science

Автор: Rudrapatna Shyamasundar
Название: Foundations of Software Technology and Theoretical Computer Science
ISBN: 3540562877 ISBN-13(EAN): 9783540562870
Издательство: Springer
Рейтинг:
Цена: 81050.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: The proceedings of a meeting held at the Tata Institute of Fundamental Research, Bombay, in June 1992. Selected papers are included in this volume, along with invited essays on developments in algorithms for the maximum-flow problem and system specification in temporal logic.

Foundations of Empirical Software Engineering

Автор: Barry Boehm; Hans Dieter Rombach; Marvin V. Zelkow
Название: Foundations of Empirical Software Engineering
ISBN: 3540245472 ISBN-13(EAN): 9783540245476
Издательство: Springer
Рейтинг:
Цена: 144410.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Captures the scientific contributions of Victor R Basili, who has shaped the field of empirical software engineering. He was the first to claim that software engineering needed to follow the model of other physical sciences and develop an experimental paradigm. This book presents a collection of papers on software engineering.

Foundations of Computer Software: Future Trends and Techniques for Development

Автор: Christine Choppy; Oleg Sokolsky
Название: Foundations of Computer Software: Future Trends and Techniques for Development
ISBN: 3642125654 ISBN-13(EAN): 9783642125652
Издательство: Springer
Рейтинг:
Цена: 65210.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Presents the thoroughly refereed and revised proceedings of the 15th Monterey Workshop, held in Budapest, Hungary, September 24-26, 2008. The theme of the workshop was Foundations of Computer Software, Future Trends and Techniques for Development.


Казахстан, 010000 г. Астана, проспект Туран 43/5, НП2 (офис 2)
ТОО "Логобук" Тел:+7 707 857-29-98 ,+7(7172) 65-23-70 www.logobook.kz
Kaspi QR
   В Контакте     В Контакте Мед  Мобильная версия