%A Butler W. Lampson
%T Hints for computer system design
%J IEEE Software
%K ieee_soft
%V 1
%N 1
%D January 1984
%P 11-30

%A E.I. Organick
%A T.M. Carter
%A M.P. Maloney
%A A. Davis
%A A.B. Hayes
%A D. Klass
%A G. Lindstrom
%A B.E. Nelson
%A K.F. Smith
%T Transforming an Ada program unit to silicon
and verifying its behaviour in an Ada environment: a first experiment
%J IEEE Software
%K ieee_soft
%V 1
%N 1
%D January 1984
%P 31-49

%A Brad J. Cox
%T Message object programming:
an evolutionary change in programming technology
%J IEEE Software
%K ieee_soft
%V 1
%N 1
%D January 1984
%P 50-62

%A Gio Wiederhold
%T Knowledge and database management
%J IEEE Software
%K ieee_soft
%V 1
%N 1
%D January 1984
%P 63-74

%A Barry W. Boehm
%T Verifying and validating software requirements and design specifications
%J IEEE Software
%K ieee_soft
%V 1
%N 1
%D January 1984
%P 75-94

%A C.A.R. Hoare
%T Programming: sorcery or science ?
%J IEEE Software
%K ieee_soft
%V 1
%N 2
%D April 1984
%P 5-16

%A David R. Cheriton
%T The V kernel: a software base for distributed systems
%J IEEE Software
%K ieee_soft
%V 1
%N 2
%D April 1984
%P 19-42

%A Warren Teitelman
%T A tour through Cedar
%J IEEE Software
%K ieee_soft
%V 1
%N 2
%D April 1984
%P 44-73

%A Howard Anawalt
%A Richard L. Bernacchi
%A John R. Eastling
%A Marshall Phelps
%A Richard H. Stern
%A Daniel W. Vittum,\ Jr.
%T Protection of computer ideawork - today and tomorrow
%J IEEE Software
%K ieee_soft
%V 1
%N 2
%D April 1984
%P 74-82

%A Dana E. Miles
%T Copyrighting computer software after Apple v. Franklin
%J IEEE Software
%K ieee_soft
%V 1
%N 2
%D April 1984
%P 84-87

%A Peter Wegner
%T Capital-intensive software technology: introduction
%J IEEE Software
%K ieee_soft
%V 1
%N 3
%D July 1984
%P 7-10

%A Peter Wegner
%T Capital-intensive software technology,
part 1: software components
%J IEEE Software
%K ieee_soft
%V 1
%N 3
%D July 1984
%P 12-22

%A Peter Wegner
%T Capital-intensive software technology,
part 2: programming in the large
%J IEEE Software
%K ieee_soft
%V 1
%N 3
%D July 1984
%P 24-32

%A Peter Wegner
%T Capital-intensive software technology,
part 3: knowledge engineering
%J IEEE Software
%K ieee_soft
%V 1
%N 3
%D July 1984
%P 33-37

%A Peter Wegner
%T Capital-intensive software technology,
part 4: accomplishments and deficiencies of Ada
%J IEEE Software
%K ieee_soft
%V 1
%N 3
%D July 1984
%P 39-42

%A Peter Wegner
%T Capital-intensive software technology: conclusion
%J IEEE Software
%K ieee_soft
%V 1
%N 3
%D July 1984
%P 43-45

%A Edward M. Prell
%A Alan P. Sheng
%T Building quality and productivity into a large software system
%J IEEE Software
%K ieee_soft
%V 1
%N 3
%D July 1984
%P 47-54

%A Harry M. Sneed
%T Software renewal: a case study
%J IEEE Software
%K ieee_soft
%V 1
%N 3
%D July 1984
%P 56-63

%A Krithivasan Ramamritham
%A John A. Stankovic
%T Dynamic task scheduling in hard real-time distributed systems
%J IEEE Software
%K ieee_soft
%V 1
%N 3
%D July 1984
%P 65-75

%A Ronald Curtis
%A Larry Wittie
%T Global naming in distributed systems
%J IEEE Software
%K ieee_soft
%V 1
%N 3
%D July 1984
%P 76-80

%A Mary Shaw
%T Abstraction techniques in modern programming languages
%J IEEE Software
%K ieee_soft
%V 1
%N 4
%D October 1984
%P 10-26

