Table of contents for issues of ACM SIGSOFT Software Engineering Notes

Last update: Thu Nov 3 12:54:52 MDT 2022                Valid HTML 3.2!

Volume 4, Number 4, October, 1979
Volume 5, Number 1, January, 1980
Volume 5, Number 2, April, 1980
Volume 5, Number 3, July, 1980
Volume 5, Number 4, October, 1980
Volume 6, Number 1, January, 1981
Volume 6, Number 2, April, 1981
Volume 6, Number 3, July, 1981
Volume 6, Number 4, August, 1981
Volume 6, Number 5, October, 1981
Volume 7, Number 1, January, 1982
Volume 7, Number 2, April, 1982
Volume 7, Number 3, July, 1982
Volume 7, Number 4, October, 1982
Volume 7, Number 5, December, 1982
Volume 8, Number 1, January, 1983
Volume 8, Number 2, April, 1983
Volume 8, Number 3, July, 1983
Volume 8, Number 4, August, 1983
Volume 8, Number 5, October, 1983
Volume 9, Number 1, January, 1984
Volume 9, Number 2, April, 1984
Volume 9, Number 3, May, 1984
Volume 9, Number 4, July, 1984
Volume 9, Number 5, October, 1984
Volume 10, Number 1, January, 1985
Volume 10, Number 2, April, 1985
Volume 10, Number 3, July, 1985
Volume 10, Number 4, August, 1985
Volume 10, Number 5, October, 1985
Volume 11, Number 1, January, 1986
Volume 11, Number 2, April, 1986
Volume 11, Number 3, July, 1986
Volume 11, Number 4, August, 1986
Volume 11, Number 5, October, 1986
Volume 12, Number 1, January, 1987
Volume 12, Number 2, April, 1987
Volume 12, Number 3, July, 1987
Volume 12, Number 4, October, 1987
Volume 13, Number 1, January, 1988
Volume 13, Number 2, April, 1988
Volume 13, Number 3, July, 1988
Volume 13, Number 4, October, 1988
Volume 13, Number 5, November, 1988
Volume 14, Number 1, January, 1989
Volume 14, Number 2, April, 1989
Volume 14, Number 3, May, 1989
Volume 14, Number 4, June, 1989
Volume 14, Number 5, July, 1989
Volume 14, Number 6, October, 1989
Volume 14, Number 7, November, 1989
Volume 14, Number 8, December, 1989


ACM SIGSOFT Software Engineering Notes
Volume 4, Number 4, October, 1979

             Robert G. Babb and   
               Leonard L. Tripp   An approach to defining areas within the
                                  field of software engineering  . . . . . 9--17


ACM SIGSOFT Software Engineering Notes
Volume 5, Number 1, January, 1980

            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

ACM SIGSOFT Software Engineering Notes
Volume 5, Number 2, April, 1980

                   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

ACM SIGSOFT Software Engineering Notes
Volume 5, Number 3, July, 1980

                      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

ACM SIGSOFT Software Engineering Notes
Volume 5, Number 4, October, 1980

                  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


ACM SIGSOFT Software Engineering Notes
Volume 6, Number 1, January, 1981

         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

ACM SIGSOFT Software Engineering Notes
Volume 6, Number 2, April, 1981

             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

ACM SIGSOFT Software Engineering Notes
Volume 6, Number 3, July, 1981

               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

ACM SIGSOFT Software Engineering Notes
Volume 6, Number 4, August, 1981

             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

ACM SIGSOFT Software Engineering Notes
Volume 6, Number 5, October, 1981

                 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


ACM SIGSOFT Software Engineering Notes
Volume 7, Number 1, January, 1982

        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

ACM SIGSOFT Software Engineering Notes
Volume 7, Number 2, April, 1982

               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

ACM SIGSOFT Software Engineering Notes
Volume 7, Number 3, July, 1982

               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

ACM SIGSOFT Software Engineering Notes
Volume 7, Number 4, October, 1982

                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

