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 of interactive systems 1986 • Cost Engineering (Morgantown) • 17(4):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
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 255 Flon L, Hilfinger PN, Shaw M, Wulf WA
Journal Article Introducing "theory" in the second programming course 1978 • Sigcse Bulletin • 10(3):55-58 Hilfinger PN, Shaw M, Wulf WA
Conference Introducing theory in the second programming course 1978 • Sigcse Bulletin • 10(3):55-58 Hilfinger PN, Shaw M, Wulf A
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
Journal Article Language design for the Ironman requirement: reference manual 1978 • ACM Sigplan Notices • 13(9):36-58 Shaw M, Hilfinger P, Wulf WA
Journal Article Validating The Utility Of Abstraction Techniques 1978 106-110 Shaw M, Feldman G, Fitzgerald R, Hilfinger P, Kimura I, London RL, Rosenberg J, Wulf WA