%A Tracy Larrabee
%A Chad Leland Mitchell
%T Gambit: a prototyping approach to video game design
%J IEEE Software
%K ieee_soft
%V 1
%N 4
%D October 1984
%P 28-36

%A Jeffrey Scott Vitter
%T US&R: a new framework for redoing
%J IEEE Software
%K ieee_soft
%V 1
%N 4
%D October 1984
%P 39-52

%A Ted G. Lewis
%A Keith R. Spitz
%A Paul E. McKenney
%T An interleave principle for demonstrating concurrent programs
%J IEEE Software
%K ieee_soft
%V 1
%N 4
%D October 1984
%P 54-64

%A Philippe Kruchten
%A Edmond Schonberg
%A Jacob Schwartz
%T Software prototyping using the SETL programming language
%J IEEE Software
%K ieee_soft
%V 1
%N 4
%D October 1984
%P 66-75

%A Rodnet Farrow
%T Generating a production compiler from an attribute grammar
%J IEEE Software
%K ieee_soft
%V 1
%N 4
%D October 1984
%P 77-93
%K Semanticist

%A Bertrand Meyer
%T On formalism in specifications
%J IEEE Software
%K ieee_soft
%V 2
%N 1
%D January 1985
%P 6-26

%A Marc H. Brown
%A Robert Sedgewick
%T Techniques for algorithm animation
%J IEEE Software
%K ieee_soft
%V 2
%N 1
%D January 1985
%P 28-39

%A Ellis Horowitz
%A Alfons Kemper
%A Balaji Narasimhan
%T A survey of application generators
%J IEEE Software
%K ieee_soft
%V 2
%N 1
%D January 1985
%P 40-54

%A John D. Musa
%T Software engineering: the future of a profession
%J IEEE Software
%K ieee_soft
%V 2
%N 1
%D January 1985
%P 55-62

%A Alexander Borgida
%T Features of languages
for the development of information systems
at the conceptual level
%J IEEE Software
%K ieee_soft
%V 2
%N 1
%D January 1985
%P 63-72

%A Timothy E. Lindquist
%T Assessing the usability of human-computer interfaces
%J IEEE Software
%K ieee_soft
%V 2
%N 1
%D January 1985
%P 74-82

%A Joseph E. Urban
%A David A. Fisher
%T Ada environments and tools
%J IEEE Software
%K ieee_soft
%V 2
%N 2
%D March 1985
%P 6-7

%A David C. Luckham
%A Friedrich W. von\ Henke
%T An overview of Anna, a specification language for Ada
%J IEEE Software
%K ieee_soft
%V 2
%N 2
%D March 1985
%P 9-22

%A David S. Rosenblum
%T A methodology for the design of Ada transformation tools
in a DIANA environment
%J IEEE Software
%K ieee_soft
%V 2
%N 2
%D March 1985
%P 24-33

%A T.P. Baker
%A G.A. Riccardi
%T Ada tasking: from semantics to efficient implementation
%J IEEE Software
%K ieee_soft
%V 2
%N 2
%D March 1985
%P 34-46

%A David Helmbold
%A David Luckham
%T Debugging Ada tasking programs
%J IEEE Software
%K ieee_soft
%V 2
%N 2
%D March 1985
%P 47-57

%A Alexander L. Wolf
%A Lori A. Clarke
%A Jack C. Wileden
%T Ada-based support for programming-in-the-large
%J IEEE Software
%K ieee_soft
%V 2
%N 2
%D March 1985
%P 58-71

%A Robert V. Rubin
%A Eric J. Colin
%A Steven P. Reiss
%T ThinkPad: a graphical system for programming by demonstration
%J IEEE Software
%K ieee_soft
%V 2
%N 2
%D March 1985
%P 73-79

%A M.D. Weiser
%A J.D. Gannon
%A P.R. McMullin
%T Comparison of structural test coverage metrics
%J IEEE Software
%K ieee_soft
%V 2
%N 2
%D March 1985
%P 80-85

%A Steven F. Lundstrom
%A Duncan H. Lawrie
%T Experiences with distributed systems
%J IEEE Software
%K ieee_soft
%V 2
%N 3
%D May 1985
%P 5-6

%A Neil Gammage
%A Liam Casey
%T XMS: a rendezvous-based distributed system software architecture
%J IEEE Software
%K ieee_soft
%V 2
%N 3
%D May 1985
%P 9-19

%A Marek Fridrich
%A William Older
%T Helix: the architecture of the XMS distributed FS
%J IEEE Software
%K ieee_soft
%V 2
%N 3
%D May 1985
%P 21-29

