Sep 2026· Zenodo (CERN European Organization for Nuclear Research)
Abstract
TypeSafe describes Jev as a typed decision model trained using Reinforcement Learning for Calibrated Decisions (RLCD). We evaluate its behavior at an agent authorization boundary, where software must allow, hold, or deny a proposed action. A historical audit of 150 proposals motivates two separate paired comparisons: Jev versus GPT-4.1 mini and Jev versus DeepSeek V4.1 Flash. Both comparisons use the same 270 constructed test cases from 30 families under three policy regimes, separate development data, and three repetitions per model. Controlled reference labels are derived deterministically from authored executable policy specifications; independent human adjudication is absent. Against GPT-4.1 mini, Jev has a lower permission Brier score on this corpus (0.0263 versus 0.0555); its fixed probability gate removes six false allows relative to its categorical decisions while withholding 29 additional correct allows. Against DeepSeek, the common fixed gate permits 295/345 reference-authorized attempts for Jev and 315/345 for DeepSeek, with zero observed false allows for either model. These denominators represent 115 unique reference-allow cases repeated three times. The family-bootstrap interval for their paired Brier difference includes zero. Jev has lower median evaluation time in both sessions. The historical audit shows how disputed operator labels and probability thresholds change apparent authorization performance. Transport and response failures remain visible as holds. Released evidence supports offline reproduction of the analyses. These results characterize configured hosted services on static proposals; they neither isolate RLCD's causal contribution nor establish deployment safety. The study shows why evaluating Jev for authorization requires explicit policy references and reporting both false allows and withheld authorized actions. This manuscript is an unreviewed preprint. Supporting data and code: corrected evidence release v1.1.0, https://doi.org/10.5281/zenodo.22863437. The evidence DOI identifies the supporting research artifacts, not this manuscript.
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
Related blog posts
MIT News · Artificial Intelligence· news.mit.eduOct 7, 2026
Students in MIT’s Concourse program delve deeply into the human condition, debate challenging questions, and learn to develop judgment about issues that can’t be quantified.
Training AI agents with reinforcement learning can be challenging because their tools, context, and decision-making are managed by complex frameworks. Agent Lightning connects existing agents to RL training, making it easier to improve them without rebuilding them. The post Agent Lightning v1.0: A 3,500-Line Lightweight Agentic RL Framework for Training Agents with Real Harnesses appeared first on Microsoft Research.
MIT News · Artificial Intelligence· news.mit.eduOct 6, 2026