Table of contents for issues of ACM SIGSOFT Software Engineering Notes

Last update: Wed Dec 18 06:44:38 MST 2019                Valid HTML 3.2!

Volume 15, Number 1, January, 1990
Volume 15, Number 2, April, 1990
Volume 15, Number 3, July, 1990
Volume 15, Number 4, September, 1990
Volume 15, Number 5, October, 1990
Volume 15, Number 6, December, 1990
Volume 16, Number 1, January, 1991
Volume 16, Number 2, April, 1991
Volume 16, Number 3, July, 1991
Volume 16, Number 4, October, 1991
Volume 16, Number 5, December, 1991
Volume 17, Number 1, January, 1992
Volume 17, Number 2, April, 1992
Volume 17, Number 3, July, 1992
Volume 17, Number 4, October, 1992
Volume 17, Number 5, December, 1992
Volume 18, Number 1, January, 1993
Volume 18, Number 2, April, 1993
Volume 18, Number 3, July, 1993
Volume 18, Number 4, October, 1993
Volume 18, Number 5, December, 1993
Volume 19, Number 1, January, 1994
Volume 19, Number 2, April, 1994
Volume 19, Number 3, July, 1994
Volume 19, Number 4, October, 1994
Volume 19, Number 5, December, 1994
Volume 20, Number 1, January, 1995
Volume 20, Number 2, April, 1995
Volume 20, Number 3, July, 1995
Volume 20, Number 4, October, 1995
Volume 20, Number 5, December, 1995
Volume 20, Number SI, 1995
Volume 21, Number 1, January 1, 1996
Volume 21, Number 2, March, 1996
Volume 21, Number 3, May, 1996
Volume 21, Number 4, July, 1996
Volume 21, Number 5, September, 1996
Volume 21, Number 6, November, 1996
Volume 22, Number 1, January, 1997
Volume 22, Number 2, March, 1997
Volume 22, Number 3, May, 1997
Volume 22, Number 4, July, 1997
Volume 22, Number 5, September, 1997
Volume 22, Number 6, November, 1997
Volume 23, Number 1, January, 1998
Volume 23, Number 2, March, 1998
Volume 23, Number 3, May, 1998
Volume 23, Number 4, July, 1998
Volume 23, Number 5, September 1, 1998
Volume 23, Number 6, November, 1998
Volume 24, Number 1, January, 1999
Volume 24, Number 2, March, 1999
Volume 24, Number 3, May, 1999
Volume 24, Number 4, July, 1999
Volume 24, Number 5, September, 1999
Volume 24, Number 6, November, 1999


ACM SIGSOFT Software Engineering Notes
Volume 15, Number 1, January, 1990

               Peter G. Neumann   Risks to the public in computers and
                                  related systems  . . . . . . . . . . . . 4--23
             John C. Knight and   
               Nancy G. Leveson   A reply to the criticisms of the Knight &
                                  Leveson experiment . . . . . . . . . . . 24--35
              Carol Britton and   
                 Jill Doake and   
               Richard Mitchell   Taming the abstract data type: a
                                  taxonomy to help information systems
                                  designers  . . . . . . . . . . . . . . . 36--41
                 M. L. Chan and   
           B. Henderson-Sellers   Corporate Object-oriented Development
                                  Environment (CODE) . . . . . . . . . . . 42--43
                 Patrick H. Loy   A comparison of object-oriented and
                                  structured development methods . . . . . 44--48
                     Alan Hecht   Cute object-oriented acronyms considered
                                  FOOlish  . . . . . . . . . . . . . . . . 48
             S. Brinkkemper and   
                M. de Lange and   
                  R. Looman and   
      F. H. G. C. van der Steen   On the derivation of method
                                  companionship by meta-modelling  . . . . 49--58
                    Wanlei Zhou   PM: a system for prototyping and
                                  monitoring remote procedure call
                                  programs . . . . . . . . . . . . . . . . 59--63
        Jacqueline M. Caron and   
               Peter A. Darnell   Bugfind: a tool for debugging optimizing
                                  compilers  . . . . . . . . . . . . . . . 64--65
            A. Jefferson Offutt   Comments on Tai  . . . . . . . . . . . . 67
               Dennis L. Brandt   Quality measures in design: finding
                                  problems before coding . . . . . . . . . 68--72
            Alexander J. Polack   Practical applications of CASE tools on
                                  DoD projects . . . . . . . . . . . . . . 73--78
     Veli-Pekka Tahvanainen and   
                 Kari Smolander   An annotated CASE bibliography . . . . . 79--92
          Robert B. Terwilliger   An overview and bibliography of
                                  ENCOMPASS: an environment for
                                  incremental software development using
                                  executable, logic-based specification    93--94
                H. Holbrook III   A scenario-based methodology for
                                  conducting requirements elicitation  . . 95--104

ACM SIGSOFT Software Engineering Notes
Volume 15, Number 2, April, 1990

               Peter G. Neumann   Risks to the public in computers and
                                  related systems  . . . . . . . . . . . . 3--22
              Joseph F. Delgado   Issues in transfer of skills in software
                                  engineering training . . . . . . . . . . 23--25
                   Jon D. Clark   Function versus data-driven
                                  methodologies: a prescriptive metric . . 26
               Adrion J. Bowles   A note on the Yourdon structured method  27
               Bradley J. Brown   Correctness is not congruent with
                                  quality  . . . . . . . . . . . . . . . . 28
            I. M. M. Duncan and   
                   D. J. Robson   Ordered mutation testing . . . . . . . . 29--30
                Nicholas Wybolt   Experiences with C++ and object-oriented
                                  software development . . . . . . . . . . 31--39
              Chuck Koelbel and   
              Gene Spafford and   
                   George Leach   Workshop report: experiences with
                                  building distributed and multiprocessor
                                  systems  . . . . . . . . . . . . . . . . 39--41
                     Will Tracz   Where does reuse start?  . . . . . . . . 42--46
Rubén Prieto-Díaz   Domain analysis: an introduction . . . . 47--54
        Regina H. B. Cabral and   
             Ivan M. Campos and   
            Donald D. Cowan and   
            Carlos J. P. Lucena   Interfaces as specifications in the
                                  MIDAS user interface development systems 55--69
              C. J. Coomber and   
                   R. E. Childs   A graphical tool for the prototyping of
                                  real-time systems  . . . . . . . . . . . 70--82
                   B. Terry and   
                       D. Logee   Terminology for Software Engineering
                                  Environment (SEE) and Computer-Aided
                                  Software Engineering (CASE)  . . . . . . 83--94
               Leonard L. Tripp   CASE evaluation and selection
                                  bibliography . . . . . . . . . . . . . . 95

ACM SIGSOFT Software Engineering Notes
Volume 15, Number 3, July, 1990

                W. L. Yeung and   
                     G. Topping   Implementing JSD designs in Ada: a
                                  tutorial . . . . . . . . . . . . . . . . 25--32
          T. N. Coomer, Jr. and   
                J. R. Comer and   
                   D. J. Rodjak   Developing reusable software for
                                  military systems, why it is needed, why
                                  it isn't working . . . . . . . . . . . . 33--38
       J. Györkös and   
                  I. Rozman and   
                      T. Welzer   Introducing CASE tools into the software
                                  development group  . . . . . . . . . . . 39--41
                   D. Balda and   
                D. A. Gustafson   Cost estimation models for reuse and
                                  prototype SW development life-cycles . . 42--50
                    J. Martinis   Softool change/configuration management  51

ACM SIGSOFT Software Engineering Notes
Volume 15, Number 4, September, 1990

              Tommaso Bolognesi   On the soundness of graphical
                                  representations of interconnected
                                  processes in LOTOS . . . . . . . . . . . 1--7
              Anthony Chung and   
                Deepinder Sidhu   Experience with an Estelle development
                                  system . . . . . . . . . . . . . . . . . 8--17
                   Jozef De Man   Making languages more powerful by
                                  removing limitations . . . . . . . . . . 18--24
                    Paul Eggert   Toward special-purpose program
                                  verification . . . . . . . . . . . . . . 25--29
               Richard A. Frost   Constructing programs in a calculus of
                                  lazy interpreters  . . . . . . . . . . . 30--41
                   David Garlan   The role of formal reusable frameworks   42--44
                 Jonathan Jacky   Formal specification for a clinical
                                  cyclotron control system . . . . . . . . 45--54
                 Yves Ledru and   
          Pierre-Yves Schobbens   Applying VDM to large developments . . . 55--58
             Luigi Logrippo and   
              Tim Melanchuk and   
              Robert J. Du Wors   The algebraic specification language
                                  LOTOS: an industrial experience  . . . . 59--66
             K. T. Narayana and   
                 Sanjeev Dharap   Invariant properties in a dialog system  67--79
                     Linda Ness   L.0: a parallel executable temporal
                                  logic language . . . . . . . . . . . . . 80--89
             Robert L. Nord and   
                  Peter Lee and   
            William L. Scherlis   Formal manipulation of modular software
                                  systems  . . . . . . . . . . . . . . . . 90--99
                 Richard Platek   Formal methods in mathematics  . . . . . 100--103
                  Uday S. Reddy   Formal methods in transformational
                                  derivation of programs . . . . . . . . . 104--114
             Colin Runciman and   
                     Mike Firth   Formalised development of software by
                                  machine assisted transformation  . . . . 115--117
              Hans Toetenel and   
            Jan van Katwijk and   
                      Nico Plat   Structured analysis --- formal design,
                                  using stream and object oriented formal
                                  specifications . . . . . . . . . . . . . 118--127
                  David S. Wile   Adding relational abstraction to
                                  programming languages  . . . . . . . . . 128--139
          Jeannette M. Wing and   
                      Chun Gong   Experience with the Larch Prover . . . . 140--143
                William G. Wood   Application of formal methods to system
                                  and software specification . . . . . . . 144--146
               William D. Young   Verified program support environments    147--149

ACM SIGSOFT Software Engineering Notes
Volume 15, Number 5, October, 1990

                  P. G. Neumann   Risks to the public  . . . . . . . . . . 3--17
                  D. W. Ketchum   Correctness is not congruent with
                                  quality  . . . . . . . . . . . . . . . . 18
                     C. M. Lott   Correctness is congruent with quality    19--20
                    P. Laplante   Heisenberg Uncertainty . . . . . . . . . 21--22
                    M. W. Aiken   AI based simulation in reusability . . . 23--27
              R. P. Carasik and   
              S. M. Johnson and   
            D. A. Patterson and   
                G. A. Von Glahn   Domain description grammar: application
                                  of linguistic semantics  . . . . . . . . 28--43
                    C. Jean and   
                  A. Strohmeier   An experience in teaching OOD for Ada
                                  software . . . . . . . . . . . . . . . . 44--49
                 S. P. Overmyer   DoD-Std-2167A and methodologies  . . . . 50--59
                      S. Mrdalj   Biblio of object-oriented system
                                  development  . . . . . . . . . . . . . . 60--63

ACM SIGSOFT Software Engineering Notes
Volume 15, Number 6, December, 1990

               David Garlan and   
                    Ehsan Ilias   Low-cost, adaptable tool integration
                                  policies for integrated environments . . 1--10
       Dominique Clément   A distributed architecture for
                                  programming environments . . . . . . . . 11--21
             Kevin Sullivan and   
                   David Notkin   Reconciling environment integration and
                                  component independence . . . . . . . . . 22--33
               Xiaolei Qian and   
             Richard Jullig and   
                   Marilyn Daum   Consistency management in a project
                                  management assistant . . . . . . . . . . 34--43
          Naftaly H. Minsky and   
              David Rozenshtein   Configuration management by consensus:
                                  an application of law-governed systems   44--55
                 Lichao Tan and   
             Yoichi Shinoda and   
                Takuya Katayama   Coping with changes in an object
                                  management system based on attribute
                                  grammars . . . . . . . . . . . . . . . . 56--65
                    Mick Jordan   An extensible programming environment
                                  for Modula-3 . . . . . . . . . . . . . . 66--76
         Robert A. Ballance and   
            Susan L. Graham and   
       Michael L. Van De Vanter   The Pan language-based editing system
                                  for integrated development . . . . . . . 77--93
            Edward A. Ipser and   
              David S. Wile and   
                    Dean Jacobs   A multi-formalism specification
                                  environment  . . . . . . . . . . . . . . 94--106
                 Allen Goldberg   Reusing software developments  . . . . . 107--119
          C. Frederick Hart and   
               John J. Shilling   An environment for documenting software
                                  features . . . . . . . . . . . . . . . . 120--132
                   Wuu Yang and   
              Susan Horwitz and   
                    Thomas Reps   A program integration algorithm that
                                  accommodates semantics-preserving
                                  transformations  . . . . . . . . . . . . 133--143
          Richard Snodgrass and   
                  Karen Shannon   Fine grained data management to achieve
                                  evolution resilience in a software
                                  development environment  . . . . . . . . 144--156
                Abe Lockman and   
                   John Salasin   A procedure and tools for transition
                                  engineering  . . . . . . . . . . . . . . 157--172
           Hans-Ulrich Kobialka   Configuration editing, generation and
                                  test within working contexts . . . . . . 173--182
                V. Ambriola and   
              P. Ciancarini and   
                  C. Montangero   Software process enactment in Oikos  . . 183--192
                   Volker Gruhn   Managing software processes in the
                                  environment MELMAC . . . . . . . . . . . 193--205
     Stanley M. Sutton, Jr. and   
          Dennis Heimbigner and   
              Leon J. Osterweil   Language constructs for managing change
                                  in process-centered environments . . . . 206--217
              Harold Ossher and   
               William Harrison   Support for change in RPDE3  . . . . . . 218--228
                Axel Mahler and   
                 Andreas Lampen   Integrating configuration management
                                  into a generic environment . . . . . . . 229--237
            Mohamed Tedjini and   
                 Ian Thomas and   
               Guy Benoliel and   
             Fernando Gallo and   
             Régis Minot   A query service for a software
                                  engineering database system  . . . . . . 238--248


ACM SIGSOFT Software Engineering Notes
Volume 16, Number 1, January, 1991

                Yin-min Wei and   
                 Klaus Eldridge   Module Completeness as a Useful
                                  Guideline for Programming  . . . . . . . 35
             Philip P. Scarlato   Developing Ada software without target
                                  hardware . . . . . . . . . . . . . . . . 36--40
                  David C. Rine   A proposed standard set of principles
                                  for object-oriented development  . . . . 43--49
            Leszek A. Maciaszek   AD/Cycle repository manager from
                                  object-oriented perspective  . . . . . . 50--53
    Mireille Ducassé and   
                Anna-Maria Emde   OPIUM: a debugging environment for
                                  Prolog development and debugging
                                  research . . . . . . . . . . . . . . . . 54--59
                 Vikas K. Kamat   Code reader  . . . . . . . . . . . . . . 60--61
               Tereza G. Kirner   Real-time systems specification: a
                                  process and a tool . . . . . . . . . . . 62--67
            Nikolay S. Bukovsky   A practical approach to software quality
                                  assurance  . . . . . . . . . . . . . . . 68--72
             Robert Chi Tau Lai   Ada task taxonomy support for concurrent
                                  programming  . . . . . . . . . . . . . . 73--91

ACM SIGSOFT Software Engineering Notes
Volume 16, Number 2, April, 1991

               Peter G. Neumann   Risks to the public in computers and
                                  related systems  . . . . . . . . . . . . 4--18
                John DeTreville   A cautionary tale  . . . . . . . . . . . 19--22
                    Michael Lyu   PANEL: research and development issues
                                  in software reliability engineering  . . 23--30
                     Haim Kilov   Conventional and convenient in
                                  entity-relationship modeling . . . . . . 31--32
          Richard C. Waters and   
                  Yang Meng Tan   Toward a design apprentice: supporting
                                  reuse and evolution in software design   33--34
            A. Spencer Peterson   Coming to terms with software reuse
                                  terminology: a model-based approach  . . 45--51
               George W. Cherry   Software construction by object-oriented
                                  pictures: stimulus-response machines . . 52--56
                  Brian Beckman   Debugging for hypercubes in time warp    57
                    Shaun Marsh   The V project manager tools  . . . . . . 58--61
          Kristopher G. Sprague   The role of software configuration
                                  management in a measurement-based
                                  software engineering program . . . . . . 62--66
    Mireille Ducassé and   
                Anna-Maria Emde   OPIUM: a debugging environment for
                                  Prolog development and debugging
                                  research . . . . . . . . . . . . . . . . 67--72
            Larry J. Morell and   
                   Jeffrey Voas   On the inadequacies of data state space
                                  sampling as a measure of the
                                  trustworthiness of programs  . . . . . . 73--74
                 A. A. Omar and   
                 F. A. Mohammed   A survey of software functional testing
                                  methods  . . . . . . . . . . . . . . . . 75--82

ACM SIGSOFT Software Engineering Notes
Volume 16, Number 3, July, 1991

               Peter G. Neumann   Risks to the public in computers and
                                  related systems  . . . . . . . . . . . . 3--28
             John C. Knight and   
                   E. Ann Myers   Phased inspections and their
                                  implementation . . . . . . . . . . . . . 29--35
                     Will Tracz   A conceptual model for megaprogramming   36--45
      José Javier Dolado   Structured development of graph-grammars
                                  for icon manipulation  . . . . . . . . . 46--51
               George W. Cherry   S-R machines: a visual formalism for
                                  reactive and interactive systems . . . . 52--55
                Nicholas Wybolt   Perspectives on CASE tool integration    56--60
Rubén Prieto-Díaz   Making software reuse work: an
                                  implementation model . . . . . . . . . . 61--68
                         Don Yu   A view on three R's (3Rs): reuse,
                                  re-engineering, and reverse-engineering  69
            Fletcher J. Buckley   Perestroika, anyone? A standard for
                                  democracy in professional organizations  70--72
                 Joel MacAuslan   Comments on debugging hypercubes in a
                                  von Neumann language . . . . . . . . . . 73
              Kenneth A. Foster   Arithmetic statement testing . . . . . . 74--77
               Leonard L. Tripp   Report on future software engineering
                                  standards direction  . . . . . . . . . . 77
                   John D. Musa   Performance analysis rat holes to avoid
                                  or how to stall a performance
                                  presentation . . . . . . . . . . . . . . 78
                   John D. Musa   Rationale for fault exposure ratio $K$   79
               John D. Musa and   
                     A. Iannino   Estimating the total number of software
                                  failures using an exponential model  . . 80--84
              Motamarri Saradhi   Systems deployment planning and
                                  scheduling . . . . . . . . . . . . . . . 85--87
       Timothy E. Lindquist and   
           Kurt M. Gutzmann and   
            David L. Remkes and   
                     Gary McKee   Optimization of validation test suite
                                  coverage . . . . . . . . . . . . . . . . 87--92
               Richard E. Smith   Quality assurance through direct
                                  implementation of analysis and design
                                  constructs . . . . . . . . . . . . . . . 93--94