%A Eric J. Berglund
%A David R. Cheriton
%T Amaze: a multilayer computer game
%J IEEE Software
%K ieee_soft
%V 2
%N 3
%D May 1985
%P 30-39

%A Thomas J. LeBlanc
%A Robert P. Cook
%T High-level broadcast communication for local area networks
%J IEEE Software
%K ieee_soft
%V 2
%N 3
%D May 1985
%P 40-48

%A Ariel J. Frank
%A Larru D. Wittie
%A Arthur J. Bernstein
%T Multicast communication on network computers
%J IEEE Software
%K ieee_soft
%V 2
%N 3
%D May 1985
%P 49-61

%A Mark C. Paulik
%T The architecture network: a case study
%J IEEE Software
%K ieee_soft
%V 2
%N 3
%D May 1985
%P 62-69

%A Robert J. Douglass
%T A qualitative assessment of parallelism in expert systems
%J IEEE Software
%K ieee_soft
%V 2
%N 3
%D May 1985
%P 70-81

%A Sanjai Narain
%T Mycin: implementing the expert system in Loglisp
%J IEEE Software
%K ieee_soft
%V 2
%N 3
%D May 1985
%P 83-88

%A Joanne L. Martin
%T Operating systems and environments for large-scale parallel processors
%J IEEE Software
%K ieee_soft
%V 2
%N 4
%D July 1985
%P 4-6

%A Terrence W. Pratt
%T Pisces: an environment for parallel scientific computations
%J IEEE Software
%K ieee_soft
%V 2
%N 4
%D July 1985
%P 7-20

%A John R. Allen
%A Ken Kennedy
%T A parallel programming environment
%J IEEE Software
%K ieee_soft
%V 2
%N 4
%D July 1985
%P 21-29

%A Perry Emrath
%T Xylem: an operating system for the Cedar multiprocessor
%J IEEE Software
%K ieee_soft
%V 2
%N 4
%D July 1985
%P 30-38

%A Robert Olson
%T Parallel processing in a message-based operating system
%J IEEE Software
%K ieee_soft
%V 2
%N 4
%D July 1985
%P 39-49

%A Creve Maples
%T Analyzing software performance in a multiprocessor environment
%J IEEE Software
%K ieee_soft
%V 2
%N 4
%D July 1985
%P 50-64

%Q none
%T International parallel processing projects: a software perspective
%J IEEE Software
%K ieee_soft
%V 2
%N 4
%D July 1985
%P 65-81

%A Robert L. Glass
%T Software theft
%J IEEE Software
%K ieee_soft
%V 2
%N 4
%D July 1985
%P 82-86

%A William E. Howden
%T The theory and practice of functional testing
%J IEEE Software
%K ieee_soft
%V 2
%N 5
%D September 1985
%P 6-17

%A Nathan H. Petschenik
%T Practical priorities in system testing
%J IEEE Software
%K ieee_soft
%V 2
%N 5
%D September 1985
%P 18-23

%A John V. Guttag
%A James J. Horning
%A Jeannette M. Wing
%T The Larch family of specification languages
%J IEEE Software
%K ieee_soft
%V 2
%N 5
%D September 1985
%P 24-36

%A Gideon Frieder
%A Gabor T. Herman
%A Craig Meyer
%A Jayaram Udupa
%T Large software problems for small computers:
an example from medical imaging
%J IEEE Software
%K ieee_soft
%V 2
%N 5
%D September 1985
%P 37-47

%A Michael C. Gemignani
%T Who owns what software produces ?
%J IEEE Software
%K ieee_soft
%V 2
%N 5
%D September 1985
%P 48-52

%A Ruth E. Davis
%T Logic programming and programming: a tutorial
%J IEEE Software
%K ieee_soft
%V 2
%N 5
%D September 1985
%P 53-62

%A Mario R. Barbacci
%A A. Nico Habremann
%A Mary Shaw
%T The Software Engineering Institute: bridging practice and potential
%J IEEE Software
%K ieee_soft
%V 2
%N 6
%D November 1985
%P 4-21
%K SEI

%A Zary Segall
%A Larry Rudolph
%T PIE: a programming and instrumentation environment for parallel processing
%J IEEE Software
%K ieee_soft
%V 2
%N 6
%D November 1985
%P 22-37

