Conference Larger scale systems require higher-level abstractions 1989 • Software Engineering Notes • 143-146 Shaw M
Journal Article New synchronisation technique for mfsk demodulator 1989 • Electronics Letters • 25(11):750-751 Shaw M, Honary B
Journal Article New Arq Transmission Scheme Involving Zero-Crossing Channel Evaluation 1988 • Electronics Letters • 24(10):592-593 Honary B, Shaw M, Darnell M
Journal Article Optimisation of Parameters in an Mfsk Transmission System 1988 • Electronics Letters • 24(12):737-739 Shaw M, Honary B, Darnell M
Journal Article BEYOND PROGRAMMING-IN-THE-LARGE - THE NEXT CHALLENGES FOR SOFTWARE ENGINEERING 1987 • Lecture Notes in Computer Science • 244:519-535 SHAW M
Conference An input-output model for interactive systems 1986 • Cost Engineering (Morgantown) • 261-273 Shaw M
Journal Article THE SOFTWARE ENGINEERING INSTITUTE - BRIDGING PRACTICE AND POTENTIAL 1985 • IEEE Software • 2(6):4-21 BARBACCI MR, HABERMANN AN, SHAW M
Conference WHAT CAN WE SPECIFY? ISSUES IN THE DOMAINS OF SOFTWARE SPECIFICATIONS. 1985 214-215 Shaw M
Journal Article ABSTRACTION TECHNIQUES IN MODERN PROGRAMMING-LANGUAGES 1984 • IEEE Software • 1(4):10-& SHAW M
Conference CHEATING IN COMPUTER SCIENCE COURSES: PROBLEMS AND SOME SOLUTIONS. 1983 • Proceedings - Canadian Information Processing Society • 29-33 Shaw M
Journal Article DESCARTES - A PROGRAMMING-LANGUAGE APPROACH TO INTERACTIVE DISPLAY INTERFACES 1983 • ACM Sigplan Notices • 18(6):100-111 SHAW M, BORISON E, HOROWITZ M, LANE T, NICHOLS D, PAUSCH R
Conference Descartes: A programming-language approach to interactive display interfaces 1983 • Proceedings of the 1983 ACM SIGPLAN Symposium on Programming Language Issues in Software Systems, SIGPLAN 1983 • 100-111 Shaw M, Borison E, Horowitz M, Lane T, Nichols D, Pausch R
Journal Article A COMPARISON OF PROGRAMMING-LANGUAGES FOR SOFTWARE ENGINEERING 1981 • Software - Practice and Experience • 11(1):1-52 SHAW M, ALMES GT, NEWCOMER JM, REID BK, WULF WA
Journal Article Abstraction, Data Types, and Models for Software 1981 • SIGMOD Record • 11(2):189-191 Shaw M
Journal Article Abstraction, Data Types, and Models for Software 1981 • ACM Sigplan Notices • 16(1):189-191 Shaw M
Journal Article COMPARISON OF PROGRAMMING LANGUAGES FOR SOFTWARE ENGINEERING. 1981 • Software - Practice and Experience • 11(1):1-52 Shaw M, Almes GT, Newcomer JM, Reid BK, Wulf WA
Journal Article AN ALPHARD SPECIFICATION OF A CORRECT AND EFFICIENT TRANSFORMATION ON DATA-STRUCTURES 1980 • IEEE Transactions on Software Engineering • 6(6):572-584 BENTLEY JL, SHAW M
Journal Article THE IMPACT OF ABSTRACTION CONCERNS ON MODERN PROGRAMMING-LANGUAGES 1980 • Proceedings of the IEEE • 68(9):1119-1130 SHAW M
Journal Article Toward relaxing assumptions in languages and their implementations 1980 • ACM Sigplan Notices • 15(3):45-61 Shaw M, Wulf WA
Journal Article ALPHARD SPECIFICATION OF A CORRECT AND EFFICIENT TRANSFORMATION ON DATA STRUCTURES. 1979 • AIAA Paper • 222-237 Bentley JL, Shaw M
Journal Article A fundamental computer science course that unifies theory and practice 1978 • Sigcse Bulletin • 10(1):255-259 Flon L, Hilfinger PN, Shaw M, Wulf WA
Conference A fundamental computer science course that unifies theory and practice 1978 • Papers of the SIGCSE/CSA Technical Symposium on Computer Science Education, SIGCSE 1978 • 255-259 Flon L, Hilfinger PN, Shaw M, Wulf WA
Conference Introducing "theory" in the second programming course 1978 • Sigcse Bulletin • 55-58 Hilfinger PN, Shaw M, Wulf WA, Flon L
Journal Article Introducing “theory” in the second programming course 1978 • Sigcse Bulletin • 10(3):55-58 Hilfinger PN, Shaw M, Wulf WA, Flon L
Journal Article Language Design for the Ironman Requirement: Notes and Examples 1978 • ACM Sigplan Notices • 13(9):59-75 Shaw M, Hilfinger P, Wulf WA