ACM SIGSOFT Software Engineering Notes
Volume 16, Number 4, October, 1991

                   David Boundy   A taxonomy of programmers  . . . . . . . 23--30
       Anneliese von Mayrhauser   Testing and evolutionary development . . 31--36
                Takao Shimomura   Automatic resumption mechanism for
                                  program debugging  . . . . . . . . . . . 37--41
               George W. Cherry   System construction with object-oriented
                                  pictures . . . . . . . . . . . . . . . . 42--52
              Robert McLaughlin   Some notes on program design . . . . . . 53--54
                David K. Hughes   Multilingual software engineering using
                                  Ada and C  . . . . . . . . . . . . . . . 55--59
                  David C. Rine   A short overview of a history of
                                  software maintenance: as it pertains to
                                  reuse  . . . . . . . . . . . . . . . . . 60--63
                Peter Kokol and   
              Bruno Stiglic and   
                   Viljem Zumer   Soft system methodology and is research:
                                  development of a new is design paradigm
                                  evaluation approach  . . . . . . . . . . 64--66

ACM SIGSOFT Software Engineering Notes
Volume 16, Number 5, December, 1991

                John Rushby and   
            Friedrich von Henke   Formal verification of algorithms for
                                  critical systems . . . . . . . . . . . . 1--15
               Joanne Atlee and   
                    John Gannon   State-based model checking of
                                  event-driven system requirements . . . . 16--28
                 Bent Dandanell   Rigorous development using RAISE . . . . 29--43
          Kirsten M. Hansen and   
             Anders P. Ravn and   
                   Hans Rischel   Specifying and verifying requirements of
                                  real-time systems  . . . . . . . . . . . 44--54
Jòrgen F. Sògaard-Anderson and   
Camilla Òsterberg Rump and   
  Hans Henrik Lòvengreen   A systematic kernel development  . . . . 55--65
            Ricky W. Butler and   
              George B. Finelli   The infeasibility of experimental
                                  quantification of life-critical software
                                  reliability  . . . . . . . . . . . . . . 66--76
          Phyllis G. Frankl and   
              Elaine J. Weyuker   Assessing the fault-detecting ability of
                                  testing methods  . . . . . . . . . . . . 77--91
         Valérie Issarny   An exception handling model for parallel
                                  programming and its verification . . . . 92--100
            E. Jane Cameron and   
                   Yow-Jian Lin   A real-time transition model for
                                  analyzing behavioral compatibility of
                                  telecommunications services  . . . . . . 101--111
           Christophe Ratel and   
          Nicolas Halbwachs and   
                 Pascal Raymond   Programming and verifying critical
                                  systems by means of the synchronous
                                  data-flow language LUSTRE  . . . . . . . 112--119
             Reino Kurki-Suonio   Stepwise design of real-time systems . . 120--131
                     Jia Xu and   
             David Lorge Parnas   On satisfying timing constraints in
                                  hard-real-time systems . . . . . . . . . 132--146
              Chih-Kan Wang and   
             Duu-Chung Tsou and   
               Rwo-Hsi Wang and   
            James C. Browne and   
                Aloysius K. Mok   Automated analysis of bounded response
                                  time for two NASA expert systems . . . . 147--161


ACM SIGSOFT Software Engineering Notes
Volume 17, Number 1, January, 1992

               Peter G. Neumann   Illustrative risks to the public in the
                                  use of computer systems and related
                                  technology . . . . . . . . . . . . . . . 23--32
        William G. Griswold and   
                   David Notkin   Computer-aided vs. manual program
                                  restructuring  . . . . . . . . . . . . . 33--41
               A. J. van Reeken   Some notes on program design . . . . . . 42
           Peter J. D. Matthews   When to white box test . . . . . . . . . 43
           Anthony Finkelsteiin   Requirements engineering . . . . . . . . 45--47
                  Nancy Leveson   Formal methods . . . . . . . . . . . . . 49--50
               Wilhelm Schaefer   Design methods and software processes    50--51
                        Lu Jian   A method of acquiring formal
                                  specifications from examples . . . . . . 52--56
                     David Rine   EIFFEL: a case tool supporting
                                  object-oriented software construction    57
               Leonard L. Tripp   What is the future of software
                                  engineering standards?: discussion paper 58--61
       B. Henderson-Sellers and   
                     C. Freeman   Cataloguing and classification for
                                  object libraries . . . . . . . . . . . . 62--64

ACM SIGSOFT Software Engineering Notes
Volume 17, Number 2, April, 1992

                  Lauren Wiener   A trip report on SIGSOFT '91 . . . . . . 23--38
               Gregory J. Scott   Can software engineering afford to
                                  improve the process? . . . . . . . . . . 39--42
               Danny T. Connors   Software development methodologies and
                                  traditional and modern information
                                  systems  . . . . . . . . . . . . . . . . 43--49
            Harald Schaschinger   ESA --- an expert supported OOA method
                                  and tool . . . . . . . . . . . . . . . . 50--56
              Motamarri Saradhi   Systems modelling and description  . . . 57--63
               George W. Cherry   Graphic formalisms should integrate
                                  communication, control, and data flow    64--69
              Robert McLaughlin   Some notes on software design: reply to
                                  a reaction . . . . . . . . . . . . . . . 70
                  Ron Ben-Natan   Making all types typedefed . . . . . . . 72--73
               Panagiotis Linos   ToolCASE: a repository of computer-aided
                                  software engineering tools . . . . . . . 74--78
             J. Hagemeister and   
                 B. Lowther and   
                    P. Oman and   
                      X. Yu and   
                         W. Zhu   An annotated bibliography on software
                                  maintenance  . . . . . . . . . . . . . . 79--84

ACM SIGSOFT Software Engineering Notes
Volume 17, Number 3, July, 1992

              Motamarri Saradhi   Software engineering from a practical
                                  perspective  . . . . . . . . . . . . . . 21--26
                     Will Tracz   Domain analysis working group report:
                                  First International Workshop on Software
                                  Reusability  . . . . . . . . . . . . . . 27--34
           Raghavendra Rao Loka   Software engineering: quality assurance  34--38
                     Aidan Ward   The next generation of computer
                                  assistance for software engineering  . . 39--42
                  I. Rozman and   
       J. Györkös and   
               K. Rizmañ   Understandability of the software
                                  engineering method as an important
                                  factor for selecting a case tool . . . . 43--46
              Alan W. Brown and   
                Maria H. Penedo   An annotated bibliography on integration
                                  in software engineering environments . . 47--55

ACM SIGSOFT Software Engineering Notes
Volume 17, Number 4, October, 1992

                     R. P. Mody   Is programming an art? . . . . . . . . . 19--21
           Anthony Finkelsteiin   A software process immaturity model  . . 22--23
               James V. Chelini   A discussion on the Ada Run-Time
                                  Environment in safety critical
                                  applications . . . . . . . . . . . . . . 24--27
                   Neal Walters   Using Harel statecharts to model
                                  object-oriented behavior . . . . . . . . 28--31
                  Kari Laitinen   Document classification for software
                                  quality systems  . . . . . . . . . . . . 32--39
           Dewayne E. Perry and   
              Alexander L. Wolf   Foundations for the study of software
                                  architecture . . . . . . . . . . . . . . 40--52
                  Jingwen Cheng   Parameterized specifications for
                                  software reuse . . . . . . . . . . . . . 53--59
           Xavier A. Debest and   
         Rüdiger Knoop and   
             Jürgen Wagner   Reveng: a cost-effective approach to
                                  reverse-engineering  . . . . . . . . . . 60--67
              Motamarri Saradhi   A diagnostic view on information
                                  technology . . . . . . . . . . . . . . . 68--70

ACM SIGSOFT Software Engineering Notes
Volume 17, Number 5, December, 1992

           James C. Ferrans and   
             David W. Hurst and   
         Michael A. Sennett and   
           Burton M. Covnot and   
                Wenguang Ji and   
                Peter Kajka and   
                     Wei Ouyang   HyperWeb: a framework for
                                  hypermedia-based environments  . . . . . 1--10
            Simon M. Kaplan and   
          William J. Tolone and   
            Alan M. Carroll and   
           Douglas P. Bogia and   
                Celsina Bignoli   Supporting collaborative software
                                  development with ConversationBuilder . . 11--20
             Naser S. Barghouti   Supporting cooperation in the Marvel
                                  process-centered SDE . . . . . . . . . . 21--31
                  Remco Quester   obTIOS: a CAx-framework service for
                                  building concurrent engineering
                                  environments . . . . . . . . . . . . . . 32--40
            Mark A. Toleman and   
                  Jim Welsh and   
                Alan J. Chapman   An empirical investigation of menu
                                  design in language-based editors . . . . 41--46
               Scott Meyers and   
                Steven P. Reiss   An empirical study of multiple-view
                                  software development . . . . . . . . . . 47--57
  Torben Mejlvang Hangensen and   
          Bent Bruun Kristensen   Consistency in software system
                                  development: framework, model,
                                  techniques & tools  . . . . . . . . . . . 58--67
               David Garlan and   
                  Linxi Cai and   
                 Robert L. Nord   A transformational approach to
                                  generating application-specific
                                  environments . . . . . . . . . . . . . . 68--77
                Ernst Lippe and   
           Norbert van Oosterom   Operation-based merging  . . . . . . . . 78--87
          H. A. Müller and   
               S. R. Tilley and   
                M. A. Orgun and   
               B. D. Corrie and   
                 N. H. Madhavji   A reverse engineering environment based
                                  on spatial and visual software
                                  interconnection models . . . . . . . . . 88--98
         Elizabeth L. White and   
               James M. Purtilo   Integrating the heterogeneous control
                                  properties of software modules . . . . . 99--108
        Debra J. Richardson and   
           T. Owen O'Malley and   
       Cynthia Tittle Moore and   
             Stephanie Leif Aha   Developing and integrating ProDAG in the
                                  Arcadia environment  . . . . . . . . . . 109--119
       Laurent Théry and   
                Yves Bertot and   
                    Gilles Kahn   Real theorem provers deserve real
                                  user-interfaces  . . . . . . . . . . . . 120--129
            Susan L. Graham and   
        Michael A. Harrison and   
                Ethan V. Munson   The Proteus presentation system  . . . . 130--138
              Alan W. Brown and   
                Peter H. Feiler   An analysis technique for examining
                                  integration in a project support
                                  environment  . . . . . . . . . . . . . . 139--148
        Israel Z. Ben-Shaul and   
             Gail E. Kaiser and   
             George T. Heineman   An architecture for multi-user software
                                  development environments . . . . . . . . 149--158
              Dennis Heimbigner   The ProcessWall: a process state server
                                  approach to process programming  . . . . 159--168
                       R. Kadia   Issues encountered in building a
                                  flexible software development
                                  environment: lessons from the Arcadia
                                  project  . . . . . . . . . . . . . . . . 169--180


ACM SIGSOFT Software Engineering Notes
Volume 18, Number 1, January, 1993

                    Patrick Loy   The method won't save you: (but it can
                                  help)  . . . . . . . . . . . . . . . . . 30--34
            Walter F. Tichy and   
             Nico Habermann and   
                  Lutz Prechelt   Summary of the Dagstuhl Workshop on
                                  Future Directions in Software
                                  Engineering: February 17--21, 1992,
                                  Schloß Dagstuhl . . . . . . . . . . . . . 35--48
            Nobuyoshi Terashima   Toward automated communication software
                                  development  . . . . . . . . . . . . . . 49--51
             E. K. Aggarwal and   
             M. Pavan Kumar and   
            Vinay Santurkar and   
              Radha Ratnaparkhi   Towards a weighted operational profile   52--53
                      Neil Lang   Schlaer--Mellor object-oriented analysis
                                  rules  . . . . . . . . . . . . . . . . . 54--58
              Motamarri Saradhi   Database conversion planning . . . . . . 59--64
           Federico Vazquez and   
                    Guy Hanacek   Automatic system file generator  . . . . 65--73
            Hsian-Chou Liao and   
                 Feng-Jian Wang   Software reuse based on a large
                                  object-oriented library  . . . . . . . . 74--80
           Bill Brykczynski and   
               David A. Wheeler   An annotated bibliography on software
                                  inspections  . . . . . . . . . . . . . . 81--88

ACM SIGSOFT Software Engineering Notes
Volume 18, Number 2, April, 1993

               Peter G. Neumann   Risks to the public in computers and
                                  related systems  . . . . . . . . . . . . 4--17
              Robert McLaughlin   Does CASE make the customer happier  . . 18
                   David Boundy   Software cancer: the seven early warning
                                  signs  . . . . . . . . . . . . . . . . . 19
                 Lars Olenfeldt   Wish-4: a specification for a CASE-tool
                                  to wish for  . . . . . . . . . . . . . . 20--22
                   Erran Carmel   A discussion of special characteristics
                                  for software package development life
                                  cycle models . . . . . . . . . . . . . . 23--24
                    Peter Kokol   Metamodeling: how, why and what? . . . . 25--26
                  Eric A. Fisch   Understanding and improving the user
                                  interface design process . . . . . . . . 27--29
                 Hermann Kaindl   The missing link in requirements
                                  engineering  . . . . . . . . . . . . . . 30--39
                 Will Tracz and   
             Lou Coglianese and   
                  Patrick Young   A domain-specific software architecture
                                  engineering process outline  . . . . . . 40--49
          Robert B. Terwilliger   Toward tools to support the
                                  Gries/Dijkstra design process  . . . . . 50--59
          Robert C. Sharble and   
                Samuel S. Cohen   The object-oriented brewery: a
                                  comparison of two object-oriented
                                  development methods  . . . . . . . . . . 60--73
               Martin Griss and   
                     Will Tracz   WISR'92: Fifth Annual Workshop in
                                  Software Reuse: working group reports    74--85
               George W. Cherry   Stimulus-response machines: a new visual
                                  formalism for describing classes and
                                  objects  . . . . . . . . . . . . . . . . 86--95
                   Ali Arifoglu   A methodology for software cost
                                  estimation . . . . . . . . . . . . . . . 96--105
                 William S. Shu   Inertia --- the reluctance of code
                                  motion?  . . . . . . . . . . . . . . . . 106--108
               Leonard L. Tripp   Standards development preference survey  109