%A Nick Cercone
%A John Boates
%A Max Krause
%T An interactive system for finding perfect hash functions
%J IEEE Software
%K ieee_soft
%V 2
%N 6
%D November 1985
%P 38-53

%A Anon
%T Developments and software requirements of the emerging
National Supercomputer Research Centers
%J IEEE Software
%K ieee_soft
%V 2
%N 6
%D November 1985
%P 55-67

%A Ware Myers
%T MCC: planning the revolution in software
%J IEEE Software
%K ieee_soft
%V 2
%N 6
%D November 1985
%P 68-73

%A Brent Halpern
%T Multiparadigm languages and environments
%J IEEE Software
%K ieee_soft
%V 3
%N 1
%D January 1986
%P 6-9

%A Mark J. Stefik
%A Daniel G. Bobrow
%A Kenneth M. Kahn
%T Integrating access-oriented programming into a multiparadigm environment
%J IEEE Software
%K ieee_soft
%V 3
%N 1
%D January 1986
%P 10-18

%A Henry F. Korth
%T Extending the scope of relational languages
%J IEEE Software
%K ieee_soft
%V 3
%N 1
%D January 1986
%P 19-28

%A Anthony A. Faustini
%A Edgar B. Lewis
%T Toward a real-time dataflow language
%J IEEE Software
%K ieee_soft
%V 3
%N 1
%D January 1986
%P 29-35

%A Hai-Chen Tu
%A Alan J. Perlis
%T FAC: a functional APL language
%J IEEE Software
%K ieee_soft
%V 3
%N 1
%D January 1986
%P 36-45

%A Michael A. Jenkins
%A Janice I. Glasgow
%A Carl D. McCrosky
%T Programming styles in Nial
%J IEEE Software
%K ieee_soft
%V 3
%N 1
%D January 1986
%P 46-55

%A Robert Paige
%T Programming with invariants
%J IEEE Software
%K ieee_soft
%V 3
%N 1
%D January 1986
%P 56-69

%E Brent Hailpern
%T Multiparadigm research: a survey of nine projects
%J IEEE Software
%K ieee_soft
%V 3
%N 1
%D January 1986
%P 70-77
%K Arctic, C++, CaseDE, Lore, Orient84/K, Smallworld, Tablog

%A Duvvuru Sriram
%A Michael D. Rychener
%T Expert systems for engineering applications
%J IEEE Software
%K ieee_soft
%V 3
%N 2
%D March 1986
%P 3-5

%A Timothy F. Thompson
%A William J. Clancey
%T A qualitative modeling shell for process diagnosis
%J IEEE Software
%K ieee_soft
%V 3
%N 2
%D March 1986
%P 6-15

%A M. Lattimer Wright
%A Milton W. Green
%A Gudrun Fiegl
%A Perry F. Cross
%T An expert system for real-time control
%J IEEE Software
%K ieee_soft
%V 3
%N 2
%D March 1986
%P 16-24

%A Y.V. Ramana Reddy
%A Mark S. Fox
%A Nizwer Husain
%A Malcolm McRoberts
%T The knowledge-based simulation system
%J IEEE Software
%K ieee_soft
%V 3
%N 2
%D March 1986
%P 26-37

%A Jim Kim
%A John McDermott
%T Computer aids for IC design
%J IEEE Software
%K ieee_soft
%V 3
%N 2
%D March 1986
%P 38-47

%A Anon
%T Knowledge-based expert systems: research in progress
%J IEEE Software
%K ieee_soft
%V 3
%N 2
%D March 1986
%P 48-60

%A Steven P. Wartik
%A Maria H. Penedo
%T Fillin: a reusable tool for form-oriented software
%J IEEE Software
%K ieee_soft
%V 3
%N 2
%D March 1986
%P 61-69

%A Robert S. Arnold
%A Roger J. Martin
%T Software maintenance
%J IEEE Software
%K ieee_soft
%V 3
%N 3
%D May 1986
%P 4-6

%A Ben Shneiderman
%A Philip Shafer
%A Roland Simon
%A Linda Weldon
%T Display strategies for program browsing: concepts and experiment
%J IEEE Software
%K ieee_soft
%V 3
%N 3
%D May 1986
%P 7-15

%A Robert N. Britcher
%A James J. Craig
%T Using modern design practices to upgrade aging software systems
%J IEEE Software
%K ieee_soft
%V 3
%N 3
%D May 1986
%P 16-26

