Present and Ulterior Software Engineering

doi:10.1007/978-3-319-67425-4

?

Present and Ulterior Software Engineering

Кам : Springer, 2017.

Научный редактор: M. Mazzara, B. Meyer

This book provides an effective overview of the state-of-the art in software engineering, with a projection of the future of the discipline. It includes 13 papers, written by leading researchers in the respective fields, on important topics like model-driven software development, programming language design, microservices, software reliability, model checking and simulation.

The papers are edited and extended versions of the presentations at the PAUSE symposium, which marked the completion of 14 years of work at the Chair of Software Engineering at ETH Zurich. In this inspiring context, some of the greatest minds in the field extensively discussed the past, present and future of software engineering.

It guides readers on a voyage of discovery through the discipline of software engineering today, offering unique food for thought for researchers and professionals, and inspiring future research and development.

Borealis bounded model checker: The coming of age story

Ахин М. Х., Беляев М. А., Ицыксон В. М., , in: Present and Ulterior Software Engineering.: Cham: Springer, 2017. P. 119–138.

Добавлено: 12 ноября 2018 г.

How to Make Visual Modeling More Attractive to Software Developers

Брыксин Т. А., Литвинов Ю. В., Терехов А. Н., , in: Present and Ulterior Software Engineering.: Cham: Springer, 2017. Ch. 9 P. 139–152.

Добавлено: 30 октября 2018 г.

Приоритетные направления: компьютерно-математическое

Язык: английский

DOI

Ключевые слова: Software Engineering

Present and Ulterior Software Engineering

On calibration of remote sensing retrievals of ecosystem respiration (Reco) with tower measurements over,Russian forests and wetlands

Shabanov N., Kuricheva O., Kurbatova J. и др., / Series Working Papers SSRN "Department of Economics Ca’ Foscari University of Venice". 2026.

Добавлено: 21 августа 2026 г.

Three Algorithms for Merging Hierarchical Navigable Small World Graphs

Пономаренко А. А., / Series Computer Science "arxiv.org". 2025.

Добавлено: 30 июля 2026 г.

Growth in noncommutative algebras and entropy in derived categories

Пионтковский Д. И., / Series arXiv "math". 2026.

Добавлено: 23 июня 2026 г.

Multilinear nilalgebras and the Jacobian theorem

Пионтковский Д. И., / Series arXiv "math". 2025.

Добавлено: 23 июня 2026 г.

ML-based Fast Simulation of FARICH Responses

Шипилов Ф. А., Barnyakov A., Ivanov A. и др., / Series Physics "arxiv.org". 2026.

Добавлено: 19 мая 2026 г.

Natural hazard database from Internet publications: text mining with a large language model

Деркачева А. А., Сакиркина М. А., Краев Г. Н. и др., /. 2026.

Добавлено: 28 апреля 2026 г.

Algorithmic overlaps as thermodynamic variables: from local to cluster Monte Carlo dynamics in critical phenomena

Пиле Я. Э., Deng Y., Щур Л. Н., / Series arXiv "math". 2026. No. 2604.10254.

Добавлено: 20 апреля 2026 г.

Using predefined vector systems to speed up neural network multimillion class classification

Gabdullin N., Андросов И. А., / Series Computer Science "arxiv.org". 2026.

Добавлено: 2 апреля 2026 г.

Iterative Ricci-Foster Curvature Flow with GMM-Based Edge Pruning: A Novel Approach to Community Detection

Сорокин К. С., Бекетов М. Е., Онучин А. и др., / arxiv.org. Серия cs.SI "Social and Information Networks ". 2025.

Обнаружение сообществ в сложных сетях — фундаментальная проблема, открытая для новых подходов в различных научных областях. Мы представляем новый метод обнаружения сообществ, основанный на потоке Риччи на графах. Наша техника итеративно обновляет веса ребер (их метрические длины) в соответствии с их (комбинаторной) версией кривизны Риччи Фостера, вычисленной на основе эффективного расстояния сопротивления между узлами. Известно, ...

