Last update:
Wed Dec 18 06:44:38 MST 2019
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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 / 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
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
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
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
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
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
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
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
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
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
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
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
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
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
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