%A Guillermo Arango
%A Ira Baxter
%A Peter Freeman
%A Christopher Pidgeon
%T TMM: software maintenance by transformation
%J IEEE Software
%K ieee_soft
%V 3
%N 3
%D May 1986
%P 27-40

%A Stanley Letovsky
%A Elliot Soloway
%T Delocalized plans and program comprehension
%J IEEE Software
%K ieee_soft
%V 3
%N 3
%D May 1986
%P 41-49

%A Theodore P. Baker
%A Gregory M. Scallon
%T An architecture for real-time software systems
%J IEEE Software
%K ieee_soft
%V 3
%N 3
%D May 1986
%P 50-59

%A Karsten Schwan
%A Anita K. Jones
%T Specifying resource allocation for the Cm* multiprocessor
%J IEEE Software
%K ieee_soft
%V 3
%N 3
%D May 1986
%P 60-70

%A John A. Lehman
%T Program design and rhetoric
%J IEEE Software
%K ieee_soft
%V 3
%N 3
%D May 1986
%P 71-73

%A Subrata Dasgupta
%A Robert A. Mueller
%T Firmware engineering:
the interaction of microprogramming and software technology
%J IEEE Software
%K ieee_soft
%V 3
%N 4
%D July 1986
%P 4-5

%A Robert I. Winner
%A Edward M. Carter
%T Automated vertical migration to dynamic microcode: an overview and example
%J IEEE Software
%K ieee_soft
%V 3
%N 4
%D July 1986
%P 6-17

%A Scott Davidson
%T Progress in high-level microprogramming
%J IEEE Software
%K ieee_soft
%V 3
%N 4
%D July 1986
%P 18-26

%A Werner Damm
%A Gert Doehmen
%A Klaus Merkel
%A Mathilde Sichelschmidt
%T The AADL/S* approach to firmware design verification
%J IEEE Software
%K ieee_soft
%V 3
%N 4
%D July 1986
%P 27-37

%A Robert A. Mueller
%A Michael R. Dude
%T Formal methods of microcode verification and synthesis
%J IEEE Software
%K ieee_soft
%V 3
%N 4
%D July 1986
%P 38-48

%A Subrata Dasgupta
%A Philip A. Wilsey
%A Juha Heinamen
%T Axiomatic specifications in firmware development systems
%J IEEE Software
%K ieee_soft
%V 3
%N 4
%D July 1986
%P 49-58

%A Steven R. Vegdahl
%T Microcode optimization: examples and approaches
%J IEEE Software
%K ieee_soft
%V 3
%N 4
%D July 1986
%P 59-69

%A Tarek K. Abdel-Hamid
%A Stuart E. Madnick
%T Impact of schedule estimation on software project behaviour
%J IEEE Software
%K ieee_soft
%V 3
%N 4
%D July 1986
%P 70-75

%A Jason Gait
%T Pretty pane tilings of pretty windows
%J IEEE Software
%K ieee_soft
%V 3
%N 5
%D September 1986
%P 7-14

%A Narain Gehani
%T Unix document formatting and typesetting
%J IEEE Software
%K ieee_soft
%V 3
%N 5
%D September 1986
%P 15-24

%A Devendra Kumar
%T A novel approach to sequential simulation
%J IEEE Software
%K ieee_soft
%V 3
%N 5
%D September 1986
%P 25-33

%A Paul A. Suhler
%A Nader Bagherzadeh
%A Miroslav Malek
%A Neil Iscoe
%T Software authorization systems
%J IEEE Software
%K ieee_soft
%V 3
%N 5
%D September 1986
%P 34-41

%A Theodore P. Baker
%A Gregory A. Riccardi
%T Implementing Ada exceptions
%J IEEE Software
%K ieee_soft
%V 3
%N 5
%D September 1986
%P 42-51

%A Robert P. Cook
%T Modula-2 experiments will help future language designs
%J IEEE Software
%K ieee_soft
%V 3
%N 6
%D November 1986
%P 4-6

%A Nazim H. Madhavji
%A Luc Pinsonneault
%A Kamel Toubache
%T Modula-2/MUOPE-2: language and environment interactions
%J IEEE Software
%K ieee_soft
%V 3
%N 6
%D November 1986
%P 7-17

%A Edoardo Biagioni
%A Klaus Hinrichs
%A Gernot Heiser
%A Carlo Miller
%T A portable operating system interface and utility library
%J IEEE Software
%K ieee_soft
%V 3
%N 6
%D November 1986
%P 18-26
%K OSSI

