6 papers
Correctness, confidence, and context: Framing software assurance in the AI age
Mary Shaw
Software engineering has a complicated relationship with "correctness". We recognize the challenges of full formal rigor as well as many required properties beyond functional corre…
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…
AHA! Strategies for Gaining Insights into Software Design
Mary Shaw
These patterns describe the strategies I use to find novel or unorthodox insights in the area of software design and research. The patterns are driven by inconsistencies between wh…
A Diagramming Technique for Teaching Students to Read Software Engineering Research Papers: an experience report
Mary Shaw
Reading scientific research papers is a skill that many students do not learn before entering PhD programs, but it is critical to their success. This paper describes our diagrammin…