Results 71 to 80 of about 17,281 (206)

Reality Check on Formal Methods in Industry: A Study of Verum Dezyne

Journal of Software: Evolution and Process, Volume 37, Issue 12, December 2025.
ABSTRACT Many of the classical questions reflecting the actionable use of formal methods in the software industry—“do they scale?” or “are they easily integrated?”—remain without a definitive answer, with many potentially adoptable formal notations being exploited in industry, but in a rather stove‐piped and siloed fashion, and with rather few ...
Michele Chiari, Matteo Camilli, Marcello M. Bersani, Rutger van Beusekom, Damian A. Tamburri   +4 more
wiley   +1 more source

A Method for the Quality‐Aware Automated Selection of Deployment Technologies

Software: Practice and Experience, Volume 55, Issue 11, Page 1855-1876, November 2025.
ABSTRACT Domain The deployment of distributed multi‐component cloud applications typically requires a combination of multiple heterogeneous deployment technologies. A different combination of deployment technologies should be chosen due to varying deployment qualities, such as the functional suitability and reliability of the deployment technologies ...
Miles Stötzner, Niklas Krieger, Sandro Speth, Marcel Weller, Steffen Becker, Benjamin Weder, Jacopo Soldani, Valentin Morlock   +7 more
wiley   +1 more source

In Pursuit of Agility: How to Transform Your Organisation's IT Project Selection Process

Information Systems Journal, Volume 35, Issue 6, Page 1582-1602, November 2025.
ABSTRACT To remain competitive, many organisations are undertaking agile transformations in pursuit of agility. Information technology (IT) plays a pivotal role in supporting organisational agility; thus, it is essential that organisations select the right IT projects in a timely manner to deliver. In practice, though, organisations have struggled with
Adrian van Raay, Vanessa Cooper, Rohan Sharp, Sophia Duan, Martin Dick   +4 more
wiley   +1 more source

Cloud native approach of agile cloud-network converged application delivery

Dianxin kexue, 2020
ion:Cloud-network convergence is the strategy many telecom operators are implementing for the new information infrastructure,as the technicalbasis cloud native technology prompts the capability integration and business innovation.Leveraging the cloud ...
Yong CHEN, Wensheng YAO, Jingxiang CHEN, Huan LIANG, Jing LI   +4 more
doaj   +2 more sources

Modeling and Analyzing Urban Networks and Amenities With OSMnx

Geographical Analysis, Volume 57, Issue 4, Page 567-577, October 2025.
ABSTRACT OSMnx is a Python package for downloading, modeling, analyzing, and visualizing urban networks and any other geospatial features from OpenStreetMap data. A large and growing body of literature uses it to conduct scientific studies across the disciplines of geography, urban planning, transport engineering, computer science, and others.
Geoff Boeing
wiley   +1 more source

Evaluation and incident prevention in an enterprise AI assistant

AI Magazine, Volume 46, Issue 3, Fall 2025.
Abstract Enterprise AI Assistants are increasingly deployed in domains where accuracy is paramount, making each erroneous output a potentially significant incident. This paper presents a comprehensive framework for monitoring, benchmarking, and continuously improving such complex, multi‐component systems under active development by multiple teams.
Akash V. Maharaj, David Arbour, Daniel Lee, Uttaran Bhattacharya, Anup Rao, Austin Zane, Avi Feller, Kun Qian, Sajjadur Rahman, Yunyao Li   +9 more
wiley   +1 more source

Opaque Service Virtualisation: A Practical Tool for Emulating Endpoint Systems

, 2016
Large enterprise software systems make many complex interactions with other services in their environment. Developing and testing for production-like conditions is therefore a very challenging task.
Bass L., Bezdek J. C., Cui W., Cui W., Du M., Ghosh S., Hine C., Long R., Michelsen J., Sugerman J.   +9 more
core   +1 more source

DevOps Integration With Capability Model Maturity Integration: A Systematic Mapping Review

IEEE Access
The Capability Maturity Model Integration (CMMI) is a framework for improving and optimizing organizational processes. DevOps is a revolutionary method that bridges the gap between software development and IT operations by encouraging cooperation and ...
Rania Rajab, Mouhib Alnoukari
doaj   +1 more source

Software Engineering Timeline: major areas of interest and multidisciplinary trends [PDF]

, 2019
Ingeniería del software. EvolucionSociety today cannot run without software and by extension, without Software Engineering. Since this discipline emerged in 1968, practitioners have learned valuable lessons that have contributed to current practices ...
Cañadas Martinez, Joaquín, del Sagrado Martinez, José, Del Águila Cano, Isabel María   +2 more
core   +1 more source

ПЕДАГОГІЧНІ МОЖЛИВОСТІ ВИКОРИСТАННЯ DEVOPS У ПРОФЕСІЙНІЙ ПІДГОТОВЦІ ФАХІВЦІВ З ІНФОРМАЦІЙНИХ ТЕХНОЛОГІЙ

Наукові записки Тернопільського національного педагогічного університету імені Володимира Гнатюка. Серія: Педагогіка
У статті досліджено педагогічний потенціал використання методології DevOps у процесі професійної підготовки майбутніх фахівців з інформаційних технологій.
МИХАЙЛО ЛУЧКЕВИЧ
doaj   +1 more source