%A Jurg Gutknecht
%T Separate compilation in Modula-2: an approach to efficient symbol files
%J IEEE Software
%K ieee_soft
%V 3
%N 6
%D November 1986
%P 29-38

%A Carlo Muller
%T Modula--Prolog: a software development tool
%J IEEE Software
%K ieee_soft
%V 3
%N 6
%D November 1986
%P 39-45

%A Paul Rovner
%T Extending Modula-2 to build large. integrated systems
%J IEEE Software
%K ieee_soft
%V 3
%N 6
%D November 1986
%P 46-57

%A Harlan D. Mills
%T Structured programming: retrospect and prospect
%J IEEE Software
%K ieee_soft
%V 3
%N 6
%D November 1986
%P 58-66
%K cleanroom software development

%A Ruben Prieto-Diaz
%A Peter Freeman
%T Classifying software for reusability
%J IEEE Software
%K ieee_soft
%V 4
%N 1
%D January 1987
%P 6-16

%A Althea Uhlman Tomijima
%T How Japan's recently amended copyright law affects software
%J IEEE Software
%K ieee_soft
%V 4
%N 1
%D January 1987
%P 17-21

%A Yeshayahu Artsy
%A Hung-Yang Chang
%A Raphael Finkel
%T Interprocess communication in Charlotte
%J IEEE Software
%K ieee_soft
%V 4
%N 1
%D January 1987
%P 22-28
%K Crystal

%A Shi-Kuo Chang
%T Visual languages: a tutorial and survey
%J IEEE Software
%K ieee_soft
%V 4
%N 1
%D January 1987
%P 29-39

%A Jerry Baskette
%T Life cycle analysis of an Ada project
%J IEEE Software
%K ieee_soft
%V 4
%N 1
%D January 1987
%P 40-47

%A Ragui F. Kamel
%T Effect of modularity on system evolution
%J IEEE Software
%K ieee_soft
%V 4
%N 1
%D January 1987
%P 48-54

%A Steven Pemberton
%T An alternative simple language and environment for PCs
%J IEEE Software
%K ieee_soft
%V 4
%N 1
%D January 1987
%P 56-64
%K ABC

%A Simon Gibbs
%A Dennis Tsichritzis
%A Akis Fitas
%A Dimitri Konstantas
%A Yiannais Yeorgaroudakis
%T Muse: a multimedia filing system
%J IEEE Software
%K ieee_soft
%V 4
%N 2
%D May 1987
%P 4-15
%K optical disk, CD ROM

%A Witold Litwin
%A David B. Lomet
%T A new method for fast data searches with keys
%J IEEE Software
%K ieee_soft
%V 4
%N 2
%D May 1987
%P 16-24
%K bounded disorder, hashing

%A Brice I. Blum
%T The Tedium development environment for information systems
%J IEEE Software
%K ieee_soft
%V 4
%N 2
%D May 1987
%P 25-34

%A Leonard J. Bass
%T Role of a historian in a database management system
%J IEEE Software
%K ieee_soft
%V 4
%N 2
%D May 1987
%P 35-40
%K transaction

%A Ted Biggerstaff
%A Charles Richter
%T Reusability framework, assessment, and directions
%J IEEE Software
%K ieee_soft
%V 4
%N 2
%D May 1987
%P 41-49

%A Bertrand Meyer
%T Reusability: the case for object-oriented design
%J IEEE Software
%K ieee_soft
%V 4
%N 2
%D May 1987
%P 50-63

%A Sadahiro Isoda
%A Takao Shimomura
%A Yuji Ono
%T VIPS: a visual debugger
%J IEEE Software
%K ieee_soft
%V 4
%N 3
%D May 1987
%P 8-19

%A Rudolph E. Seviora
%T Knowledge-based program debugging systems
%J IEEE Software
%K ieee_soft
%V 4
%N 3
%D May 1987
%P 20-32

%A R. Nigel Horspool
%T An alternative to the Graham-Glanville code-generation method
%J IEEE Software
%K ieee_soft
%V 4
%N 3
%D May 1987
%P 33-39

%A Jorgen Lindskov Knudsen
%T Better exception-handling in block-structured systems
%J IEEE Software
%K ieee_soft
%V 4
%N 3
%D May 1987
%P 40-49