Добавлено: 15 января 2026 г.

Implementing Transport Coding in OMNeT++ for Message Delay Reduction

Петрованов И. С., Сергеев А. В., / Series Computer Science "arxiv.org". 2025. No. 2512.18332.

Добавлено: 24 декабря 2025 г.

Hessian-based lightweight neural network for brain vessel segmentation on a minimal training dataset

Меньшиков И. А., Бернадотт А. К., Елфимов Н. С., / Series arXie "Statistical mechanics". 2025.

Добавлено: 1 декабря 2025 г.

26th International Conference, DAMDID/RCDL 2024, Nizhny Novgorod, Russia, October 23–25, 2024, Revised Selected Papers. Data Analytics and Management in Data Intensive Domains. (CCIS, volume 2641)

Springer, 2026.

Добавлено: 20 октября 2025 г.

2024 IEEE 18th International Conference on Application of Information and Communication Technologies (AICT 2024), 25 - 27 Serptember 2024, Turin, Italy

Turin: Institute of Electrical and Electronics Engineers, 2024.

Добавлено: 7 ноября 2024 г.

2023 IEEE 17th International Conference on Application of Information and Communication Technologies (AICT)

Baku: IEEE, 2023.

Добавлено: 4 ноября 2023 г.

Data Science and Algorithms in Systems: Proceedings of 6th Computational Methods in Systems and Software 2022, Vol. 2

Cham: Springer, 2023.

Добавлено: 25 января 2023 г.

2022 IEEE 16th International Conference on Application of Information and Communication Technologies (AICT)

Washington: IEEE, 2022.

Добавлено: 29 октября 2022 г.

Data Science and Intelligent Systems: Proceedings of 5th Computational Methods in Systems and Software 2021, Vol. 2

Springer, 2021.

Добавлено: 26 апреля 2022 г.

Information Systems and Design. Second International Conference, ICID 2021, Virtual Event, September 6–7, 2021, Revised Selected Papers

Springer, 2022.

Добавлено: 16 февраля 2022 г.

The effect of 3D visualization on mainframe application maintenance: A controlled experiment

Махендран А., Satish C. J., Journal of King Saud University - Computer and Information Sciences 2019 Vol. 31 No. 3 P. 403–414

Добавлено: 24 ноября 2021 г.

1st conference on Software Engineering and Information Management (SEIM-2016)

СПб.: [б.и.], 2016.

Конференция ориентирована на исследования в области программной инженерии и методов организации информации. Цель конференции – помочь молодым исследователям узнать о работе коллег, обменяться опытом и попрактиковаться в представлении результатов своей работы на международных конференциях. Мы пригласили участников со статьями и докладами для создания форума молодых исследователей, разработчиков и пользователей для поиска новых идей, обмена методами, ...

Добавлено: 4 ноября 2021 г.

2021 IEEE 15th International Conference on Application of Information and Communication Technologies (AICT)

IEEE, 2021.

Добавлено: 2 ноября 2021 г.

Software Quality: Future Perspectives on Software Engineering Quality: 13th International Conference, SWQD 2021, Vienna, Austria, January 19–21, 2021, Proceedings

Springer, 2021.

Добавлено: 23 сентября 2021 г.

ESEC/FSE 2021: Proceedings of the 29th ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering

Association for Computing Machinery (ACM), 2021.

Добавлено: 31 августа 2021 г.

Actual Problems of Systems and Software Engineering APSSE 2019 (Invited Papers)

Los Alamitos, Washington, Tokyo: IEEE Computer Society, 2019.

The volume consists of invited papers of the Sixth International Conference “Actual Problems of System and Software Engineering” (APSSE-2019). The Conference was held at the National Research University “Higher School of Economics” from November 12 to November 14, 2019 in Moscow, Russia. The conference is traditional meeting of specialists in the field of system and software ...

Добавлено: 12 декабря 2019 г.