Sep 2026· Zenodo (CERN European Organization for Nuclear Research)
Abstract
Software-only reference and executable conformance corpus for delegated allocation, temporal action-bound approvals and uncertain resource effects. The final local evaluation records 98 passing tests: 83 original contract tests, six spawned-process cases and nine evidence regressions. Four selected source mutations each enable a directly observed unsafe behavior and fail a focused test before restoration. The 10,000 generated cases belong to ten authored families; the finite model explores 1,638 states and 5,265 transitions. A conventional transactional baseline is equally safe on the compared budget/deduplication objective. A privileged clone produces 200 units of fictional effects against an allocation of 100. No MCP/A2A integration, hardware isolation, universal exactly-once execution or production security is claimed. Project initiative and direction: Mohammed Messaoudene, Maître de conférences B (MCB), Belhadj Bouchaib University of Ain Temouchent, Ain Temouchent, Algeria. This affiliation identifies the author’s academic appointment only and does not imply sponsorship, collaboration, or endorsement by the university. Development, experiments, manuscript preparation and publication used disclosed ChatGPT and Codex assistance, including three Codex review subagents. These reviews are not independent human peer review. License: Apache-2.0. The companion report and narrative specification are separately licensed CC BY 4.0.
This publication proposes a definition and a classification of agile software development approaches and analyses ten software development methods that can be characterized as being "agile" against the defined criterion.
P. Abrahamsson, O. Salo, Jussi Ronkainen et al.· arXiv.org· 727 citations· ⚡54
The study shows that agile practices improve both informal and formal communication, but indicates that, in larger development situations involving multiple external stakeholders, a mismatch of adequate communication mechanisms can sometimes even hinder the communication.
M. Pikkarainen, Jukka Haikara, O. Salo et al.· Empirical Software Engineeri...· 401 citations· ⚡48
The results indicate that software engineering work practices are chosen opportunistically, adapted and configured to provide value under the constrains imposed by the startup context.
Nicolò Paternoster, Carmine Giardino, M. Unterkalmsteiner et al.· Information and Software Tec...· 394 citations· ⚡54
The results show that the embedded industry has been able to apply agile methods in its development processes and that the appreciation of the agile methods and their individual practices appears to increase once adopted and applied in practice.
O. Salo, P. Abrahamsson· IET Software· 238 citations· ⚡9
Consequences of happiness and unhappiness that are beneficial and detrimental for developers' mental well-being, the software development process, and the produced artifacts are found.
D. Graziotin, Fabian Fagerholm, Xiaofeng Wang et al.· Journal of Systems and Softw...· 236 citations· ⚡13
The Mobile-D approach is briefly outlined here and the experiences gained from four case studies are discussed, which helped develop an agile development approach for mobile application development.
P. Abrahamsson, Antti Hanhineva, H. Hulkko et al.· Conference on Object-Oriente...· 225 citations· ⚡18
“X-Hinges” helps design and 3D print items like lamps and gloves with an interactive twist: automatically embedded sensors that perceive and adaptively respond to human contact.
StudentSim is a research system for evaluating and improving AI tutoring tools before they are tested with learners. It models how individuals may engage with tutors, giving feedback to improve tutor performance across subjects like chess, writing, and mathematics. The post Simulating student learning for better AI tutoring appeared first on Microsoft Research.
We use cookies to run the site and, with your consent, for analytics and to show ads.
See our Cookie Policy.