Last update:
Sat Aug 31 13:09:18 MDT 2024
Robert G. Babb and
Leonard L. Tripp An approach to defining areas within the
field of software engineering . . . . . 9--17
Paul M. Cashman and
Anatol W. Holt A communication-oriented approach to
structuring the software maintenance
environment . . . . . . . . . . . . . . 4--17
Joseph V. Giordano Some verification problems in
Pascal-like languages . . . . . . . . . 18--27
M. Gasser and
J. K. Millen and
W. F. Wilson A note on information flow into arrays 28--29
Anonymous Correction to Babb and Tripp paper . . . 29--29
Anonymous Some computer anecdotes from among those
submitted in connection with the 7th
symposium on operating systems
principles . . . . . . . . . . . . . . . 30--33
Ken Foster A comment on: ``An exercise in automatic
program verification'' . . . . . . . . . 36--37
Wolfgang Polak Response to K. Foster's letter . . . . . 37--38
Software Engineering Notes Staff Abstracts in software engineering . . . 39--44
Peter Wegner The Ada language and environment . . . . 8--14
Dorothy E. Denning Embellishments to the note on
information flow into arrays . . . . . . 15--16
David Gries Eliminating the chaff . . . . . . . . . 17--21
Michael Pechura Programming as engineering: insights and
comparisons . . . . . . . . . . . . . . 22--25
Robert L. Glass A benefit analysis of some software
reliability methodologies . . . . . . . 26--33
Murat M. Tanik Software development monitoring graphs 34--37
Pete Schorer More from Pete Shorer . . . . . . . . . 38--39
Anonymous Workshop on Formal Verification:
(VERkshop) . . . . . . . . . . . . . . . 4--47
Robert L. Glass The importance of the individual . . . . 48--50
Dennis E. Hamilton If we're on first, what's on second?: a
mixware software engineering discussion
problem . . . . . . . . . . . . . . . . 51--52
Dennis Hamilton A comment on David Gries' ``Sermon'' . . 52--52
Peter Schorer Still more from Peter Schorer . . . . . 52--52
Donald Golden A plea for friendly software . . . . . . 4--5
Dennis E. Hamilton Don't look back, something's gaining on
us: more mixware software engineering
metaphor . . . . . . . . . . . . . . . . 5--8
Gary Perlman Two high-level skills for programming: a
comment on R. L. Glass' \booktitleThe
importance of the individual . . . . . . 9--9
Murat M. Tanik A comparison of program complexity
prediction models . . . . . . . . . . . 10--16
M. A. Hennell and
W. M. McNicol and
J. Hawkins The static analysis of Cobol programs 17--25
Norman F. Schneidewind Message from the secretary/treasurer . . 4--4
Edsger W. Dijkstra American programming's plight . . . . . 5--5
Eric C. Rosen Vulnerabilities of network control
protocols: an example . . . . . . . . . 6--8
James C. King Program reduction using symbolic
execution . . . . . . . . . . . . . . . 9--14
Murat M. Tanik Additional references for: ``A
comparison of program complexity
prediction models'' . . . . . . . . . . 14--14
S. E. Goodman An experiment in software engineering 15--15
Yoshihisa Mano and
Kazuhito Omaki and
Koji Torii An intelligent multi-display terminal
system towards: a better programming
environment . . . . . . . . . . . . . . 8--14
Peter E. Schilling A program model for design . . . . . . . 15--16
Tom Gilb Evolutionary development . . . . . . . . 17--17
Dennis E. Hamilton We have met the enemy and she is us: a
mixup'd search for software engineering 18--22
Peter G. Neumann Retrospective introduction to VERkshop
II . . . . . . . . . . . . . . . . . . . 2--2
Steve Walker Introductory comments . . . . . . . . . 3--3
Vinton G. Cerf A view of verification technology . . . 3--4
Donald I. Good Toward building verified, secure systems 4--8
Ben DiVito A mechanical verification of the
Alternating Bit Protocol . . . . . . . . 8--13
Michael K. Smith and
Ann E. Siebert and
Benedetto L. DiVito and
Donald I. Good A verified encrypted packet interface 13--16
Susan L. Gerhart AFFIRM summary . . . . . . . . . . . . . 16--24
Susan L. Gerhart Research avenues verification is not
pursuing, but may be should be . . . . . 24--24
Susan L. Gerhart High-level theories . . . . . . . . . . 24--25
D. C. Luckham and
F. W. von Henke Program verification at Stanford . . . . 25--27
Karl N. Levitt and
Peter G. Neumann Recent SRI work in verification . . . . 27--35
J. Moore Experience in writing VCG systems . . . 35--38
J. A. Goguen More thoughts on specification and
verification . . . . . . . . . . . . . . 38--41
Richard A. Kemmerer Status of ongoing security-relevant
projects . . . . . . . . . . . . . . . . 42--43
J. R. Landauer Applications of FDM to KVM and COS/NFE 43--45
R. Feiertag and
T. Berson An avenue for exploitation and
development of verification technology 45--46
L. Yelowitz FACC activities/positions in
methodology, verification, and trusted
systems . . . . . . . . . . . . . . . . 46--50
Jim Keeton-Williams and
Anne-Marie G. Discepolo A practical verification system . . . . 50--55
J. K. Millen Recent verification work at MITRE . . . 55--55
Gregory A. Haynes Program verification at Texas
Instruments . . . . . . . . . . . . . . 55--56
Joseph J. Tardo Verification: inside/outside views . . . 57--58
Robert L. Constable VERking in constructive set theory . . . 58--60
David Bonyun An untitled Canada goose . . . . . . . . 60--61
Clark Weissman On verification targets . . . . . . . . 61--63
D. L. Parnas Lastig gepreek uit nuenen . . . . . . . 64--65
Edward M. Kimball Response to Philip Miller's letter . . . 65--65
Steve Smoliar Two books named \booktitleSoftware
reliability: review of
\booktitleSoftware reliability by Thomas
A. Thayer, Myron Lipow, Eldred C.
Nelson. North-Holland 1978. and
\booktitleSoftware reliability by
Hermann Kopetz. Springer-Verlag 1980 . . 66--67
Jeoff Benson A preliminary experiment in automated
software testing . . . . . . . . . . . . 68--75
Paul A. Scheffer Comparisons of quality metrics . . . . . 76--77
Tom Gilb System attribute specification: a
cornerstone of software engineering . . 78--79
Software Engineering Notes Staff Abstracts in software engineering . . . 80--83
William Howden and
Paul Cohen and
Al Irvine and
James King and
Patricia Powell and
William Riddle and
Leon Stucki and
Leonard Tripp Contemporary software development
environments . . . . . . . . . . . . . . 6--15
Leon Osterweil and
Lori Clarke and
Donald Good and
Raymond Houghton and
Thomas Love and
Patricia Santoni and
Daniel Teichroew and
Anthony Wasserman Software environment research: the next
five years . . . . . . . . . . . . . . . 15--25
Thomas Standish and
Robert Balzer and
David Barstow and
Meera Blattner and
Martha Branstad and
John Buxton and
Adele Goldberg and
Robert Morris and
Stephen Squires Advanced development support systems . . 25--35
Marvin Zelkowitz and
W. Richards Adrion and
Alfred Aho and
Daniel Bobrow and
Thomas Cheatham and
John Cherniavsky and
Susan Gerhart and
Gordon Lyon and
John Nestor and
Terry Straeter High level language programming
environments . . . . . . . . . . . . . . 36--51
John R. Garman The ``BUG'' heard 'round the world:
discussion of the software problem which
delayed the first shuttle orbital flight 3--10
William W. Agresti Software engineering as industrial
engineering . . . . . . . . . . . . . . 11--13
Peter R. Newsted and
Wing-Keen Leong and
Joanna Yeung The impact of programming styles on
debugging efficiency . . . . . . . . . . 14--18
Dan Prentice An analysis of software development
environments . . . . . . . . . . . . . . 19--27
Haim Kilov Letter from Haim Kilov . . . . . . . . . 28--28
Robert L. Glass Letter from Robert L. Glass . . . . . . 28--29
J. J. Whelan 5th international conference on software
engineering . . . . . . . . . . . . . . 32--35
P. M. Melliar-Smith and
Richard L. Schwartz The proof of SIFT . . . . . . . . . . . 2--5
Bill Riddle and
Vic Basili and
Les Belady and
Carl Davis and
Susan Gerhart and
Bill Howden and
John Musa and
Leon Stucki Proposals for tool and methodology
evaluation experiments: ACM SIGSOFT
sponsored software engineering symposium
on tool and methodology evaluation . . . 6--10
John W. Bailey and
Ken Christensen and
Helmut Krcmar and
Jean-Louis Lassez and
Vincent Y. Shen and
Scott N. Woodfield Evaluating the effect of
inter-programmer communication: levels
on productivity by varying programming
team structure . . . . . . . . . . . . . 10--20
Bill Curtis and
John Gannon and
Shirley Gloss-Soler and
Amrit Goel and
Isao Miyamoto and
David Panzl and
Roger Warburton The application of fractional factorial
techniques: to the design of software
experiments, or, confounding the issues 20--30
Dennis George and
David Gustafson and
Sallie Henry and
David Hutchens and
Dennis Kafura and
John Sayler Predicting cost-of-change: from design
structure metrics . . . . . . . . . . . 30--35
Mack Alford and
Larry E. Druffel and
Ben Elliott and
Richard Fairley and
Ray Houghton and
J. Ramanathan and
Samuel T. Redwine and
P. G. Richards and
Alan R. Segal and
Leon Stucki and
Jack C. Wileden Proposal: evaluation of environments . . 36--45
Fred van den Bosch and
John R. Ellis and
Peter Freeman and
Len Johnson and
Carma L. McClure and
Dick Robinson and
Walt Scacchi and
Ben Scheff and
Arndt von Staa and
Leonard L. Tripp Evaluation of software development life
cycle: methodology implementation . . . 45--60
Makoto Arisawa and
G. David Bergland and
Earle C. Bowers and
John N. Buxton and
Robert A. Kelley and
Norman L. Kerth and
Sabina H. Saib and
Peter D. Ting and
Douglas A. Troy and
Stuart H. Zweben Evaluation of design methodologies . . . 56--69
Les Belady and
George R. Cannon and
Bryan Edwards and
Elizabeth Kruesi and
Tim Lindquist and
Mark Weiser Investigation of human engineering: for
software environments . . . . . . . . . 69--72
Rafael Andreu On comparisons of quality metrics . . . 76--76
Ali Mili Designing software without backtracking:
the part of dream and the part of
reality . . . . . . . . . . . . . . . . 77--77
Chris Shaw Structure charts for Jackson structured
programming . . . . . . . . . . . . . . 78--80
Dorothy Denning Review of \booktitleVerifying security
by M. H. Cheheyl, M. Gasser, G. A. Huff,
and J. K. Millen. \booktitleComputing
Surveys 13, 3 (September 1981) . . . . . 80--81
C. D. Tavares More anecdotage . . . . . . . . . . . . 81--82
Software Engineering Notes Staff Abstracts in software engineering . . . 82--83
Peter G. Neumann Psychosocial implications of computer
software development and use: Zen and
the art of computing . . . . . . . . . . 3--12
Roger R. Baldwin Reportage on Spring 1982 IEEE COMPCON
conference . . . . . . . . . . . . . . . 13--20
Nancy G. Leveson Software safety . . . . . . . . . . . . 21--24
Stavros M. Macrakis Safety and power . . . . . . . . . . . . 25--26
Brain Reid Netmail manhandled . . . . . . . . . . . 27--28
Daniel D. McCracken and
Michael A. Jackson Life cycle concept considered harmful 29--32
David King Jackson design methodology . . . . . . . 33--34
G. R. Gladden Stop the life-cycle, I want to get off 35--39
Michael L. Cook Software metrics: an introduction and
annotated bibliography . . . . . . . . . 41--60
Robert Kowalski and
Steve Smoliar Logic for problem solving . . . . . . . 61--62
Susan L. Gerhart Two recent books on programming: review
of \booktitleThe science of programming
by David Gries. Springer-Verlag 1981.
and review of \booktitleThe craft of
programming by John Reynolds.
Prentice-Hall 1981 . . . . . . . . . . . 63--64
Larry E. Druffel The potential effect of Ada on software
engineering in the 1980's . . . . . . . 5--11
Larry E. Druffel The need for a programming discipline to
support the APSE: where does the APSE
path lead? . . . . . . . . . . . . . . . 12--13
Stephen L. Squires and
Marvin Zelkowitz and
Martha Branstad Rapid Prototyping Workshop: an overview 14--15
Franklyn T. Bradshaw and
George W. Ernst and
Raymond J. Hookway Use of data abstraction in process
specification . . . . . . . . . . . . . 16--21
Patrick A. V. Hall In defence of life cycles . . . . . . . 23--23
E. N. Miya Reviews of two books by E. N. Yourdon:
review of \booktitle``Classics in
software engineering by E. N. Yourdon.
Yourdon Press 1979. and
\booktitleWritings of the Revolution by
E. N. Yourdon. Yourdon Press 1982 . . . 24--29
David Gries Letter to Dr. Susan Gerhart: comments on
two book reviews . . . . . . . . . . . . 30--32
Software Engineering Notes Staff Abstracts in software engineering . . . 33--36
Robert L. Glass Recommended: a Minimum Standard Software
Toolset . . . . . . . . . . . . . . . . 3--13
M. K. Rajaraman A characterization of software design
tools . . . . . . . . . . . . . . . . . 14--17
Bruce I. Blum The life cycle: a debate over alternate
models . . . . . . . . . . . . . . . . . 18--20
Raymond D. Gumb On the underlying logics of
specification languages . . . . . . . . 21--23
Peter Wegner Reflections on capital-intensive
software technology . . . . . . . . . . 24--33
Eric C. Frankel A contracts course for software
engineers . . . . . . . . . . . . . . . 34--38
Stan Yack A comment on ``Zen and the art of
computing'' . . . . . . . . . . . . . . 39--39
Stephen L. Squires and
Marvin Zelkowitz and
Martha Branstad Rapid Prototyping Workshop: overview . . 2--2
Robert M. Balzer and
Neil M. Goldman and
David S. Wile Operational specification as the basis
for rapid prototyping . . . . . . . . . 3--16
Martin S. Feather Mappings for rapid prototyping . . . . . 17--24
Donald Cohen and
William Swartout and
Robert Balzer Using symbolic execution to characterize
behavior . . . . . . . . . . . . . . . . 25--32
David Barstow Rapid prototyping, automatic
programming, and experimental sciences 33--34
Bruce I. Blum and
Raymond C. Houghton Rapid prototyping of information
management systems . . . . . . . . . . . 35--38
Alan M. Davis Rapid prototyping using executable
requirements specifications . . . . . . 39--44
John K. Dixon and
John McLean and
David L. Parnas Rapid prototyping by means of abstract
module specifications written as trace
axioms . . . . . . . . . . . . . . . . . 45--49
W. P. Dodd and
P. Ramsay and
T. H. Axford and
D. G. Parkyn A prototyping language for
text-processing applications . . . . . . 50--53
Arthur G. Duncan Prototyping in ADA: a case study . . . . 54--60
Ray Ford and
Chris Marlin Implementation prototypes in the
development of programming language
features . . . . . . . . . . . . . . . . 61--66
Hans Gill and
Roland Lindvall and
Olle Rosin and
Erik Sandewall and
Henrik Sörensen and
Ove Wigertz Experience from computer supported
prototyping for information flow in
hospitals . . . . . . . . . . . . . . . 67--70
N. H. Gehani A study in prototyping . . . . . . . . . 71--74
Joseph Goguen and
Jose Meseguer Rapid prototyping: in the OBJ executable
specification language . . . . . . . . . 75--84
C. Heitmeyer and
C. Landwehr and
M. Cornwell The use of quick prototypes in the
secure military message systems project 85--87
James W. Hooper and
Pei Hsia Scenario-based prototyping for
requirements identification . . . . . . 88--93
Hans E. Keus Prototyping: a more reasonable approach
to system development . . . . . . . . . 94--95
A. Klausner and
T. E. Konchan Rapid prototyping and requirements
specification using PDS . . . . . . . . 96--105
M. M. Lehman Research proposal to study: the role of
executable metric models in the
programming process . . . . . . . . . . 106--111
Glenn H. MacEwen Specification prototyping . . . . . . . 112--119
R. E. A. Mason and
T. T. Carey and
A. Benjamin ACT/1: a tool for information systems
prototyping . . . . . . . . . . . . . . 120--126
Gerard C. McCoyd and
John R. Mitchell System sketching: the generation of
rapid prototypes for transaction based
systems . . . . . . . . . . . . . . . . 127--132
Roland T. Mittermeir HIBOL: a language for fast prototyping
in data processing environments . . . . 133--140
J. Ramanathan and
C. J. Shubra Use of annotated schemes for developing
prototype programs . . . . . . . . . . . 141--149
Charles Rich and
Richard C. Waters The disciplined use of simplifying
assumptions . . . . . . . . . . . . . . 150--154
Stephen W. Smoliar Approaches to executable specifications 155--159
Tamara Taylor and
Thomas A. Standish Initial thoughts on rapid prototyping
techniques . . . . . . . . . . . . . . . 160--166
Allan M. Stavely Models as executable designs . . . . . . 167--168
Eugene M. Strand and
Warren T. Jones Prototyping and small scale software
projects . . . . . . . . . . . . . . . . 169--170
Anthony I. Wasserman and
David T. Shewmake Rapid prototyping of interactive
information systems . . . . . . . . . . 171--180
Mark Weiser Scale models and rapid prototyping . . . 181--185
Richard A. Zahniser Levels of abstraction in the system life
cycle . . . . . . . . . . . . . . . . . 6--12
Roger R. Baldwin Leaves from the notebook of a veteran
programmer/analyst: my sixteen months of
experience with Jackson Program Design
Methodology . . . . . . . . . . . . . . 16--16
P. A. S. Veloso and
A. L. Furtado Multi-level specifications based on
traces . . . . . . . . . . . . . . . . . 17--19
William E. Rzepka RADC SREM evaluation program: a status
report . . . . . . . . . . . . . . . . . 20--22
Haim Kilov Review of \booktitleEthnotechnical
review handbook by Daniel P. Freedman
and Gerald M. Weinberg. Ethnotech, Inc.
1979 . . . . . . . . . . . . . . . . . . 26--29
Carol L. James and
Duncan E. Morrill The real Ada, countess of Lovelace . . . 30--31
Software Engineering Notes Staff Abstracts in software engineering . . . 99--102
John Gannon SIGSOFT budget 1983 . . . . . . . . . . 6--6
Girish Parikh How to pick a winner: a look at software
methodologies . . . . . . . . . . . . . 11--12
Lem O. Ejiogu Evolution is significantly superfluous;
maintenance is semantically sound . . . 13--13
Bob Patton Prototyping: a nomenclature problem . . 14--16
Hassan Gomaa The impact of rapid prototyping on
specifying user requirements . . . . . . 17--27
John D. Musa Stimulating software engineering
progress: a report of the software
engineering planning group . . . . . . . 29--54
Anonymous Software Technology for Adaptable,
Reliable Systems (STARS) program
strategy . . . . . . . . . . . . . . . . 56--108
Bruce I. Blum Still more about rapid prototyping . . . 9--11
A. Iannino and
J. D. Musa and
K. Okumoto and
B. Littlewood Criteria for software reliability model
comparisons . . . . . . . . . . . . . . 12--16
S. Ceri and
S. Crespi-Reghizzi Relational data bases in the design of
program construction systems . . . . . . 17--29
Joseph C. Spicer A spiral approach to Software
Engineering Project Management Education 30--38
Kyu Y. Lee and
Eric C. Frankel Real-life software projects as Software
Engineering Laboratory exercises . . . . 39--43
A. Bryant and
J. A. Kirkham B. W. Boehm, \booktitleSoftware
Engineering Economics: a review essay 44--60
Gordon Lyon Machines, programs, and languages: a
simplistic introduction to computer
science . . . . . . . . . . . . . . . . 61--63
Robert S. Boyer and
J. Strother Moore Program verification prize . . . . . . . 64--64
Stephen W. Smoliar and
William W. Cotterman and
J. Daniel Couger and
Norman L. Enger and
Frederick Harold System analysis and design: a foundation
for the 1980's . . . . . . . . . . . . . 65--69
John M. Chambers Evolution and maintenance are both
semantically unsound, and also hazardous
to the health of our public image . . . 70--71
Software Engineering Notes Staff Abstracts in software engineering . . . 75--79
Wayne C. Gramlich Debugging methodology: session summary 1--3
Dick Hamlet Debugging ``level'': step-wise debugging 4--8
Rich Seidner and
Nick Tindall Interactive debug requirements . . . . . 9--22
Mark A. Linton and
Robert Balzer and
R. J. Cunningham and
Cordell Green and
Robert Sedlmeyer and
Elliott Solloway and
William Swartout and
Pamela Zave Knowledge-based debugging: session
summary . . . . . . . . . . . . . . . . 23--24
Robert L. Sedlmeyer and
William B. Thompson and
Paul E. Johnson Knowledge-based fault localization in
debugging: preliminary draft . . . . . . 25--31
Peter Bates Requirements/design debugging: session
summary . . . . . . . . . . . . . . . . 32--33
Bernd Bruegge and
Peter Hibbard Generalized path expressions: a high
level debugging mechanism . . . . . . . 34--44
Lori A. Clarke and
Debra J. Richardson The application of error-sensitive
testing strategies to debugging . . . . 45--52
C. Jard and
G. v. Bochmann An approach to testing specifications 53--59
Insup Lee Integrated environments . . . . . . . . 60--62
Zen Kishimoto An experimental debugger in a limited
programming environment . . . . . . . . 63--66
Michael L. Powell and
Mark A. Linton A database model of debugging . . . . . 67--70
Martin Mikelsons Interactive program execution in
Lispedit . . . . . . . . . . . . . . . . 71--80
Monika A. F. Müllerburg The role of debugging within software
engineering environments . . . . . . . . 81--90
Harald Wertz An integrated Lisp programming
environment . . . . . . . . . . . . . . 91--95
Thomas Gross Distributed debugging: session summary 96--97
F. Baiardi and
N. De Francesco and
E. Matteoli and
S. Stefanini and
G. Vaglini Development of a debugger for a
concurrent language . . . . . . . . . . 98--106
Peter Bates and
Jack C. Wileden An approach to high-level debugging of
distributed systems: preliminary draft 107--111
Jonice Cynthia Weber Interactive debugging of concurrent
programs . . . . . . . . . . . . . . . . 112--113
Janice Cynthia Weber Implementation issues: session summary 114--116
Michael S. Kenniston and
Russ Atkinson Implementation issues II . . . . . . . . 117--120
Knut Barra and
Hans Petter Dahle SIMOB: a portable toolbox for
observation of SIMULA executions . . . . 121--122
Jeanne Ferrante High level language debugging with a
compiler . . . . . . . . . . . . . . . . 123--129
Peter Fritzson A systematic approach to advanced
debugging: incremental compilation . . . 130--139
W. Morven Gentleman and
Henry Hoeksma Hardware assisted high level debugging:
preliminary draft . . . . . . . . . . . 140--144
Charles R. Hill A real-time microprocessor debugging
technique . . . . . . . . . . . . . . . 145--148
John D. Johnson and
Gary W. Kenney Implementation issues for a source level
symbolic debugger . . . . . . . . . . . 149--151
Karl J. Ottenstein and
Linda M. Ottenstein High-level debugging assistance via
optimizing compiler technology . . . . . 152--154
Ron Tischler and
Robin Schaufler and
Charlotte Payne Static analysis of programs as an aid to
debugging . . . . . . . . . . . . . . . 155--158
Polle T. Zellweger An interactive high-level debugger for
control-flow optimized programs . . . . 159--172
Bert Beander VAX DEBUG: an interactive, symbolic,
multilingual debugger . . . . . . . . . 173--179
James R. Cardell Multilingual debugging with the SWAT
high-level debugger . . . . . . . . . . 180--189
Thomas A. Cargill The Blit debugger: preliminary draft . . 190--200
Robert P. Cook and
Insup Lee DYMOS: a dynamic modification system . . 201--202
Carol K. Walter DELTA: the Universal Debugger for CP-6 203--205
Mark Scott Johnson Summary of evaluation and comments . . . 206--206
Donn B. Parker Testimony . . . . . . . . . . . . . . . 10--17
Geoffrey S. Goodfellow Testimony . . . . . . . . . . . . . . . 18--22
Mike Adler and
Michael A. Gray A formalization of Myers cause-effect
graphs for unit testing . . . . . . . . 24--32
Stephen W. Smoliar Review of \booktitleLiterary machines by
Ted Nelson. 1983 . . . . . . . . . . . . 34--36
Mario Bolognani and
Sergio De Julio A Master on Software Engineering Degree
in Southern Italy . . . . . . . . . . . 37--38
M. M. Lehman More on ``evolution'' and
``maintenance'' . . . . . . . . . . . . 39--39
Kenneth A. Foster Comment on ``The application of
error-sensitive testing strategies to
debugging'' . . . . . . . . . . . . . . 40--42
Bertrand Meyer Some mistakes are worse than others: an
open letter to professor David Gries . . 43--48
Software Engineering Notes Staff Abstracts in software engineering . . . 49--54
Pamela Zave Report to SIGSOFT membership fiscal year
1983 actual income and expenses . . . . 8--8
Peter G. Neumann Review of \booktitleThe hacker's
dictionary: a guide to the world of
computer wizards by Guy L. Steele,
Donald R. Woods, Raphael A. Finkel, Mark
R. Crispin, Richard M. Stallman, and
Geoffrey S. Goodfellow. Harper and Row
Publishers 1983 . . . . . . . . . . . . 12--15
Stephen W. Smoliar Review of \booktitleProgramming in
PROLOG by W. F. Clocksin and C. S.
Mellish. Springer-Verlag 1981 . . . . . 16--18
Clifton C. Dutton Requirements tools: phase I in a
software development methodology . . . . 19--23
Lori A. Clarke and
Debra J. Richardson A reply to Foster's ``Comment on 'The
application of error-sensitive testing
strategies to debugging''' . . . . . . . 24--28
Alain J. Martin On David Gries's plateau problem . . . . 29--30
Kenneth Magel Principles for software environments . . 32--35
Kenneth Magel The user-definable interface project . . 36--40
Ned Chapin Software maintenance with
fourth-generation languages . . . . . . 41--42
Kris A. Jamsa Object oriented design vs structured
design: a student's perspective . . . . 43--49
Hans Janssens The strange power of FORTRAN: a very
short calendar printing program . . . . 50--51
Anonymous Abstracts in software engineering . . . 52--63
William E. Riddle Report on the Software Process Workshop 13--20
William E. Riddle The magic number eighteen plus or minus
three: a study of software technology
maturation . . . . . . . . . . . . . . . 21--37
M. M. Lehman and
V. Stenning and
W. M. Turski Another look at software design
methodology . . . . . . . . . . . . . . 38--53
R. C. Shaw and
P. N. Hudson and
N. W. Davis Introduction of a formal technique into
a software development environment:
early observations . . . . . . . . . . . 54--79
Jorge L. Diaz-Herrera Pragmatic problems with step-wise
refinement program development . . . . . 80--88
Mee-Yee Chan and
Siu-Yuen Yam A program testing assistant for
BASIC-PLUS . . . . . . . . . . . . . . . 89--103
Tom Gilb Software engineering: using ``design by
objectives'' tools (DBO) . . . . . . . . 104--113
Girish Parikh What is software maintenance really?:
what is in a name? . . . . . . . . . . . 114--116
Vijay Kumar Garg Screen-oriented highlevel debugger(SHD)
for PASCAL . . . . . . . . . . . . . . . 117--119
K. A. Foster Sensitive test data for logic
expressions . . . . . . . . . . . . . . 120--125
Kenneth A. Foster A reply to a reply . . . . . . . . . . . 126--126
G. G. Gustafson and
T. A. Johnson Short ``good'' programs . . . . . . . . 129--129
Andrew E. Yiannakos Quality assurance and quality control in
the software development process . . . . 130--132
Software Engineering Notes Staff Abstracts in software engineering . . . 145--146
Marvin V. Zelkowits A small contribution to editing with a
syntax directed editor . . . . . . . . . 1--6
J. R. Horgan and
D. J. Moore Techniques for improving language-based
editors . . . . . . . . . . . . . . . . 7--14
Alessandro Giacalone and
Martin C. Rinard and
Thomas W. Doeppner, Jr. IDEOSY: an Ideographic and Interactive
Program Description System . . . . . . . 15--20
C. N. Fischer and
Gregory F. Johnson and
Jon Mauney and
Anil Pal and
Daniel L. Stock The Poe language-based editor project 21--29
Steven P. Reiss Graphical program development with PECAN
program development systems . . . . . . 30--41
Thomas Reps and
Tim Teitelbaum The synthesizer generator . . . . . . . 42--48
Norman M. Delisle and
David E. Menicosy and
Mayer D. Schwartz Viewing a programming environment as a
single tool . . . . . . . . . . . . . . 49--56
Thomas A. Standish and
Richard N. Taylor Arcturus: a prototype advanced Ada\reg
programming environment . . . . . . . . 57--64
David B. Garlan and
Philip L. Miller GNOME: an introductory programming
environment based on a family of
structure editors . . . . . . . . . . . 65--72
Roy H. Campbell and
Peter A. Kirslis The SAGA project: a system for software
development . . . . . . . . . . . . . . 73--80
M. Chesi and
E. Dameri and
M. P. Franceschi and
M. G. Gatti and
C. Simonelli ISDE: an Interactive Software
Development Environment . . . . . . . . 81--88
N. Minsky and
A. Borgida The Darwin software-evolution
environment . . . . . . . . . . . . . . 89--95
John DeTreville Phoan: an intelligent system for
distributed control synthesis . . . . . 96--103
David B. Leblang and
Robert P. Chase, Jr. Computer-Aided Software Engineering in a
distributed workstation environment . . 104--112
Peter Fritzson Preliminary experience from the dice
system a distributed incremental
compiling environment . . . . . . . . . 113--123
Richard Snodgrass Monitoring in a software development
environment: a relational approach . . . 124--131
Mark A. Linton Implementing relational views of
programs . . . . . . . . . . . . . . . . 132--140
V. Donzeau-Gouge and
G. Kahn and
B. Lang and
B. Mél\`ese Document structure and modularity in
mentor . . . . . . . . . . . . . . . . . 141--148
J. Estublier and
S. Ghoul and
S. Krakowiak Preliminary experience with a
configuration control system for modular
programs . . . . . . . . . . . . . . . . 149--156
David Ungar Generation Scavenging: a non-disruptive
high performance storage reclamation
algorithm . . . . . . . . . . . . . . . 157--167
Jeffrey Scott Vitter US&R: a new framework for redoing
(Extended Abstract) . . . . . . . . . . 168--176
Karl J. Ottenstein and
Linda M. Ottenstein The program dependence graph in a
software development environment . . . . 177--184
Richard P. Gabriel and
Martin E. Frost A programming environment for a
timeshared system . . . . . . . . . . . 185--192
Elliot Soloway A cognitively-based methodology for
designing
languages/environments/methodologies . . 193--196
Pamela Zave An overview of the PAISLey project ---
1984 . . . . . . . . . . . . . . . . . . 12--19
Peter Freeman and
Anthony I. Wasserman and
Raymond C. Houghton Comparing software development
methodologies for Ada: a study plan . . 22--55
David R. Barstow and
Howard E. Shrobe and
Erik Sandewall and
Stephen W. Smoliar Interactive programming environments . . 56--58
Dave Brown My accordian's stuffed full of paper: or
why we did so badly in the design phase 58--60
Software Engineering Notes Staff Abstracts in software engineering . . . 62--66
Dick Dunn Two observations on large software
projects . . . . . . . . . . . . . . . . 8--10
Pamela Zave Correction . . . . . . . . . . . . . . . 10--10
Marvin V. Zelkowitz A taxonomy of prototype designs . . . . 11--12
S. T. Gregory On prototypes vs. mockups . . . . . . . 13--13
David Robinson A response to Dave Brown's ``Why we did
so badly in the design phase'' . . . . . 13--13
Scott H. Costello Software engineering under deadline
pressure . . . . . . . . . . . . . . . . 15--19
Antonio Kung and
Michael Ian Thomas Applying a generalized host/target
concept for developing subsystems in
PASCAL . . . . . . . . . . . . . . . . . 20--22
Rafael Bonet and
Antonio Kung Structuring into subsystems: the
experience of a prototyping approach . . 23--27
Mark K. Joseph Programming with small blocks . . . . . 28--42
Herbert Weber The distributed development system: a
monolithic software development
environment . . . . . . . . . . . . . . 43--72
Software Engineering Notes Staff Abstracts in software engineering . . . 90--94
Eugene Miya On ``Software engineering'' . . . . . . 12--12
J. L. Lawrence Why is software always late? . . . . . . 19--30
J. L. Lawrence The RC2000: a software success story . . 31--42
Bruce Blum Understanding the software paradox . . . 43--46
Dennis P. Geller B-ware: contradictions in a software
development plan . . . . . . . . . . . . 48--51
Lars Olenfeldt A very short paper on the
OBJECT/EVENT-ANALYSIS . . . . . . . . . 52--57
Donald J. Reifer Review of \booktitlePrinciples of
productive software management by
Michael W. Evans, Pamela Piazza, and
James B. Dolkes. John Wiley and Sons
1983 . . . . . . . . . . . . . . . . . . 58--58
K. A. Foster Revision of an error sensitive test rule 62--67
Software Engineering Notes Staff Abstracts in software engineering . . . 74--81
Software Engineering Notes Staff Questionnaire responses . . . . . . . . 12--15
W. D. Maurer and
Tim E. Barrios The parable of the two programmers,
continued . . . . . . . . . . . . . . . 19--22
Peter G. Neumann Review of \booktitleThe Sachertorte
algorithm and other antidotes to
computer anxiety by John Shore. Viking
1985 . . . . . . . . . . . . . . . . . . 23--27
Graham Tate and
Thomas W. G. Docker A rapid prototyping system based on data
flow principles . . . . . . . . . . . . 28--34
Neil W. Rickert A system for managing shared files . . . 35--40
Patrick H. Loy System partitioning: a critical and
often belittled development phase . . . 41--44
Rebecca Ann Lamb More on software quality assurance . . . 45--45
Sam Harbaugh Beware of beware . . . . . . . . . . . . 46--46
Dick Dunn The emerging social significance of the
magnetic-tape write-enable ring . . . . 47--50
Devid P. Schwartz Summary of IEEE CSM WG meeting #5,
23--25 Jan 85 . . . . . . . . . . . . . 51--57
Girish Parikh Software maintenance news . . . . . . . 58--59
Peter B. Henderson Software development/programming
environments . . . . . . . . . . . . . . 60--62
Software Engineering Notes Staff Proceedings of the ACM Ada TEC ``Future
Ada environment workshop'' . . . . . . . 77--117
Software Engineering Notes Staff Abstracts in software engineering . . . 118--125
Jerrold Heyman and
William M. Lively Syntax-directed editing revisited . . . 24--27
Jeff Parker Towards more intelligent programming
environments . . . . . . . . . . . . . . 28--32
Les Belady and
Charles Richter The MCC software technology program . . 33--36
Vijay Kumar Garg Functional composition: a mechanism to
compose programs . . . . . . . . . . . . 37--39
R. D. Penteado and
P. C. Masiero and
F. S. Germano Structure charts for Jackson system
development . . . . . . . . . . . . . . 40--46
Mark Spinrad and
Curt Abraham The Wild-West Lifecycle (WILI) . . . . . 47--48
Tom Gilb Evolutionary Delivery versus the
``waterfall model'' . . . . . . . . . . 49--61
David J. Schultz Standard for the software life-cycle
process . . . . . . . . . . . . . . . . 62--62
Rudy Bazelmans Productivity: the role of the tools
group . . . . . . . . . . . . . . . . . 63--75
Robert G. Reynolds PARTIAL: a tool to monitor the stepwise
refinement of Ada programs . . . . . . . 76--94
Jean Renard Ward UNIX as an environment for non-UNIX
software development: a case history . . 95--108
Software Engineering Notes Staff Abstracts in software engineering . . . 109--117
D. Craigen and
D. Good Overview of verification systems . . . . 1--1
David R. Musser AIDS to hierarchical specification
structuring and reusing theorems in
AFFIRM-85 . . . . . . . . . . . . . . . 2--4
Michael K. Smith and
Richard M. Cohen Gypsy verification environment: status 5--6
Leo Marcus and
Stephen D. Crocker and
Jaisook R. Landauer SDVS: a system for verifying microcode
correctness . . . . . . . . . . . . . . 7--14
Stephen D. Crocker Engineering requirements for production
quality verification systems . . . . . . 15--16
Steven T. Eckmann and
Richard A. Kemmerer INATEST: an interactive environment for
testing formal specifications . . . . . 17--18
Daniel M. Berry An Ina Jo\reg proof manager for the
formal development method . . . . . . . 19--25
Dan Putnam The VERUS\TM design verification system 26--27
Ole-Johan Dahl and
Olaf Owe A presentation of the specification and
verification project ``ABEL'' . . . . . 28--32
Dan Craigen and
Mark Saaltink An EVES update . . . . . . . . . . . . . 33--34
S. Kamal Abdali and
Ralph L. London Exploiting workstations and displays in
verification systems . . . . . . . . . . 35--36
Susan L. Gerhart Prolog technology as a basis for
verification systems . . . . . . . . . . 37--40
Michael Melliar-Smith and
John Rushby The enhanced HDM system for
specification and verification . . . . . 41--43
James Williams and
Charles Applebaum The Practical Verification System
Project . . . . . . . . . . . . . . . . 44--47
Donald I. Good and
Robert S. Boyer and
J. Strother Moore A second generation verification
environment . . . . . . . . . . . . . . 48--48
Jim William Components of verification technology 49--50
Raymond J. Hookway Verifying Ada programs . . . . . . . . . 51--52
D. Cooper Overview of Theorem Proving . . . . . . 53--54
Nachum Dershowitz and
David A. Plaisted Conditional rewriting . . . . . . . . . 55--59
Nachum Dershowitz Rewriting and verification . . . . . . . 60--60
Brian T. Smith Position paper to be presented at
``Verification workshop III (verkshop
III)'' to be held in Watsonville, CA.
Feb. 18--21, 1985 . . . . . . . . . . . 61--62
Deepak Kapur and
Paliath Narendran An equational approach to theorem
proving in first-order predicate
calculus . . . . . . . . . . . . . . . . 63--66
Deepak Kapur and
G. Sivakumar RRL: theorem proving environment based
on rewriting techniques . . . . . . . . 67--68
Sam Owre The Sytek theorem prover . . . . . . . . 69--69
William Wilson and
Sam Owre Programmable heuristics for theorem
provers . . . . . . . . . . . . . . . . 70--71
Bob Boyer and
Matt Kaufmann A prototype theorem-prover for a
higher-order functional language . . . . 72--74
R. A. Kemmerer Overview of foundations . . . . . . . . 75--75
Jexice I. Glasgow and
Glena H. MacEwe LUCID: a specification language for
distributed systems . . . . . . . . . . 76--79
Dan Craigen Some thoughts arising from a language
design effort . . . . . . . . . . . . . 80--81
Mark Saaltink Relational semantics . . . . . . . . . . 82--83
Friedrich W. von Henke Reasoning with Hoare sentences . . . . . 84--84
John McLean Two dogmas of program specification . . 85--87
Anonymous Old-fashioned logic for verification . . 87--89
Dan Putnam Separating methodology and specification
constructs . . . . . . . . . . . . . . . 90--91
Mark R. Pixon Enhancing FDM for the expression of
concurrency requirements . . . . . . . . 92--94
K. N. Levitt and
A. Whitehurst Overview of applications . . . . . . . . 95--96
R. Alan Whitehurst The need for an integrated design,
implementation, verification and testing
methodology . . . . . . . . . . . . . . 97--100
Ben Di Vito Towards a definition of ``Beyond AI''
verification . . . . . . . . . . . . . . 101--102
Jeannette M. Wing Beyond functional behavior: combining
methods to specify different classes of
properties of large systems . . . . . . 102--104
John McHugh and
Karl Nyberg Ada verification using existing tools 104--106
Carl E. Landwehr Does program verification help?: how
much? . . . . . . . . . . . . . . . . . 107--107
Terry C. Vickers Benzel Verification technology and the A1
criteria . . . . . . . . . . . . . . . . 108--109
Daniel Davis Resource abstraction and validation . . 110--110
Carl E. Landwehr Some lessons from formalizing a security
model . . . . . . . . . . . . . . . . . 111--112
Tad Taylor Verkshop position paper . . . . . . . . 113--116
Norman Proctor The restricted access processor: an
example of formal verification . . . . . 116--118
W. E. Boebert and
R. Y. Kain The extended access matrix model of
computer security . . . . . . . . . . . 119--125
Ruaridh Macdonald Verifying a real system design: some of
the problems . . . . . . . . . . . . . . 126--129
R. Stokes Some formal method activities in UK
industry . . . . . . . . . . . . . . . . 129--130
David Lorge Parnas Software aspects of strategic defense
systems . . . . . . . . . . . . . . . . 15--23
Jim Horning Computing in support of battle
management . . . . . . . . . . . . . . . 24--27
Martin J. Moore Software engineering and SDI . . . . . . 28
David Weiss Strategic defense initiative software
feasibility (panel): panel discussion at
the 8th ICSE . . . . . . . . . . . . . . 29
Kyu Y. Lee Response to Jim Horning's letter . . . . 30
David A. Nelson Will the real SE metaphors please stand
up!: (or, I never metaphor I didn't
like!) . . . . . . . . . . . . . . . . . 31--32
Martha Branstad and
Leonard L. Tripp Summary of SESAW III . . . . . . . . . . 33--36
Rudy Bazelmans Evolution of configuration management 37--46
Vincent A. Mastro Three dimensional system development . . 47--59
Rajeev Aggarwal Management of dormant files . . . . . . 60--61
Jayashree Ramanathan and
John M. Rose TRIAD: beyond isolated systems for
development-in-the-large and
programming-in-the-small . . . . . . . . 62--72
Jayashree Ramanathan and
Robert Vermilyer and
Thorbjorn Anderson and
John M. Rose The use of a relational data base in
method driven environments . . . . . . . 73--78
Girish Parikh Discovering the world of software
maintenance: selected readings . . . . . 79--88
Girish Parikh Software maintenance: penny wise,
program foolish . . . . . . . . . . . . 89--98
Walter Tichy SDI software . . . . . . . . . . . . . . 1:1--1:??
Peter G. Neumann Risks to the public in computer systems 2--14
David B. Benson The role of failure in successful design 15
Fletcher J. Buckley The search for software quality, or one
more trip down the yellow brick road . . 16--18
John B. Bowen Comments on software quality evaluation
guidebook . . . . . . . . . . . . . . . 19
Mitchell D. Lubars Code reusability in the large versus
code reusability in the small . . . . . 21--28
Max J. Schindler Algorithms and models . . . . . . . . . 28
Stan Skelton Measurements of migratability and
transportability . . . . . . . . . . . . 29--34
James V. Chelini and
Edmund B. Hudson and
Stephen M. Reidy A preliminary study of Ada expansion
ratios . . . . . . . . . . . . . . . . . 35--46
Tom Gilb Software specification and design must
``engineer'' quality and cost
iteratively . . . . . . . . . . . . . . 47--48
Tom Gilb Estimating software attributes: some
unconventional points of view . . . . . 49--59
F. Buckley A review of the quality aspects of the
approved software engineering standards 60--63
Reza Pazirandeh Test plan methodology . . . . . . . . . 64--72
William E. Riddle and
Lloyd G. Williams Software Environments Workshop report 73--102
J. V. Guttag and
J. J. Horning and
J. M. Wing Abstracts in software engineering . . . 103--110
Richard Snodgrass Announcement of the IDL toolkit . . . . 111
Peter G. Neumann Risks to the public in computer systems 1
Peter G. Neumann Risks to the public in computer systems 2--17
Ira Pohl SDI software: AI is not the answer . . . 18--19
Pamela Zave Found poetry of software engineering . . 20
Neil W. Rickert Preconditions for widespread reuse of
code . . . . . . . . . . . . . . . . . . 21
Osamu Iseki and
Ben Shneiderman Applying direct manipulation concepts:
direct manipulation dik operating system
(DMDOS) . . . . . . . . . . . . . . . . 22--26
I. W. Pirie The LIFESPAN system . . . . . . . . . . 27--28
Peter B. Henderson Software development/programming
environments . . . . . . . . . . . . . . 29--31
P. Lempp A possibility to make project progress
visible: the progress diagram within the
EPOS---system . . . . . . . . . . . . . 32--35
Richard J. Botting Into the fourth dimension---an
introduction to dynamic analysis and
design . . . . . . . . . . . . . . . . . 36--48
Girish Parikh Exploring the world of software
maintenance: what is software
maintenance? . . . . . . . . . . . . . . 49--52
Girish Parikh The new world of ``AI-SM'': (artificial
intelligence in software maintenance) 53--56
Catherine W. McDonald and
William Riddle and
Christine Youngblut Stars methodology area summary: volume
II: preliminary views on the software
life cycle and methodology selection . . 58--85
M. Early Relating software requirements to
software design . . . . . . . . . . . . 37--39
G. Perlman Coding quality and tools in programming
methods . . . . . . . . . . . . . . . . 44--50
K. Schwan and
J. Matthews Graphical views of parallel programs . . 51--64
VE Church and
D. N. Card and
W. W. Agresti and
Q. L. Jordan An approach for assessing software
prototypes . . . . . . . . . . . . . . . 65--76
Gary Chapman and
Marvin Schaefer Book Review: \booktitleSoftware
Engineering by Thierry Breton and Denis
Beneich (Holt, Rinehart Winston) . . . . 77--78
Dan Conde Book review: \booktitleAbstraction and
Specification in Program Development by
Barbara Liskov and John Guttag (MIT
Press/McGraw-Hill, 1988, 469 pages, ISBN
0-262-12112-3) . . . . . . . . . . . . . 79--81
M. Dowson The structure of the software process 6--8
J. Wileden This is IT: a metamodel of the software
process . . . . . . . . . . . . . . . . 9--11
M. Evangelist and
J. Pellegrin Foundational problems in software
process research . . . . . . . . . . . . 12--13
B. Boehm A spiral model of software development
and enhancement . . . . . . . . . . . . 14--24
B. Blum Thoughts on the software process . . . . 25--26
Mark Dowson Position paper: International Workshop
on the Software Process and Software
Environments . . . . . . . . . . . . . . 26--27
M. Lehman Approach to a disciplined development
process --- the ISTAR integrated project
support environment . . . . . . . . . . 28--33
S. Greenspan On the role of domain knowledge-based
approaches to software development . . . 34--36
S. Jähnichen and
G. Goos Towards an alternative model for
software developments . . . . . . . . . 36--38
Charles A. Richter An assessment of structured analysis and
structured design . . . . . . . . . . . 41--45
Naoki Yonezaki and
Hajime Enomoto and
Motoshi Saeki Logical environment for natural language
approach . . . . . . . . . . . . . . . . 45--48
Pamela Zave Let's put more emphasis on perspective
methods . . . . . . . . . . . . . . . . 52--53
Mark A. Ardis Comparison of algebraic and
state-machine specification methods . . 54--56
Stephanie White Two embedded computer system
requirements models issues for
investigation . . . . . . . . . . . . . 56--59
Aloysius K. Mok The Von Neumann straitjacket: the
process construct . . . . . . . . . . . 60--65
Robert Balzer Program enhancement: a position paper 66--68
Naftaly H. Minsky What should we do about the evolution of
software: a position paper . . . . . . . 68--70
Dewayne E. Perry Tools for evolving software: a position
paper . . . . . . . . . . . . . . . . . 70--71
Peter G. Neumann Risks to the public in computer systems 3--28
Brian Reid Lessons from the UNIX breakins at
Stanford . . . . . . . . . . . . . . . . 29--35
Jerrold M. Grochow A practitioner's observations on the
Software Testing Workshop . . . . . . . 36--37
Eliot Soloway Workshop on Empirical Studies of
Programmers . . . . . . . . . . . . . . 38
Mitchell D. Lubars Affording higher reliability through
software reusability . . . . . . . . . . 39--42
Gregory McFarland The benefits of bottom-up design . . . . 43--51
Richard Currey Letter on ERTS and LEGO . . . . . . . . 51
Pete Schilling Software methodology: ASTM . . . . . . . 52
T. H. Tse and
L. Pong An application of Petri nets in
structured analysis . . . . . . . . . . 53--56
Edward Winters Requirements checklist for a system
development workstation . . . . . . . . 57--62
Carl E. Landwehr and
Susan L. Gerhart and
John McLean and
Donald I. Good and
Nancy Leveson NRL Invitational Workshop on Testing and
Proving: two approaches to assurance . . 63--85
Girish Parikh Exploring the world of software
maintenance III: research and
development --- future directions in
software maintenance . . . . . . . . . . 86--91
U. Newcastle and
U. Texas and
R. S. Boyer and
J. S. Moore and
W. A. Hunt and
R. M. Cohen and
U. Toronto and
R. C. Holt Abstracts in software engineering ---
reports . . . . . . . . . . . . . . . . 92--94
Peter G. Neumann Risks to the public in computers and
related systems . . . . . . . . . . . . 3--22
S. S. Brilliant and
J. C. Knight and
N. G. Leveson The consistent comparison problem in
$N$-version software . . . . . . . . . . 29--34
J. Iivari A hierarchical spiral model for the
software process . . . . . . . . . . . . 35--37
S. Hekmatpour Experience with evolutionary prototyping
in a large software project . . . . . . 38--41
M. Ratcliffe Hereford Workshop on Software Reuse . . 42--47
J. Galbraith Softool uses' group meets . . . . . . . 48--48
B. I. Blum GAO report FGMSD-80-4 revisited . . . . 49--50
P. Coad, Jr. Design approaches and DoD-STD-2167 . . . 50--50
P. B. Henderson Software development environments . . . 51--52
M. Lehman and
W. Turski Essential properties of IPSEs . . . . . 52--55
K. Reed Review of the environments symposium . . 56--62
R. Soupos and
S. Goutas and
D. Christodoulakis and
C. Zaroliagis A software development environment
database . . . . . . . . . . . . . . . . 63--63
R. Houghton and
D. Wallace Characteristics and functions of
software environments: an overview . . . 64--84
N. Leveson A scary tale --- Sperry avionics
module-testing bites the dust? . . . . . 23--25
P. Mannino A presentation and comparison of four
information system development
methodologies . . . . . . . . . . . . . 26--29
P. O. Bobbie Productivity through automated tools . . 30--31
W. L. Johnson Some comments on coding practice . . . . 32--35
D. R. Wallace and
R. U. Fujii Planning for software verification and
validation . . . . . . . . . . . . . . . 37--37
A. Ritter Highlights of the new approach for
structuring complex systems . . . . . . 38--42
T. Gilb Design by objectives . . . . . . . . . . 42--49
Herb Krasner CSCW'86 Conference summary report . . . 50--51
G. Parikh Software maintenance notes . . . . . . . 51--53
I. Sommerville Review of 1986 Environments Conference 54--55
S. Boyd Status of DAPSE distributed Ada support 56--56
P. G. Neumann Risks to the public . . . . . . . . . . 2--17
Jack Goldberg Some principles and techniques for
designing safe systems . . . . . . . . . 17--19
M. Aoyama Concurrent development of software
systems . . . . . . . . . . . . . . . . 20--24
J. Dähler and
P. Gerber and
H.-P. Gisiger and
A. Kündig A graphical tool for the design and
prototyping of distributed systems . . . 25--36
B. Livson Future software development management
system concepts . . . . . . . . . . . . 37--41
F. J. Buckley The roles of a SQA person . . . . . . . 42--44
P. Kokol Spreadsheet programs in software
engineering . . . . . . . . . . . . . . 45--50
P. Huang Survey in software development . . . . . 51--54
S. J. Pratt Catastrophe theory and software
engineering . . . . . . . . . . . . . . 55--57
C. C. Cook and
M. Nanja Prototype software complexity metrics
tools . . . . . . . . . . . . . . . . . 58--60
G. Parikh ``Experter'' and ``expertation'' . . . . 61--61
J. Galbraith and
J. C. Young Softool users group . . . . . . . . . . 62--63
University of Lowell Graphical Kernel System . . . . . . . . 64--64
P. G. Neumann Risks to the public . . . . . . . . . . 2--18
L. H. Werth Survey of software engineering education 19--26
P. Kokol Dining philosophers in JSD . . . . . . . 27--33
K. Harwood On prototyping and the role of the
software engineer . . . . . . . . . . . 34--34
P. Brereton 1987 Software engineering environments
conference . . . . . . . . . . . . . . . 35--35
M. Hagemann Formal requirements specification of
process control systems . . . . . . . . 36--42
D. C. Rine A common error in the object structuring
of object-oriented design methods . . . 42--44
I. Miyamoto A prototyping tool for graphical
software engineering tools . . . . . . . 45--51
L. Waguespack, Jr. and
S. Badiani Software complexity assessment:
annotated bibliography . . . . . . . . . 52--71
Peter G. Neumann Risks to the public . . . . . . . . . . 3--16
Will Tracz Software reuse myths . . . . . . . . . . 17--21
K. F. Donnelly and
K. A. Gluck A case study in test environment
evolution . . . . . . . . . . . . . . . 22--28
Mehdi T. Harandi Workshop on Software Specification and
Design . . . . . . . . . . . . . . . . . 29--29
J. C. P. Woodcock Formalisms . . . . . . . . . . . . . . . 30--32
Guillermo Arango and
Peter Freeman Application of artificial intelligence 32--38
Peter B. Henderson Methodology and environments . . . . . . 39--40
Pamela Zave Assessment . . . . . . . . . . . . . . . 40--43
Robert G. Babb II Language and models . . . . . . . . . . 43--45
Guillermo Arango and
Ira Baxter and
Peter Freeman A framework for incremental progress in
the application of AI to software
engineering . . . . . . . . . . . . . . 46--50
Fletcher J. Buckley Balloting experiment with software
engineering standards . . . . . . . . . 51--51
Tore Smestad and
Kristian Andersen Integrated projection illustrating . . . 52--56
Christopher Westphal Knowledge engineering for software
design . . . . . . . . . . . . . . . . . 57--58
William Bruyn and
Randall Jense and
Dinesh Keskar and
Paul Ward An extended systems modeling language
(ESML) . . . . . . . . . . . . . . . . . 58--67
Jenny C. Young SofTool users group . . . . . . . . . . 68--70
Peter G. Neumann Risks to the public and related systems 5--17
Edsger W. Dijkstra Position paper on ``fairness'' . . . . . 18--20
Rivhard A. Zahniser Computer science vs. software
engineering . . . . . . . . . . . . . . 21--21
Richard A. Zahniser The perils of top-down design . . . . . 22--24
Christiane Floyd A paradigm change in software
engineering . . . . . . . . . . . . . . 25--38
J. A. Zimmer We need a discipline of software
composing . . . . . . . . . . . . . . . 39--40
Richard E. Fairley Post-mortem analysis of software
engineering at Wang Institute . . . . . 41--47
Cathy C. Ncube Ada tasking model and Prolog predication 48--50
John Murray Source control using VM/SP and CMS . . . 51--54
P. Kokol Software effort metrics: how to join
them . . . . . . . . . . . . . . . . . . 55--57
F. B. Schneider and
L. Lamport On E. W. Dijkstra's position paper on
``fairness'' . . . . . . . . . . . . . . 18--19
K. Mani Chandy and
J. Misra Another view on ``fairness'' . . . . . . 20--20
B. Williams Punchcard voting systems . . . . . . . . 21--21
P. Masiero and
F. S. R. Germano JSD as an object-oriented design method 22--23
R. M. Ladden Object-oriented development for Ada . . 24--31
R. Blumofe and
A. Hecht Executing real-time structured analysis
specifications . . . . . . . . . . . . . 32--40
G. Chroust Models, instances, and concurrency in
software development . . . . . . . . . . 41--42
P. Loy Toward a new paradigm for quality
assurance . . . . . . . . . . . . . . . 43--44
B. U. Livson A practical approach to software quality
assurance . . . . . . . . . . . . . . . 45--48
R. Martin Evaluation of current software costing
tools . . . . . . . . . . . . . . . . . 49--51
F. Calliss and
M. Munro The First UK Software Maintenance
Workshop . . . . . . . . . . . . . . . . 52--53
P. Neumann and
Other Contributors Risks to the public . . . . . . . . . . 3--20
L. L. Tripp Graphical notations for program design 39--44
J. E. Tardy Host/target approach to embedded system
development is becoming obsolete . . . . 45--51
I. Thomas PCTE Esprit and Pact . . . . . . . . . . 52--56
Z. Guoliang and
Z. Chengxiang The kernel of Modula-2 integrated
environment . . . . . . . . . . . . . . 57--60
J. F. H. Winkler Workshop on Software Version and
Configuration Control . . . . . . . . . 61--73
J. Murray Problem reporting and development
tracking using VM/SP . . . . . . . . . . 74--78
S. C. Kienle and
W. A. Keller Problem report forms: a system for
software configuration management . . . 79--84
Richard N. Taylor and
Frank C. Belz and
Lori A. Clarke and
Leon Osterweil and
Richard W. Selby and
Jack C. Wileden and
Alexander L. Wolf and
Michael Young Foundations for the Arcadia environment
architecture . . . . . . . . . . . . . . 1--13
P. Borras and
D. Clement and
Th. Despeyroux and
J. Incerpi and
G. Kahn and
B. Lang and
V. Pascual Centaur: the system . . . . . . . . . . 14--24
Peter Lee and
Frank Pfenning and
Gene Rollins and
William Scherlis The ergo support system: an integrated
set of tools for prototyping integrated
environments . . . . . . . . . . . . . . 25--34
Tom Strelich The Software Life Cycle Support
Environment (SLCSE): a computer based
framework for developing software
systems . . . . . . . . . . . . . . . . 35--44
Shaye Koenig (ISEF): an integrated
industrial-strength software engineering
framework . . . . . . . . . . . . . . . 45--54
Geoffrey M. Clemm The workshop system: a practical
knowledge-based software environment . . 55--64
Naftaly H. Minsky and
David Rozenshtein A software development environment for
law-governed systems . . . . . . . . . . 65--75
Thomas Rodden and
Pete Sawyer and
Ian Sommerville Interacting with an active, integrated
environment . . . . . . . . . . . . . . 76--84
Lung-Chun Liu and
Ellis Horowitz Object database support for a software
project management environment . . . . . 85--96
Karen E. Huff and
Victor R. Lesser A plan-based intelligent assistant that
supports the software development . . . 97--106
David Notkin The relationship between software
development environments and the
software process . . . . . . . . . . . . 107--109
Robert L. Nord and
Frank Pfenning The Ergo Attribute System . . . . . . . 110--120
Bowen Alpern and
Alan Carle and
Barry Rosen and
Peter Sweeney and
Kenneth Zadeck Graph attribution as a specification
paradigm . . . . . . . . . . . . . . . . 121--129
Jack C. Wileden and
Alexander L. Wolf and
Charles D. Fisher and
Peri L. Tarr Pgraphite: an experiment in persistent
typed object management . . . . . . . . 130--142
Michel Beaudouin-Lafon User interface support for the
integration of software tools: an iconic
model of interaction . . . . . . . . . . 143--152
Lori A. Clarke and
Debra J. Richardson and
Steven J. Zeil TEAM: a support environment for testing,
evaluation, and analysis . . . . . . . . 153--162
Uday S. Reddy Transformational derivation of programs
using the focus system . . . . . . . . . 163--172
Claus Lewerentz Extended programming in the large in a
software development environment . . . . 173--182
J. Walpole and
G. S. Blair and
J. Malik and
J. R. Nicol A unifying model for consistent
distributed software development
environments . . . . . . . . . . . . . . 183--190
Axel Mahler and
Andreas Lampen An integrated toolset for engineering
software configurations . . . . . . . . 191--200
Ellis S. Cohen and
Dilip A. Soni and
Raimund Gluecker and
William M. Hasling and
Robert W. Schwanke and
Michael E. Wagner Version management in Gypsy . . . . . . 201--215
Dennis Heimbigner and
Steven Krane A graph transform model for
configuration management environments 216--225
Maria H. Penedo and
Erhard Ploedereder and
Ian Thomas Object Management Issues for Software
Engineering Environments workshop report 226--234
Robert Munck and
Patricia Oberndorf and
Erhard Ploedereder and
Richard Thall An overview of DOD-STD-1838A (proposed)
the common APSE interface set: revision 235--247
Gerard Boudier and
Ferdinando Gallo and
Regis Minot and
Ian Thomas An overview of PCTE and PCTE+ . . . . . 248--257
R. R. Loka A programming language and its
efficiency . . . . . . . . . . . . . . . 29--31
A. I. Wasserman and
Peter Pircher and
R. J. Muller An object-oriented structured design
method for code generation . . . . . . . 32--55
P. Salenieks Software development: advice by analogy 56--60
W. Scacchi The USC system factory project . . . . . 61--82
P.-N. Robillard On the evolution of graphical notation
for program design . . . . . . . . . . . 84--88
P. H. Loy Enlarging the scope of SQA . . . . . . . 89--95
C. Boldyreff Reuse, software concepts, descriptive
methods, and the practitioner project 25--31
G. Hill Radical and conservative top-down
development . . . . . . . . . . . . . . 32--38
V. Karakostas Requirements for CASE tools in early
software reuse . . . . . . . . . . . . . 39--41
L. Zucconi Selecting a CASE tool . . . . . . . . . 42--44
E. L. Miranda Control transformations through Petri
Nets . . . . . . . . . . . . . . . . . . 45--48
H. Agrawal and
E. H. Spafford Bibliography on debugging and
backtracking . . . . . . . . . . . . . . 49--56
Haim Kilov Book review: \booktitleAdvanced database
techniques by Daniel Martin (MIT Press
1986) . . . . . . . . . . . . . . . . . 57
K. C. Tai What to do beyond branch testing . . . . 58--61
A. A. Omar and
F. A. Mohammed Structural testing of programs . . . . . 62--70
D. E. House and
W. F. Newman Testing large software products . . . . 71--77
Peter G. Neumann Errata: Interchanged pages in the
previous issue: SEN 14-1: Page 31 and
Page 46 . . . . . . . . . . . . . . . . 78
R. V. Binder Article review: \booktitleAn OOSD Method
for Code Generation by A. I. Wasserman,
P. A. Pircher, R. J. Muller (SEN 14 1,
January 1989) . . . . . . . . . . . . . 79
I. R. Forman Design by decomposition of multiparty
interactions in Raddle87 . . . . . . . . 2--10
R. Gerth and
A. Pnueli Rooting UNITY . . . . . . . . . . . . . 11--19
S. M. Kaplan and
s. K. Goering and
R. H. Campbell Specifying concurrent systems with $
\Delta $-grammars . . . . . . . . . . . 20--27
J. Kramer and
J. Magee and
M. Sloman Configuration support for system
description, construction and evolution 28--33
R. Kurki-Suonio and
H.-M. Järvinen Action system approach to the
specification and design of distributed
systems . . . . . . . . . . . . . . . . 34--40
G.-C. Roman and
K. C. Cox Implementing a shared dataspace language
on a message-based multiprocessor . . . 41--48
T. Bräunl A specification language for parallel
architectures and algorithms . . . . . . 49--51
H. von Issendorff On the algebraic representation and
treatment of processing structures . . . 52--55
T. Watanabe and
A. Yonezawa Reflective computation in
object-oriented concurrent systems and
its applications . . . . . . . . . . . . 56--58
C. Ghezzi and
D. Mandrioli and
S. Morasca and
M. Pezze A general way to put time in Petri nets 60--67
L.-M. Gilham and
A. Goldberg and
T. C. Wang Toward reliable reactive systems . . . . 68--74
L. Y. H. Liu and
R. K. Shyamasundar An operational semantics of real time
design language RT-CDL . . . . . . . . . 75--82
L. Peters Timing extensions to structured analysis
for real time systems . . . . . . . . . 83--90
R. K. Shyamasundar and
J. Hooman and
R. Gerth Reasoning of real-time distributed
programming languages . . . . . . . . . 91--99
B. E. Melhart and
N. G. Leveson and
M. S. Jaffe Analysis capabilities for requirements
specified in statecharts . . . . . . . . 100--103
M. Kooij Interface specification with temporal
logic . . . . . . . . . . . . . . . . . 104--110
J. C. S. P. Leite Viewpoint analysis: a case study . . . . 111--119
R. L. London and
K. R. Milsted Specifying reusable components using Z:
realistic sets and dictionaries . . . . 120--127
C. Niskier and
T. Maibaum and
D. Schwabe A look through PRISMA: towards
pluralistic knowledge-based environments
for software specification acquisition 128--136
H. S. Dhama and
D. Shtern A net method for specification of
reusable software . . . . . . . . . . . 137--139
R. S. D'Ippolito and
C. P. Plinta Software development using models . . . 140--142
M. Shaw Larger scale systems require
higher-level abstractions . . . . . . . 143--146
R. W. Schwanke and
R. Z. Altucher and
M. A. Platoff Discovering, visualizing, and
controlling software structure . . . . . 147--154
G. Arango Domain analysis: from art form to
engineering discipline . . . . . . . . . 152--159
M. S. Dubois A logic of action for supporting
goal-oriented elaborations of
requirements . . . . . . . . . . . . . . 160--168
M. S. Feather Detecting interference when merging
specification evolutions . . . . . . . . 169--176
J. S. Anderson and
S. Fickas A proposed perspective shift: viewing
specification design as a planning
problem . . . . . . . . . . . . . . . . 177--184
A. Finkelstein and
H. Fuks Multiparty specification . . . . . . . . 185--195
Y. S. Maarek and
D. M. Berry The use of lexical affinities in
requirements extraction . . . . . . . . 196--202
K. Miriyala and
M. T. Harandi Analogical approach to specification
derivation . . . . . . . . . . . . . . . 203--210
H. B. Reubenstein and
R. C. Waters The requirements apprentice: an initial
scenario . . . . . . . . . . . . . . . . 211--218
W. N. Robinson Integrating multiple specifications
using domain goals . . . . . . . . . . . 219--226
R. Summersgill and
D. P. Browne Human factors: its place in system
development methods . . . . . . . . . . 227--234
D. A. Marca Specifying coordinators: guidelines for
groupware developers . . . . . . . . . . 235--237
Gerald B. Williams and
Chunka Mui and
Vairam Alagappan and
Bruce B. Johnson Software design issues: a very large
information systems perspective . . . . 238--240
N. Delisle and
d. Garlan Formally specifying electronic
instruments . . . . . . . . . . . . . . 242--248
F. Lin and
F. E. Hunt LCD-reification: a formal method for
developing Prolog programs . . . . . . . 249--256
N. Ramsey Developing formally verified Ada
programs . . . . . . . . . . . . . . . . 257--265
R. B. Terwilliger and
M. J. Maybee and
L. J. Osterweil An example of formal specification as an
aid to design and development . . . . . 266--272
D. G. Weber Formal specification of fault-tolerance
and its relation to computer security 273--277
S. Antoy Systematic design of algebraic
specifications . . . . . . . . . . . . . 278--280
S. Eisenbach and
L. McLoughlin and
C. Sadler Data-flow design as a visual programming
language . . . . . . . . . . . . . . . . 281--283
M. M. Pett and
M. D. Rice and
S. B. Seidman A formal framework for the design of
development environments . . . . . . . . 284--286
S. Thompson Functional programming: executable
specifications and program
transformations . . . . . . . . . . . . 287--290
K. Yue Representing first order logic-based
specifications in Petri-net-like graphs 291--293
V. Ashok and
J. Ramanathan and
S. Sarkar and
V. Venugopal Process modelling in software
environments . . . . . . . . . . . . . . 36--42
R. Balzer Process programming: passing into a new
phase . . . . . . . . . . . . . . . . . 43--45
B. Boeh and
F. Belz Applying process programming to the
model . . . . . . . . . . . . . . . . . 46--56
T. E. Cheatham, Jr. Activity coordination programs . . . . . 57--60
G. Chroust Duplicate instances of elements of a
software process model . . . . . . . . . 61--64
C. Fernstrom Design considerations for process-driven
software environments . . . . . . . . . 65--67
A. Finkelstein and
H. Fuks and
C. Niskier and
M. Sadler Constructing a dialogic framework for
software development . . . . . . . . . . 68--72
C. A. Fritsch and
D. L. Perry A manager/controller for the software
development process . . . . . . . . . . 73--75
P. Hitchcock The process model of the aspect IPSE . . 76--78
K. E. Huff Probing limits to automation: towards
deeper process models . . . . . . . . . 79--81
W. S. Humphrey The software engineering process:
definition and scope . . . . . . . . . . 82--83
G. E. Kaiser Rule-based modelling of the software
development process . . . . . . . . . . 84--86
T. Katayama A hierarchical and functional approach
to software process description . . . . 87--92
M. I. Kellner Representation formalisms for software
process modelling . . . . . . . . . . . 93--96
C. J. Koomen Limits to the mechanization of the
detailing step paradigm . . . . . . . . 97--102
L. Krzanik Enactable models for quantitative
evolutionary software processes . . . . 103--110
M. M. Lehman Some reservations on software process
programming . . . . . . . . . . . . . . 111--112
R. MacLean A functional paradigm for software
development . . . . . . . . . . . . . . 113--115
D. Notkin Applying software process models to the
full lifecycle is premature . . . . . . 116--117
A. Ohki and
K. Ochimizu Process programming with Prolog . . . . 118--121
L. Osterweil Automated support for the enactment of
rigorously described software processes 122--125
D. E. Perry Problems of scale and process models . . 126--128
R. W. Phillips State change architecture: a protocol
for executable process models . . . . . 129--132
S. S. Redwine, Jr. and
W. E. Riddle Software reuse processes . . . . . . . . 133--135
C. Roberts Describing and acting process models
with PML . . . . . . . . . . . . . . . . 136--141
D. Rombach A specification framework for software
processes: formal specification and
derivation of information base
requirements . . . . . . . . . . . . . . 142--147
M. Rueher and
D. Ladret and
B. Legeard Capturing software processes through the
generated objects . . . . . . . . . . . 148--152
W. Scacchi Modelling software evolution: a
knowledge-based approach . . . . . . . . 153--155
W. L. Sutton Advanced models of the software process 156--158
C. J. Tully Software process models and programs:
observations on their nature and context 159--162
J. C. Wileden and
L. A. Clarke and
Alexander L. Wolf Facilitating process prototyping by
controlling the impact of change . . . . 163--166
L. G. Williams A behavioral approach to software
process modelling . . . . . . . . . . . 167--170
B. I. Blum On data and their analysis . . . . . . . 24--34
J. C. P. Woodcock Properties of Z specifications . . . . . 43--54
M. Kempe Hyperbook: an experiment with PCTE . . . 55--61
T. van Vleck Three questions about each bug you find 62--63
K. A. Foster Testing by identifying . . . . . . . . . 64--65
S. Shlaer and
S. J. Mellor An object-oriented approach to domain
analysis . . . . . . . . . . . . . . . . 66--77
D. Jonsson Graphical program notations . . . . . . 78--79
E. L. Miranda Looking for the event list . . . . . . . 80--82
G. Chroust Application development project support 83--104
J. Young Change/configuration management
gathering . . . . . . . . . . . . . . . 105--107
W. Stinson Views of software development
environments . . . . . . . . . . . . . . 108--117
P. Kokol Metamodels for system development . . . 118--123
S. D. Cooper and
R. J. Kenning and
F. W. Calliss and
M. Munro Report on 2nd UK Software Maintenance
Workshop . . . . . . . . . . . . . . . . 124--127
M. Gordon Combining version control with automatic
program building . . . . . . . . . . . . 25--31
W. Stinson Views of SDE: automation of engineering
and engineering of automation . . . . . 32--41
S. N. Weiss Comparing test data adequacy criteria 42--49
T. R. Clune SE: the field and the ground . . . . . . 50--50
L. Zucconi Techniques and experiences capturing
requirements for several real-time
applications . . . . . . . . . . . . . . 51--55
H. D. Knoll and
W. Suk A graphic language for business
applications \ldotsuser requirements
specification . . . . . . . . . . . . . 58--60
C. S. Hendricksen Augmented state-transition diagrams for
reactive software . . . . . . . . . . . 61--67
R. Krista and
I. Rozman Computer aided prototyping . . . . . . . 68--72
G. Baram and
G. Steinberg Selection criteria for analysis and
design CASE tools . . . . . . . . . . . 73--80
D. B. Miller and
R. G. Stockton and
C. W. Krueger An inverted approach to configuration
management . . . . . . . . . . . . . . . 1--4
E. Ploedereder and
A. Fergany The data model of the configuration
management assistant (CMA) . . . . . . . 5--14
E. H. Baalbergen and
K. Verstoep and
A. S. Tanenbaum On the design of the Amoeba
configuration manager . . . . . . . . . 15--22
I. Thomas Version and configuration management on
a software engineering database . . . . 23--25
T. C. Miller A schema for configuration management 26--29
K. Narayanaswamy A text-based representation for program
variants . . . . . . . . . . . . . . . . 30--33
B. Falkerngerg Configuration management for a large
(SW) development . . . . . . . . . . . . 34--37
P. Lundholm Design management in base/OPEN . . . . . 38--41
H. Eidnes and
D. O. Hallsteinsen and
D. H. Wanvik Separate compilation in CHIPSY . . . . . 42--45
T. Reps and
T. Bricker Illustrating interference in interfering
versions of programs . . . . . . . . . . 46--55
A. Lie and
R. Conradi and
T. M. Didriksen and
E.-A. Karlsson Change oriented versioning in a software
engineering database . . . . . . . . . . 56--65
S. C. Choi and
W. S. Scacchi Assuring the correctness of configured
software descriptions . . . . . . . . . 66--75
F. J. Newbery Edge concentration: a method for
clustering directed graphs . . . . . . . 76--85
R. W. Schwanke and
M. A. Platoff Cross references are features . . . . . 86--95
B. Westfechtek Revision control in an integrated
software development environment . . . . 96--105
R. Thomson and
I. Sommerville Configuration management using SySL . . 106--109
S. Dart Tool configuration assistant . . . . . . 110--113
A. Gustavsson Maintaining the evolution of software
objects in an integrated environment . . 114--117
I. Simmonds Configuration management in the PACT
software engineering environment . . . . 118--121
M. Lacroix and
P. Lavency The change request process . . . . . . . 122--125
M. Jordan Experiences in configuration management
for Modula-2 . . . . . . . . . . . . . . 126--128
V. Ambriola and
L. Bendix Object-oriented configuration control 133--136
G. W. Kaiser Modeling configuration as transactions 133--136
C. Reichenberger Orthogonal version management . . . . . 137--140
A. Pakstas Aladdin/lamp: Configuration management
tools for distributed computer control
systems . . . . . . . . . . . . . . . . 141--144
U. Schroeder Incremental variant control . . . . . . 145--148
B. Mack-Crane and
A. Pal Conflict management in a source version
management system . . . . . . . . . . . 149--151
W. M. Gentleman and
A. MacKay and
D. A. Stewart Commercial realtime software needs
different configuration management . . . 152--161
G. M. Clemm Replacing version-control with
job-control . . . . . . . . . . . . . . 162--169
A. Dinsart and
B. Hucq and
N. Piperakis and
P. J. Thollembeck Object derivation and validation from a
data base definition . . . . . . . . . . 170--178
W. Howden Validating programs without
specifications . . . . . . . . . . . . . 2--9
R. Razouk and
M. Gorlick Real-time interval logic for reasoning
about executions of real-time programs 10--19
W. Young Verified compilation in micro-Gypsy . . 20--26
R. Hamlet Theoretical comparison of testing
methods . . . . . . . . . . . . . . . . 28--37
B. Jeng and
E. Weyuker Some observations on partition testing 38--47
D. Yates and
N. Malevris Reducing the effects of infeasible paths
in branch testing . . . . . . . . . . . 48--54
B. Choi and
A. Mathur and
B. Pattison P$^M$ othra: scheduling mutants for
execution on a hypercube . . . . . . . . 58--65
K. Olender and
L. Osterweil Cesar: a static sequencing constraint
analyzer . . . . . . . . . . . . . . . . 66--74
G. Kotik and
L. Markosian Automating software analysis and testing
using a program transformation system 75--84
D. Richardson and
O. O'Malley and
C. Tittle Approaches to specification-based
testing . . . . . . . . . . . . . . . . 86--96
D. Hoffman and
C. Brealey Module test case generation . . . . . . 97--102
M. Moriconi A practical approach to semantic
configuration management . . . . . . . . 103--113
D. Perry The logic of propagation in the Inscape
Environment . . . . . . . . . . . . . . 114--121
G. Avrunin and
J. Wileden and
L. Dillon Experiments in automated analysis of
concurrent software systems . . . . . . 124--130
A. Offutt The coupling effect: fact or fiction . . 131--140
J. Rowland and
Y. Zuyuan Experimental comparison of three system
test strategies preliminary report . . . 141--149
S. Gerhart Preliminary summary: FM89 assessment of
formal methods for trustworthy computer
systems . . . . . . . . . . . . . . . . 152--155
Mary Jean Harrold and
Mary Lou Soffa Interprocedual data flow testing . . . . 158--167
A. Podgurski and
L. Clarke The implications of program dependencies
for software testing, debugging, and
maintenance . . . . . . . . . . . . . . 168--178
J. Bieman and
J. Schultz Estimating the number of test cases
required to satisfy the all-du-paths
testing criterion . . . . . . . . . . . 179--186
D. Rosenblum and
D. Luckham Testing the correctness of tasking
supervisors with TSL specifications . . 187--196
M. Young and
R. Taylor and
K. Forester and
D. Brodbeck Integrated concurrency analysis in a
software development environment . . . . 200--209
M. Balcer and
W. Hasling and
T. Ostrand Automatic generation of test scripts
from formal test specifications . . . . 210--218
D. Richardson and
S. Aha and
L. Osterweil Integrating testing techniques through
process programming . . . . . . . . . . 219--228