researchr
explore
Tags
Journals
Conferences
Authors
Profiles
Groups
calendar
New Conferences
Events
Deadlines
search
search
You are not signed in
Sign in
Sign up
External Links
Journal: IEEE Trans. Software Eng.
Home
Index
Info
Issue
Volume
11
, Issue
3
242
--
252
Michel Bidoit
,
Brigitte Biebow
,
Marie-Claude Gaudel
,
Christian Gresse
,
GĂ©rard D. Guiho
.
Exception Handling: Formal Specification and Systematic Program Construction
252
--
258
Stephen W. Draper
,
Donald A. Norman
.
Software Engineering for User Interfaces
259
--
266
David Lorge Parnas
,
Paul C. Clements
,
David M. Weiss
.
The Modular Structure of Complex Systems
267
--
275
W. Lewis Johnson
,
Elliot Soloway
.
PROUST: Knowledge-Based Program Understanding
276
--
285
Steven P. Reiss
.
PECAN: Program Development Systems that Support Multiple Views
285
--
302
Warren Teitelman
.
A Tour Through Cedar
302
--
310
Richard N. Taylor
,
Thomas A. Standish
.
Steps to an Advanced Ada^1 Programming Environment