Category
3,351 papers
This report documents the program and the outcomes of Dagstuhl Seminar 18182 "Software Business, Platforms, and Ecosystems: Fundamentals of Software Production Research".
This paper presents Essencery, a tool for essentializing software engineering methods and practices using the Essence graphical syntax and presents an empirical evaluation of the tool by means of a qualitative, quasi-formal experiment, which confirms that the tool is easy to use and useful for its intended purpose.
This paper studies Essence in an educational setting to evaluate its usefulness for software engineering students while also investigating barriers to its adoption in this context.
Reach audiences
Advertise in front of researchers, engineers, and readers.
This study designs a qualitative survey aimed at software startup educators at Universities, and gathers enough information so it can help the academic community in improving their own courses.
A conceptual model to explain for coop competition among software firms in OSS projects is proposed and shows two aspects of coopetition can be managed at the same time based on firm gatekeepers.
A multi-vocal literature review focusing on practitioner literature is conducted in order to compile a list of metrics used by software startups, intended to serve as a basis for further research in the area.
Software Engineers work using highly diverse methods and practices, and general theories in software engineering are lacking. A recent attempt at creating a common ground in the area of software engineering methodologies has been the Essence Theory of Software Engineering. Essence is a method-agnostic progress manageme...
This paper provides a baseline for ethics in AI based software development by reporting results from an industrial multiple case study on AI systems development in the health care sector, and explores the current state of practice out on the field in the absence of formal methods and tools for ethically aligned design.
An overview of the trends driving the transition to focusing on effectiveness is provided, the challenges that companies experience as well as the requirements for a successful transformation are discussed.
A holistic view of an iterative, continuous approach to develop industrial AI software basing on business goals, requirements and Minimum Viable Products is described and a research agenda with seven questions for future studies is proposed.
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.