ACM SIGSOFT Software Engineering Notes
Volume 18, Number 3, July, 1993

                    Manuel Blum   Designing programs to check their work
                                  (abstract) . . . . . . . . . . . . . . . 1
                 Denise M. Woit   Specifying operational profiles for
                                  modules  . . . . . . . . . . . . . . . . 2--10
                  P. Stocks and   
                  D. Carrington   Test template framework: a
                                  specification-based testing case study   11--18
                 Daniel Jackson   Abstract analysis with aspect  . . . . . 19--27
              Miguel Felder and   
               Carlo Ghezzi and   
                  Mauro Pezz\`e   Analyzing refinements of state based
                                  specifications: the case of TB nets  . . 28--39
            David L. Levine and   
              Richard N. Taylor   Metric-driven reengineering for static
                                  concurrency analysis . . . . . . . . . . 40--50
                    S. Duri and   
                     U. Buy and   
             R. Devarapalli and   
                    S. M. Shatz   Using state space reduction methods for
                                  deadlock analysis in Ada tasking . . . . 51--60
                 Peter A. Vogel   An integrated general purpose automated
                                  test environment . . . . . . . . . . . . 61--69
                   B. Belli and   
                        O. Jack   Implementation-based analysis and
                                  testing of Prolog programs . . . . . . . 70--80
                Ronald W. Modes   Structured IV & V for the space shuttle
                                  flight software  . . . . . . . . . . . . 81
           Alberto Avritzer and   
                   Brian Larson   Load testing software using
                                  deterministic state testing  . . . . . . 82--88
                Dick Hamlet and   
                      Jeff Voas   Faults on its sleeve: amplifying
                                  software reliability testing . . . . . . 89--98
   P. Thévenod-Fosse and   
                  H. Waeselynck   STATEMATE applied to statistical
                                  software testing . . . . . . . . . . . . 99--109
                 J. Corbett and   
                     G. Avrunin   A practical technique for bounding the
                                  time between events in concurrent
                                  real-time systems  . . . . . . . . . . . 110--116
            Joanne M. Atlee and   
                    John Gannon   Analyzing timing requirements  . . . . . 117--127
      Alberto Coen-Porisini and   
            Richard A. Kemmerer   The composability of ASTRAL realtime
                                  specifications . . . . . . . . . . . . . 128--138
            Roland H. Untch and   
        A. Jefferson Offutt and   
              Mary Jean Harrold   Mutation analysis using mutant schemata  139--148
           Stewart N. Weiss and   
       Vladimir N. Fleyshgakker   Improved serial algorithms for mutation
                                  analysis . . . . . . . . . . . . . . . . 149--158
               Edward F. Miller   Exploitation of software test technology 159
          Mary Jean Harrold and   
               Brian Malloy and   
                Gregg Rothermel   Efficient construction of program
                                  dependence graphs  . . . . . . . . . . . 160--170
                  Tarak Goradia   Dynamic impact analysis: a
                                  cost-effective technique to enforce
                                  error-propagation  . . . . . . . . . . . 171--181
       Margaret C. Thompson and   
        Debra J. Richardson and   
                 Lori A. Clarke   An information flow model of fault
                                  detection  . . . . . . . . . . . . . . . 182--192

ACM SIGSOFT Software Engineering Notes
Volume 18, Number 4, October, 1993

                   David Notkin   Nico Habermann remembered  . . . . . . . 1
                  Gernot Starke   Urgent research issues in software
                                  process engineering  . . . . . . . . . . 13--15
                     David Rine   A note on software engineering, software
                                  systems engineering and software design  16--18
              William E. Hefley   The Cobbler's children: applying total
                                  quality management to business process
                                  improvement, information engineering and
                                  software engineering . . . . . . . . . . 19--25
             Reidar Conradi and   
    Christer Fernström and   
               Alfonso Fuggetta   A conceptual framework for evolving
                                  software processes . . . . . . . . . . . 26--35
              Donald V. Steward   A simple straightforward method for
                                  software development . . . . . . . . . . 36--43
               Federico Vazquez   Using object oriented structured
                                  development to implement a hybrid system 44--53
       B. Henderson-Sellers and   
                  J. M. Edwards   The O-O-O methodology for the
                                  object-oriented life cycle . . . . . . . 54--60
           John D. McGregor and   
                Douglas M. Dyer   A note on inheritance and state machines 61--69
                  Jingwen Cheng   Improving the software reusability in
                                  object-oriented programming  . . . . . . 70--74
              Jeffrey S. Poulin   Integrated support for software reuse in
                                  Computer-Aided Software Engineering
                                  (CASE) . . . . . . . . . . . . . . . . . 75--82
            Christopher M. Lott   Process and measurement support in SEEs  83--93
              D. Vera Edelstein   Report on the IEEE STD 1219--1993 ---
                                  standard for software maintenance  . . . 94--95

ACM SIGSOFT Software Engineering Notes
Volume 18, Number 5, December, 1993

                 C. A. R. Hoare   Algebra and models . . . . . . . . . . . 1--8
              Gregory Abowd and   
               Robert Allen and   
                   David Garlan   Using style to understand descriptions
                                  of software architecture . . . . . . . . 9--20
              Robert Balzer and   
               K. Narayanaswamy   Mechanisms for generic process support   21--32
            Boris Magnusson and   
                Ulf Asklund and   
                Sten Minör   Fine-grained revision control for
                                  collaborative software development . . . 33--41
            William G. Griswold   Direct update of data flow
                                  representations for a meaning-preserving
                                  program restructuring tool . . . . . . . 42--55
                  Peri Tarr and   
                 Lori A. Clarke   PLEIADES: an object management system
                                  for software engineering environments    56--70
                Jiazhen Cai and   
                   Robert Paige   Towards increased productivity of
                                  algorithm implementation . . . . . . . . 71--78
                Kenneth R. Wood   A practical approach to software
                                  engineering using Z and the refinement
                                  calculus . . . . . . . . . . . . . . . . 79--88
           David Carrington and   
                 David Duke and   
                  Ian Hayes and   
                      Jim Welsh   Deriving modular designs from formal
                                  specifications . . . . . . . . . . . . . 89--98
                  Robyn R. Lutz   Targeting safety-related errors during
                                  software requirements analysis . . . . . 99--106
         Lawrence G. Votta, Jr.   Does every inspection need a meeting?    107--114
               S. C. Cheung and   
                      J. Kramer   Enhancing compositional reachability
                                  analysis with context constraints  . . . 115--125
          Jean Paul Bahsoun and   
               Stephan Merz and   
              Corinne Servieres   A framework for programming and
                                  formalizing concurrent objects . . . . . 126--137
                 Russell Turpin   A logical approach to data structures    138--148
                   F. Bergadano   Test case generation by means of
                                  learning techniques  . . . . . . . . . . 149--162
         David A. Gustafson and   
                 Joo T. Tan and   
                   Perla Weaver   Software measure specification . . . . . 163--168
             Andy Podgurski and   
                   Charles Yang   Partition testing, stratified sampling,
                                  and cluster analysis . . . . . . . . . . 169--181
      Amy Moormann Zaremski and   
              Jeannette M. Wing   Signature matching: a key to reuse . . . 182--190
                 Don Batory and   
              Vivek Singhal and   
               Marty Sirkin and   
                    Jeff Thomas   Scalable software libraries  . . . . . . 191--199


ACM SIGSOFT Software Engineering Notes
Volume 19, Number 1, January, 1994

               Peter G. Neumann   Illustrative risks to the public in the
                                  use of computer systems and related
                                  technology . . . . . . . . . . . . . . . 16--29
                     Haim Kilov   On understanding hypertext: are links
                                  essential? . . . . . . . . . . . . . . . 30
     Kostas A. Kontogiannis and   
                Scott R. Tilley   Reverse engineering questionnaire  . . . 31--38
                       Doug Lea   Christopher Alexander: an introduction
                                  for object-oriented designers  . . . . . 39--46
                    Kishor Apte   Problem management system: experience
                                  and insights . . . . . . . . . . . . . . 53--54
                Jeff Poulin and   
                     Will Tracz   WISR'93: 6th Annual Workshop on Software
                                  Reuse: summary and working group reports 55--71
                 John G. Sefcik   Critical success factors for
                                  implementing software quality plans  . . 72--74
               Salvatore Mamone   The IEEE standard for software
                                  maintenance  . . . . . . . . . . . . . . 75--76
                  John M. Roche   Software metrics and measurement
                                  principles . . . . . . . . . . . . . . . 77--85
                    Anil Sharma   Framework to define CASE tool
                                  requirements for distributed environment 86--89

ACM SIGSOFT Software Engineering Notes
Volume 19, Number 2, April, 1994

              Motamarri Saradhi   Re-Engineer: If It Wasn't Engineered!    17
             Pankaj K. Garg and   
                 Mehdi Jazayeri   Selected, annotated bibliography on
                                  process-centered software engineering
                                  environments . . . . . . . . . . . . . . 18--21
                  Nenad Marovac   Guidelines for embedded software
                                  documentation  . . . . . . . . . . . . . 22--28
                 Marijana Tomic   A possible approach to object-oriented
                                  reengineering of Cobol programs  . . . . 29--34
                Carl Ponder and   
                      Bill Bush   Polymorphism considered harmful  . . . . 35--37
              Alan M. Davis and   
                 Pradip Sitaram   A concurrent process model of software
                                  development  . . . . . . . . . . . . . . 38--51
                     Will Tracz   Domain-specific software architecture
                                  (DSSA) frequently asked questions (FAQ)  52--56
                  Jingwen Cheng   A reusability-based software development
                                  environment  . . . . . . . . . . . . . . 57--62
                 Joel Henry and   
                  Bob Blasewitz   Do we really need SQA to produce quality
                                  software?: no! well maybe. it depends.
                                  yes! . . . . . . . . . . . . . . . . . . 63--64
         Andrzej Tomasz Gorecki   Is your computer system sub-critical?    65--67
                John Favaro and   
                 Yves Coene and   
                  Marco Casucci   The European Space Software Development
                                  Environment Reference Facility Project:
                                  a status report  . . . . . . . . . . . . 68--71
             David J. Jankowski   The feasibility of CASE structured
                                  analysis methodology support . . . . . . 72--82

ACM SIGSOFT Software Engineering Notes
Volume 19, Number 3, July, 1994

          Martin S. Feather and   
            Axel van Lamsweerde   Succeedings of the Seventh International
                                  Workshop on Software Specification and
                                  Design . . . . . . . . . . . . . . . . . 18--22
                 Lev J. Dyadkin   Multibox parsers . . . . . . . . . . . . 23--25
               George W. Cherry   Visual software engineering with rules   26--29
             Pierre Bourque and   
                    Alain Abran   An innovative software reengineering
                                  tools workshop --- a test of market
                                  maturity and lessons learned . . . . . . 30--34
                    Lin Zucconi   Issues concerning re-engineering of
                                  legacy software in the federal R&D
                                  environment  . . . . . . . . . . . . . . 35
               Federico Vazquez   Identification of complete data flow
                                  diagrams . . . . . . . . . . . . . . . . 36--40
                     Haim Kilov   Formal methods and standards . . . . . . 40
                 Paul Juell and   
              Daniel Brekke and   
              Ronald Vetter and   
                    John Wasson   Storage and network requirements of a
                                  low-cost computer-based virtual
                                  classroom  . . . . . . . . . . . . . . . 41--44
             Malcolm Slovin and   
                  Donn Di Nunno   Engineering the enterprise: evolving
                                  quality systems  . . . . . . . . . . . . 45--47
             K. K. Aggarwal and   
                   Yogesh Singh   A modified form of software science
                                  measures . . . . . . . . . . . . . . . . 48--50
                  G. Dedene and   
                      M. Snoeck   M.E.R.O.DE.: a model-driven
                                  entity-relationship object-oriented
                                  Development method . . . . . . . . . . . 51--61
            Silvana Castano and   
          Valeria De Antonellis   The F3 reuse environment for
                                  requirements engineering . . . . . . . . 62--65
           Alfonso Fuggetta and   
              Gian Pietro Picco   An annotated bibliography on software
                                  process improvement  . . . . . . . . . . 66--68
                 Sanjiv Gossain   Using the Shlaer--Mellor method to
                                  support a level 4 software process . . . 69--74
                I. J. Hayes and   
                C. B. Jones and   
                 J. E. Nicholls   Understanding the differences between
                                  VDM and Z  . . . . . . . . . . . . . . . 75--81
              Walter A. Rolling   A preliminary annotated bibliography on
                                  domain engineering . . . . . . . . . . . 82--84

ACM SIGSOFT Software Engineering Notes
Volume 19, Number 4, October, 1994

        Shari Lawrence Pfleeger   Design and analysis in software
                                  engineering: the language of case
                                  studies and formal experiments . . . . . 16--20
          Marulli Sitariman and   
                    Bruce Weide   Component-based software using RESOLVE   21--22
           William F. Ogden and   
           Murali Sitaraman and   
             Bruce W. Weide and   
               Stuart H. Zweben   Part I: the RESOLVE framework and
                                  discipline: a research synopsis  . . . . 23--28
         Stephen H. Edwards and   
              Wayne D. Heym and   
            Timothy J. Long and   
           Murali Sitaraman and   
                 Bruce W. Weide   Part II: specifying components in
                                  RESOLVE  . . . . . . . . . . . . . . . . 29--39
                Paolo Bucci and   
    Joseph E. Hollingsworth and   
                 Joan Krone and   
                 Bruce W. Weide   Part III: implementing components in
                                  RESOLVE  . . . . . . . . . . . . . . . . 40--51
    Joseph E. Hollingsworth and   
             Sethu Sreerama and   
             Bruce W. Weide and   
                Sergey Zhupanov   Part IV: RESOLVE components in Ada and
                                  C++  . . . . . . . . . . . . . . . . . . 52--63
             Stephen H. Edwards   Part V: annotated bibliography of
                                  RESOLVE research . . . . . . . . . . . . 64--67
                Allan Terry and   
       Frederick Hayes-Roth and   
                  Lee Erman and   
             Norman Coleman and   
                Mary Devito and   
      George Papanagopoulos and   
             Barbara Hayes-Roth   Overview of Teknowledge's
                                  domain-specific software architecture
                                  program  . . . . . . . . . . . . . . . . 68--76
                 David Gelperin   The power of integrated methods  . . . . 77--78
            Marvin V. Zelkowitz   Algebra and models (and reality) . . . . 79--81
          Edward A. Billard and   
            Alice E. Riedmiller   Q-Sim: a GUI for a queueing simulator
                                  using Tcl/Tk . . . . . . . . . . . . . . 82--85

ACM SIGSOFT Software Engineering Notes
Volume 19, Number 5, December, 1994

             Daniel Jackson and   
              Eugene J. Rollins   A new model of program dependences for
                                  reverse engineering  . . . . . . . . . . 2--10
                Thomas Reps and   
              Susan Horwitz and   
                Mooly Sagiv and   
                Genevieve Rosay   Speeding up slicing  . . . . . . . . . . 11--20
           Vahid Mashayekhi and   
              Chris Feulner and   
                     John Riedl   CAIS: collaborative asynchronous
                                  inspection of software . . . . . . . . . 21--34
Gérard Cécé and   
               Alain Finkel and   
          S. Purushothaman Iyer   Duplication, insertion and lossiness
                                  errors in unreliable communication
                                  channels . . . . . . . . . . . . . . . . 35--43
           Gregory D. Abowd and   
                    Alan J. Dix   Integrating status and event phenomena
                                  in formal specifications of interactive
                                  systems  . . . . . . . . . . . . . . . . 44--52
           James C. Corbett and   
              George S. Avrunin   Towards scalable compositional analysis  53--61
           Matthew B. Dwyer and   
                 Lori A. Clarke   Data flow analysis for verifying
                                  properties of concurrent programs  . . . 62--75
             N. Lévy and   
                       G. Smith   A language-independent approach to
                                  specification construction . . . . . . . 76--86
                David Evans and   
                John Guttag and   
              James Horning and   
                  Yang Meng Tan   LCLint: a tool for using specifications
                                  to check code  . . . . . . . . . . . . . 87--96
         Robert W. Bowdidge and   
            William G. Griswold   Automated support for encapsulating
                                  abstract data types  . . . . . . . . . . 97--110
                 Don Batory and   
                Jeff Thomas and   
                   Marty Sirkin   Reengineering a complex application
                                  using a scalable data structure compiler 111--120
        Mark T. Vandevoorde and   
                 John V. Guttag   Using specialized procedures and
                                  specification-based analysis to reduce
                                  the runtime costs of modularity  . . . . 121--127
                    Dick Hamlet   Foundations of software testing:
                                  dependability theory . . . . . . . . . . 128--139
            Laura K. Dillon and   
                        Qing Yu   Oracles for checking temporal properties
                                  of concurrent systems  . . . . . . . . . 140--153
          Mary Jean Harrold and   
                Gregg Rothermel   Performing data flow testing on classes  154--163
              Mark Moriconi and   
                   Xiaolei Qian   Correctness and composition of software
                                  architectures  . . . . . . . . . . . . . 164--174
               David Garlan and   
               Robert Allen and   
                John Ockerbloom   Exploiting style in architectural design
                                  environments . . . . . . . . . . . . . . 175--188


ACM SIGSOFT Software Engineering Notes
Volume 20, Number 1, January, 1995

                   Chuck Howell   Surfing the net for \booktitleSoftware
                                  Engineering Notes  . . . . . . . . . . . 7--15
               Peter G. Neumann   Risks to the public in computers and
                                  related systems  . . . . . . . . . . . . 16--21
        Shari Lawrence Pfleeger   Experimental design and analysis in
                                  software engineering:Part 2: how to set
                                  up and experiment  . . . . . . . . . . . 22--26
                      Mary Shaw   Beyond objects: a software design
                                  paradigm based on process control  . . . 27--38
                 Klaus Pohl and   
              Gernot Starke and   
                   Peter Peters   Workshop summary: First International
                                  Workshop on Requirements Engineering:
                                  Foundation of Software Quality
                                  (REFSQ;94) . . . . . . . . . . . . . . . 39--45
                    Xiping Song   A framework for understanding the
                                  integration of design methodologies  . . 46--54
               L. B. S. Raccoon   The chaos model and the chaos cycle  . . 55--66
              Edward G. Amoroso   Creating formal specifications from
                                  requirements documents . . . . . . . . . 67--70
         Magne Jòrgensen   The quality of questionnaire based
                                  software maintenance studies . . . . . . 71--73
                  Panu Viljamaa   The patterns business: impressions from
                                  PLoP-94  . . . . . . . . . . . . . . . . 74--78
                     Adid Jazaa   Toward better software automation  . . . 79--84
          Vincenzo Ambriola and   
            Giovanni A. Cignoni   A distributed virtual machine to support
                                  software process . . . . . . . . . . . . 85--89
              Jeffrey S. Poulin   Book Reviews: \booktitleObject Databases
                                  --- The Essentials by Mary E. S. Loomis  90--91
               John A. Kostecki   Book review: \booktitleObject-Oriented
                                  Software Metrics by Mark Lorenz and Jeff
                                  Kidd . . . . . . . . . . . . . . . . . . 91--93
               Peter G. Neumann   Book review: \booktitleSoftware
                                  Creativity by Robert L. Glass  . . . . . 93
                     Will Tracz   Book review: \booktitleComputer Related
                                  Risks by Peter G. Neumann (ACM Press
                                  Books 1995)  . . . . . . . . . . . . . . 93
                     Will Tracz   Book review: \booktitleSoftware
                                  Engineering Standards and
                                  Specifications: an Annotated Index and
                                  Directory by Stan Magee and Leanard L.
                                  Trip . . . . . . . . . . . . . . . . . . 93

ACM SIGSOFT Software Engineering Notes
Volume 20, Number 2, April, 1995

               Peter G. Neumann   Risks to the Public in Computers and
                                  Related Systems  . . . . . . . . . . . . 7--13
        Shari Lawrence Pfleeger   Experimental Design and Analysis in
                                  Software Engineering: Types of
                                  Experimental Design  . . . . . . . . . . 14--16
                 Matt Sejnowski   Revolutionary DCF System to Replace CMM  16--17
              Margaret J. Davis   Process and Product: Dichotomy or
                                  Duality? . . . . . . . . . . . . . . . . 17--18
             Hubert Vanooteghem   The Maturity Movement and Acedia . . . . 18--19
                   Bob Britchef   A Few (Proposed) Fundamental Laws of
                                  Programming  . . . . . . . . . . . . . . 19--20
            C. Michael Holloway   Software Engineering and Epistemology    20--21
                     Will Tracz   Third International Conference on
                                  Software Reuse Summary . . . . . . . . . 21--22
                 Bruce Anderson   Building organizational competence in
                                  software architecture: OOPSLA'94
                                  Workshop report  . . . . . . . . . . . . 25--28
                  E. Dubois and   
              J. Hagelstein and   
          A. van Lamsweerde and   
                  F. Orejas and   
              J. Souquieres and   
                       P. Wodon   A Guided Tour through the ICARUS Project 28--33
      Balachander Krishnamurthy   CSCW 94 Workshop to Explore
                                  Relationships between Research in
                                  Computer Supported Cooperative Work and
                                  Software Process: Workshop Report  . . . 34--35
             Rakesh Agarwal and   
                  Patricia Lago   PATHOS --- a paradigmatic approach to
                                  high-level object-oriented software
                                  development  . . . . . . . . . . . . . . 36--41
               Mike Mannion and   
                 Barry Keepence   SMART requirements . . . . . . . . . . . 42--47
                  Ying Jing and   
                  He Zhijun and   
                 Wu Zhaohui and   
                Li Jiangyun and   
               Fan Weicheng and   
                     Xu Zhaohui   A methodology for high-level software
                                  specification construction . . . . . . . 48--54
            Marvin V. Zelkowitz   Algebra and models (and reality) . . . . 55--57
                     Ivan Ryant   The correctly analyzed system which
                                  behaves incorrectly  . . . . . . . . . . 58--61
                 John E. Arnold   Control integration: a briefly annotated
                                  bibliography . . . . . . . . . . . . . . 62--67
        Neville I. Churcher and   
             Martin J. Shepperd   Towards a conceptual framework for
                                  object oriented software metrics . . . . 69--75
                    Ben Whittle   Models and languages for component
                                  description and reuse  . . . . . . . . . 76--89

ACM SIGSOFT Software Engineering Notes
Volume 20, Number 3, July, 1995

                   Chuck Howell   Surfing the net for \booktitleSoftware
                                  Engineering Notes  . . . . . . . . . . . 2--7
               Peter G. Neumann   Risks to the Public in Computers and
                                  Related Systems  . . . . . . . . . . . . 7--12
        Shari Lawrence Pfleeger   Experimental design and analysis in
                                  software engineering, part 4: choosing
                                  an experimental design . . . . . . . . . 13--15
                     Will Tracz   17th International Conference on
                                  Software Engineering: Window on the
                                  World  . . . . . . . . . . . . . . . . . 16--28
             David Lorge Parnas   On ICSE's ``most influential'' papers    29--32
              Watts S. Humphrey   Why should you use a personal software
                                  process? . . . . . . . . . . . . . . . . 33--36
               L. B. S. Raccoon   The complexity gap . . . . . . . . . . . 37--44
               Bill Appelbe and   
                  Gregory Abowd   Beyond objects: a response . . . . . . . 45--48
                     Will Tracz   DSSA (Domain-Specific Software
                                  Architecture): pedagogical example . . . 49--62
               David Garlan and   
               Walter Tichy and   
               Frances Paulisch   Summary of the Dagstuhl Workshop on
                                  Software Architecture  . . . . . . . . . 63--83
                   David Garlan   First International Workshop on
                                  Architectures for Software Systems
                                  workshop summary . . . . . . . . . . . . 84--89
                N. A. M. Maiden   Reuse-oriented requirements engineering
                                  in NATURE  . . . . . . . . . . . . . . . 90--93
               Tanehiro Tatsuta   Practical verification for requirements
                                  model of Hatley/Pirbhai  . . . . . . . . 94--97

ACM SIGSOFT Software Engineering Notes
Volume 20, Number 4, October, 1995

              Alfred V. Aho and   
              Nancy D. Griffeth   Feature interactions in the global
                                  information infrastructure . . . . . . . 2--4
                   David Garlan   Software architecture (panel): next
                                  steps towards an engineering discipline
                                  for software systems design  . . . . . . 5
      Amy Moormann Zaremski and   
              Jeannette M. Wing   Specification matching of software
                                  components . . . . . . . . . . . . . . . 6--17
             Gail C. Murphy and   
               David Notkin and   
                 Kevin Sullivan   Software reflexion models: bridging the
                                  gap between source and high-level models 18--28
                Rajiv Gupta and   
                 Mary Lou Soffa   Hybrid slicing: an approach for refining
                                  static slices using dynamic information  29--40
                Thomas Reps and   
                Genevieve Rosay   Precise interprocedural chopping . . . . 41--52
             Daniel Hoffman and   
                  Paul Strooper   State abstraction and modular software
                                  development  . . . . . . . . . . . . . . 53--61
                    Alan Fekete   Liveness conditions in model-based
                                  service specifications: a case study . . 62--71
  José Luiz Fiadeiro and   
                    Tom Maibaum   Interconnecting formalisms: supporting
                                  modularity, reuse and incrementality . . 72--80
              Elaine J. Weyuker   Using the consequence of failures for
                                  testing and reliability assessment . . . 81--91
                  A. Porter and   
                     H. Siy and   
                C. A. Toman and   
                    L. G. Votta   An experiment to assess the
                                  cost-benefits of code inspections in
                                  large scale software development . . . . 92--103
              Susan Horwitz and   
                Thomas Reps and   
                    Mooly Sagiv   Demand interprocedural dataflow analysis 104--115
             Gail C. Murphy and   
                   David Notkin   Lightweight source model extraction  . . 116--127
          Jeannette M. Wing and   
        Mandana Vaziri-Farahani   Model checking software systems: a case
                                  study  . . . . . . . . . . . . . . . . . 128--139
               S. C. Cheung and   
                      J. Kramer   Compositional reachability analysis of
                                  finite-state distributed systems with
                                  user-specified constraints . . . . . . . 140--150
                 Andreas Zeller   A unified version model for
                                  configuration management . . . . . . . . 151--160
                Alan Kaplan and   
                Jack C. Wileden   Formalization and application of a
                                  unifying model for name management . . . 161--172

ACM SIGSOFT Software Engineering Notes
Volume 20, Number 5, December, 1995

               Peter G. Neumann   Risks to the public in computers and
                                  related systems  . . . . . . . . . . . . 8--14
        Shari Lawrence Pfleeger   Experimental design and analysis in
                                  software engineering, part 5: analyzing
                                  the data . . . . . . . . . . . . . . . . 14--17
                    Barry Boehm   Reuse emphasized at next process
                                  workshop . . . . . . . . . . . . . . . . 17
               John Salasin and   
                   Howie Shrobe   Evolutionary design of complex software
                                  (EDCS) . . . . . . . . . . . . . . . . . 18--22
          James H. Cross II and   
               Alex Quilici and   
                Linda Wills and   
             Philip Newcomb and   
               Elliot Chikofsky   Second working conference on reverse
                                  engineering summary report . . . . . . . 23--26
          Richard N. Taylor and   
                 Will Tracz and   
                 Lou Coglianese   Software development using
                                  domain-specific software architectures:
                                  CDRl A011 --- a curriculum module in the
                                  SEI style  . . . . . . . . . . . . . . . 27--38
            Robert Bruce Kelsey   ``A plea for tolerance in matters
                                  epistemological\ldots''  . . . . . . . . 39
               L. B. S. Raccoon   The chaos strategy . . . . . . . . . . . 40--47
          Edward A. Billard and   
            Alice E. Riedmiller   A GUI for a manager of lightweight
                                  processes  . . . . . . . . . . . . . . . 48--50
              Thomas Philip and   
               Ramani Ramsundar   A reengineering framework for small
                                  scale software . . . . . . . . . . . . . 51--55
             K. K. Aggarwal and   
                   Yogesh Singh   Software reliability apportionment using
                                  the analytic hierarchy process . . . . . 56--61
               Dianxiang Xu and   
                 Guoliang Zheng   Inheritance as sublation and its
                                  semantics  . . . . . . . . . . . . . . . 62--66
                   Manwu Xu and   
               Fancong Zeng and   
                Jianfeng Lu and   
                      Dong Yang   The development of JR-DSSG: a case study
                                  of software reuse  . . . . . . . . . . . 67--72
                     Paul Kogut   Design reuse: chemical engineering vs.
                                  software engineering . . . . . . . . . . 73--77
            Ronald J. Leach and   
             Terrence L. Fuller   An illustration of the domain analysis
                                  process  . . . . . . . . . . . . . . . . 78--82
                M. B. Ozcan and   
                      I. Morrey   A visual requirements validation
                                  environment for the reverse engineering
                                  of formal specifications from rapid
                                  prototypes . . . . . . . . . . . . . . . 83--87
                  Michael Ayers   Book Reviews: \booktitleThe Capability
                                  Maturity Model Guidelines for Improving
                                  the Software Process . . . . . . . . . . 88--89
                Jurgen Borstler   Book Review: \booktitleReengineering
                                  Information Technology Success Through
                                  Empowerment  . . . . . . . . . . . . . . 89
         Ronald B. Finkbine and   
                         Ph. D.   Software Inspection  . . . . . . . . . . 90
                  Marry Leisner   Confessions of a Used Program Salesman:
                                  Institutionalizing Software Reuse  . . . 90
                  Peter Neumann   Safeware: System Safety and Computers    90--91
                  Brinch Hansen   The SuperPascal Software . . . . . . . . 91
                  Peter Neumann   Fatal Defect: Chasing Killer Computer
                                  Bugs . . . . . . . . . . . . . . . . . . 91

ACM SIGSOFT Software Engineering Notes
Volume 20, Number SI, 1995

                      Mary Shaw   Architectural issues in software reuse:
                                  it's not just the functionality, it's
                                  the packaging  . . . . . . . . . . . . . 3--6
Rubén Prieto-Díaz   Systematic reuse: a scientific or an
                                  engineering method?  . . . . . . . . . . 9--10
                     Will Tracz   Confessions of a used-program salesman:
                                  lessons learned  . . . . . . . . . . . . 11--13
               Martin Griss and   
              Ivar Jacobson and   
                Chris Jette and   
                Bob Kessler and   
                       Doug Lea   Systematic software reuse (panel):
                                  objects and frameworks are not enough    17--20
               Guillermo Arango   Software reusability and the Internet    22--23
                 Don Batory and   
             Lou Coglianese and   
               Mark Goodwin and   
                   Steve Shafer   Creating reference architectures: an
                                  example from avionics  . . . . . . . . . 27--37
              Margaret J. Davis   Adaptable, reusable code . . . . . . . . 38--46
            James M. Bieman and   
             Josephine Xia Zhao   Reuse through inheritance: a
                                  quantitative study of C++ software . . . 47--52
  Henda Hadjami Ben Ghezala and   
                  Farouk Kamoun   A reuse approach based on object
                                  orientation: its contributions in the
                                  development of CASE tools  . . . . . . . 53--62
                E. Mambella and   
                 R. Ferrari and   
                F. D. Carli and   
                    A. L. Surdo   An integrated approach to software reuse
                                  practice . . . . . . . . . . . . . . . . 63--80
            John H. Gennari and   
             Russ B. Altman and   
                  Mark A. Musen   Reuse with PROTÉGÉ-II: from elevators to
                                  ribosomes  . . . . . . . . . . . . . . . 72--80
                 S. Castano and   
           V. De Antonellis and   
                     B. Pernici   Building reusable components in the
                                  public administration domain . . . . . . 81--87
           P. S. C. Alencar and   
                D. D. Cowan and   
            C. J. P. Lucena and   
                  L. C. M. Nova   Formal specification of reusable
                                  interface objects  . . . . . . . . . . . 88--96
              Jun-Jang Jeng and   
              Betty H. C. Cheng   Specification matching for software
                                  reuse: a foundation  . . . . . . . . . . 97--105
           Joshua E. Caplan and   
               Mehdi T. Harandi   A logical framework for software proof
                                  reuse  . . . . . . . . . . . . . . . . . 106--113
                  Stan Jarzabek   From reuse library experiences to
                                  application generation architectures . . 114--122
           Albert Schappert and   
            Peter Sommerlad and   
                  Wolfgang Pree   Automated support for software
                                  development with frameworks  . . . . . . 123--127
              Yasuhiro Sugiyama   Object make: a tool for constructing
                                  software systems from existing software
                                  components . . . . . . . . . . . . . . . 128--136
            Liesbeth Dusink and   
                Jan van Katwijk   Reuse dimensions . . . . . . . . . . . . 137--149
            Glenn S. Fowler and   
              David G. Korn and   
                  Kiem-Phong Vo   Principles for writing reusable
                                  libraries  . . . . . . . . . . . . . . . 150--159
          Jeffrey S. Poulin and   
               Keith J. Werkman   Melding structured abstracts and World
                                  Wide Web for retrieval of reusable
                                  components . . . . . . . . . . . . . . . 160--168
           Chung-Horng Lung and   
                Joseph E. Urban   An approach to the classification of
                                  domain models in support of analogical
                                  reuse  . . . . . . . . . . . . . . . . . 169--178
             Shirley Browne and   
              Jack Dongarra and   
                 Stan Green and   
                Keith Moore and   
              Theresa Pepin and   
                  Tom Rowan and   
                      Reed Wade   Location-independent naming for virtual
                                  distributed software repositories  . . . 179--185
                Scott Henninger   Developing domain knowledge through the
                                  reuse of project experiences . . . . . . 186--195
                  Mark A. Simos   Organization domain modeling (ODM):
                                  formalizing the core domain modeling
                                  life cycle . . . . . . . . . . . . . . . 196--205
           Robert B. France and   
               Thomas B. Horton   Applying domain analysis and modeling:
                                  an industrial experience . . . . . . . . 206--214
                Sanjay Bhansali   A hybrid approach to software reuse  . . 215--218
                Michael Wasmund   The spin-off illusion: reuse is not a
                                  by-product . . . . . . . . . . . . . . . 219--221
              Steven Fraser and   
           Deborah Leishman and   
                Robert McLellan   Patterns, teams and domain engineering   222--224
                Harald Gall and   
             Mehdi Jazayeri and   
        René Klösch   Research directions in software reuse:
                                  where to go from here? . . . . . . . . . 225--228
                 Cristina Gacek   Exploiting domain architectures in
                                  software reuse . . . . . . . . . . . . . 229--232
            Keith J. Ransom and   
                Chris D. Marlin   Supporting software reuse within an
                                  integrated software development
                                  environment (position paper) . . . . . . 233--237
                         W. Dai   Development of reusable expert system
                                  components: preliminary experience . . . 238--246
                    J. Voas and   
                   J. Payne and   
                   R. Mills and   
                     J. McManus   Software testability: an experiment in
                                  measuring simulation reusability . . . . 247--255
                   Hassan Gomaa   Domain modeling methods and environments 256--258
            James M. Bieman and   
                Byung-Kyoo Kang   Cohesion and reuse in an object-oriented
                                  system . . . . . . . . . . . . . . . . . 259--262
             Carlos Paredes and   
      José Luiz Fiadeiro   Reuse of requirements and
                                  specifications: a formal framework . . . 263--266
                Scott Henninger   Supporting the process of satisfying
                                  information needs with reusable software
                                  libraries: an empirical study  . . . . . 267--270


ACM SIGSOFT Software Engineering Notes
Volume 21, Number 1, January 1, 1996

                   David Notkin   Letter from the executive committee  . . 1--1
            David John Leciston   Letter to the editor . . . . . . . . . . 2--5
                   Chuck Howell   Surfing the net for \booktitleSoftware
                                  Engineering Notes  . . . . . . . . . . . 6--10
         Barbara Ann Kitchenham   Evaluating software engineering methods
                                  and tool part 1: The evaluation context
                                  and evaluation methods . . . . . . . . . 11--14
               Murali Sitaraman   4th international software reuse
                                  conference overview  . . . . . . . . . . 15--15
               Peter G. Neumann   Illustrative risks to the public in the
                                  use of computer systems and related
                                  technology . . . . . . . . . . . . . . . 16--30
                 Klaus Pohl and   
                   Peter Peters   Workshop summary Second International
                                  Workshop on Requirements Engineering:
                                  Foundation of Software Quality . . . . . 31--34
                   Kevin Benner   ``The Organization'' (or Software Reuse
                                  in a Business Environment) . . . . . . . 35--39
               Larry Latour and   
                  Kevin Wentzel   WISR'95: 7th Annual Workshop on Software
                                  Reuse summary and working group reports  35--54
                     Sid Bailin   Domain Processes and Engineering . . . . 39--42
                     Mark Simos   Domain Modeling Representation
                                  Strategies: Towards a Comparative
                                  Framework  . . . . . . . . . . . . . . . 42--46
                    Bill Frakes   The Reuse of Processes . . . . . . . . . 46
                  Steve Edwards   Micro-Architecture of Software
                                  Components and The Need For Good Mental
                                  Models of Software Subsystems  . . . . . 46--50
                Martin L. Griss   Systematic OO Reuse --- a Tale Of Two
                                  Cultures . . . . . . . . . . . . . . . . 50--52
              Margaret J. Davis   Barriers to Institutionalizing Using
                                  Current Tools and Environments . . . . . 52--54
              Frank Svoboda and   
       Fred Maymir-Ducharme and   
                    Jeff Poulin   SRI workshop summary: ``domain analysis
                                  in the DoD'' . . . . . . . . . . . . . . 55--67
             Pankaj K. Garg and   
                  Sriram Sankar   Fifth California software symposium  . . 68--70
               Cyrus F. Nourani   Multi-agent object level AI validation
                                  and verification . . . . . . . . . . . . 70--72
                   Steve Wartik   Slow down, you read too fast . . . . . . 73--74
                     Dick Carey   Is Software Quality Intrinsic,
                                  Subjective, or Relational? . . . . . . . 74--75
                  Michael Bruce   Internet agility/Maturity model survey
                                  for the software industry call for
                                  participation  . . . . . . . . . . . . . 75--76
               L. B. S. Raccoon   A learning curve primer for software
                                  engineers  . . . . . . . . . . . . . . . 77--86
                Richard Veryard   Information coordination --- the
                                  management of information model,
                                  systems, and organizations . . . . . . . 87--89
                Jurgen Burstler   Pattern Languages o f Program Design . . 88--89
         Ronald B. Finkbine and   
                         Ph. D.   Metrics and Models in Software Quality
                                  Engineering  . . . . . . . . . . . . . . 89

ACM SIGSOFT Software Engineering Notes
Volume 21, Number 2, March, 1996

                 Jesse H. Poore   Harlan Mills' Passing  . . . . . . . . . 6
               Mark Doernhoefer   Surfing the net for \booktitleSoftware
                                  Engineering Notes  . . . . . . . . . . . 7--10
         Barbara Ann Kitchenham   Evaluating software engineering methods
                                  and tool --- part 2: selecting an
                                  appropriate evaluation method ---
                                  technical criteria . . . . . . . . . . . 11--15
               Peter G. Neumann   Risks to the public in computers and
                                  related systems  . . . . . . . . . . . . 16--22
                Joe McManus and   
              Renaat Vergruggen   A proposed methodology for knowledge
                                  based systems development  . . . . . . . 22--31
                   Krish Pillai   The fountain model and its impact on
                                  project schedule . . . . . . . . . . . . 32--38
Julio Cesar Sampaio do Prado Leite   Working results on software
                                  re-engineering . . . . . . . . . . . . . 39--44
              Dan Shoemaker and   
               Vladan Jovanovic   Educating software executives: a
                                  doctorate in software management . . . . 45--46
             Lawrence Bernstein   Software investment strategy . . . . . . 47--53
                    Peter Kokol   Toward quality oriented IS design
                                  processes using two levelled design  . . 53--55
              Joseph George and   
              Bradley D. Carter   A strategy for mapping from
                                  function-oriented software models to
                                  object-oriented software models  . . . . 56--63
                  D. M. Johnson   The systems engineer and the software
                                  crisis . . . . . . . . . . . . . . . . . 64--73
            Robert Bruce Kelsey   Bad fixes, change specifications, and
                                  linguistic constraints on problem
                                  diagnosis  . . . . . . . . . . . . . . . 74--78
                 A. John Swartz   Airport 95: automated baggage system?    79--83
             David R. Pitts and   
              Barbara H. Miller   The wild-west revisited  . . . . . . . . 84--86
                     David Rine   Structural defects in object-oriented
                                  programming  . . . . . . . . . . . . . . 86--88
Manuel J. Barranco García and   
     Juan Carlos Granja Alvarez   Productive maintainability . . . . . . . 89--91
                  Michael Ayers   Book Review: \booktitleInformation
                                  Modeling --- An Object-Oriented Approach
                                  by Haim Kilov and James Ross . . . . . . 91--92
            David John Leciston   Book Review: \booktitlePCTE: The
                                  Standard for Open Repositories by Lois
                                  Wakeman and Jonathan Jowett  . . . . . . 92

ACM SIGSOFT Software Engineering Notes
Volume 21, Number 3, May, 1996

                     Will Tracz   Test and analysis of software
                                  architectures  . . . . . . . . . . . . . 1--3
                 Inhye Kang and   
                      Insup Lee   An efficient state space generation for
                                  analysis of real-time systems  . . . . . 4--13
           Pramod V. Koppol and   
                  Kuo-Chung Tai   An incremental approach to structural
                                  testing of concurrent software . . . . . 14--23
           A. T. Chamillard and   
                 Lori A. Clarke   Improving the accuracy of Petri
                                  net-based analysis of concurrent
                                  programs . . . . . . . . . . . . . . . . 24--38
             Sandro Morasca and   
            Angelo Morzenti and   
             Pieluigi SanPietro   Generating functional test cases
                                  in-the-large for time-critical systems
                                  from logic-based specifications  . . . . 39--52
              Merlin Hughes and   
                   David Stotts   Daistish: systematic algebraic testing
                                  for OO programs in the presence of
                                  side-effects . . . . . . . . . . . . . . 53--61
                 Juei Chang and   
        Debra J. Richardson and   
                  Sriram Sankar   Structural specification-based testing
                                  with ADL . . . . . . . . . . . . . . . . 62--70
              J. L. Crowley and   
             J. F. Leathrum and   
                  K. A. Liburdy   Issues in the full scale use of formal
                                  methods for automated testing  . . . . . 71--78
            Mats P. E. Heimdahl   Experiences and lessons from the
                                  analysis of TCAS II  . . . . . . . . . . 79--83
                    Dick Hamlet   Predicting dependability by testing  . . 84--91
               Larry Morell and   
                Branson Murrill   Using perturbation analysis to measure
                                  variation in the information content of
                                  test sets  . . . . . . . . . . . . . . . 92--97
               W. E. Howden and   
                      G. M. Shi   Linear and structural event sequence
                                  analysis . . . . . . . . . . . . . . . . 98--106
          Mary Jean Harrold and   
                Gregg Rothermel   Separate computation of alias
                                  information for reuse  . . . . . . . . . 107--120
         Richard A. DeMillo and   
                   Hsin Pan and   
             Eugene H. Spafford   Critical slicing for software fault
                                  localization . . . . . . . . . . . . . . 121--134
           Delia I. S. Marx and   
              Phyllis G. Frankl   The path-wise approach to data flow
                                  testing with pointer variables . . . . . 135--146
       Martina Marré and   
              Antonia Bertolino   Unconstrained duals and their use in
                                  achieving all-uses coverage  . . . . . . 147--157
               Murial Daran and   
  Pascale Thévenod-Fosse   Software error analysis: a real case
                                  study involving real faults and
                                  mutations  . . . . . . . . . . . . . . . 158--171
              Mauro Pezz\`e and   
                   Michal Young   Generation of multi-formalism
                                  state-space analysis tools . . . . . . . 172--179
          Anthony M. Sloane and   
               Jason Holdsworth   Beyond traditional program slicing . . . 180--186
           John R. Callahan and   
             Todd L. Montgomery   An approach to verification and
                                  validation of a reliable multicasting
                                  protocol . . . . . . . . . . . . . . . . 187--194
        A. Jefferson Offutt and   
               J. Huffman Hayes   A semantic model of program faults . . . 195--200
          Cheer-Sun D. Yang and   
                Lori L. Pollock   Towards a structural load testing tool   201--208
                   Bogdan Korel   Automated test data generation for
                                  programs with procedures . . . . . . . . 209--215
           Keith P. Pomakis and   
                Joanne M. Atlee   Reachability analysis of feature
                                  interactions: a progress report  . . . . 216--223
              Tevfik Bultan and   
            Jeffrey Fischer and   
                 Richard Gerber   Compositional verification by model
                                  checking for counter-examples  . . . . . 224--238
             Daniel Jackson and   
                 Craig A. Damon   Elements of style: analyzing a software
                                  design feature with a counterexample
                                  detector . . . . . . . . . . . . . . . . 239--249
               James C. Corbett   Constructing abstract models of
                                  concurrent real-time software  . . . . . 250--260
          Patrice Godefroid and   
                Doron Peled and   
               Mark Staskauskas   Using partial-order methods in the
                                  formal validation of industrial
                                  concurrent programs  . . . . . . . . . . 261--269
       Milica Barjaktarovic and   
              Shiu-Kai Chin and   
                  Kamal Jabbour   Formal specification and verification of
                                  the kernel functional unit of the OSI
                                  session layer protocol and service using
                                  CCS  . . . . . . . . . . . . . . . . . . 270--279
            Joanne M. Atlee and   
             Michael A. Buckley   A logic-model semantics for SCR software
                                  requirements . . . . . . . . . . . . . . 280--292
             Richard Denney and   
              Dick Kemmerer and   
              Nancy Leveson and   
                 Alberto Savoia   Why state-of-the-art is not
                                  state-of-the-practice (panel)  . . . . . 293

ACM SIGSOFT Software Engineering Notes
Volume 21, Number 4, July, 1996

               Mark Doernhoefer   Surfing the net for \booktitleSoftware
                                  Engineering Notes  . . . . . . . . . . . 6--9
         Barbara Ann Kitchenham   Evaluating software engineering methods
                                  and tool --- part 3: selecting an
                                  appropriate evaluation method ---
                                  practical issues . . . . . . . . . . . . 9--12
               Peter G. Neumann   Risks to the public in computers and
                                  related systems  . . . . . . . . . . . . 12--18
              M. Samadzadeh and   
                     M. K. Zand   SSR'95 summary report  . . . . . . . . . 39--40
                   Graeme Smith   First ISEW Cleanroom workshop summary    41--44
                Innes Jelly and   
                     Ian Gorton   Current research directions in software
                                  engineering for parallel and distributed
                                  systems  . . . . . . . . . . . . . . . . 44--46
                 Jochen Ludewig   Summary of the Third International
                                  Workshop on Software Engineering
                                  Education (IWSEE3) . . . . . . . . . . . 47--51
                   Tim Bull and   
                  Keith Bennett   A report on the Durham Program
                                  Transformations Workshop . . . . . . . . 51--53
                Ian Sommerville   Sixth International Workshop on Software
                                  Configuration Management . . . . . . . . 54--57
       Max Mühlhäuser   MMSD'96: Workshop on Multimedia Software
                                  Development  . . . . . . . . . . . . . . 58--63
             David S. Rosenblum   Formal methods and testing: why the
                                  state-of-the art is not the state-of-the
                                  practice . . . . . . . . . . . . . . . . 64--66
             Muthu Ramachandran   Requirements-driven software test: a
                                  process-oriented approach  . . . . . . . 66--70
               Federico Vazquez   An algebra approach to the deduction of
                                  data flow diagrams and object oriented
                                  diagrams from algebraic specifications   71--80
                  Kari Laitinen   Estimating understandability of software
                                  documents  . . . . . . . . . . . . . . . 81--92
                     Ivan Ryant   7-layered (small mental exercise)  . . . 93
                  Michael Ayers   Book Review: \booktitleReliable
                                  Object-Oriented Software --- Applying
                                  Analysis and Design  . . . . . . . . . . 94--95
                  Michael Ayers   Book Review: \booktitleBringing Design
                                  to Software  . . . . . . . . . . . . . . 95--96
             Ronald B. Finkbine   Book Review: \booktitleSoftware
                                  Development Using Eiffel . . . . . . . . 96
             Ronald B. Finkbine   Book Review: \booktitleSoftware Fault
                                  Tolerance  . . . . . . . . . . . . . . . 96
               Frank Hollenbach   Book Review: \booktitleSoftware Systems
                                  Construction with Examples in Ada  . . . 97
            Robert Bruce Kelsey   Book Review: \booktitleAn ISO 9000
                                  Approach To Building Quality Software    97--98
            Robert Bruce Kelsey   Book Review: \booktitleA Quantitative
                                  Approach to Software Management: The ami
                                  Handbook [ISBN 0-201-87746-5, 179 pages,
                                  \$24.69]}  . . . . . . . . . . . . . . . 98--99
            Robert Bruce Kelsey   Book Review: \booktitleHow To Run
                                  Successful Projects  . . . . . . . . . . 99
            Robert Bruce Kelsey   Book Review: \booktitleA MAP For
                                  Software Acquisition . . . . . . . . . . 99
                  Marty Leisner   Book Review: \booktitleDebugging the
                                  Development Process  . . . . . . . . . . 99--100
                  Marty Leisner   Book Review: \booktitleManaging Your
                                  Move to Object Technology: Guidelines
                                  and Strategies for a Smooth Transition   100
               Brian O'Laughlin   Book Review: \booktitleBeyond
                                  Technology's Promise . . . . . . . . . . 100--101
               Brian O'Laughlin   Book Review: \booktitleC/C++ Software
                                  Quality Tools  . . . . . . . . . . . . . 101--103
               Brian O'Laughlin   Book Review: \booktitleFoundations of
                                  Software Measurement . . . . . . . . . . 103
                 Suzette Person   Book Review: \booktitleThe Object Primer 104
                  Peter Raynham   Book Review: \booktitleRapid Software
                                  Development with Smalltalk . . . . . . . 104

ACM SIGSOFT Software Engineering Notes
Volume 21, Number 5, September, 1996

               David Garlan and   
                  Mark Morieoni   The Fourth Symposium on the Foundations
                                  of Software Engineering (FSE4) . . . . . 4
               Alfonso Fuggetta   ICSE 97: picking up the gauntlet . . . . 5--6
               Mark Doernhoefer   Surfing the net for \booktitleSoftware
                                  Engineering Notes  . . . . . . . . . . . 6--10
               Chris Sadler and   
         Barbara Ann Kitchenham   Evaluating software engineering methods
                                  and tool --- part 4: the influence of
                                  human factors  . . . . . . . . . . . . . 11--13
               Peter G. Neumann   Risks to the public in computers and
                                  related systems  . . . . . . . . . . . . 13--20
                Jeff Kramer and   
              Alexander L. Wolf   Succeedings of the 8th International
                                  Workshop on Software Specification and
                                  Design . . . . . . . . . . . . . . . . . 21--35
               Tanehiro Tatsuta   Conference on computer-aided software
                                  engineering summary report . . . . . . . 36--39
                     Will Tracz   Evolutionary Design of Complex Software
                                  (EDCS) kick off workshop summary . . . . 40--42
                    John Favaro   On the scalability problem in COTS-based
                                  programming environments . . . . . . . . 43--46
                  Donald L. Day   User responses to constraints in
                                  computerized design tools (extended
                                  abstract)  . . . . . . . . . . . . . . . 47--50
                Lin Zucconi and   
                      Karl Reed   Building testable software . . . . . . . 51--55
                   Michael Cook   Software design is a good thing  . . . . 56--57
                  Jing Ying and   
                      Zhijun He   Some comments on software methodology
                                  versus CASE  . . . . . . . . . . . . . . 58--59
                 Richard Denney   A comparison of the model-based &
                                  algebraic styles of specification as a
                                  basis for test specification . . . . . . 60--64
             Jiazhong Zhang and   
                   Zhijian Wang   NDHORM: an OO approach to requirements
                                  modeling . . . . . . . . . . . . . . . . 65--69
                 Philip Johnson   Egret: a framework for advanced CSCW
                                  applications . . . . . . . . . . . . . . 70--71
                   Wing Lam and   
                    Ben Whittle   A taxonomy of domain-specific reuse
                                  problems and their resolutions ---
                                  version 1.0  . . . . . . . . . . . . . . 72--77
                R. Harrison and   
              L. G. Samaraweera   Using test case metrics to predict code
                                  quality and effort . . . . . . . . . . . 78--88
           B. Henderson-Sellers   The mathematical validity of software
                                  metrics  . . . . . . . . . . . . . . . . 89--94
                    Offer Drori   Planning and design of information
                                  systems using OODPM  . . . . . . . . . . 95--98
           Rose Mazhindu-Shumba   A comment on the notation of the
                                  Wirfs--Brock et al. object-oriented
                                  design method  . . . . . . . . . . . . . 99

ACM SIGSOFT Software Engineering Notes
Volume 21, Number 6, November, 1996

                Michael Jackson   Problems, methods, and structures
                                  (abstract) . . . . . . . . . . . . . . . 1
                 Henry Petroski   Engineering bridges: from concept to
                                  reality (abstract) . . . . . . . . . . . 1
              Eberhardt Rechtin   Software systems architecting (abstract) 1
                    Barry Boehm   Industrial priorities for software
                                  engineering research (panel) . . . . . . 2
                Gregor Kiczales   What can programming languages
                                  contribute to software engineering, and
                                  vice versa? (panel)  . . . . . . . . . . 2
                 Jeff Magee and   
                    Jeff Kramer   Dynamic structure in software
                                  architectures  . . . . . . . . . . . . . 3--14
       Daniel Le Métayer   Software architecture styles as graph
                                  grammars . . . . . . . . . . . . . . . . 15--23
           Nenad Medvidovic and   
              Peyman Oreizy and   
           Jason E. Robbins and   
              Richard N. Taylor   Using object-oriented typing to support
                                  architectural design in the C2 style . . 24--32
        William G. Griswold and   
            Morison I. Chen and   
         Robert W. Bowdidge and   
          J. David Morgenthaler   Tool support for planning the
                                  restructuring of data abstractions in
                                  large systems  . . . . . . . . . . . . . 33--45
            Linda M. Seiter and   
              Jens Palsberg and   
             Karl J. Lieberherr   Evolution of object behavior using
                                  context relations  . . . . . . . . . . . 46--57
           Michael VanHilst and   
                   David Notkin   Decoupling change from design  . . . . . 58--69
             Craig A. Damon and   
             Daniel Jackson and   
                     Somesh Jha   Checking relational specifications with
                                  binary decision diagrams . . . . . . . . 70--80
                 Sean Zhang and   
           Barbara G. Ryder and   
                  William Landi   Program decomposition for pointer
                                  aliasing: a step toward practical
                                  analyses . . . . . . . . . . . . . . . . 81--92
          Gleb N. Naumovich and   
             Lori A. Clarke and   
              Leon J. Osterweil   Verification of communication protocols
                                  using data flow analysis . . . . . . . . 93--105
               L. K. Dillon and   
              Y. S. Ramakrishna   Generating oracles from your favorite
                                  temporal logic specifications  . . . . . 106--117
         David S. Rosenblum and   
              Elaine J. Weyuker   Predicting the cost-effectiveness of
                                  regression testing strategies  . . . . . 118--126
           Ioannis Parissis and   
             Farid Ouabdesselam   Specification-based testing of
                                  synchronous software . . . . . . . . . . 127--134
               Michael Siff and   
                    Thomas Reps   Program generalization for software
                                  reuse: from C to C++ . . . . . . . . . . 135--146
          Daniel J. Barrett and   
                Alan Kaplan and   
                Jack C. Wileden   Automated support for seamless
                                  interoperability in polylingual software
                                  systems  . . . . . . . . . . . . . . . . 147--155
        Richard J. Anderson and   
                 Paul Beame and   
                Steve Burns and   
               William Chan and   
        Francesmary Modugno and   
               David Notkin and   
                   Jon D. Reese   Model checking large software
                                  specifications . . . . . . . . . . . . . 156--166
                 Carl A. Gunter   Abstracting dependencies between
                                  software configuration items . . . . . . 167--178
            Robert Darimont and   
            Axel van Lamsweerde   Formal refinement patterns for
                                  goal-driven requirements elaboration . . 179--190


ACM SIGSOFT Software Engineering Notes
Volume 22, Number 1, January, 1997

                     Will Tracz   SIGSOFT policy statement for conferences
                                  and workshops sponsored by SIGSOFT . . . 3--4
                 Helmut Schauer   ESEC97/FSE5 invitation . . . . . . . . . 6
                   Andrew Sears   Working group on HCI education
                                  (identifying & disseminating resources)   6
                 Richard Taylor   ICSE 97 program update . . . . . . . . . 7
               Mark Doernhoefer   Surfing the net for \booktitleSoftware
                                  Engineering Notes  . . . . . . . . . . . 8--12
     Barbara Ann Kitchenham and   
                  Lindsay Jones   Evaluating software engineering methods
                                  and tool part 5: the influence of human
                                  factors  . . . . . . . . . . . . . . . . 13--15
               Peter G. Neumann   Risks to the public in computers and
                                  related systems  . . . . . . . . . . . . 16--22
                   David Garlan   SIGSOFT'96 post mortem . . . . . . . . . 23
                   David Notkin   FSE 96 special session: novel notions,
                                  wild ideas, and fun flames . . . . . . . 23--24
               Carlo Montangero   Report on the Fifth European Workshop on
                                  Software Process Technology  . . . . . . 24--27
               Murali Sitaraman   Fourth international conference on
                                  software reuse (ICSR4) . . . . . . . . . 27
                 Amit Sheth and   
   Dimitrios Georgakopoulos and   
         Stef M. M. Joosten and   
         Marek Rusinkiewicz and   
               Walt Scacchi and   
               Jack Wileden and   
              Alexander L. Wolf   Report from the NSF Workshop on Workflow
                                  and Process Automation in Information
                                  Systems  . . . . . . . . . . . . . . . . 28--38
         George Spanoudakis and   
       Anthony Finkelsteiin and   
              Wolfgang Emmerich   Viewpoints 96: International Workshop on
                                  Multiple Perspectives in Software
                                  Development (SIGSOFT 96) workshop report 39--41
              Alexander L. Wolf   Succeedings of the Second International
                                  Software Architecture Workshop (ISAW-2)  42--56
     M. G. J. van den Brand and   
                   P. Klint and   
                     C. Verhoef   Reverse engineering and system
                                  renovation --- an annotated bibliography 57--68
             C. Francalanci and   
                    A. Fuggetta   Integrating information requirements
                                  along processes: a survey and research
                                  directions . . . . . . . . . . . . . . . 68--74
                A. Putkonen and   
                     M. Kiekara   A case-tool for supporting navigation in
                                  the class hierarchy  . . . . . . . . . . 77--84
                    Offer Drori   From theory to practice or how not to
                                  fail in developing information systems   85--87
               L. B. S. Raccoon   Fifty years of progress in software
                                  engineering  . . . . . . . . . . . . . . 88--104
                  Michael Ayers   Book Reviews: \booktitlePrototyping with
                                  Objects, Philippe Krief  . . . . . . . . 105--106
               Mark Doernhoefer   Book Reviews: \booktitleObject-Oriented
                                  Systems Design: an Integrated Approach,
                                  Edward Yourdon . . . . . . . . . . . . . 106--107
               Mark Doernhoefer   Book Reviews: \booktitleObject-Oriented
                                  Systems Design: an Integrated Approach,
                                  Edward Yourdon . . . . . . . . . . . . . 106--107
               Brian O'Laughlin   Book Reviews: \booktitleDictionary of
                                  Object Technology, Donald G. Firesmith
                                  and Edward M. Eykholt  . . . . . . . . . 107--108
               Brian O'Laughlin   Book Reviews: \booktitleObject Oriented
                                  Compiler Construction, Jim Holmes  . . . 108--108
                  Peter Raynham   Book Reviews: \booktitleProgramming from
                                  Specifications, Second Edition, Carroll
                                  Morgan . . . . . . . . . . . . . . . . . 108--109
                 Suzette Person   Book Reviews: \booktitleWhat Every
                                  Software Manager MUST KNOW TO SUCCEED
                                  With Object Technology, John Williams    109--109

ACM SIGSOFT Software Engineering Notes
Volume 22, Number 2, March, 1997

                 Robert L. Nord   System and software architecture track
                                  third IEEE International Conference on
                                  Engineering of Complex Computer Systems
                                  (ICECCS'97)  . . . . . . . . . . . . . . 5
                    Jeff Poulin   Symposium on Software Reuse information  5
               Dana Dovenbarger   Software Technology Conference
                                  information  . . . . . . . . . . . . . . 6
            Santiago Rementeria   Software process in the organizational
                                  context: more data on European practices 6--7
               Mark Doernhoefer   Surfing the net for \booktitleSoftware
                                  Engineering Notes  . . . . . . . . . . . 8--15
     Barbara Ann Kitchenham and   
                  Lindsay Jones   Evaluating software engineering methods
                                  and tools part 6: identifying and
                                  scoring features . . . . . . . . . . . . 16--18
               Peter G. Neumann   Risks to the public in computers and
                                  related systems  . . . . . . . . . . . . 19--24
             Gary H. Sockut and   
              Helen P. Arzu and   
         Robert W. Matthews and   
                David E. Shough   Issues in designing an information model
                                  for application development  . . . . . . 25--34
                         W. Lam   Process reuse using a template approach:
                                  a case-study from avionics . . . . . . . 35--38
                Sigal Mathalone   A behaviorally-based methodology for
                                  modeling system specifications . . . . . 39--42
                        Rob Law   An overview of debugging tools . . . . . 43--47
             S. S. Gulu Gambhir   Use of domain analysis to implement the
                                  developer off-the-shelf systems (DOTSS)
                                  system acquisition approach  . . . . . . 48--53
                 K. K. Aggarwal   A tool for the collection of industrial
                                  software metrics data  . . . . . . . . . 54--57
 Frédéric Blanqui   A document-centered approach for an open
                                  CASE environment framework connected
                                  with the World-Wide Web  . . . . . . . . 58--63
            Robert Bruce Kelsey   Integrating a defect typology with
                                  containment metrics  . . . . . . . . . . 64--67
                  Nenad Marovac   Software development environment based
                                  on HyperNet  . . . . . . . . . . . . . . 68--71
                   Mao Bing and   
                         Xie Li   An object-based model for prototyping
                                  user interfaces of cooperative systems   72--76
            John W. Gintell and   
            Gérard Memmi   Lessons learned with ACME an environment
                                  integration experiment . . . . . . . . . 77--81
                    Clive Rosen   PLUNGE DA: a case study  . . . . . . . . 82--83
                    Mark Dowson   The Ariane 5 software failure  . . . . . 84
                   Andrew Blyth   Issues arising from medical system's
                                  failure  . . . . . . . . . . . . . . . . 85--86
            Angelo Morzenti and   
             Fabio A. Schreiber   Analysis of techniques in the assessment
                                  of ultra-reliable computerized systems   87--91
          Garrison W. Greenwood   So many algorithms. So little time . . . 92--93
         Marc Le Bissonnais and   
         François Prunet   From manufacturing document requirements
                                  to customized authoring and automated
                                  publishing framework . . . . . . . . . . 94--98
             Robert B. Finkbine   Barriers to Institutionalizing Using
                                  Current Tools and Environments: an
                                  Introduction to Functional Programming
                                  Systems Using Haskell  . . . . . . . . . 99
            Robert Bruce Kelsey   Book Review: \booktitleEducation for an
                                  Information Age: Teaching in the
                                  Computerized Classroom . . . . . . . . . 99
               Mark Doernhoefer   Book Review: \booktitleObject-Oriented
                                  Development Process and Metrics  . . . . 100
                  Peter Raynham   Book Review: Book Two of
                                  \booktitleObject Oriented Knowledge: The
                                  Working Object . . . . . . . . . . . . . 101--102
        Manjunath Suryanarayana   Book Review:
                                  \booktitleObject-Orientation and
                                  Prototyping in Software Engineering  . . 102
                     Will Tracz   Book Review: \booktitleThe Art of
                                  Systems Architecting . . . . . . . . . . 102

ACM SIGSOFT Software Engineering Notes
Volume 22, Number 3, May, 1997

                Paul G. Bassett   The theory and practice of adaptive
                                  reuse  . . . . . . . . . . . . . . . . . 2--9
               Ralph E. Johnson   Components, frameworks, patterns . . . . 10--17
   François Bronsard and   
              Douglas Bryan and   
             W. Kozaczynski and   
          Edy S. Liongosari and   
                Jim Q. Ning and   
Ásgeir Ólafsson and   
           John W. Wetterstrand   Toward software plug-and-play  . . . . . 19--29
          Margaret J. Davis and   
              Roger B. Williams   Software architecture characterization   30--38
             Phillip McCoog and   
                     Rick Smith   Mostly reuse: another code sharing
                                  option . . . . . . . . . . . . . . . . . 39--43
                Chris Maeda and   
                 Arthur Lee and   
                Gail Murphy and   
                Gregor Kiczales   Open implementation analysis and design  44--52
                     W. Lam and   
                 J. A. McDermid   A summary of domain analysis experience
                                  by way of heuristics . . . . . . . . . . 54--64
                  Stan Jarzabek   Modeling multiple domains in software
                                  reuse  . . . . . . . . . . . . . . . . . 65--74
             Jacques Meekel and   
           Thomas B. Horton and   
           Robert B. France and   
            Charlie Mellone and   
                    Sajid Dalvi   From domain models to architecture
                                  frameworks . . . . . . . . . . . . . . . 75--80
               Frank Houdek and   
                 Hubert Kempter   Quality patterns --- an approach to
                                  packaging software engineering
                                  experience . . . . . . . . . . . . . . . 81--88
                Hafedh Mili and   
              Estelle Ah-Ki and   
               Robert Godin and   
                  Hamid Mcheick   Another nail to the coffin of faceted
                                  controlled-vocabulary component
                                  classification and retrieval . . . . . . 89--98
                     Will Tracz   Developing reusable Java components  . . 100--103
   Jeffrey K. Hollingsworth and   
                Ethan L. Miller   Using content-derived names for
                                  configuration management . . . . . . . . 104--109
                Hafedh Mili and   
            Houari Sahraoui and   
                 Ilham Benyahia   Representing and querying reusable
                                  object frameworks  . . . . . . . . . . . 110--120
          Esteban A. Pastor and   
                    R. T. Price   Using metamodels of methodologies to
                                  determine the needs for reusability
                                  support  . . . . . . . . . . . . . . . . 121--129
             Scott Thibault and   
                 Charles Consel   A framework for application generator
                                  design . . . . . . . . . . . . . . . . . 131--135
Guillermo Jiménez-Pérez and   
                     Don Batory   Memory simulators and software
                                  generators . . . . . . . . . . . . . . . 136--145
           E. E. Villarreal and   
                     Don Batory   Rosetta: a generator of data language
                                  compilers  . . . . . . . . . . . . . . . 146--156
                    R. Mili and   
                M. Frappier and   
              J. Desharnais and   
                        A. Mili   A calculus of program modifications  . . 157--168
         Katsuhisa Maruyama and   
                 Ken-ichi Shima   A mechanism for automatically and
                                  dynamically changing software components 169--180
          Shirley V. Browne and   
                 James W. Moore   Reuse library interoperability and the
                                  World Wide Web . . . . . . . . . . . . . 182--189
           Nenad Medvidovic and   
              Peyman Oreizy and   
              Richard N. Taylor   Reuse of off-the-shelf components in
                                  C2-style architectures . . . . . . . . . 190--198
             Anssi Karhinen and   
              Alexander Ran and   
                 Tapio Tallgren   Configuring designs for reuse  . . . . . 199--208
          Ernesto Guerrieri and   
               Martin Griss and   
                   Doug Lea and   
         Prashant Sridharan and   
                     Will Tracz   The impact of Java on software
                                  reusability  . . . . . . . . . . . . . . 210--211
               Mansour Zand and   
            Gillermo Arango and   
               Maggie Davis and   
              Ralph Johnson and   
          Jeffrey S. Poulin and   
                  Andrew Watson   Reuse research and development: is it on
                                  the right track? . . . . . . . . . . . . 212--216

ACM SIGSOFT Software Engineering Notes
Volume 22, Number 4, July, 1997

ACM / IEEE-CS Task Force on Software Engineering Ethics and   
                       Practice   Draft software engineering code of
                                  ethics, version 2.1  . . . . . . . . . . 3--6
                   Herb Krasner   Clarifying the role of the SEI: they do
                                  not certify assessors or assessments . . 7
                   Roy Rada and   
                James Schoening   New standards for educational technology 9--10
                    Don O'Neill   Software value added study . . . . . . . 11--12
               Mark Doernhoefer   Surfing the net for \booktitleSoftware
                                  Engineering Notes  . . . . . . . . . . . 13--20
         Barbara Ann Kitchenham   Evaluating software engineering methods
                                  and tools, part 7: planning feature
                                  analysis evaluation  . . . . . . . . . . 21--24
               Peter G. Neumann   Risks to the public in computers and
                                  related systems  . . . . . . . . . . . . 25--34
               Donald J. Reifer   Report: 4th ACM Conference On Computer
                                  and Communications Security  . . . . . . 32--33
                    Hyoseob Kim   Report on Bruce Anderson's Tutorial on
                                  Pattern Languages of Program Design  . . 34
                    Offer Drori   Hypertext implications for CASE
                                  environments . . . . . . . . . . . . . . 35--38
                         W. Lam   Creating reusable architectures: initial
                                  experience report  . . . . . . . . . . . 39--43
                      Minyi Guo   Automatic transformation from data flow
                                  diagram to structure chart . . . . . . . 44--49
             Rakesh Agarwal and   
                  Giorgio Bruno   Implementing inheritance in operational
                                  graphical languages  . . . . . . . . . . 50--55
                 S. Srinath and   
               K. Venkatesh and   
                  D. Janaki Ram   An integrated solution based approach to
                                  software development using unified reuse
                                  artifacts  . . . . . . . . . . . . . . . 56--60
              Yeh-Ling Chen and   
            Arnold J. Stromberg   Robust estimation in software
                                  experiments  . . . . . . . . . . . . . . 60--64
                 Ezra K. Mugisa   A reuse triplet for systematic software
                                  reuse  . . . . . . . . . . . . . . . . . 65--69
              D. Janaki Ram and   
        K. N. Anantha Raman and   
               K. N. Guruprasad   A pattern oriented technique for
                                  software design  . . . . . . . . . . . . 70--73
                George Fink and   
                    Matt Bishop   Property-based testing: a new approach
                                  to testing for assurance . . . . . . . . 74--80
          Mario G. Piattini and   
    Hervé Tigréat   Applying the ``STUDIO'' method to the
                                  interface design of an environmental
                                  software system  . . . . . . . . . . . . 81--83
                    Y. Wang and   
                    G. King and   
                   I. Court and   
                    M. Ross and   
                     G. Staples   On testable object-oriented programming  84--90
               Mark Doernhoefer   Book review: \booktitleDeveloping
                                  Object-Oriented Software An
                                  Experienced-Based Approach by IBM
                                  Object-Oriented Technology Center (PTR
                                  Prentice Hall, 1997) . . . . . . . . . . 113--114
                  Barry L. Ives   Book Review: \booktitleML for the
                                  Working Programmer by L. C. Paulson
                                  (Cambridge University Press, 1996) . . . 114
                  Barry L. Ires   Book review: \booktitleUsing Z by Jim
                                  Woodcock and Jim Davies (Prentice Hall,
                                  1996)  . . . . . . . . . . . . . . . . . 114--115

ACM SIGSOFT Software Engineering Notes
Volume 22, Number 5, September, 1997

               Mark Doernhoefer   Surfing the net for \booktitleSoftware
                                  Engineering Notes  . . . . . . . . . . . 5--9
     Barbara Ann Kitchenham and   
                  Lindsay Jones   Evaluating SW Eng. methods and tools,
                                  part 8: analysing a feature analysis
                                  evaluation . . . . . . . . . . . . . . . 10--12
               Peter G. Neumann   Risks to the public in computers and
                                  related systems  . . . . . . . . . . . . 13--15
                  Oh Cheon Kwon   Report from SEKE'97  . . . . . . . . . . 15--16
         Stephen H. Edwards and   
                 Bruce W. Weide   WISR8: 8th Annual Workshop on Software
                                  Reuse: summary and working group reports 17--32
                     Doug Waugh   Description of EDCS technology clusters  33--42

ACM SIGSOFT Software Engineering Notes
Volume 22, Number 6, November, 1997

             David Lorge Parnas   Software engineering (extended
                                  abstract): an unconsummated marriage . . 1--3
                    John Rushby   Subtypes for specifications  . . . . . . 4--19
                Barry Boehm and   
                 Alex Egyed and   
                 Julie Kwan and   
                    Ray Madachy   Developing multimedia applications with
                                  the WinWin spiral model  . . . . . . . . 20--39
              Tom S. E. Maibaum   What we teach software engineers in the
                                  university: do we take engineering
                                  seriously? . . . . . . . . . . . . . . . 40--50
                Jürgen Uhl   What we expect from software engineers
                                  in the industry  . . . . . . . . . . . . 51
            Richard A. Kemmerer   Security issues in distributed software  52--59
           Nenad Medvidovic and   
              Richard N. Taylor   A framework for classifying and
                                  comparing architecture description
                                  languages  . . . . . . . . . . . . . . . 60--76
             Gleb Naumovich and   
          George S. Avrunin and   
             Lori A. Clarke and   
              Leon J. Osterweil   Applying static analysis to software
                                  architectures  . . . . . . . . . . . . . 77--93
          Theo Dirk Meijler and   
              Serge Demeyer and   
                   Robert Engel   Making design patterns explicit in FACE:
                                  a frame work adaptive composition
                                  environment  . . . . . . . . . . . . . . 94--110
               Graham Allen and   
            Leighton Davies and   
        Göran Lindmark and   
     Even-André Karlsson   TTM15 --- a large multi-site improvement
                                  project  . . . . . . . . . . . . . . . . 111--124
                  Gregor Joeris   Change management needs integrated
                                  process and configuration management . . 125--141
     Stanley M. Sutton, Jr. and   
              Leon J. Osterweil   The design of a next-generation process
                                  language . . . . . . . . . . . . . . . . 142--158
  André van der Hoek and   
            Richard S. Hall and   
          Dennis Heimbigner and   
              Alexander L. Wolf   Software release management  . . . . . . 159--175
                 Klaus Pohl and   
              Klaus Weidenhaupt   A contextual approach for
                                  process-integrated tools . . . . . . . . 176--192
             Jens H. Jahnke and   
       Wilhelm Schäfer and   
            Albert Zündorf   Generic fuzzy reasoning nets as a basis
                                  for reverse engineering relational
                                  database applications  . . . . . . . . . 193--210
         Andrea Alborghetti and   
          Angelo Gargantini and   
                Angelo Morzenti   Providing automated support to deductive
                                  analysis of time critical systems  . . . 211--226
           Shing Chi Cheung and   
     Dimitra Giannakopoulou and   
                    Jeff Kramer   Verification of liveness properties
                                  using compositional reachability
                                  analysis . . . . . . . . . . . . . . . . 227--243
           Matthew B. Dwyer and   
                 Vicki Carr and   
                    Laura Hines   Model checking graphical user interfaces
                                  using abstractions . . . . . . . . . . . 244--261
                Murray Wood and   
                 Marc Roper and   
              Andrew Brooks and   
                   James Miller   Comparing and combining software defect
                                  detection techniques: a replicated
                                  empirical study  . . . . . . . . . . . . 262--277
                 Christof Ebert   Experiences with criticality predictions
                                  in software development  . . . . . . . . 278--293
        Lesley Pek Wee Land and   
                Chris Sauer and   
                   Ross Jeffery   Validating the defect detection
                                  performance advantage of group designs
                                  for software reviews: report of a
                                  laboratory experiment using program code 294--309
           Jules Desharnais and   
              Marc Frappier and   
        Ridha Khédri and   
                       Ali Mili   Integration of sequential scenarios  . . 310--326
              Gregor Engels and   
               Reiko Heckel and   
              Gabi Taentzer and   
                  Hartmut Ehrig   A view-oriented approach to system
                                  modelling based on graph transformation  327--343
         David S. Rosenblum and   
              Alexander L. Wolf   A design framework for Internet-scale
                                  event observation and notification . . . 344--360
     Rastislav Bodík and   
                Rajiv Gupta and   
                 Mary Lou Soffa   Refining data flow information using
                                  infeasible paths . . . . . . . . . . . . 361--377
István Forgács and   
              Antonia Bertolino   Feasible test path selection by
                                  principal slicing  . . . . . . . . . . . 378--394
               Prem Devanbu and   
          Stuart G. Stubblebine   Cryptographic verification of test
                                  coverage claims  . . . . . . . . . . . . 395--413
           Yih-Farn R. Chen and   
           Emden R. Gansner and   
         Eleftherios Koutsofios   A C++ data model supporting reachability
                                  analysis and dead code detection . . . . 414--431
                Thomas Reps and   
                Thomas Ball and   
                Manuvir Das and   
                    James Larus   The use of program profiling for
                                  software maintenance with applications
                                  to the year 2000 problem . . . . . . . . 432--449
        Mats P. E. Heimdahl and   
              Michael W. Whalen   Reduction and slicing of hierarchical
                                  state machines . . . . . . . . . . . . . 450--467
            Martin Schuetze and   
           Jan Peter Riegel and   
             Gerhard Zimmermann   A pattern-based application generator
                                  for building simulation  . . . . . . . . 468--482
    Stéphane Ducasse and   
                  Tamar Richner   Executable connectors: towards reusable
                                  design elements  . . . . . . . . . . . . 483--499
          Gian Pietro Picco and   
        Gruia-Catalin Roman and   
                Peter J. McCann   Expressing code mobility in mobile UNITY 500--518
 Even-André Karlsson and   
                     Lars Taxen   Incremental development for AXE 10 . . . 519--520
           Dewayne E. Perry and   
              Lawrence G. Votta   The tale of two projects (abstract)  . . 521--522
                    A. Idri and   
                  B. Griech and   
                    A. El Iraki   Towards an adaptation of the COCOMO cost
                                  model to the software measurement theory 525--526
                 Petre Dini and   
          Amina Belkhelladi and   
        Walcélio L. Melo   Formalizing software architectures: an
                                  industrial experience  . . . . . . . . . 527--529


ACM SIGSOFT Software Engineering Notes
Volume 23, Number 1, January, 1998

               Peter G. Neumann   Risks to the public in computers and
                                  related systems  . . . . . . . . . . . . 9--15
               Mark Doernhoefer   Surfing the net for \booktitleSoftware
                                  Engineering Notes  . . . . . . . . . . . 16--23
     Barbara Ann Kitchenham and   
              Lesley M. Pickard   Evaluating software engineering methods
                                  and tools: part 9: quantitative case
                                  study methodology  . . . . . . . . . . . 24--26
                  Oh Cheon Kwon   Report from SEKE'97  . . . . . . . . . . 27--28
              Serge Demeyer and   
                    Harald Hall   Report: Workshop on Object-Oriented
                                  Re-engineering (WOOR'97) . . . . . . . . 28--29
                Eric Dubois and   
          Andreas L. Opdahl and   
                     Klaus Pohl   REFSQ'97 workshop summary  . . . . . . . 30--34
                  Lisa Finneran   Report: technology challenges at SPC . . 35--37
            Gary T. Leavens and   
           Oscar Nierstrasz and   
               Murali Sitaraman   1997 Workshop on Foundations of
                                  Component-Based Systems  . . . . . . . . 38--41
       João Carreira and   
      João Gabriel Silva   Why do some (weird) people inject
                                  faults?  . . . . . . . . . . . . . . . . 42--43
                  Al Butkus and   
            Barbara L. Mitchell   A framework for encapsulating
                                  card-oriented, interactive, legacy
                                  applications . . . . . . . . . . . . . . 44--46
                     Riri Huang   Making active CASE tools --- toward the
                                  next generation CASE tools . . . . . . . 47--50
                 S. Valenti and   
                   M. Panti and   
                A. Cucchiarelli   Overcoming communication obstacles in
                                  user-analyst interaction for functional
                                  requirements elicitation . . . . . . . . 50--55
                Peter Kokol and   
                Janez Brest and   
               Milan Zorman and   
                Vili Podgorelec   Integration of complexity metrics with
                                  the use of decision trees  . . . . . . . 56--58
                        Rob Law   Generalization of leaner object-oriented
                                  slicing  . . . . . . . . . . . . . . . . 59--61
                     Franck Xia   What's wrong with software engineering
                                  research methodology . . . . . . . . . . 62--65
                        Rob Law   Interacting with Object-Oriented Program
                                  Slicing  . . . . . . . . . . . . . . . . 66--67
                  Declan Martin   Preliminary design use cases: combining
                                  use cases and event response lists for
                                  reuse and legacy system enhancement  . . 68--71
                       R. Anane   Holistic design of a programming system  72--76
               Mike Mannion and   
                 Barry Keepence   Partnering for reuse . . . . . . . . . . 77--80
              Yuan Xiaodong and   
                Chen Jiajun and   
                 Zheng Guoliang   Two-dimensional software development
                                  model combining object-oriented method
                                  with formal method . . . . . . . . . . . 81--85
                  John Krogstie   Integrating the understanding of quality
                                  in requirements specification and
                                  conceptual modeling  . . . . . . . . . . 86--91
                  Radmila Juric   The UML rules  . . . . . . . . . . . . . 92--97
               Cyrus F. Nourani   Software agents and intelligent object
                                  fusion . . . . . . . . . . . . . . . . . 98
                Hou Jianmin and   
                Li Xuandong and   
                Fan Xiaocon and   
                 Zheng Guoliang   Compositional model-checking for
                                  real-time systems  . . . . . . . . . . . 99--ff.
                         W. Lam   Viewpoint-centred reuse: bridging the
                                  gap between reusability and the needs of
                                  the reuser . . . . . . . . . . . . . . . 100--103
               Jonathan Lee and   
               Nien-Lin Xue and   
                   Tai-Lin Kuei   A note on state modeling through
                                  inheritance  . . . . . . . . . . . . . . 104--110
                Brian Olaughlin   Book Reviews: \booktitleThe Year 2000
                                  Software Crisis: Challenge of the
                                  Century, William M. Ulrich and Ian S.
                                  Hayes  . . . . . . . . . . . . . . . . . 109--109
                     Will Tracz   Book Reviews: \booktitleThe Deadline, A
                                  Novel about Project Management, Tom
                                  DeMarco  . . . . . . . . . . . . . . . . 109--109
                  Peter Raynham   Book Reviews: \booktitleSmalltalk,
                                  Objects, and Design, by Chamond Liu  . . 110--110

ACM SIGSOFT Software Engineering Notes
Volume 23, Number 2, March, 1998

               James C. Corbett   Constructing compact models of
                                  concurrent Java programs . . . . . . . . 1--10
          Mary Jean Harrold and   
            Gregg Rothermel and   
                  Saurabh Sinha   Computation of interprocedural control
                                  dependence . . . . . . . . . . . . . . . 11--20
           Philip A. Stocks and   
           Barbara G. Ryder and   
           William A. Landi and   
                     Sean Zhang   Comparing flow and context sensitivity
                                  on the modification-side-effects problem 21--31
             Brian Mitchell and   
                 Steven J. Zeil   An experiment in estimating reliability
                                  growth under both representative and
                                  directed testing . . . . . . . . . . . . 32--41
                  Simeon Ntafos   On random and partition testing  . . . . 42--48
             Richard Hamlet and   
           Richard Kemmerer and   
           Edward F. Miller and   
            Debra J. Richardson   The most influential papers from the
                                  ISSTA research community (panel) . . . . 49
                    Dick Hamlet   What can we learn by testing a program?  50--52
             Arnaud Gotlieb and   
            Bernard Botella and   
                  Michel Rueher   Automatic test data generation using
                                  constraint solving techniques  . . . . . 53--62
         Ákos Hajnal and   
   István Forgács   An applicable test data generation
                                  algorithm for domain errors  . . . . . . 63--72
               Nigel Tracey and   
                 John Clark and   
                   Keith Mander   Automated program flaw finding using
                                  simulated annealing  . . . . . . . . . . 73--81
             Thomas Ostrand and   
              Aaron Anodide and   
             Herbert Foster and   
                  Tarak Goradia   A visual test development environment
                                  for GUI systems  . . . . . . . . . . . . 82--92
                Mark Molloy and   
             Kristy Andrews and   
               James Herren and   
               David Cutler and   
                 Paul Del Vigna   Automatic interoperability test
                                  generation for source-to-source
                                  translators  . . . . . . . . . . . . . . 93--101
               William Chan and   
        Richard J. Anderson and   
                 Paul Beame and   
                   David Notkin   Improving efficiency of symbolic model
                                  checking for state-based system
                                  requirements . . . . . . . . . . . . . . 102--112
              Tevfik Bultan and   
             Richard Gerber and   
             Christopher League   Verifying systems with integer
                                  constraints and Boolean predicates: a
                                  composite approach . . . . . . . . . . . 113--123
          Patrice Godefroid and   
           Robert S. Hanmer and   
  Lalita Jategaonkar Jagadeesan   Model checking without a model: an
                                  analysis of the heart-beat monitor of a
                                  telephone switch using VeriSoft  . . . . 124--133
                    Thomas Ball   On the limit of control flow analysis
                                  for regression test selection  . . . . . 134--142
               Bogdan Korel and   
                 Ali M. Al-Yami   Automated regression test generation . . 143--152
          Cheer-Sun D. Yang and   
             Amie L. Souter and   
                Lori L. Pollock   All-du-path coverage for parallel
                                  programs . . . . . . . . . . . . . . . . 153--162

ACM SIGSOFT Software Engineering Notes
Volume 23, Number 3, May, 1998

               Donald J. Bagert   Texas poised to license professional
                                  engineers in software engineering  . . . 8--10
            Gerald L. Engel and   
         Richard J. LeBlanc and   
            Bruce Ho Barnes and   
            Martin Lo Griss and   
             Tony Wasserman and   
                   Laurie Werth   Draft accreditation criteria for
                                  software engineering . . . . . . . . . . 11--12
               Mark Doernhoefer   Surfing the net for \booktitleSoftware
                                  Engineering Notes  . . . . . . . . . . . 13--19
     Barbara Ann Kitchenham and   
              Lesley M. Pickard   Evaluating software eng. methods and
                                  tools part 10: designing and running a
                                  quantitative case study  . . . . . . . . 20--22
               Peter G. Neumann   Risks to the public in computers and
                                  related systems  . . . . . . . . . . . . 23--29
                     Will Tracz   Highlights from the DoD product line
                                  practice workshop product lines:
                                  bridging the gap --- commercial success
                                  to DoD practice  . . . . . . . . . . . . 29--31
                 Edward A. Addy   Report from the First Annual Workshop on
                                  Software Architectures in Product Line
                                  Acquisitions . . . . . . . . . . . . . . 32--39
           Paul C. Clements and   
               Nelson Weiderman   Notes on the Second International
                                  Workshop on Development and Evolution of
                                  Software Architectures for Product
                                  Families . . . . . . . . . . . . . . . . 39--43
                 Craig Thompson   Workshop on Compositional Software
                                  Architectures: workshop report . . . . . 44--63
             David Lorge Parnas   Successful software engineering research 64--68
                Bruce H. Barnes   A history of software engineering at the
                                  National Science Foundation (a personal
                                  view)  . . . . . . . . . . . . . . . . . 68--69
                  Nenad Marovac   Embedded documentation for
                                  semi-automatic program construction and
                                  software reuse . . . . . . . . . . . . . 70--74
               Nuzhat J. Haneef   Software documentation and readability:
                                  a proposed process improvement . . . . . 75--77
              Xiaodong Yuan and   
                Jiajun Chen and   
                 Guoliang Zheng   Duration calculus in COOZ  . . . . . . . 78
               Xiaocong Fan and   
               Dianxiang Xu and   
                Jianmin Hou and   
                 Guoliang Zheng   Reasoning about team tracking  . . . . . 79--82
                Jiajun Chen and   
              Xiaodong Yuan and   
                 Guolian Zhengp   A multi-threaded object-oriented
                                  programming model  . . . . . . . . . . . 83--86
                   Hong Liu and   
                    G. Zeng and   
                    Zongkai Lin   An agent-oriented modeling approach  . . 87--92
              Christophe Kolski   A ``call for answers'' around the
                                  proposition of an HCI-enriched model . . 93--96
                     Ad Soloman   A new bachelor's degree program in
                                  software engineering . . . . . . . . . . 98--101
               M. R. Strens and   
                   J. S. Chudge   Using responsibility modeling to match
                                  organizational change to changes in the
                                  systems development process  . . . . . . 102--104
               L. B. S. Raccoon   Toward a tradition of software
                                  engineering  . . . . . . . . . . . . . . 105--110
           L. S. B. Raccoon and   
              Puppydog P. O. P.   A middle-out concept of hierarchy (or
                                  the problem of feeding the animals)  . . 111--119
            Marjan Kra\vsna and   
                Ivan Rozman and   
                  Bruno Stiglic   How to improve the quality of software
                                  engineering project management . . . . . 120--125
               Mark Doernhoefer   Book Reviews: \booktitleObject Models
                                  Strategies, Patterns, and Applications,
                                  by Peter Coad  . . . . . . . . . . . . . 125--125
                  Marty Leisner   Book Reviews: \booktitleStructuring
                                  Techniques: an Introduction Using C++,
                                  Andrew C. Staugaard, Jr. . . . . . . . . 126--126
              Jeffrey S. Poulin   Book Reviews: \booktitleHigh Performance
                                  Oracle8 Object-Oriented Design, David A.
                                  Anstey . . . . . . . . . . . . . . . . . 127--128
                  Peter Raynham   Book Reviews: \booktitleObject Oriented
                                  COBOL, Edmund C. Arranga and Frank P.
                                  Coyle  . . . . . . . . . . . . . . . . . 128--129
               John A. Kostecki   Book Reviews: \booktitleThe Craft of
                                  Software Testing: Subsystem Testing
                                  Including Object-Based and
                                  Object-Oriented Testing, by Brian Maxick 129--130

ACM SIGSOFT Software Engineering Notes
Volume 23, Number 4, July, 1998

                  Arnulf Mester   ACM Fellow profile: James Jay (Jim)
                                  Horning  . . . . . . . . . . . . . . . . 7--8
                    Greg Cooper   ACM Fellow profile: Dennis J. Frailey    9--11
     Barbara Ann Kitchenham and   
              Lesley M. Pickard   Evaluating software engineering methods
                                  and tools, part 11: analysing
                                  quantitative case studies  . . . . . . . 18--20
               Peter G. Neumann   Risks to the public in computers and
                                  related systems  . . . . . . . . . . . . 21--25
             David Lorge Parnas   Who taught me about software engineering
                                  research?  . . . . . . . . . . . . . . . 26--28
                      Li Li and   
              Dharma P. Agrawal   Operating systems architecture future
                                  directions for heterogeneous
                                  communication systems  . . . . . . . . . 35--37
          L. G. Samaraweera and   
                    R. Harrison   Evaluation of the functional and
                                  object-oriented programming paradigms: a
                                  replicated experiment  . . . . . . . . . 38--43
                Kyo C. Kang and   
              Gerard J. Kim and   
                  Ji Y. Lee and   
                     Hye J. Kim   Prototype = function + behavior + form   44--49
                      John Laws   Management of complexity in software
                                  development  . . . . . . . . . . . . . . 50--52
               Petri Vesterinen   Using inconsistent data for software
                                  process improvement  . . . . . . . . . . 53--55
              Partha pratim Pal   A flexible, applet-like software
                                  distribution mechanism for Java
                                  applications . . . . . . . . . . . . . . 56--60
                Yingxu Wang and   
                Graham King and   
                Dilip Patel and   
                  Ian Court and   
              Geoff Staples and   
              Margaret Ross and   
                  Shushma Patel   On built-in tests and reuse in
                                  object-oriented programming  . . . . . . 60--64
                   Ernst Ellmer   A learning perspective on software
                                  process technology . . . . . . . . . . . 65--69
             Chung-Hua Wang and   
                 Feng-Jian Wang   A language-based editing process for
                                  visual object-oriented programming . . . 70--75
              Yuan Xiaodong and   
                 Hu Deqiang and   
                     Xu Hao and   
                    Li Yong and   
                 Zheng Guoliang   COOZ: a complete object-oriented
                                  extension to Z . . . . . . . . . . . . . 76--81
               Yogesh Singh and   
                 Pradeep Bhatia   Module weakness: a new measure . . . . . 82
               Fan Xiaocong and   
              Chen Guanling and   
                 Zheng Guoliang   Research on concurrent actions in
                                  multi-agent systems  . . . . . . . . . . 83

ACM SIGSOFT Software Engineering Notes
Volume 23, Number 5, September 1, 1998

               Donald J. Bagert   Texas board votes to license software
                                  engineers  . . . . . . . . . . . . . . . 7
                    Greg Cooper   ACM Fellow profile: Grady Booch  . . . . 8--10
                Greg Cooper and   
                  Arnulf Mester   ACM Fellow profile: Meir M (Manny)
                                  Lehman . . . . . . . . . . . . . . . . . 11
         Barbara Ann Kitchenham   Evaluating software engineering methods
                                  and tools part 12: evaluating DESMET . . 21--24
               Peter G. Neumann   Risks to the public in computers and
                                  related systems  . . . . . . . . . . . . 25--29
          Jeffrey S. Poulin and   
                   Prem Devanbu   5th international conference on software
                                  reuse (ICSR'5) conference summary  . . . 30--35
          Hausi Müller and   
                Thomas Reps and   
                Gregor Snelting   Program comprehension and software
                                  reengineering  . . . . . . . . . . . . . 36--44
          Andreas L. Opdahl and   
                     Klaus Pohl   Workshop summary: REFSQ'98 . . . . . . . 44--50
                    Hyoseob Kim   Trip report to the one-day seminar on
                                  componentware development  . . . . . . . 50--51
              D. Janaki Ram and   
              R. A. Dwivedi and   
             Ramakrishna Ongole   An implementation mechanism for design
                                  patterns . . . . . . . . . . . . . . . . 52--56
             Mingchun Zheng and   
             Jiazhong Zhang and   
                   Yanbing Wang   Integrating a formal specification
                                  notation with HOOD . . . . . . . . . . . 57--61
      José R. Hilera and   
León A. González and   
José A. Guitiérrez and   
                 J. M. Martinez   Software documentation as an engineering
                                  process  . . . . . . . . . . . . . . . . 61--64
                     V. Rajanna   Test data generation . . . . . . . . . . 65--68
                John Favaro and   
        Shari Lawrence Pfleeger   Making software development investment
                                  decisions  . . . . . . . . . . . . . . . 69--74
               W. Eric Wong and   
               Norman Wilde and   
          Kristin Blackwell and   
                  Rendy Justice   Understanding data-sensitive code: one
                                  piece of the year 2000 puzzle  . . . . . 75--80
               Yogesh Singh and   
                 Pradeep Bhatia   Module weakness: a new measure . . . . . 81
                     Riri Huang   Formalizing hierarchical object-oriented
                                  design method  . . . . . . . . . . . . . 82--88

ACM SIGSOFT Software Engineering Notes
Volume 23, Number 6, November, 1998

                Mark Astley and   
                    Gul A. Agha   Customization and composition of
                                  distributed objects: middleware
                                  abstractions for policy management . . . 1--9
             Jochen Seemann and   
Jürgen Wolff von Gudenberg   Pattern-based design recovery of Java
                                  software . . . . . . . . . . . . . . . . 10--16
            Perdita Stevens and   
                     Rob Pooley   Systems reengineering patterns . . . . . 17--23
             Gleb Naumovich and   
              George S. Avrunin   A conservative data flow algorithm for
                                  detecting all pairs of statements that
                                  may happen in parallel . . . . . . . . . 24--34
           Jonathan E. Cook and   
              Alexander L. Wolf   Event-based detection of concurrency . . 35--45
         Darren C. Atkinson and   
            William G. Griswold   Effective whole-program analysis in the
                                  presence of pointers . . . . . . . . . . 46--55
             Ralph Jeffords and   
            Constance Heitmeyer   Automatic generation of state invariants
                                  from requirements specifications . . . . 56--69
            Robert J. Allen and   
               David Garlan and   
                    James Ivers   Formal modeling and analysis of the HLA
                                  component integration standard . . . . . 70--79
            Sylvia Stuurman and   
                Jan van Katwijk   On-line change mechanisms: the software
                                  architectural level  . . . . . . . . . . 80--86
              Michael S. Mahony   Finding a history for software
                                  engineering  . . . . . . . . . . . . . . 87
      Shriram Krishnamurthi and   
             Matthias Felleisen   Toward a formal theory of extensible
                                  software . . . . . . . . . . . . . . . . 88--98
            Gregor Snelting and   
                      Frank Tip   Reengineering class hierarchies using
                                  concept analysis . . . . . . . . . . . . 99--110
                 Gou Masuda and   
          Norihiro Sakamoto and   
                 Kazuo Ushijima   Applying design patterns to decision
                                  tree learning system . . . . . . . . . . 111--120
                 Daniel Jackson   An intermediate design language and its
                                  analysis . . . . . . . . . . . . . . . . 121--130
               Michael Karasick   The architecture of Montana: an open and
                                  extensible programming environment with
                                  an incremental C++ compiler  . . . . . . 131--142
             Anne M. Disney and   
              Philip M. Johnson   Investigating data quality problems in
                                  the PSP  . . . . . . . . . . . . . . . . 143--152
          Phyllis G. Frankl and   
                Oleg Iakounenko   Further empirical studies of test
                                  effectiveness  . . . . . . . . . . . . . 153--162
               Jyrki Kontio and   
              Gerhard Getto and   
                  Dieter Landes   Experiences in improving risk management
                                  processes using the concepts of the
                                  Riskit method  . . . . . . . . . . . . . 163--174
                Rajeev Alur and   
             Mihalis Yannakakis   Model checking of hierarchical state
                                  machines . . . . . . . . . . . . . . . . 175--188
           Matthew B. Dwyer and   
            Corina S. Pasareanu   Filter-based model checking of partial
                                  systems  . . . . . . . . . . . . . . . . 189--202
                   Martin Griss   Software engineering as a profession:
                                  industry and academia working together   203--204
                 Don Gotterbarn   Software engineering as a profession . . 205--206
                      Mary Shaw   A profession of software engineering: is
                                  there a need? YES: are we ready? NO  . . 207--208
                  D. Garlan and   
                     S. Jha and   
                  D. Notkin and   
                      J. Dingel   Reasoning about implicit invocation  . . 209--221
          Philip W. L. Fong and   
              Robert D. Cameron   Proof linking: an architecture for
                                  modular verification of
                                  dynamically-linked mobile code . . . . . 222--230
               Neelam Gupta and   
           Aditya P. Mathur and   
                 Mary Lou Soffa   Automated test data generation using an
                                  iterative relaxation method  . . . . . . 231--244


ACM SIGSOFT Software Engineering Notes
Volume 24, Number 1, January, 1999

              Donald Gotterbarn   A positive step toward a profession: the
                                  software engineering code of ethics and
                                  professional practice  . . . . . . . . . 9--14
             Ronald B. Finkbine   ACM Fellow profile: L. Peter Deutsch . . 21
               Peter G. Neumann   Risks to the public in computers and
                                  related systems  . . . . . . . . . . . . 31--35
                    Barry Boehm   Escaping the software tar pit: model
                                  clashes and how to avoid them  . . . . . 36--48
           Rudolf K. Keller and   
           Bruno Laguë and   
               Reinhard Schauer   International Workshop on Large-Scale
                                  Software Composition . . . . . . . . . . 49--54
               Richard M. Casey   Object mappings in a software
                                  engineering project  . . . . . . . . . . 55--59
                 Baojian Li and   
             Guangzhou Zeng and   
                    Zongkai Lin   A domain specific software architecture
                                  style for CSCD system  . . . . . . . . . 59--64
              Zhu Xiaoguang and   
                Wang Dongmu and   
                  Hong Bingrong   An object-oriented data framework for
                                  virtual environments with hierarchical
                                  modeling . . . . . . . . . . . . . . . . 65--68
                  Nancy J. Wahl   An overview of regression testing  . . . 69--73
               Alfonso Fuggetta   Some reflections on software engineering
                                  research . . . . . . . . . . . . . . . . 74--77
                    Offer Drori   Integration of text retrieval technology
                                  into formatted (conventional)
                                  information systems  . . . . . . . . . . 78--80
                    Peter Kokol   Measuring formal specification with $
                                  \alpha $-metric  . . . . . . . . . . . . 80--81
               Bill Brykczynski   A survey of software inspection
                                  checklists . . . . . . . . . . . . . . . 82

ACM SIGSOFT Software Engineering Notes
Volume 24, Number 2, March, 1999

              Mathias Weske and   
            Thomas Goesmann and   
              Roland Holten and   
          Rüdiger Striemer   A reference model for workflow
                                  application development processes  . . . 1--10
             Rebecca E. Grinter   Systems architecture: product designing
                                  and social engineering . . . . . . . . . 11--18
                  L. Baresi and   
                  F. Casati and   
                 S. Castano and   
               M. G. Fugini and   
                  I. Mirbel and   
                     B. Pernici   WIDE workflow development methodology    19--28
               Heiko Ludwig and   
              Keith Whittingham   Virtual enterprise co-ordinator ---
                                  agreement-driven gateways for
                                  cross-organisational workflow management 29--38
               Carla Simone and   
                Gloria Mark and   
                Dario Giubbilei   Interoperability as a means of
                                  articulation work  . . . . . . . . . . . 39--48
             Israel Hilerio and   
                   Weidong Chen   Herbal-T, enabling integration,
                                  interoperability, and reusability of
                                  Internet components  . . . . . . . . . . 49--58
               Alex Borgida and   
                Takahiro Murata   Tolerating exceptions in workflows: a
                                  unified framework for data and processes 59--68
               Richard Hull and   
    François Llirbat and   
                 Eric Siman and   
                 Jianwen Su and   
                Guozhu Dong and   
               Bharat Kumar and   
                      Gang Zhou   Declarative workflows that support easy
                                  modification and dynamic browsing  . . . 69--78
                Petra Heinl and   
                Stefan Horn and   
           Stefan Jablonski and   
                  Jens Neeb and   
               Katrin Stein and   
                Michael Teschke   A comprehensive approach to flexibility
                                  in workflow management systems . . . . . 79--88
                      Du Li and   
              Zhenghao Wang and   
               Richard R. Muntz   ``Got COCA?'' A new perspective in
                                  building electronic meeting systems  . . 89--98
     Elizabeth F. Churchill and   
                       Sara Bly   Virtual environments at work: ongoing
                                  use of MUDs in the workplace . . . . . . 99--108
                   Shinji Takao   The effects of narrow-band width
                                  multipoint videoconferencing on group
                                  decision making and turn distribution    109--116
              James D. Herbsleb   Metaphorical representation in
                                  collaborative software engineering . . . 117--126
              Prasanta Bose and   
                  Xiaoqing Zhou   WWAC: WinWin abstraction based decision
                                  coordination . . . . . . . . . . . . . . 127--136
               David Jensen and   
                 Yulin Dong and   
      Barbara Staudt Legner and   
             Eric K. McCall and   
          Leon J. Osterweil and   
     Stanley M. Sutton, Jr. and   
                 Alexander Wise   Coordinating agent activities in
                                  knowledge discovery processes  . . . . . 137--146
             Andreas Girgensohn   Supporting the writing of reports in a
                                  hierarchical organization  . . . . . . . 147--156
              Claire Vishik and   
             Andrew B. Whinston   Knowledge sharing, quality, and
                                  intermediation . . . . . . . . . . . . . 157--166
           Stefan Berchtold and   
         Alexandros Biliris and   
              Euthimios Panagos   SaveMe: a system for archiving
                                  electronic documents using messaging
                                  groupware  . . . . . . . . . . . . . . . 167--176
              Hans Schuster and   
                  Jens Neeb and   
               Ralf Schamburger   A configuration management approach for
                                  large workflow management systems  . . . 177--186
               J. Leon Zhao and   
                Edward A. Stohr   Temporal workflow management in a claim
                                  handling system  . . . . . . . . . . . . 187--195
            Jacky Estublier and   
            Mahfound Amiour and   
                     Samir Dami   Building a federation of process support
                                  systems  . . . . . . . . . . . . . . . . 197--206
       Rameshsharma Ramloll and   
                John A. Mariani   Moksha: exploring ubiquity in event
                                  filtration-control at the multi-user
                                  desktop  . . . . . . . . . . . . . . . . 207--216
              Robert Prince and   
                 Jianwen Su and   
                  Hong Tang and   
                  Yonggang Zhao   The design of an interactive online help
                                  desk in the Alexandria Digital Library   217--226
           Susan E. Brennan and   
              Justina O. Ohaeri   Why do electronic conversations seem
                                  less polite? the costs and benefits of
                                  hedging  . . . . . . . . . . . . . . . . 227--235
             Rebecca E. Grinter   WACC'99 workshop program . . . . . . . . 237--238
             Rebecca E. Grinter   WACC'99 tutorials  . . . . . . . . . . . 239--240

ACM SIGSOFT Software Engineering Notes
Volume 24, Number 3, May, 1999

             David Lorge Parnas   On code reuse  . . . . . . . . . . . . . 4
             Don Gotterbarn and   
               Keith Miller and   
                 Simon Rogerson   On code reuse: a response  . . . . . . . 4--6
                 Mehdi Jazayeri   Invitation to SSR  . . . . . . . . . . . 7
                   Carlo Ghezzi   ICSE 2000 opportunity  . . . . . . . . . 8
            David John Leciston   ACM Fellow profile: Larry E. Druffel . . 9--10
               Nancy Eickelmann   ACM Fellow profile: David Lorge Parnas   10--14
               Mark Doernhoefer   Surfing the net for \booktitleSoftware
                                  Engineering Notes  . . . . . . . . . . . 15--24
          Jeffrey S. Poulin and   
                 Don Batory and   
                   Larry Latour   9th Workshop on Institutionalizing
                                  Software Reuse (WISR '9) workshop
                                  summary  . . . . . . . . . . . . . . . . 29--31
             Stephen H. Edwards   The state of reuse: perceptions of the
                                  reuse community  . . . . . . . . . . . . 32--36
           Victor R. Basili and   
              Laszlo Belady and   
                Barry Boehm and   
           Frederick Brooks and   
               James Browne and   
            Richard DeMillo and   
          Stuart I. Feldman and   
              Cordell Green and   
             Butler Lampson and   
              Duncan Lawrie and   
              Nancy Leveson and   
                Nancy Lynch and   
                Mark Weiser and   
                 Jeannette Wing   NSF Workshop on a Software Research
                                  Program for the 21st Century . . . . . . 37--44
         Susan S. Brilliant and   
                 John C. Knight   Empirical Research in Software
                                  Engineering: a workshop  . . . . . . . . 44--52
            Michael J. Lutz and   
             J. Fernando Naveda   RIT's BS program in software
                                  engineering: a status report . . . . . . 53--55
                  Lutz Prechelt   The surprising dynamics of a simple year
                                  2000 bug . . . . . . . . . . . . . . . . 56--57
                 Greg Aharonian   17,500 software patents to issue in 1998 58--62
               Petri Vesterinen   Issues in calibrating effort estimation
                                  models . . . . . . . . . . . . . . . . . 63--65
                  D. Kirner and   
                  R. Porter and   
           P. Punniamoorthy and   
                   M. Schuh and   
                   D. Shoup and   
                 S. Tindall and   
                    D. Umphress   Extending use cases throughout the
                                  software lifecycle . . . . . . . . . . . 66--68
          Puppydog P. O. P. and   
               L. B. S. Raccoon   Multiple downcasting techniques  . . . . 69--75
                   Liu Hong and   
                Lin Zongkai and   
                 Zeng Guangzhou   A construction approach for software
                                  agents using components  . . . . . . . . 76--79
                      Tom Adams   A formula for the re-inspection decision 80
                 Neville Holmes   Software engineering: to be or what to
                                  be?  . . . . . . . . . . . . . . . . . . 81--83

ACM SIGSOFT Software Engineering Notes
Volume 24, Number 4, July, 1999

                     Haim Kilov   Behavioral Semantics Workshop (call for
                                  papers)  . . . . . . . . . . . . . . . . 3
               Nancy Eickelmann   ACM Fellow profile: Barbara G. Ryder . . 13--14
               Mark Doernhoefer   Surfing the net for \booktitleSoftware
                                  Engineering Notes  . . . . . . . . . . . 15--25
               Peter G. Neumann   Risks to the public in computers and
                                  related systems  . . . . . . . . . . . . 26--29
                   Richard Conn   Notes from the 12th Conference on
                                  Software Engineering Education and
                                  Training (CSEET) and 13th SIGCSE
                                  Technical Symposium on Computer Science
                                  Education (CSE)  . . . . . . . . . . . . 30--32
           Debra Richardson and   
                Paola Inverardi   ROSATEA: International Workshop on the
                                  Role of Software Architecture in
                                  Analysis (and) Testing . . . . . . . . . 33--42
             Andreas Ulrich and   
        Gunther Chrobok-Diening   International Workshop on Testing
                                  Distributed Component-Based Systems  . . 43--46
             David Lorge Parnas   Parnas on Parnas: a life of indecision   47--49
                 Frank D. Anger   Directions for the NSF software
                                  engineering and languages program  . . . 50--52
                      Anonymous   ICSE '99 conference daily newspaper:
                                  Window on the World  . . . . . . . . . . 53--74
            Janaina C. Abib and   
               Tereza G. Kirner   A GQM-based tool to support the
                                  development of software quality
                                  measurement plans  . . . . . . . . . . . 75--80
         James A. Whittaker and   
                 Alan Jorgensen   Why software fails . . . . . . . . . . . 81--83
               Macario Polo and   
             Mario Piattini and   
             Francisco Ruiz and   
                   Coral Calero   Roles in the maintenance process . . . . 84--86

ACM SIGSOFT Software Engineering Notes
Volume 24, Number 5, September, 1999

                 John Field and   
                  G. Ramalingam   Identifying procedural structure in
                                  Cobol programs . . . . . . . . . . . . . 1--10
                   Hira Agrawal   Efficient coverage testing using global
                                  dominator graphs . . . . . . . . . . . . 11--20
             Jong-Deok Choi and   
                David Grove and   
               Michael Hind and   
                   Vivek Sarkar   Efficient and precise modeling of
                                  exceptions for the analysis of Java
                                  programs . . . . . . . . . . . . . . . . 21--31
                Liz Whiting and   
                      Mike Hill   Safety analysis of Hawk In Flight
                                  monitor  . . . . . . . . . . . . . . . . 32--38
              Donglin Liang and   
              Mary Jean Harrold   Equivalence analysis: a general
                                  technique to improve the efficiency of
                                  data-flow analyses in the presence of
                                  pointers . . . . . . . . . . . . . . . . 39--46
             Amie L. Souter and   
            Lori L. Pollock and   
                   Dixie Hisley   Inter-class def-use analysis with
                                  partial class representations  . . . . . 47--56
             Gleb Naumovich and   
             Lori A. Clarke and   
           Jamieson M. Cobleigh   Using partial order techniques to
                                  improve performance of data flow
                                  analysis based verification  . . . . . . 57--65
             Satish Chandra and   
                    Thomas Reps   Physical type checking for C . . . . . . 66--75
         Nicky Williams Preston   New type signatures for legacy Fortran
                                  subroutines  . . . . . . . . . . . . . . 76--85
        Françoise Balmas   Query by outlines: a new paradigm to
                                  help manage programs . . . . . . . . . . 86--94
     Gabriella Kókai and   
           Jörg Nilson and   
                 Christian Niss   GIDTS: a graphical programming
                                  environment for Prolog . . . . . . . . . 95--104
              Christoph Steindl   Benefits of a data flow-aware
                                  programming environment  . . . . . . . . 105--109

ACM SIGSOFT Software Engineering Notes
Volume 24, Number 6, November, 1999

                      Kent Beck   Extreme programming: a discipline of
                                  software development (invited paper)
                                  (abstract only)  . . . . . . . . . . . . 1
        Krzysztof Czarnecki and   
           Ulrich W. Eisenecker   Components and generative programming
                                  (invited paper)  . . . . . . . . . . . . 2--19
          Manfred Hauswirth and   
                 Mehdi Jazayeri   A component and communication model for
                                  push systems . . . . . . . . . . . . . . 20--38
            Cecilia Mascolo and   
          Gian Pietro Picco and   
            Gruia-Catalin Roman   A fine-grained model for code mobility   39--56
                    Vered Gafni   Robots: a real-time systems
                                  architectural style  . . . . . . . . . . 57--74
              B. C. Warboys and   
         D. Balasubramaniam and   
            R. M. Greenwood and   
             G. N. C. Kirby and   
                   K. Mayes and   
                R. Morrison and   
                    D. S. Munro   Collaboration and composition: issues
                                  for a second generation process language 75--90
            Dirk Jäger and   
          Ansgar Schleicher and   
           Bernhard Westfechtel   Using UML for software process modeling  91--108
                  Frank Padberg   A probabilistic model for software
                                  projects . . . . . . . . . . . . . . . . 109--126
           Nancy G. Leveson and   
        Mats P. E. Heimdahl and   
                Jon Damon Reese   Designing specification languages for
                                  process control systems: lessons learned
                                  and steps to the future  . . . . . . . . 127--145
          Angelo Gargantini and   
            Constance Heitmeyer   Using model checking to generate tests
                                  from requirements specifications . . . . 146--162
        Jeffrey M. Thompson and   
        Mats P. E. Heimdahl and   
               Steven P. Miller   Specification-based prototyping for
                                  embedded systems . . . . . . . . . . . . 163--179
               Michael Siff and   
             Satish Chandra and   
                Thomas Ball and   
     Krishna Kunchithapadam and   
                    Thomas Reps   Coping with type casts in C  . . . . . . 180--198
              Donglin Liang and   
              Mary Jean Harrold   Efficient points-to analysis for
                                  whole-program analysis . . . . . . . . . 199--215
                     Thoms Ball   The concept of dynamic analysis  . . . . 216--234
             Atanas Rountev and   
           Barbara G. Ryder and   
                  William Landi   Data-flow analysis of program fragments  235--252
                 Andreas Zeller   Yesterday, my program worked. Today, it
                                  does not. Why? . . . . . . . . . . . . . 253--267
            Clara Jaramillo and   
                Rajiv Gupta and   
                 Mary Lou Soffa   Comparison checking: an approach to
                                  avoid debugging of optimized code  . . . 268--284
                 Juei Chang and   
            Debra J. Richardson   Structural specification-based testing:
                                  automated support and experimental
                                  evaluation . . . . . . . . . . . . . . . 285--302
      Tibor Gyimóthy and   
Árpád Beszédes and   
    Istán Forgács   An efficient relevant slicing method for
                                  debugging  . . . . . . . . . . . . . . . 303--321
        Martin P. Robillard and   
                 Gail C. Murphy   Analyzing exception flow in Java
                                  programs . . . . . . . . . . . . . . . . 322--337
             Gleb Naumovich and   
          George S. Avrunin and   
                 Lori A. Clarke   An efficient algorithm for computing MHP
                                  information for concurrent Java programs 338--354
                 Boris Bokowski   CoffeeStrainer: statically-checked
                                  constraints on the definition and use of
                                  types in Java  . . . . . . . . . . . . . 355--374
                     Hugo Fierz   The CIP method: component- and
                                  model-based construction of embedded
                                  systems  . . . . . . . . . . . . . . . . 375--392
         Michel Wermelinger and   
      José Luiz Fiadeiro   Algebraic software architecture
                                  reconfiguration  . . . . . . . . . . . . 393--409
              Pascal Fradet and   
   Daniel Le Métayer and   
      Michaël Périn   Consistency checking for multiple view
                                  software architectures . . . . . . . . . 410--428
              Stan Jarzabek and   
                  Peter Knauber   Synergy between component-based and
                                  generative approaches  . . . . . . . . . 429--445
              Joachim Bayer and   
Jean-François Girard and   
       Martin Würthner and   
           Jean-Marc DeBaud and   
                    Martin Apel   Transitioning legacy assets to a product
                                  line architecture  . . . . . . . . . . . 446--463
         Stephen E. Dossick and   
                 Gail E. Kaiser   CHIME: a metadata-based distributed
                                  software development environment . . . . 464--475
             Gilles Grimaud and   
           Jean-Louis Lanet and   
        Jean-Jacques Vandewalle   FACADE: a typed intermediate language
                                  dedicated to smart cards . . . . . . . . 476--493
        Victor A. Braberman and   
                  Miguel Felder   Verification of real-time designs:
                                  combining scheduling theory with
                                  automatic formal verification  . . . . . 494--510
     Dimitra Giannakopoulou and   
                 Jeff Magee and   
                    Jeff Kramer   Checking progress with action priority:
                                  is it fair?  . . . . . . . . . . . . . . 511--527