ACM SIGSOFT Software Engineering Notes
Volume 7, Number 5, December, 1982

         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


ACM SIGSOFT Software Engineering Notes
Volume 8, Number 1, January, 1983

            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

ACM SIGSOFT Software Engineering Notes
Volume 8, Number 2, April, 1983

                    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

ACM SIGSOFT Software Engineering Notes
Volume 8, Number 3, July, 1983

                  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

ACM SIGSOFT Software Engineering Notes
Volume 8, Number 4, August, 1983

              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

ACM SIGSOFT Software Engineering Notes
Volume 8, Number 5, October, 1983

                 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


ACM SIGSOFT Software Engineering Notes
Volume 9, Number 1, January, 1984

                    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

ACM SIGSOFT Software Engineering Notes
Volume 9, Number 2, April, 1984

              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

ACM SIGSOFT Software Engineering Notes
Volume 9, Number 3, May, 1984

            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

ACM SIGSOFT Software Engineering Notes
Volume 9, Number 4, July, 1984

                    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

ACM SIGSOFT Software Engineering Notes
Volume 9, Number 5, October, 1984

                      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


ACM SIGSOFT Software Engineering Notes
Volume 10, Number 1, January, 1985

                    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

ACM SIGSOFT Software Engineering Notes
Volume 10, Number 2, April, 1985

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

ACM SIGSOFT Software Engineering Notes
Volume 10, Number 3, July, 1985

             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

ACM SIGSOFT Software Engineering Notes
Volume 10, Number 4, August, 1985

                 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

ACM SIGSOFT Software Engineering Notes
Volume 10, Number 5, October, 1985

             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


ACM SIGSOFT Software Engineering Notes
Volume 11, Number 1, January, 1986

                   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

ACM SIGSOFT Software Engineering Notes
Volume 11, Number 2, April, 1986

               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

ACM SIGSOFT Software Engineering Notes
Volume 11, Number 3, July, 1986

                       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

ACM SIGSOFT Software Engineering Notes
Volume 11, Number 4, August, 1986

                      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

ACM SIGSOFT Software Engineering Notes
Volume 11, Number 5, October, 1986

               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


ACM SIGSOFT Software Engineering Notes
Volume 12, Number 1, January, 1987

               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

ACM SIGSOFT Software Engineering Notes
Volume 12, Number 2, April, 1987

                     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

ACM SIGSOFT Software Engineering Notes
Volume 12, Number 3, July, 1987

                  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

ACM SIGSOFT Software Engineering Notes
Volume 12, Number 4, October, 1987

                  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


ACM SIGSOFT Software Engineering Notes
Volume 13, Number 1, January, 1988

               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

ACM SIGSOFT Software Engineering Notes
Volume 13, Number 2, April, 1988

               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

ACM SIGSOFT Software Engineering Notes
Volume 13, Number 3, July, 1988

            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

ACM SIGSOFT Software Engineering Notes
Volume 13, Number 4, October, 1988

                 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

ACM SIGSOFT Software Engineering Notes
Volume 13, Number 5, November, 1988

          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


ACM SIGSOFT Software Engineering Notes
Volume 14, Number 1, January, 1989

                     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

ACM SIGSOFT Software Engineering Notes
Volume 14, Number 2, April, 1989

                   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

ACM SIGSOFT Software Engineering Notes
Volume 14, Number 3, May, 1989

                   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

ACM SIGSOFT Software Engineering Notes
Volume 14, Number 4, June, 1989

                   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

ACM SIGSOFT Software Engineering Notes
Volume 14, Number 5, July, 1989

                     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

ACM SIGSOFT Software Engineering Notes
Volume 14, Number 6, October, 1989

                      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

ACM SIGSOFT Software Engineering Notes
Volume 14, Number 7, November, 1989

               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

ACM SIGSOFT Software Engineering Notes
Volume 14, Number 8, December, 1989

                      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