Category
3,351 papers
This study suggests that software organizations operate through strategic, operational and personal commitment nets, and shows that SPI is driven through the formation and reformation of commitment nets.
The requirements for new agile methods targeted to facilitate the development of embedded software, based on an empirical study over a period of 12 months in theDevelopment of low-level telecommunications software, are defined.
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.
Results of a case study where a mobile application was developed for global markets, using the TDD approach show that the adoption of TDD is difficult and the potential agility benefits may not be readily available.
Reach audiences
Advertise in front of researchers, engineers, and readers.
This tutorial demonstrates how agile solutions are theoretically founded and then in very pragmatic terms shows a longitudinal four-year case study how F-Secure, an antivirus company, from Finland transformed from iterative development to agile development framework.
Experiences in Applying Agile Software Development in F-Secure and Experience on Applying Quantitative and Qualitative Empiricism to Software Engineering are shared.
A strong positive correlation with one of the tools was found and confirms the usefulness of a static code analysis tool as a way for estimating the amount of defects left in the product.
AI agents can generate code at a scale that’s hard for humans to review line-by-line. PDD Kit helps ensure the code is doing what the developer intended by creating formal specifications and testing against them. It converts developer intent into a Verus specification, proves AI-generated code meets it for every input, and uses tests where proofs aren't practical. Developers review intent, not every line. The post Formally verifying agent-written full-stack web apps with PDD Kit appeared first o…
A Blog post by Ai2 on Hugging Face
GPT-Lab
· gpt-lab.eu
Nov 3, 2026
Is your company’s AI sovereign? A practical guide for CIOs on AI vendor lock-in, EU Data Act switching, cloud sovereignty, and testing your exit plan before you need it. The post Sovereignty Is the Option to Leave appeared first on GPT-Lab.
Evaluating Microsoft Copilot at enterprise scale requires test data that captures the full complexity of real organizations, yet real enterprise data contains sensitive information that cannot be used for evaluation under any circumstances. The post From synthetic enterprise data evaluations to real Microsoft Copilot AI confidence appeared first on Microsoft Research.
Host Sowbhagya Suresh shares some of the latest news and cutting-edge research from across Microsoft—from understanding the challenges facing coding agents to uncovering how people use AI at work and improving extended-range weather forecasting. The post Microsoft Research Focus – Edition #97 appeared first on Microsoft Research.
A Blog post by IBM Granite on Hugging Face
We use cookies to run the site and, with your consent, for analytics and to show ads. See our Cookie Policy.
