Search filters

List of works by Mary Shaw

"Self-healing": softening precision to avoid brittleness

"Self-healing": softening precision to avoid brittleness

"The Golden Age of Software Architecture" Revisited

(Preliminary) An Informal Definition of Alphard

A Console Driver for a PDP-11

A Console Driver for a PDP-11

A Design Space for Self-Adaptive Systems

A Simple Graph Package Providing an Iterator

A Simple Graph Package Providing an Iterator

A comparison of programming languages for software engineering

scholarly article by Mary Shaw et al published January 1981 in Software: Practice and Experience

A fundamental computer science course that unifies theory and practice

scholarly article by Lawrence Flon et al published 1 February 1978 in SIGCSE bulletin

A fundamental computer science course that unifies theory and practice

scholarly article published 1978

A profession of software engineering: is there a need? YES

A profession of software engineering: is there a need? YES

A system for structured programming

A twenty year retrospective of the NATO software engineering conferences (panel session)

scholarly article published 1989

A value-based approach to predicting system properties from design

A value-based approach to predicting system properties from design

AN INTRODUCTION TO SOFTWARE ARCHITECTURE

article published in 1993

Abstraction and Verification in Alphard: A Symbol Table Example

scholarly article published 1978

Abstraction and Verification in Alphard: Design and Verification of a Tree Handler

Abstraction and Verification in Alphard: Introduction to Language and Methodology

Abstraction and Verification in Alphard: Iteration and Generators

Abstraction and verification in Alphard

Abstraction and verification in Alphard

Abstraction and verification in Alphard

Abstraction and verification in Alphard

Abstraction and verification in Alphard: defining and specifying iteration and generators

article

Abstraction, data types, and models for software

scholarly article by Mary Shaw published 1 February 1981 in ACM SIGMOD Record

Abstraction, data types, and models for software

Abstraction, data types, and models for software

Abstraction, data types, and models for software

Accommodating data heterogeneity in ULS systems

Achieving Quality Software: Reflections on the Aims and Objectives of Alphard

article

Advancing Software Engineering Professional Education

An Alphard Specification of a Correct and Efficient Transformation on Data Structures

An Implementation of Queues

An Implementation of Queues

An approach for categorizing end user programmers to guide software engineering research

An approach for categorizing end user programmers to guide software engineering research

Anticipatory configuration of resource-aware applications

Anticipatory configuration of resource-aware applications

Architectural issues in software reuse

scholarly article by Mary Shaw published 1 August 1995 in Software engineering notes : an informal newsletter of the Special Interest Committee on Software Engineering / ACM

Architectural issues in software reuse

scholarly article published 1995

Beyond objects

Beyond programming-in-the-large: The next challenges for software engineering

Career-Long Education for Software Professionals: A US View of the Educational Challenges in a Rapidly-Changing Technology

Characterizing reusability of end-user web macro scripts

Collaboration and communication

scholarly article published 2008

Component-based software engineering and the issue of trust

scholarly article published 2000

Course Descriptions

Curriculum '78---is computer science really that unmathematical?

scholarly article by Anthony Ralston & Mary Shaw published 1 February 1980 in Communications of the ACM

Curriculum 78 (Panel Discussion)

Curriculum 78 (Panel Discussion)

Curriculum ’78—Is Computer Science Really that Unmathematical?

scholarly article published 1985

Deciding What to Design: Closing a Gap in Software Engineering Education

Deciding what to design

scholarly article published 2005

Descartes

Design Spaces and How Software Designers Use Them: a sampler

scientific article published on 25 July 2024

Detecting Semantic Anomalies in Truck Weigh-in-Motion Traffic Data Using Data Mining

Education for the Future of Software Engineering

scholarly article published 1987

Empirical challenges in ultra large scale systems

Empirical evaluation of defect projection models for widely-deployed production software systems

Enabling automatic adaptation in systems with under-specified elements

Enabling automatic adaptation in systems with under-specified elements

Engineering Self-Adaptive Systems through Feedback Loops

article by Yuriy Brun et al published 2009 in Lecture Notes in Computer Science

Experience with a course on architectures for software systems

article by David Garlan et al published 1992 in Lecture Notes in Computer Science

Experiences and results from initiating field defect prediction and product test prioritization efforts at ABB Inc

Fast, Accurate Creation of Data Validation Formats by End-User Developers

article

Fifth Interlude Validating and Extending the Concepts

First Interlude Inadequacy of Simple Encapsulation

Formulations and formalisms in software architecture

scholarly article by Mary Shaw & David Garlan published 1995 in Lecture Notes in Computer Science

Fourth Interlude Generality and Generic Definitions

scholarly article published 1981

Global variable considered harmful

Goals for computer science education in the 1980s

scholarly article published 1984

Goals for computer science education in the 1980s

scholarly article by Mary Shaw published 1 February 1984 in SIGCSE bulletin

Immigration course in computer science

