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.

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 г.

Borealis bounded model checker: The coming of age story

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

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

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

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

DOI

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

Present and Ulterior Software Engineering

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 г.

Ising models on the hydrogen peroxide and other lattices

Qin X., Deng Y., Щур Л. Н. и др., / Series arXiv "math". 2026. No. 2603.02962.

Добавлено: 20 апреля 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 г.

Determining the boundary of dynamical chaos in the generalized Chirikov map via machine learning

Чернышов Д. П., Сатанин А. М., Щур Л. Н., / Series arXiv "math". 2025.

Добавлено: 21 ноября 2025 г.

Эффективный алгоритм торговли на фондовом рынке: ретроспективный анализ, основанный на данных по S&P-500.

Рубчинский А. А., Чубарова Д. А., / Series WP7 "Математические методы анализа решений в экономике, бизнесе и политике". 2025. No. WP7/2025/01.

Добавлено: 9 ноября 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 г.

Diffusion on language model embeddings for protein sequence generation

Мещанинов В. П., Strashnov, P., Shevtsov A. и др., / Cornell University. Серия CoRR, arXiv:2403.03726 "Computing Research Repository,". 2025.

Дизайн белков требует глубокого понимания присущей сложности «белкового вселенной». Хотя многие работы ориентируются на условную генерацию или сосредоточены на отдельных семействах белков, базовая задача безусловной генерации остаётся недостаточно изученной и недооценённой. В этой работе мы исследуем именно этот ключевой аспект и представляем DiMA — модель, которая использует непрерывную диффузию по эмбеддингам, полученным из языковой модели для белков ESM-2, ...

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

Smoothie: Smoothing Diffusion on Token Embeddings for Text Generation

Шабалин А. М., Мещанинов В. П., Vetrov D., / Series cs.CL, arXiv:2505.18853 "Computation and Language". 2025.

Диффузионные модели достигли передовых результатов в генерации изображений, аудио и видео, однако их адаптация к тексту остаётся сложной из-за его дискретной природы. Ранее подходы либо применяют гауссовскую диффузию в непрерывных латентных пространствах, что наследует семантическую структуру, но затрудняет декодирование токенов, либо работают в пространстве категориального симплекса, что учитывает дискретность, но игнорирует семантические связи между токенами. ...

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

A Feature Engineering Framework for Computer Vision Based on Topological Data Analysis

Абрамов А. С., Чернышев В. Л., Михайлец Е. В. и др., / Series Social Science Research Network "Social Science Research Network". 2025.

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

On the construction of frieze patterns from partitions of convex polygons by nonintersecting diagonals

Кочетков Ю. Ю., / Series arXiv.org e-print archive "arXiv.math". 2025. No. 07600.

Добавлено: 17 сентября 2025 г.

On one property of Catalan numbers

Кочетков Ю. Ю., / Series arXiv.org e-print archive "arXiv.math". 2025. No. 20584.

Добавлено: 9 сентября 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 г.