%A Jim Diederich
%A Jack Milton
%T Experimental prototyping in Smalltalk
%J IEEE Software
%K ieee_soft
%V 4
%N 3
%D May 1987
%P 50-66

%A Will Tracz
%T Reusability comes of age
%J IEEE Software
%K ieee_soft
%V 4
%N 4
%D July 1987
%P 6-8

%A Paul G. Bassett
%T Frame-based software engineering
%J IEEE Software
%K ieee_soft
%V 4
%N 4
%D July 1987
%P 9-16
%K reusability

%A Gail E. Kaiser
%A David Garlan
%T Melding software systems from reusable building blocks
%J IEEE Software
%K ieee_soft
%V 4
%N 4
%D July 1987
%P 17-24
%K reusability, Meld, object oriented

%A Bruce A. Burton
%A Rhonda Wienk Aragon
%A Stephen A. Bailey
%A Kenneth D. Koehler
%A Lauren A. Mayes
%T The reusable software library
%J IEEE Software
%K ieee_soft
%V 4
%N 4
%D July 1987
%P 25-33
%K reusability, RSL, natural language

%A Manfred Lenz
%A Albrecht Schmid
%A Peter F. Wolf
%T Software reuse through building blocks
%J IEEE Software
%K ieee_soft
%V 4
%N 4
%D July 1987
%P 33-42
%K reusability, BB/LX

%A Anthony Gargaro
%A T.L. Pappas
%T Reusability issues and Ada
%J IEEE Software
%K ieee_soft
%V 4
%N 4
%D July 1987
%P 43-51

%A Scott N. Woodfield
%A David W. Embley
%A Del T. Scott
%T Can programmers reuse software ?
%J IEEE Software
%K ieee_soft
%V 4
%N 4
%D July 1987
%P 52-59
%K reusability

%A Gerhard Fischer
%T Cognitive view of reuse and redesign
%J IEEE Software
%K ieee_soft
%V 4
%N 4
%D July 1987
%P 60-72
%K reusability

%A J. Wayne Anderson
%A William F. Galway
%A Robert R. Kessler
%A Herbert Melenk
%A Winfried Neun
%T Implementing and optimizing Lisp for the Cray
%J IEEE Software
%K ieee_soft
%V 4
%N 4
%D July 1987
%P 74-83
%K PSL

%A C. Gordon Bell
%T Parallel, distributed processing lead NSF software research directions
(interview)
%J IEEE Software
%K ieee_soft
%V 4
%N 4
%D July 1987
%P 102-104

%A Victor R. Basili
%A H. Dieter Rombach
%T Implementing quantitative SQA: a practical model
%J IEEE Software
%K ieee_soft
%V 4
%N 5
%D September 1987
%P 6-9

%A Kouichi Kishida
%A Masanori Teramoto
%A Koji Torii
%A Yoshiyori Urano
%T Quality-assurance technology in Japan
%J IEEE Software
%K ieee_soft
%V 4
%N 5
%D September 1987
%P 11-18
%K SQA

%A Harlan D. Mills
%A Michael Dyer
%A Richard C. Linger
%T Cleanroom software engineering
%J IEEE Software
%K ieee_soft
%V 4
%N 5
%D September 1987
%P 19-25
%K SQA

%A Joseph P. Cavano
%A Frank S. LaMonica
%T Quality assurance in future development environments
%J IEEE Software
%K ieee_soft
%V 4
%N 5
%D September 1987
%P 26-34
%K SQA

%A Robert B. Grady
%T Measuring and managing software maintenance
%J IEEE Software
%K ieee_soft
%V 4
%N 5
%D September 1987
%P 35-45

%A James S. Collofello
%A Jeffrey J. Buck
%T Software quality assurance for maintenance
%J IEEE Software
%K ieee_soft
%V 4
%N 5
%D September 1987
%P 46-51
%K SQA

%A Robert M. Poston
%A Mark W. Bruen
%T Counting down to zero software failures
%J IEEE Software
%K ieee_soft
%V 4
%N 5
%D September 1987
%P 54-61
%K SQA

%A Adele Goldberg
%T Programmer as reader
%J IEEE Software
%K ieee_soft
%V 4
%N 5
%D September 1987
%P 62-70
%K Smalltalk

%A Daniel C. Halbert
%A Patrick D. O'Brien
%T Using types and inheritance in object-oriented programming
%J IEEE Software
%K ieee_soft
%V 4
%N 5
%D September 1987
%P 71-79