From the 1 of 4 linked papers with an AI index.
4 papers
Correctness, confidence, and context: Framing software assurance in the AI age
Mary Shaw
The paper discusses how generative AI changes software assurance, emphasizing the shift from formal correctness to probabilistic confidence and the need to account for hidden conte…
SE Research is a Complex Ecosystem: Isolated Fixes Keep Failing -- and Systems Thinking Shows Why
Mary Shaw, Mary Lou Maher, Keith Webster
The software engineering research community is productive, yet it faces a constellation of challenges: swamped review processes, metric-driven incentives, distorted publication pra…
Curating Model Problems for Software Designing
Mary Shaw, Marian Petre
Many disciplines use standard examples for education and to share and compare research results. The examples are rich enough to study from multiple points of view; they are often c…
Design Obligations for Software, with Examples from Data Abstraction and Adaptive Systems
Mary Shaw
Producing a good software design involves not only writing a definition that satisfies the syntax of the chosen language or structural constraints of a design paradigm. It also inv…