scholarly article by Mary Shaw published 1 June 1973 in SIGCSE bulletin

Immigration course in computer science

scholarly article by Mary Shaw published 1 July 1972 in SIGCSE bulletin

Informatics for a new century: Computing education for the 1990s and beyond

Intelligently creating and recommending reusable reformatting rules

Introducing "theory" in the second programming course

Introducing "theory" in the second programming course

Introduction

Introduction History and Overview

Introduction and Overview

Introduction to Example Programs

Introduction to Example Programs

Introduction to the First Edition

Introduction to the Second Edition

scholarly article published 1983

Language design for the Ironman requirement

Language design for the Ironman requirement

article by Mary Shaw et al published 1 September 1978 in ACM SIGPLAN Notices

Lessons on converting batch systems to support interaction

Letter on lebesgue, logic, and program testing

Leveraging Resource Prediction for Anticipatory Dynamic Configuration

Making Software Engineering Issues Real to Undergraduates

scholarly article published 1976

Mathematics Curriculum and the Needs of Computer Science

scholarly article published 1985

Mathematics Curriculum and the Needs of Computer Science

article

Models for undergraduate project courses in software engineering

scholarly article

Modularity for the modern world

Objectives for the Curriculum

On the Number of Multiplications for the Evaluation of a Polynomial and Some of Its Derivatives

On the number of multiplications for the evaluation of a polynomial and all its derivatives

Panel on the role of graduate software and systems engineering bodies of knowledge in formulating graduate software engineering curricula

scholarly article published May 2011

Postlude Reflections and Open Problems

article

Predicting reuse of end-user web macro scripts

Prelude The Alphard form and Verification Issues

Procedure calls are the assembly language of software interconnection: Connectors deserve first-class status

article published in 1996

Program Organization

Prospects for an Engineering Discipline of Software

scholarly article published 15 January 2002

Publication History

Putting “engineering” into software engineering (abstract)

scholarly article published 1994

Reduction of compilation costs through language contraction

Related Courses

Remarks on the Design

Research directions in abstract data structures

Research directions in abstract data structures

Research directions in abstract data structures

Research toward an engineering discipline for software

scholarly article published 2010

Reuse in the world of end user programmers

Roles for Universities

Second Interlude Larger Examples

scholarly article published 1981

Selection of good algorithms from a family of algorithms for polynomial derivative evaluation

scholarly article by Mary Shaw & J.F. Traub published October 1977 in Information Processing Letters

Semantic anomaly detection in online data sources

Semantic anomaly detection in online data sources

Software Engineering for Self-Adaptive Systems: A Research Roadmap

Software Engineering for Self-Adaptive Systems: A Second Research Roadmap

article by Rogério de Lemos et al published 2013 in Lecture Notes in Computer Science

Software Mythbusters Explore Formal Methods

Software architecture

Software architecture

Software architecture (panel)

Software architecture (panel)

Software architecture: Reflections on an evolving discipline

scholarly article published 2011

Software engineering education

scholarly article published 2000

Solution of Laplace’s Equation with Several Ada Tasks

Solution of Laplace’s Equation with Several Ada Tasks

Strategies for research about design

scholarly article published 2007

Studies in Ada Style

Studies in Ada style

Studies in Ada® Style

Table Creation and Table Searching

scholarly article published 1983

Table Creation and Table Searching

scholarly article published 1981

The Content of Computer Science

scholarly article published 1985

The Impact of Abstraction Concerns on Modern Programming Languages

scholarly article published 1983

The Impact of Abstraction Concerns on Modern Programming Languages

scholarly article published 1981

The Impact of Modelling and Abstraction Concerns on Modern Programming Languages

scholarly article by Mary Shaw published 1984 in Topics in Information Systems

The Nature of Computer Science

scholarly article published 1985

The Role of Design Spaces

The challenge of pervasive software to the conventional wisdom of software engineering

scholarly article published 2009

The fourth workshop on end-user software engineering

scholarly article published 2008

The role of mathematics in computer science education

scholarly article by John Werth et al published 1 February 1984 in SIGCSE bulletin

The role of mathematics in computer science education

scholarly article published 1984

The state of the art in end-user software engineering

Theory and Practice in the Fundamental Computer Science Course

scholarly article published 1985

Third Interlude Language Evolution

Tool support for data validation by end-user programmers

Toped

Topes

Toward Relaxing Assumptions in Languages and Their Implementations

Toward a Calculus of Confidence

Toward boxology

Toward higher-level abstractions for software systems

Toward relaxing assumptions in languages and their implementations

article published in 1980

Using topes to validate and reformat data in end-user programming tools

Using traits of web macro scripts to predict reuse

Validating The Utility Of Abstraction Techniques

article published in 1978

Validating the Utility of Abstraction Techniques

Visibility of control in adaptive systems

What's the value proposition of distance education?

tl;dr: Chill, y’all: AI Will Not Devour SE

scientific article published on 17 October 2024