Johnsen Einar Broch, Wimmer Manuel Fundamental Approaches to Software Engineering: 25th International Conference, FASE 2022, Held as Part of the European Joint Conferences on Theory and 9783030994280

Варианты приобретения

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

Добавить в корзину

в Мои желания

Автор: Johnsen Einar Broch, Wimmer Manuel
Название: Fundamental Approaches to Software Engineering: 25th International Conference, FASE 2022, Held as Part of the European Joint Conferences on Theory and
ISBN: 9783030994280
Издательство: Springer
Классификация:

Аппаратное обеспечение коипьютеров

Языки программирования и описания сценариев: общие сведения

Технология разработки программного обеспечения

Математическая теория вычислений

Анализ и синтез систем

Естественный язык и машинный перевод

ISBN-10: 3030994287
Обложка/Формат: Paperback
Страницы: 364
Вес: 0.51 кг.
Дата издания: 29.04.2022
Серия: Lecture notes in computer science
Язык: English
Издание: 1st ed. 2022
Иллюстрации: 96 illustrations, black and white; xiv, 347 p. 96 illus.
Размер: 23.39 x 15.60 x 1.91 cm
Читательская аудитория: Professional & vocational
Подзаголовок: 25th international conference, fase 2022, held as part of the european joint conferences on theory and practice of software, etaps 2022, munich, germany, april 2-7, 2022, proceedings
Ссылка на Издательство: Link
Рейтинг:
Поставляется из: Германии
Описание: FASE Contributions.- Information-flow Interfaces.- A Survey-Based Feature Model for Software Traceability.- Construction of Veri er Combinations Based on Off-the-Shelf Verifiers.- On the Detection of Doped Software by Falsification.- Estimating Worst-case Resource Usage by Resource-usage-aware Fuzzing.- Quantitative Program Sketching using Lifted Static Analysis.- SixthSense: Debugging Convergence Problems in Probabilistic Programs via Program Representation Learning.- Finding Semantic Bugs Fast.- SMC4PEP: Stochastic Model Checking of Product Engineering Processes.- Symbolic Predictive Cache Analysis for Out-of-Order Execution.- PEQtest: Testing Functional Equivalence.- An Institutional Approach to Communicating UML State Machines.- Semantic Code Search in Software Repositories using Neural Machine Translation.- AequeVox: Automated Fairness Testing of Speech Recognition Systems.- SMT-Based Planning Synthesis for Distributed System Reconfigurations.- Semantic Clone Detection via Probabilistic Software Modeling.- QMaxUSE: A Query-based Verification Tool for UML Class Diagrams with OCL Invariants.- Test-Comp Contributions.- Advances in Automatic Software Testing: Test-Comp 2022.- FuSeBMC v4: Smart Seed Generation for Hybrid Fuzzing (Competition Contribution).- VeriFuzz: Good Seeds for Fuzzing (Competition Contribution).
Дополнительное описание: FASE Contributions.- Information-flow Interfaces.- A Survey-Based Feature Model for Software Traceability.- Construction of Veri er Combinations Based on Off-the-Shelf Verifiers.- On the Detection of Doped Software by Falsification.- Estimating Worst-case

Fundamental Approaches to Software Engineering: 25th International Conference, FASE 2022, Held as Part of the European Joint Conferences on Theory and, Johnsen Einar Broch, Wimmer Manuel