Last update:
Tue May 25 11:45:23 MDT 2021
John H. Manley and
Alan B. Salisbury Editors' introduction . . . . . . . . . 1--1
Clarence Giese Partitioning considerations for complex
computer based weapon systems . . . . . 3--18
Jorge E. Rodriguez and
Sol J. Greenspan Directed flowgraphs: The basis of a
specification and construction
methodology for real-time systems . . . 19--27
M. Hamilton and
S. Zeldin The relationship between design and
verification . . . . . . . . . . . . . . 29--56
David M. Weiss Evaluating software development by error
analysis: The data from the Architecture
Research Facility . . . . . . . . . . . 57--70
Myron Lipow Prediction of software failures . . . . 71--75
Leon J. Osterweil and
John R. Brown and
Leon G. Stucki ASSET: a life cycle verification and
visibility system . . . . . . . . . . . 77--86
Samuel S. Snyder Influence of U.S. Cryptologic
Organizations on the digital computer
industry . . . . . . . . . . . . . . . . 87--102
Anonymous Biography . . . . . . . . . . . . . . . 103--104
John H. Manley and
Alan B. Salisbury Editors' introduction . . . . . . . . . 105--105
Arndt von Staa and
Donald D. Cowan Development Proposal: the First Step in
Software System Construction . . . . . . 107--122
Victor R. Basili and
John G. Perry, Jr. Transporting up: a case study . . . . . 123--129
John H. Reynolds Evaluation of Contemporary Software
Engineering Techniques for a Large
Fortran Simulation . . . . . . . . . . . 131--140
H. E. Dunsmore and
J. D. Gannon Analysis of the Effects of Programming
Factors on Programming Effort . . . . . 141--153
Alan B. Salisbury TACFIRE: a case history of a weapon
system software development . . . . . . 155--175
Anonymous Biography . . . . . . . . . . . . . . . 177--178
Victor R. Basili Introduction to the special issue on
Software Life Cycle Management . . . . . 179--179
Robert C. Tausworthe Work Breakdown Structure in Software
Project Management . . . . . . . . . . . 181--186
Robert C. McHenry and
Jerry A. Rand Software Technology and Integration
Engineering . . . . . . . . . . . . . . 187--193
Barry W. Boehm and
R. W. Wolverton Software cost modeling: Some lessons
learned . . . . . . . . . . . . . . . . 195--201
Robert Thibodeau and
E. N. Dodson Life Cycle Phase Interrelationships . . 203--211
M. M. Lehman On Understanding Laws, Evolution, and
Conservation in the Large-Program Life
Cycle . . . . . . . . . . . . . . . . . 213--221
John D. Musa Software Reliability Measurement . . . . 223--241
Amrit L. Goel Software Error Detection Model with
Applications . . . . . . . . . . . . . . 243--249
B. Littlewood The Littlewood--Verrall model for
software reliability compared with some
rivals . . . . . . . . . . . . . . . . . 251--258
G. J. Schick and
Chi Yuan Lin Use of a Subjective Prior Distribution
for the Reliability of Computer Software 259--266
Anonymous Biography . . . . . . . . . . . . . . . 267--269
Alan B. Salisbury and
John H. Manley Editors' introduction . . . . . . . . . 271--271
J. David Naumann and
Gordon B. Davis and
James D. McKeen Determining information requirements: a
contingency method for selection of a
requirements assurance strategy . . . . 273--281
Richard H. Thayer Organizational structures used in
software development by the U.S.
aerospace industry . . . . . . . . . . . 283--297
Kenneth E. Kendall A decentralized information and control
system for blood management . . . . . . 299--306
William E. Howden Functional Testing and Design
Abstractions . . . . . . . . . . . . . . 307--313
Kazu Okumoto and
Amrit L. Goel Optimum Release Time for Software
Systems Based on Reliability and Cost
Criteria . . . . . . . . . . . . . . . . 315--318
Stephen S. Yau and
John L. Ramey and
Robin A. Nicholl Assertion Techniques for Dynamic
Monitoring of Linear List Data
Structures . . . . . . . . . . . . . . . 319--336
C. M. Woodside A mathematical model for the evolution
of software . . . . . . . . . . . . . . 337--345
Anonymous Author index . . . . . . . . . . . . . . 347--348
Anonymous Subject index . . . . . . . . . . . . . 349--349
Alan B. Salisbury and
John H. Manley Editors' introduction . . . . . . . . . 1--1
W. Douglas Brooks Software Technology Payoff: Some
Statistical Evidence . . . . . . . . . . 3--9
Thomas J. Wheeler Embedded System Design with Ada as the
System Design Language . . . . . . . . . 11--21
L. A. Belady and
C. J. Evangelisti System Partitioning and its Measure . . 23--29
C. S. Chandersekaran and
R. C. Linger Software Specification Using the Special
Language . . . . . . . . . . . . . . . . 31--38
Siba N. Mohanty Entropy Metrics for Software Design
Evaluation . . . . . . . . . . . . . . . 39--46
Victor R. Basili and
Karl Freburger Programming Measurement and Estimation
in the Software Engineering Laboratory 47--57
Victor R. Basili and
John Beane Can the Parr Curve Help with Manpower
Distribution and Resource Estimation
Problems? . . . . . . . . . . . . . . . 59--69
Lawrence J. Mazlack Natural Language Symbol String Storage 71--79
Anonymous Biographies . . . . . . . . . . . . . . 81--82
Alan B. Salisbury and
John H. Manley Editors' introduction . . . . . . . . . 83--83
William E. Riddle Guest Editor's introduction: Tool and
methodology evaluation . . . . . . . . . 85--88
Richard Hamlet Hard-To-Use Evaluation Criteria for
Software Engineering . . . . . . . . . . 89--96
S. N. Woodfield and
V. Y. Shen and
H. E. Dunsmore Study of Several Metrics for Programming
Effort . . . . . . . . . . . . . . . . . 97--103
J. L. Lassez and
D. van der Knijff and
J. Shepherd and
C. Lassez A critical examination of software
science . . . . . . . . . . . . . . . . 105--112
Douglas A. Troy and
Stuart H. Zweben Measuring the Quality of Structured
Designs . . . . . . . . . . . . . . . . 113--120
Dennis Kafura and
Sallie Henry Software Quality Metrics Based on
Interconnectivity . . . . . . . . . . . 121--131
David J. Panzl Method for Evaluating Software
Development Techniques . . . . . . . . . 133--137
Taylor L. Booth and
Reda Ammar and
Robert Lenk Instrumentation System to Measure User
Performance in Interactive Systems . . . 139--146
Jerry L. Archibald External Structure: Experience with an
Automated Module Interconnection
Language . . . . . . . . . . . . . . . . 147--157
Jonathan K. Millen and
David L. Drake Experiment with Affirm and Hdm . . . . . 159--175
Paul R. McMullin and
John D. Gannon Evaluating a Data Abstraction Testing
System Based on Formal Specifications 177--186
Alan B. Salisbury and
John H. Manley Editors' introduction . . . . . . . . . 191--191
Niv Ahituv and
Jonathan Halpern Data and Reports --- Contents Design and
Users Allocation . . . . . . . . . . . . 193--199
P. G. Harrison Efficient Table-Driven Implementation of
the Finite State Machine . . . . . . . . 201--211
Glenn H. MacEwen and
T. Patrick Martin Abstraction Hierarchies in Top-Down
Design . . . . . . . . . . . . . . . . . 213--224
Eldred Nelson Functional Programming Analysis . . . . 225--235
Montgomery Phister, Jr. Model of the Software Development
Process . . . . . . . . . . . . . . . . 237--255
M. J. Lawrence Programming Methodology, Organizational
Environment, and Programming
Productivity . . . . . . . . . . . . . . 257--269
Harvey S. Koch and
Peter Kubat Quick and Simple Procedures to Assess
Software Reliability and Facilitate
Project Management . . . . . . . . . . . 271--276
Alan B. Salisbury and
John H. Manley Editors' introduction . . . . . . . . . 279--279
Lawrence Bernstein Software Project Management Audits . . . 281--287
Maria Majoros and
Harry M. Sneed Softest Program Test System . . . . . . 289--296
Russell J. Abbott and
D. K. Moorhead Software Requirements and
Specifications: a Survey of Needs and
Languages . . . . . . . . . . . . . . . 297--316
Edith W. Martin Introduction to collected papers on
computing standards for embedded
computer systems . . . . . . . . . . . . 317--318
Jack Cooper Mil-Std-1679, Weapon System Software
Development . . . . . . . . . . . . . . 319--327
Antonia D. Schuman New Software Documentation Standard:
Report on the Joint Logistic Commanders
Joint Policy Coordinating Group on
Computer Resource Management, Computer
Software Management Subgroup, Software
Workshop . . . . . . . . . . . . . . . . 329--336
Arthur E. Treiber Interoperability Through Effective
Information Exchange Standards . . . . . 337--350
Paul M. Cohen Ada Programming Language Standardization 351--355
Matthew J. Fisher Software QA Standards --- the Coming
Revolution . . . . . . . . . . . . . . . 357--362
Jerry Raveling Status and outlook for DoD configuration
management requirements . . . . . . . . 363--370
Gordon R. England Implementation of Computing Standards 371--377
Anonymous Biographies . . . . . . . . . . . . . . 379--380
Anonymous Author index . . . . . . . . . . . . . . 381--381
Anonymous Subject index . . . . . . . . . . . . . 383--383
Alan B. Salisbury and
John H. Manley Editors' introduction . . . . . . . . . 1--1
Barry W. Boehm Seven Basic Principles of Software
Engineering . . . . . . . . . . . . . . 3--24
M. Hamilton and
S. Zeldin Functional Life Cycle Model and its
Automation: Use. It . . . . . . . . . . 25--62
Harry M. Sneed Softening Software Engineering System 63--76
Don O'Neill Integration Engineering Perspective . . 77--83
Ali Mili and
Donna Reese Representation and Manipulation of
Information Systems: a Simplified
Approach . . . . . . . . . . . . . . . . 85--93
Brent D. Kornman Pattern Matching and Pattern-Directed
Invocation in Systems Programming
Languages . . . . . . . . . . . . . . . 95--102
Richard E. Fairley Editor's introduction . . . . . . . . . 105--105
Ramchandra D. Joshi Software Development for Reliable
Software Systems . . . . . . . . . . . . 107--121
Jack C. Wileden and
John H. Sayler and
William E. Riddle and
Alan R. Segal and
Allan M. Stavely Behavior Specification in a Software
Design System . . . . . . . . . . . . . 123--135
Allan M. Stavely Modeling and Projection in Software
Development . . . . . . . . . . . . . . 137--146
Steven F. Jennings and
Arthur E. Oldehoeft Analysis of Program Execution on a
Recursive Stream-Oriented Data Flow
Architecture . . . . . . . . . . . . . . 147--154
Billy G. Claybrook and
H. Rex Hartson Language Extensions for Specifying
Program Access Control Policies in
Programming Languages . . . . . . . . . 155--162
H. G. Stuebing Industrialization of Weapon System
Software . . . . . . . . . . . . . . . . 163--171
Nancy G. Leveson and
Peter R. Harvey Software Fault Tree Analysis . . . . . . 173--181
Richard E. Fairley Editor's introduction . . . . . . . . . 185--185
Klaas G. van der Poel and
Stephen R. Schach Software Metric for Cost Estimation and
Efficiency Measurement in Data
Processing System Development . . . . . 187--191
Erika Nyari and
Harry Sneed Sofspec: a Pragmatic Approach to
Automated Specification Verification . . 193--200
H. Rex Hartson and
Earl J. Balliet Model of Enforcement Relationships Among
Database Access Control Dependencies . . 201--217
U. Bussolati and
G. Martella Security Design in Distributed Database
Systems . . . . . . . . . . . . . . . . 219--229
W. M. Evangelist Software Complexity Metric Sensitivity
to Program Structuring Rules . . . . . . 231--243
R. Nigel Horspool and
Jeffrey M. Laks Improved Block Sequencing Method for
Program Restructuring . . . . . . . . . 245--250
Richard E. Fairley Editor's introduction . . . . . . . . . 253--254
Peter C. Bates and
Jack C. Wileden High-Level Debugging of Distributed
Systems: the Behavioral Abstraction
Approach . . . . . . . . . . . . . . . . 255--264
Bernd Bruegge and
Peter Hibbard Generalized Path Expressions: a
High-Level Debugging Mechanism . . . . . 265--276
Thomas A. Cargill Blit Debugger . . . . . . . . . . . . . 277--284
Peter Fritzson Symbolic Debugging Through Incremental
Compilation in an Integrated Environment 285--294
Michael L. Powell and
Mark A. Linton Database Model of Debugging . . . . . . 295--300
Robert L. Sedlmeyer and
William B. Thompson and
Paul E. Johnson Knowledge-Based Fault Localization in
Debugging . . . . . . . . . . . . . . . 301--307
W. Morven Gentleman and
Henry Hoeksma Hardware Assisted High-Level Debugging 309--314
Claude Jard and
Gregor v. Bochmann Approach to Testing Specifications . . . 315--323
Anonymous Editor's introduction . . . . . . . . . iii--iv
Richard E. Fairley Editor's introduction . . . . . . . . . 1--1
Jock A. Rader VLSI and software engineering: Guest
Editor's introduction . . . . . . . . . 3--6
Robert Cuykendall and
Anton Domic and
William H. Joyner and
Steve C. Johnson and
Steve Kelem and
Dennis McBride and
Jack Mostow and
John E. Savage and
Gabriele Saucier Design Synthesis in VLSI and Software
Engineering . . . . . . . . . . . . . . 7--12
Randy Katz and
Walt Scacchi and
P. Subrahmanyam Environments for VLSI and Software
Engineering . . . . . . . . . . . . . . 13--26
S. Hirschhorn and
A. M. Davis Parallels Between Software and VLSI
Engineering . . . . . . . . . . . . . . 27--37
Jack Mostow A decision-based framework for comparing
hardware compilers . . . . . . . . . . . 39--50
Jack Mostow and
Bob Balzer Application of a Transformational
Software Development Methodology to VLSI
Design . . . . . . . . . . . . . . . . . 51--61
Merlin Dorfman and
Richard F. Flynn ARTS --- an Automated Requirements
Traceability System . . . . . . . . . . 63--74
Robert G. Reynolds Metrics to Measure the Complexity of
Partial Programs . . . . . . . . . . . . 75--91
Jack Mostow Decision-Based Framework for Comparing
Hardware Compilers . . . . . . . . . . . 153--164
Sushil Jajodia and
Peter Ann-Beng Ng and
Raymond T. Yeh Introduction to the special issue on the
use of entity-relationship concepts in
databases and related software . . . . . 95--98
W. Kent Fact-Based Data Analysis and Design . . 99--121
Sushil Jajodia and
Peter A. Ng Translation of Entity-Relationship
Diagrams into Relational Structures . . 123--133
Hirotaka Sakai Entity-Relationship Behavior Modeling in
Conceptual Schema Design . . . . . . . . 135--145
Victor M. Markowitz and
Yoav Raz Entity-Relationship Algebra and its
Semantic Description Capabilities . . . 147--162
C. Batini and
M. Talamo and
R. Tamassia Computer Aided Layout of Entity
Relationship Diagrams . . . . . . . . . 163--173
Adolph D'Cunha and
T. Radhakrishnan Dass: a Data Administration Support
System . . . . . . . . . . . . . . . . . 175--184
Robert W. Marti Integrating Database and Program
Descriptions Using an Er-Data Dictionary 185--195
Enrique H. Ruspini and
Robert Fraley Id: an Intelligent Information
Dictionary System . . . . . . . . . . . 197--205
Rodney P. Zimmerman Phases, Methods, and Tools: a Triad of
System Development . . . . . . . . . . . 207--218
Shuji Nakata and
Go Yamazaki Ismos: an Experimental Database-Oriented
Tool Generator . . . . . . . . . . . . . 219--238
Bharat Bhargava Performance Evaluation of Reliability
Control Algorithms for Distributed
Database Systems . . . . . . . . . . . . 239--264
Anonymous Biographies . . . . . . . . . . . . . . 265--265
Robert L. Probert and
Hasan Ural High-Level Testing and Example-Directed
Development of Software Specifications 2--3
Amrit L. Goel Introduction to the special issue on the
Fifth Minnowbrook Workshop on Software
Performance Evaluation . . . . . . . . . 267--267
Joseph P. Cavano Software Reliability Measurement:
Prediction, Estimation, and Assessment 269--275
John D. Musa and
Kazuhira Okumoto A comparison of time domains for
software reliability models . . . . . . 277--287
Thomas J. Ostrand and
Elaine J. Weyuker Collecting and Categorizing Software
Error Data in an Industrial Environment 289--300
John B. Lohse Experimental Evaluation of Software
Design Principles: an Investigation into
the Effect of Module Coupling on System
Modifiability . . . . . . . . . . . . . 301--308
Allen Haley and
Stuart Zweben Development and Application of a White
Box Approach to Integration Testing . . 309--315
Robert L. Probert and
Hasan Ural High-level testing and example-directed
development of software specifications 317--325
John B. Bowen Module Size: a Standard or Heuristic? 327--332
Anonymous Author index . . . . . . . . . . . . . . 333--333
Anonymous Subject index . . . . . . . . . . . . . 335--335
Anonymous Introduction to the special issue on the
Fifth Minnowbrook Workshop on Software
Performance Evaluation . . . . . . . . . iii--v
Richard E. Fairley Editor's introduction . . . . . . . . . 1--1
K. Ronald Laughery, Jr. and
Kenneth R. Laughery, Sr. Human Factors in Software Engineering: a
Review of the Literature . . . . . . . . 3--14
Lori A. Clarke and
Debra J. Richardson Applications of Symbolic Evaluation . . 15--35
Stewart G. Crawford and
Allen A. McIntosh and
Daryl Pregibon Analysis of Static Metrics and Faults in
C Software . . . . . . . . . . . . . . . 37--48
D. Ross Jeffery and
Michael J. Lawrence Managing Programming Productivity . . . 49--58
Ralph R. Bravoco and
Surya B. Yadav Methodology to Model the Information
Structure of an Organization . . . . . . 59--71
Patrick W. Foulk and
Salwa M. Nassar Analysis of Parallelism in Nested Do
Loops . . . . . . . . . . . . . . . . . 73--80
Vaclav Rajlich Stepwise Refinement Revisited . . . . . 81--88
David Notkin Gandalf Project . . . . . . . . . . . . 91--105
Robert J. Ellison and
Barbara J. Staudt Evolution of the Gandalf System . . . . 107--119
Gail E. Kaiser and
Elaine Kant Incremental Parsing without a Parser . . 121--144
A. Nico Habermann Automatic Deletion of Obsolete
Information . . . . . . . . . . . . . . 145--154
Vincenzo Ambriola and
Carlo Montangero Automatic Generation of Execution Tools
in a Gandalf Environment . . . . . . . . 155--171
David Notkin Annotated Bibliography of Gandalf
Literature . . . . . . . . . . . . . . . 173--176
Alan Reed Correct: a Simulated Text Editor . . . . 179--184
Allan M. Stavely Inference from Models of Software
Systems . . . . . . . . . . . . . . . . 185--191
Jean R. Stephenson Blair and
Phil Kearns and
Mary Lou Soffa Optimistic Implementation of the
Stack-Heap . . . . . . . . . . . . . . . 193--202
Jeffrey W. M. Dooley and
Stephen R. Schach Flow: a Software Development Environment
Using Diagrams . . . . . . . . . . . . . 203--219
M. Tsuchiya Availability Analysis for the Design of
Distributed Processing Networks . . . . 221--227
J. David Blaine and
Richard A. Kemmerer Complexity Measures for Assembly
Language Programs . . . . . . . . . . . 229--245
M. Zaki and
S. Koriem A Model for the Protocol Design of
Back-End Storage Networks . . . . . . . 249--265
Barbara A. Kitchenham and
N. R. Taylor Software Project Development Cost
Estimation . . . . . . . . . . . . . . . 267--278
Doris L. Carver and
D. B. Simmons Impact of Programming Methodology on
Program Complexity . . . . . . . . . . . 279--289
P. Fairfield STRAPS --- a Software Transport System
for Low-Level Software . . . . . . . . . 291--302
Anonymous Biographies . . . . . . . . . . . . . . 303--303
Anonymous Author index to volume 5 . . . . . . . . 305--305
Anonymous Subject index to volume 5 . . . . . . . 307--307
Anonymous From the Editor . . . . . . . . . . . . 1--1
Anonymous Editor's corner . . . . . . . . . . . . 3--3
Monique Becker Introduction to the special issue . . . 5--5
Ann H. Hayes Parallel-Processing Experiences on the
Denelcor HEP Computer . . . . . . . . . 7--10
D. Parkinson Performance Analysis in a 4096 Processor
Environment . . . . . . . . . . . . . . 11--15
Yves Chauvet and
Gerard Meurant Multitasking on the Cray X-MP . . . . . 17--20
D. Roweth Design and performance analysis of
Transputer arrays . . . . . . . . . . . 21--22
S. Fdida and
D. Mailles and
G. Pujolle Queueing Systems with Resource Sharing 23--29
Raymond Marie and
Gerardo Rubino Approximation for a Multiclass.
/M/1/Fifo Queue Imbedded in a Closed
Queueing Network . . . . . . . . . . . . 31--39
G. Balbo and
S. C. Bruell and
S. Ghanta Solution of Homogeneous Queueing
Networks with Many Job Classes . . . . . 41--53
J. P. Claude Discrete Time Queues for Modelling an
HDLC Coupler . . . . . . . . . . . . . . 55--59
Anna Ha\'c Modelling Parallel Access to Shared
Resources in a Distributed File System
Using Queueing Networks . . . . . . . . 61--69
P. A. Grasso and
T. S. Dillon and
K. E. Forward Performance Analysis of Common Bus
Multimicroprocessor Systems . . . . . . 71--79
M. Becker and
G. Pion Simulation of an Apollo Network in Order
to Evaluate Response-Time Speedup of
Parallel Algorithms . . . . . . . . . . 81--91
M. Tricot Classification Algorithms . . . . . . . 93--93
Philippe Chretienne Timed Petri Nets: a Solution to the
Minimum-Time-Reachability Problem
Between Two States of a Timed-Event
Graph . . . . . . . . . . . . . . . . . 95--101
G. Florin and
S. Natkin One-Place Unbounded Stochastic Petri
Nets: Ergodic Criteria and Steady-State
Solutions . . . . . . . . . . . . . . . 103--115
Marco Ajmone Marsan and
Gianfranco Balbo and
Giovanni Chiola and
Susanna Donatelli On the Product-Form Solution of a Class
of Multiple-Bus Multiprocessor System
Models . . . . . . . . . . . . . . . . . 117--124
C. M. Woodside and
E. Neron and
E. D.-S. Ho and
B. Mondoux `Active Server' Model for the
Performance of Parallel Programs Written
Using Rendezvous . . . . . . . . . . . . 125--131
Satish K. Tripathi On Detecting Parallelism in Software . . 133--135
Alain Dupuis and
Gerard Hebuterne and
Jean-Marc Pitie Comparison of Two Mutual-Exclusion
Algorithms for Computer Networks . . . . 137--145
Garry Rodrigue Solving Partial Differential Equations
on Multiprocessors . . . . . . . . . . . 147--154
Y. Robert and
M. Tchuente Parallel Solution of Band Triangular
Linear Systems on VLSI Arrays with
Limited Fan-Out . . . . . . . . . . . . 155--163
P. Fraisse Efficient Parallel Algorithm for the
Transitive Closure of a Graph . . . . . 165--168
J.-C. Miellou and
G.-R. Perrin and
P. Spiteri Inexpensive Method of Performance
Evaluation for Subdomain Decomposition
Parallel Algorithms of Three-Dimensional
Elliptical Problems . . . . . . . . . . 169--173
V. G. Kulkarni and
V. F. Nicola and
K. S. Trivedi On Modelling the Performance and
Reliability of Multimode Computer
Systems . . . . . . . . . . . . . . . . 175--182
D. R. Powell A Hierarchical Approach to Distributed
Computing System Dependability
Evaluation . . . . . . . . . . . . . . . 183--198
Bruno Mueller Decomposition Approach for the
Stationary Analysis of Fault Tolerant
Queueing Systems . . . . . . . . . . . . 199--204
J. S. Banino Parallelism and Fault-Tolerance in the
Chorus . . . . . . . . . . . . . . . . . 205--211
M. Morganti Communications in Distributed
Fault-Tolerant Computing Systems . . . . 213--216
Robert L. Glass Editor's corner: ``Dangerous and
misleading'': A look at software
research via the Parnas papers . . . . . 217--218
Anna Ha\'c Performance-Reliability Issues in
Distributed File Systems . . . . . . . . 219--224
W. J. Barr Unix-Based Gateway to Distributed
Database Systems . . . . . . . . . . . . 225--235
Yuksel Uckan and
William D. Haseman Optimal Access Path Handling Strategy in
a Database Environment . . . . . . . . . 237--249
Ronen Barzel and
David Salesin Patchwork: a Fast Interpreter for a
Restricted Dataflow Language . . . . . . 251--259
Bruce I. Blum Four Years of Experience with an
Environment for Implementing Information
Systems . . . . . . . . . . . . . . . . 261--271
R. N. Sum, Jr. and
R. H. Campbell and
W. J. Kubitz An Approach to Operating System Testing 273--284
Margaret J. Davis and
David R. Addleman A Practical Approach to Specification
Technology Selection . . . . . . . . . . 285--294
Anonymous Setting Standards in Mainframe
Applications Software . . . . . . . . . 295--305
Rubén Prieto-Díaz and
James M. Neighbors Module Interconnection Languages . . . . 307--334
Warren Harrison and
Curtis Cook Are Deeply Nested Conditionals Less
Readable? . . . . . . . . . . . . . . . 335--341
L. Bouge and
N. Choquet and
L. Fribourg and
M.-C. Gaudel Test Sets Generation from Algebraic
Specifications Using Logic Programming 343--360
A. Pombortsis and
C. Halatsis Analysis of a Modified Model for
Synchronous Multiprocessor Systems . . . 361--365
Dennis D. Doe and
Edward H. Bersoff Software Productivity Consortium (Spc):
an Industry Initiative to Improve the
Productivity and Quality of
Mission-Critical Software . . . . . . . 367--378
Ben G. Matley Modest Proposal: Computer Education Can
Be Raised to Professional Status . . . . 379--389
Anonymous Subject index . . . . . . . . . . . . . 391--391
Anonymous Author index . . . . . . . . . . . . . . 393--393
Anonymous hould We Prepare for a 4GL Future? . . . 1--2
Mariagrazia Fugini and
Giancarlo Martella Conceptual Modeling of Authorization in
Database Systems . . . . . . . . . . . . 3--13
Ali Mili and
Sihem Guemara and
Ali Jaoua and
Paul Torres On the Use of Executable Assertions in
Structured Programs . . . . . . . . . . 15--28
D. N. Card and
W. W. Agresti Resolving the Software Science Anomaly 29--35
K. Narayanaswamy and
Walt Scacchi Database Foundation to Support Software
System Evolution . . . . . . . . . . . . 37--49
Susan C. Felix-Simpson and
H. Pat Artis Implementing an Analytic Model for
Customer Information Control Systems
(CICS) . . . . . . . . . . . . . . . . . 51--60
Michael F. Merriman Automated Interactive Simulation
Modeling System: Aisim . . . . . . . . . 61--72
James D. Arthur Toward a Formal Specification of
Menu-Based Systems . . . . . . . . . . . 73--82
D. N. Card and
W. W. Agresti Comments on resolving the software
science anomaly . . . . . . . . . . . . 83--84
Anonymous Biographies . . . . . . . . . . . . . . 85--85
Anonymous Standards and enforcers: Do they really
help achieve software quality? . . . . . 87--88
F. R. D. Velasco Method for Test Data Selection . . . . . 89--97
Paolino Di Felice On the Development of Reliable Large
Software . . . . . . . . . . . . . . . . 99--107
Michael Dyer Formal Approach to Software Error
Removal . . . . . . . . . . . . . . . . 109--114
D. R. Jeffery Software Development Productivity Model
for MIS Environments . . . . . . . . . . 115--125
Kristine Stougaard Thomsen and
Jorgen Lindskov Knudsen Taxonomy for Programming Languages with
Multisequential Processes . . . . . . . 127--140
Bradley J. Brown Checksum Methodology as a Configuration
Management Tool . . . . . . . . . . . . 141--143
A. Rosselet Language Definition-Based Compiler
Development . . . . . . . . . . . . . . 145--161
David Alex Lamb and
Ivor Durham and
Joseph M. Newcomer Drat: a Program for Maintaining Listings 163--170
June M. Verner and
Graham Tate Model for Software Sizing . . . . . . . 173--177
Anonymous Editor's corner: No silver bullet: a
look at software research via the Fred
Brooks article . . . . . . . . . . . . . 181--182
R. Nigel Horspool and
Ronald M. Huberman Analysis and Development of Demand
Prepaging Policies . . . . . . . . . . . 183--194
Wei Zhao and
Krithi Ramamritham Simple and Integrated Heuristic
Algorithms for Scheduling Tasks with
Time and Resource Constraints . . . . . 195--205
Hershey H. Friedman and
Linda Weiser Friedman Marketing Methods for Software . . . . . 207--212
Warren Harrison and
Curtis Cook Micro/Macro Measure of Software
Complexity . . . . . . . . . . . . . . . 213--219
Daniel M. Berry and
Nancy Yavne and
Moshe Yavne Application of Program Design Language
Tools to Abbott's Method of Program
Design by Informal Natural Language
Descriptions . . . . . . . . . . . . . . 221--247
Anonymous What's really wrong with COBOL? . . . . 251--252
Frank G. F. Davis and
Rex E. Gantenbein Recovering from a Computer Virus Attack 253--258
D. L. Parnas and
D. M. Weiss Active Design Reviews: Principles and
Practices . . . . . . . . . . . . . . . 259--265
Allen L. Ambler Experience with a Functionally Layered
Multicomputer Architecture for
Interactive Processing . . . . . . . . . 267--277
Donald J. Reifer Softcost-R: User Experiences and Lessons
Learned at the Age of One . . . . . . . 279--286
Daniel Joyce Identification and Investigation of
Software Design Guidelines for Using
Encapsulation Units . . . . . . . . . . 287--295
David W. E. Blatt Comparison of Network and Hierarchical
Data Management in Large Programming
Projects . . . . . . . . . . . . . . . . 297--309
Pierre L'Ecuyer Formal Formatting Rules for Pascal
Programs . . . . . . . . . . . . . . . . 311--322
Elliot Soloway Special section on empirical studies of
programming . . . . . . . . . . . . . . 323--323
Stanley Letovsky Cognitive Processes in Program
Comprehension . . . . . . . . . . . . . 325--339
David C. Littman and
Jeannine Pinto and
Stanley Letovsky and
Elliot Soloway Mental Models and Software Maintenance 341--355
Lisa A. Onorato and
Roger W. Schvaneveldt Programmer-Nonprogrammer Differences in
Specifying Procedures to People and
Computers . . . . . . . . . . . . . . . 357--369
Anonymous Biographies . . . . . . . . . . . . . . 370--370
Anonymous Author index . . . . . . . . . . . . . . 371--371
Anonymous Subject index . . . . . . . . . . . . . 372--372
David N. Card and
William W. Agresti Measuring software design complexity . . 185--197
Warren Harrison Introduction to the special issue on
software engineering . . . . . . . . . . 1--2
Sallie Henry Technique for Hiding Proprietary Details
While Providing Sufficient Information
for Researchers; Or, Do You Recognize
this Well-Known Algorithm? . . . . . . . 3--11
James M. Bieman and
Albert L. Baker and
Paul N. Clites and
David A. Gustafson and
Austin C. Melton Standard Representation of Imperative
Language Programs for Data Collection
and Software Measures Specification . . 13--37
T. J. Yu and
B. A. Nejmeh and
H. E. Dunsmore and
V. Y. Shen Smdc: an Interactive Software Metrics
Data Collection and Analysis System . . 39--46
William H. Farr and
Oliver D. Smith Tool for Statistical Modeling and
Estimation of Reliability Functions for
Software: Smerfs . . . . . . . . . . . . 47--55
Warren Harrison Mae: a Syntactic Metric Analysis
Environment . . . . . . . . . . . . . . 57--62
E. Burton Swanson and
Cynthia M. Beath Use of Case Study Data in Software
Management Research . . . . . . . . . . 63--71
Anonymous A mundane but vital look at software
tools . . . . . . . . . . . . . . . . . 75--76
Henryk Jan Komorowski A Declarative Logic Programming
Environment . . . . . . . . . . . . . . 77--89
Steven J. Zeil Complexity of the Equate Testing
Strategy . . . . . . . . . . . . . . . . 91--104
B. C. Desai and
P. Goyal and
F. Sadri Composite Index in Ddbms . . . . . . . . 105--119
V. Cote and
P. Bourque and
S. Oligny and
N. Rivard Software Metrics: an Overview of Recent
Results . . . . . . . . . . . . . . . . 121--131
M. Zaki and
M. M. El-Boraey Analysis of Reliability Models for
Interconnecting MIMD Systems . . . . . . 133--144
David A. Scanlan Learner Preference for Using Structured
Flowcharts Vs. Pseudocode When
Comprehending Short, Relatively Complex
Algorithms: a Summary Analysis . . . . . 145--155
Robert L. Glass Editor's corner: Software productivity
improvement: Who's doing what? . . . . . 159--160
Tom Gilb The pre-natal death of the CIS project:
a software disaster story . . . . . . . 161--163
A. F. Norcio and
L. J. Chmura Designing complex software . . . . . . . 165--184
Bertrand Meyer Eiffel: a Language and Environment for
Software Engineering . . . . . . . . . . 199--246
Anna Ha\'c A multiprocessor model with classes of
processes and priorities . . . . . . . . 247--251
Lawrence Bernstein System sizing . . . . . . . . . . . . . 253--253
Anonymous Biographies . . . . . . . . . . . . . . 255--255
Robert L. Glass Editor's corner: a mythology of
technology transfer . . . . . . . . . . 257--257
Rex E. Gantenbein and
Douglas W. Jones The design and implementation of a
dynamic binding feature for a high-level
language . . . . . . . . . . . . . . . . 259--273
Roger Wiens and
Mohammad A. Ketabchi An efficient method lookup technique for
secondary storage object-oriented
systems . . . . . . . . . . . . . . . . 275--282
Songnian Zhou and
Roberto Zicari Object management in local distributed
systems . . . . . . . . . . . . . . . . 283--295
Alan M. Davis A taxonomy for the early stages of the
software development life cycle . . . . 297--311
Dave E. Eckhardt and
Larry D. Lee Fundamental differences in the
reliability of $N$-modular redundancy
and $N$-version programming . . . . . . 313--318
Tarek K. Abdel-Hamid Understanding the ``90% syndrome'' in
software project management: a
simulation-based case study . . . . . . 319--330
Marvin V. Zelkowitz Resource utilization during software
development . . . . . . . . . . . . . . 331--336
Robert L. Glass Editor's corner: Robert L. Glass:
Software Technology Transfer: a
Multiflawed Process (The Road to
Productivity Is Full of Potholes) . . . 339--341
S. M. Shatz and
W. K. Cheng A Petri net framework for automated
static analysis of Ada tasking behavior 343--359
M. Zaki and
R. Salama Linkage versus integration for binding
data base and interactive graphics
systems . . . . . . . . . . . . . . . . 361--372
T. P. Baker An improved Ada run-time system
interface . . . . . . . . . . . . . . . 373--393
Kathleen M. Swigger and
Layne F. Wallace A discussion of past programming errors
and their effect on learning assembly
language . . . . . . . . . . . . . . . . 395--399
D. Christodoulakis and
T. Pantziou WEP --- a workstation for education in
programming . . . . . . . . . . . . . . 401--408
S. Javey A language construct for the
specification of discontinuities . . . . 409--417
Bertrand Meyer Cépage: Toward computer-aided design of
software . . . . . . . . . . . . . . . . 419--429
Anonymous Biographies . . . . . . . . . . . . . . 431--431
Anonymous Subject index . . . . . . . . . . . . . 433--433
Anonymous Author index . . . . . . . . . . . . . . 434--434
Robert L. Glass Editor's corner . . . . . . . . . . . . 1--2
Norman Wilde and
Stephen M. Thebaut The maintenance assistant: Work in
progress . . . . . . . . . . . . . . . . 3--17
Phillip C. Sheu Describing semantic data bases with
logic . . . . . . . . . . . . . . . . . 19--27
Shmuel Rotenstreich Reliability of distributed programs
under overloads . . . . . . . . . . . . 29--40
Ce Kuen Shieh and
Li Ming Tseng Extending a stand-alone personal
computer to integrate multiple operating
systems concurrently . . . . . . . . . . 41--49
Carl McCrosky and
M. A. Jenkins Design of a processor for
array-theoretic computation . . . . . . 67--74
K. Schwan and
C. Gaimon Automating Resource Allocation for
Multiprocessors . . . . . . . . . . . . 51--66
Robert L. Glass Editor's corner: My trivial/brilliant
concept called ``problem solving'' . . . 77--78
Lloyd G. Williams Comparative software methods:
Introduction . . . . . . . . . . . . . . 79--80
H. Gomaa A Software Design Method for Distributed
Real-Time Applications . . . . . . . . . 81--94
E. Seidewitz General Object-Oriented Software
Development: Background and Experience 95--108
Paul T. Ward Embedded behavior pattern languages: a
contribution to a taxonomy of case
languages . . . . . . . . . . . . . . . 109--128
Hideo Kudo and
Yuji Sugiyama and
Mamoru Fujii and
Koji Torii Quantifying a design process based on
experiments . . . . . . . . . . . . . . 129--136
Jon D. Valett and
Frank E. McGarry A summary of software measurement
experiences in the Software Engineering
Laboratory . . . . . . . . . . . . . . . 137--148
Frank E. McGarry and
William W. Agresti Measuring Ada for software development
in the Software Engineering Laboratory 149--159
Judy Bayer and
Nancy Melone A critique of diffusion theory as a
managerial framework for understanding
adoption of software engineering
innovations . . . . . . . . . . . . . . 161--166
Bill Curtis and
Sylvia B. Sheppard and
Elizabeth Kruesi-Bailey and
John Bailey and
Deborah A. Boehm-Davis Experimental evaluation of software
documentation formats . . . . . . . . . 167--207
A. Haç A Benchmark for Performance Evaluation
of a Distributed File System . . . . . . 273--285
Robert L. Glass Editor's corner: How about next year? A
look at a study of technology maturation 167--168
S. van Egmond and
F. C. Heeman and
J. C. van Vliet INFORM: an interactive syntax-directed
formulae editor . . . . . . . . . . . . 169--182
M. Koutny and
L. V. Mancini Synchronizing events in replicated
systems . . . . . . . . . . . . . . . . 183--190
James S. Collofello and
Scott N. Woodfield Evaluating the effectiveness of
reliability-assurance techniques . . . . 191--195
Paul W. Oman and
Curtis and
R. Cook and
Murthi Nanja Effects of programming experience in
debugging semantic errors . . . . . . . 197--207
J. Vlahavas and
C. Halatsis $L$-machine: a low-cost personal
sequential inference machine . . . . . . 209--223
Reda A. Ammar Stack-based sorting algorithms . . . . . 225--239
Robert L. Glass Editor's corner: Some thoughts on
software errors . . . . . . . . . . . . 243--244
Sharilyn A. Thoreson and
Arlen N. Long Locality, a memory hierarchy, and
program restructuring in a dataflow
environment . . . . . . . . . . . . . . 245--252
Gregory B. Titus and
Allan M. Stavely Finding reachable states of finite-state
concurrent systems . . . . . . . . . . . 253--272
Robert G. Reynolds The partial metrics system: a tool to
support the metrics-driven design of
pseudocode programs . . . . . . . . . . 287--295
Gregory F. Wetzel and
William G. Bulgren Problems, problems, problems \ldots . . 297--303
Ming-te Lu and
Crumpton Farrell Software development: an international
perspective . . . . . . . . . . . . . . 305--309
Anonymous Biographies . . . . . . . . . . . . . . 311--311
Anonymous Subject index . . . . . . . . . . . . . 313--313
Anonymous Author index . . . . . . . . . . . . . . 314--314
Robert L. Glass Editor's corner: The legend of the bad
software project . . . . . . . . . . . . 1--1
Roberto R. Kampfner A synthetic approach to the design of
information-systems software . . . . . . 3--14
Daniel A. Cañas and
William G. Bulgren A file management system for a magnetic
disk used as a buffer to write-once
optical storage . . . . . . . . . . . . 15--21
Dennis R. Moreau and
Wayne D. Dominick Object-oriented graphical information
systems: Research plan and evaluation
metrics . . . . . . . . . . . . . . . . 23--28
Pierre N. Robillard and
Germinal Boloix The interconnectivity metrics: a new
metric showing how a program is
organized . . . . . . . . . . . . . . . 29--39
Robert B. Terwilliger and
Roy H. Campbell ENCOMPASS: An Environment for the
Incremental Development of Software . . 41--53
H. S. Wang and
S. R. Hsu and
J. C. Lin A generalized optimal path-selection
model for structural program testing . . 55--63
Robert L. Glass The temporal relationship between theory
and practice . . . . . . . . . . . . . . 65--67
Sallie Keller-McNulty and
Mark S. McNulty Response to: Resolving the software
science anomaly . . . . . . . . . . . . 69--71
D. N. Card and
W. W. Agresti Further remarks on software science . . 71--72
Robert L. Glass Editor's corner: How can computer
science truly become a science, and
software engineering truly become
engineering? . . . . . . . . . . . . . . 75--76
Sudha Ram and
Clark L. Chastain Architecture of distributed data base
systems . . . . . . . . . . . . . . . . 77--95
Robert B. Terwilliger and
Roy H. Campbell PLEASE: Executable specifications for
incremental software development . . . . 97--112
Stephen Fickas Design issues in a rule-based system . . 113--123
Panayotis E. Pintelas and
Vasilios Kallistros An overview of some software design
languages . . . . . . . . . . . . . . . 125--138
J. W. Howatt and
A. L. Baker Rigorous Definition and Analysis of
Program Complexity Meaures --- An
example using nesting . . . . . . . . . 139--150
Hershey H. Friedman and
Linda Weiser Friedman Myths, unethical practices, personnel
requirements: What do computer industry
professionals really believe? . . . . . 151--153
Anonymous Biographies . . . . . . . . . . . . . . 155--156
Robert L. Glass Editor's Corner: Software Metrics: of
Lightning Rods and Built-up Tension . . 157--158
D. N. Card and
R. A. Berg An Industrial Engineering Approach to
Software Development . . . . . . . . . . 159--168
Anna Ha\'c A Validated Performance Model for
Distributed File Systems . . . . . . . . 169--185
A. Inkeri Verkamo Performance Comparison of Distributive
and Mergesort as External Sorting
Algorithms . . . . . . . . . . . . . . . 187--200
McCagie B. Rogers Considerations for applying
multiple-level protocols to satellite
communication networks . . . . . . . . . 201--212
Avram Eskenasi Evaluation of Software Product Quality
by Means of Classification Methods . . . 213--216
Bruce I. Blum Controversy Corner: Volume, Distance and
Productivity . . . . . . . . . . . . . . 217--226
Anonymous Biographies . . . . . . . . . . . . . . 227--227
Robert L. Glass Editor's corner: Should a journal
publish a virus? . . . . . . . . . . . . 229--229
James E. Tomayko and
David J. Rodjak Is Software Engineering Graduate-Level
Material? . . . . . . . . . . . . . . . 231--233
James R. Comer and
David J. Rodjak Software engineering education at Texas
Christian University: Adapting a
curriculum to changing needs . . . . . . 235--244
Everald E. Mills The Master of Software Engineering (MSE)
Program At Seattle University . . . . . 245--252
Freeman L. Moore and
Phillip R. Purvis Training Practicing Software Engineers
at Texas Instruments . . . . . . . . . . 253--260
David Budgen and
Peter Henderson and
Chic Rattray Academic/Industrial collaboration in a
Postgraduate MSc Course in Software
Engineering . . . . . . . . . . . . . . 261--266
John W. Brackett The Boston University software
engineering graduate program: Continuing
education through interactive television 267--269
Alan C. Benander and
Barbara A. Benander An empirical study of COBOL programs via
a style analyzer: The benefits of good
programming style . . . . . . . . . . . 271--279
James E. Tomayko Lessons learned teaching Ada in the
context of software engineering . . . . 281--283
Anonymous Biographies . . . . . . . . . . . . . . 285--286
Anonymous Subject index . . . . . . . . . . . . . 287--288
Anonymous Author index . . . . . . . . . . . . . . 289--289
Robert L. Glass Editor's Corner: Software Design: Is
There Madness in a Method? . . . . . . . 1--2
Allan M. Stavely Algorithms for Analyzing Concurrent
Software Systems Using Derivatives . . . 3--20
Phillip C.-Y. Sheu A Knowledge-Based Approach for
High-Level Programming of Concurrent
Systems . . . . . . . . . . . . . . . . 21--29
Anthony J. Kusalik Secondary Storage in a Concurrent Logic
Programming Environment . . . . . . . . 31--44
K. Brahmadathan and
K. V. S. Ramarao On the Management of Long-Living
Transactions . . . . . . . . . . . . . . 45--52
D. E. Cooke Formal Specifications of
Resource-Deadlock Prone Petri Nets . . . 53--69
Israel Pressman Controversy corner: The decision makers 71--74
Anonymous Biographies . . . . . . . . . . . . . . 75--75
Robert L. Glass Editor's Corner: Software Maintenance is
a Solution --- Not a Problem . . . . . . 77--78
Anna Ha\'c and
Xiaowei Jin Dynamic Load Balancing in a Distributed
System Using a Sender-Initiated
Algorithm . . . . . . . . . . . . . . . 79--94
M. P. Papazoglou and
L. Marinos An Object-Oriented Approach To
Distributed Data Management . . . . . . 95--109
Shivakant Mishra and
Pradip K. Srimani Fault-Tolerant Mutual Exclusion
Algorithms . . . . . . . . . . . . . . . 111--129
K. V. S. Ramarao Efficient Fault-Tolerant Broadcasts . . 131--141
Hasan Ural Specifications of Distributed Systems in
Prolog . . . . . . . . . . . . . . . . . 143--154
Robert L. Glass Editor's Corner: Some Pros and Cons on
(of all things!) References . . . . . . 157--157
Donald J. Reifer Asset-R: a Function Point Sizing Tool
for Scientific and Real-Time Systems . . 159--171
Reda A. Ammar and
Bin Qin An Approach to Derive Time Costs of
Sequential Computations . . . . . . . . 173--180
Taiichi Yuasa Real-Time Garbage Collection on
General-Purpose Machines . . . . . . . . 181--198
A. Russell Jones and
Esther R. Steinberg Interface design: an educational
perspective . . . . . . . . . . . . . . 199--204
I. J. Davis and
D. J. Taylor Local Correction of Mod($k$ ) Lists . . 205--214
Donald Gotterbarn A workshop report: Software Engineering
Ethics . . . . . . . . . . . . . . . . . 215--216
Barbara A. Benander and
Narasimhaiah Gorla and
Alan C. Benander An Empirical Study of the Use of the
GOTO Statement . . . . . . . . . . . . . 217--223
Anonymous Biographies . . . . . . . . . . . . . . 225--226
Robert L. Glass Editor's Corner: The Mystery of the
Little Chinese Boy and His Computer . . 1--2
Janusz Laski Data Flow Testing in STAD . . . . . . . 3--14
Ali Jaoua and
Ali Mili The Use of Executable Assertions for
Error Detection and Damage Assessment 15--37
Aimo A. Törn Models of Software Accumulation . . . . 39--42
Keith Humenik and
Roger S. Pinkham Production Probability Estimators for
Context-Free Grammars . . . . . . . . . 43--53
Rade Adamov and
Lutz Richter A Proposal for Measuring the Structural
Complexity of Programs . . . . . . . . . 55--70
Lin Zucconi Controversy Corner: a Debate, Zucconi
vs. Reifer: U.S. Technology: We're
Losing the Edge in Software . . . . . . 71--74
Donald J. Reifer Controversy Corner: a Debate, Zucconi
vs. Reifer: Is Asia Really a Threat? . . 74--77
Lin Zucconi Controversy Corner: a Debate, Zucconi
vs. Reifer: Response to ``Is Asia Really
a Threat?'' . . . . . . . . . . . . . . 77--77
Robert L. Glass Editor's Corner: Theory versus Practice
--- Revisited . . . . . . . . . . . . . 81--82
Jean Pierre Finance and
Ali Mili A Foreword to the Special Issue of the
Journal of Systems and Software on the
Role of Languages in Programming (the
Tenth Tunisian-French Seminar of
Computer Science) . . . . . . . . . . . 83--85
Chris Marlin and
Dennis Freidel Comparing Communication in Two Languages
Employing Buffered Message-Passing . . . 87--105
Carlo Ghezzi and
Dino Mandrioli and
Angelo Morzenti TRIO: a Logic Language for Executable
Specifications of Real-Time Systems . . 107--123
R. Motschnig-Pitrik A Framework for the Support of a Common
Structural Level for Software-, Data
Base-, and Knowledge-Based Systems . . . 125--137
Hafedh Mili and
John Sibert and
Yoav Intrator An Object-Oriented Model Based on
Relations . . . . . . . . . . . . . . . 139--155
Heidemarie Wernhart and
Roland Mittermeir The HIBOL-2 Environment: a Basis for
Visual Programming of Business Objects 157--165
Stuart H. Zweben On the resolution of the software
science anomaly . . . . . . . . . . . . 167--170
David N. Card and
William W. Agresti More on software science . . . . . . . . 170--171
Warren Harrison Guest Editor's Introduction: The Oregon
Workshop on Software Metrics . . . . . . 175--175
Norman Fenton and
Austin Melton Deriving Structurally Based Software
Measures . . . . . . . . . . . . . . . . 177--187
Paul W. Oman and
Curtis R. Cook Design and Code Traceability Using a PDL
Metrics Tool . . . . . . . . . . . . . . 189--198
B. Terry Compton and
Carol Withrow Prediction and Control of ADA Software
Defects . . . . . . . . . . . . . . . . 199--207
Adam A. Porter and
Richard W. Selby Evaluating Techniques for Generating
Metric-based Classification Trees . . . 209--218
Robin Whitty and
Martin Bush and
Meg Russell METKIT and the ESPRIT Program . . . . . 219--221
Martin E. Bush and
Norman E. Fenton Software Measurement: a Conceptual
Framework . . . . . . . . . . . . . . . 223--231
Meg Russell International Survey of Software
Measurement Education and Training . . . 233--241
Robert Lanphar Quantitative Process Management in
Software Engineering, a Reconciliation
Between Process and Product Views . . . 243--248
Sandhiprakash Bhide Generalized Software Process-integrated
Metrics Framework . . . . . . . . . . . 249--254
Shari Lawrence Pfleeger and
Clement McGowan Software Metrics in the Process Maturity
Framework . . . . . . . . . . . . . . . 255--261
Daniel Coupal and
Pierre N. Robillard Factor Analysis of Source Code Metrics 263--269
Alan Myrvold Data Analysis for Software Metrics . . . 271--275
Albert L. Baker and
James M. Bieman and
Norman Fenton and
David A. Gustafson and
Austin Melton and
Robin Whitty A Philosophy for Software Measurement 277--281
John C. Munson and
Taghi M. Khoshgoftaar Applications of a Relative Complexity
Metric for Software Project Management 283--291
Robert L. Glass Editor's Corner: At Last --- Some
Measured Results of the ``Structured
Revolution'' . . . . . . . . . . . . . . 1--1
Masaaki Mizuno and
Arthur E. Oldehoeft An Access Control Language for
Object-oriented Programming Systems . . 3--12
Ric Frankel A Hybrid Knowledge-Based Approach to
Structured Selection . . . . . . . . . . 13--23
Ophir Frieder Fault Tolerance on a Hypercube: a
Database Application . . . . . . . . . . 25--38
Masayasu Odani and
Sun Young Hwang and
Tom Blank and
Tom Rokicki The Hermod behavioral synthesis system 39--54
Frans C. Heeman Incremental Parsing of Expressions . . . 55--69
Tarek K. Abdel-Hamid On the Utility of Historical Project
Statistics for Cost and Schedule
Estimation: Results from a
Simulation-based Case Study . . . . . . 71--82
Robert L. Glass Editor's Corner: Automatic Programming
--- a Cocktail Party Myth? . . . . . . . 85--86
Warren Harrison A Foreword to the Special Issue on Using
Software Metrics . . . . . . . . . . . . 87--88
Sallie Henry and
John Lewis Integrating Metrics into a Large-Scale
Software Development Environment . . . . 89--95
James A. Redmond and
Reynold Ah-Chuen Software Metrics --- a User's
Perspective . . . . . . . . . . . . . . 97--110
Khosrow Dehnad Software Metrics from a User's
Perspective . . . . . . . . . . . . . . 111--115
Samuel E. Hon III Assuring Software Quality through
Measurements: a Buyer's Perspective . . 117--130
Geoff Whale Software Metrics and Plagiarism
Detection . . . . . . . . . . . . . . . 131--138
Brent J. Bowman and
William A. Newman Software Metrics as a Programming
Training Tool . . . . . . . . . . . . . 139--147
Robert L. Glass Editor's Corner: Mikhail Gorbachev and
Software Productivity (!?) . . . . . . . 151--152
J. N. Buxton Software Engineering --- 20 Years On and
20 Years Back . . . . . . . . . . . . . 153--155
Ray Ford and
Mary Pfreundschuh Wagner Incremental concurrent builds for
modular systems $^,$ . . . . . . . . . . 157--176
J. A. N. Lee and
Xudong He A Methodology for Test Selection . . . . 177--185
Bogdan Korel and
Janusz Laski Dynamic Slicing of Computer Programs . . 187--195
Chuck Litecky Spreadsheet Macro Programming: a
Critique with Emphasis on Lotus 1-2-3 197--200
Anna Ha\'c and
Theodore J. Johnson A Performance Comparison of a
Closely-Coupled and a Loosely-Coupled
Architecture . . . . . . . . . . . . . . 201--208
Christine Aguilera and
Daniel M. Berry The Use of a Repeated Phrase Finder in
Requirements Extraction . . . . . . . . 209--230
Brian E. Pulk Controversy Corner: Improving Software
Project Management . . . . . . . . . . . 231--235
Anonymous Subject index . . . . . . . . . . . . . 237--238
Anonymous Author index . . . . . . . . . . . . . . 239--241
Anonymous Editor's corner: Mikhail Gorbachev and
software productivity (!?) . . . . . . . iii--viii
Robert L. Glass Editor's corner: a report from the best
and brightest . . . . . . . . . . . . . 1--2
P. Pintelas and
S. Tragoudas A Comparative Study of Five Language
Independent Programming Environments . . 3--15
Vincenzo Ambriola and
Paolo Ciancarini and
Andrea Corradini and
Nicoletta DeFrancesco Towards Innovative Software Engineering
Environments . . . . . . . . . . . . . . 17--29
Rex E. Gantenbein Dynamic Binding in Strongly Typed
Programming Languages . . . . . . . . . 31--38
Douglas Skuce A Language and System for Making
Definitions of Technical Concepts . . . 39--50
Janina Mincer-Daszkiewicz Program I/O Behavior: Models and Their
Applications . . . . . . . . . . . . . . 51--62
Robert L. Glass Editor's Corner: Software Maintenance:
It's Time to Educate the Educators . . . 65--66
J. A. Hager Software Cost Reduction Methods in
Practice: a Post-Mortem Analysis . . . . 67--77
D. J. Robson and
K. H. Bennett and
B. J. Cornelius and
M. Munro Approaches to Program Comprehension . . 79--84
Frank A. Cioch Measuring Software Misinterpretation . . 85--95
Norman Wilde and
Ross Huitt A Reusable Toolset for Software
Dependency Analysis . . . . . . . . . . 97--102
Benson H. Scheff and
Thomas Georgon Using Documentation Blueprints to
Produce Mandated DoD Data Items . . . . 103--110
Ophir Frieder and
Mark E. Segal On Dynamically Updating a Computer
Program: From Concept to Prototype . . . 111--128
Robert L. Glass Editor's Corner: 4GLs and CASE: What's
the Payoff? . . . . . . . . . . . . . . 131--132
Sallie Henry and
Roger Goff Comparison of a Graphical and a Textual
Design Language Using Software Quality
Metrics . . . . . . . . . . . . . . . . 133--146
H. Joel Jeffrey Human Systems Analysis in the Software
Engineering Curriculum . . . . . . . . . 147--153
Juan A. Carrasco and
Joan Figueras and
Annie Kuntzmann Evaluation of Safety-Oriented
Two-Version Architectures . . . . . . . 155--162
G. C. Shoja A Distributed Facility for Load Sharing
and Parallel Processing Among
Workstations . . . . . . . . . . . . . . 163--172
Anna Ha\'c and
Xiaowei Jin and
Jo-Han Soo Algorithms for File Replication in a
Distributed System . . . . . . . . . . . 173--181
Laura K. Dillon An Isolation Approach to Symbolic
Execution-based Verification of Ada
Tasking Programs . . . . . . . . . . . . 183--198
Narasimhaiah Gorla Performance of a Hybrid DBMS Using a
Case Study . . . . . . . . . . . . . . . 199--214
Richard A. Reid and
Peter L. Asprey Controversy Corner: Computer Performance
Management: Conceptual Considerations
from an Operations Research Perspective 215--219
Robert L. Glass Editor's Corner: The Computing
Communication Chasm: Some New Insight
Into Why It Is There, And What Can Be
Done About It . . . . . . . . . . . . . 1--2
Dimitris Christodoulakis The GRASPIN Software Engineering
Environment . . . . . . . . . . . . . . 3--3
Wolf D. Itzfeldt and
Bernd Krämer and
Marie-Luise Christ-Neumann The Project GRASPIN and Its CASE
Environment Prototypes: An Overview . . 5--16
Bernd Krämer Introducing the GRASPIN Specification
Language SEGRAS . . . . . . . . . . . . 17--31
Bernd Krämer A Sort of Parametric Polymorphism for
Algebraic Specifications . . . . . . . . 33--42
Heinz W. Schmidt Prototyping and Analysis of
Non-Sequential Systems Using
Predicate-Event Nets . . . . . . . . . . 43--62
Bernd Krämer and
Luqi Toward Formal Models of Software
Engineering Processes . . . . . . . . . 63--74
S. Goutas and
P. Soupos and
D. Christodoulakis The GRASPIN Data Base . . . . . . . . . 75--82
I. Gaviotis and
A. Hatzimanikatis and
D. Christodoulakis Communicating in Software Engineering
Environments: The GRASPIN Paradigm . . . 83--89
Robert L. Baber Controversy Corner: Portrait of a
(Software) Engineer . . . . . . . . . . 91--100
Robert L. Glass Editor's Corner: Formal Methods vs.
Heuristics: Clarifying a Controversy . . 103--105
Richard L. Jenson and
Jon W. Bartley Parametric Estimation of Programming
Effort: An Object-Oriented Model . . . . 107--114
Kai Koskimies and
Jukka Paakki High-Level Tools for Language
Implementation . . . . . . . . . . . . . 115--131
Antonia Bertolino An Overview of Automated Software
Testing . . . . . . . . . . . . . . . . 133--138
Reda A. Ammar A Computer Aided Design System to
Develop High Performance Software . . . 139--147
Dennis F. X. Mathaisel and
Clare L. Comm Course and Classroom Scheduling: An
Interactive Computer Graphics Approach 149--157
Pierre Bourque and
Vianney Côté An Experiment in Software Sizing with
Structured Analysis Metrics . . . . . . 159--172
Neal Walters Requirements Specification for Ada
Software Under DoD-STD-2167A . . . . . . 173--183
Chenho Kung Process Interface Modeling and
Consistency Checking . . . . . . . . . . 185--191
David L. Coleman and
Albert L. Baker Deliberations on Kung's Process
Interface Modeling . . . . . . . . . . . 193--198
Chenho Kung Response to ``Deliberations on Kung's
process interface modeling'' . . . . . . 199--199
Robert L. Glass Editor's corner: The (solved, unsolved)
problem of literature searches . . . . . 203--204
Linda L. Werner and
William E. Howden An Investigation of the Applicability of
Data Usage Analysis . . . . . . . . . . 205--215
Yuksel Uckan Knowledge Representation Using Views in
Relational Deductive Data Bases . . . . 217--232
Daniel K. Chang Data Compression Using Hierarchical
Dictionaries . . . . . . . . . . . . . . 233--238
Vijay Varadharajan A Petri Net Model for System Design and
Refinement . . . . . . . . . . . . . . . 239--250
Magdi N. Kamel and
Moshe Zviran A Methodology for Integrating
Heterogeneous Data Bases in a Hospital
Environment . . . . . . . . . . . . . . 251--260
Edwin K. P. Chong and
Wei Zhao Performance Evaluation of Scheduling
Algorithms for Imprecise Computer
Systems . . . . . . . . . . . . . . . . 261--277
Richard E. Yellen and
Jay F. Nunamaker Increasing the Willingness of Novices to
Use Computer Application Software . . . 279--285
Paul W. Oman and
Curtis R. Cook A Programming Style Taxonomy . . . . . . 287--301
Anonymous Editor's corner: The (solved, unsolved)
problem of literature searches . . . . . iii--v
Robert L. Glass Editor's corner: Structured research? (A
partly tongue-in-cheek look) . . . . . . 1--2
A. J. Fisher Incremental Algorithms for Interactive
Text Formatting . . . . . . . . . . . . 3--16
Robin M. Snyder Specifying Textual To Graphical
Conversion . . . . . . . . . . . . . . . 17--28
Yonglei Tao and
Chenho Kung Formal Definition and Verification of
Data Flow Diagrams . . . . . . . . . . . 29--36
Anna Ha\'c and
Xiaowei Jin A Decentralized Algorithm for Dynamic
Load Balancing with File Transfer . . . 37--52
C. Samuel Hsieh Distributed Evaluation of Commutative
and Associative Functions . . . . . . . 53--58
Sallie Keller-McNulty and
Mark S. McNulty and
David A. Gustafson Stochastic Models for Software Science 59--68
Ching-Cheng Lee and
H. A. Fatmi Run-time support For parallel functional
programming on shared-memory
multiprocessors . . . . . . . . . . . . 69--74
Ronald Geenens and
Mustafa Kamal An Industry Study of Computer Practices 75--80
Robert L. Glass Editor's corner: Quality software: What
is management's role? . . . . . . . . . 83--84
Sheng-Uei Guan and
Hussein Abdel-Wahab and
Peter Calingaert Jointly-owned objects for collaboration:
Operating-system support and protection
model . . . . . . . . . . . . . . . . . 85--95
K. Narayanaswamy and
Neil M. Goldman A Flexible Framework for Cooperative
Distributed Software Development . . . . 97--105
Krishna M. Kavi and
Akshay K. Deshpande Specification of Concurrent Processes
Using a Dataflow Model of Computation
and Partially Ordered Events . . . . . . 107--120
Tsu-Feng Ho and
Wah-Chun Chan and
Chyan-Goei Chung Reliability modeling of parallel
programs with modular structure using
stochastic Petri nets . . . . . . . . . 121--128
Ali Emdad An Empirical Investigation of the
Effectiveness of Software Documentation
Delivery Systems . . . . . . . . . . . . 129--134
W. B. Frakes and
D. J. Lubinsky and
D. N. Neal Experimental Evaluation of a Test
Coverage Analyzer for C and C++ . . . . 135--139
S. G. MacDonell Rigor in Software Complexity Measurement
Experimentation . . . . . . . . . . . . 141--149
L. Kemayel and
A. Mili and
I. Ouederni Controllable Factors for Programmer
Productivity: a Statistical Study . . . 151--163
Robert L. Glass Editor's corner: Software productivity:
What is management's role? . . . . . . . 167--168
James H. Gerlach and
Feng-Yang Kuo Formal Development of Hybrid
User-Computer Interfaces with Advanced
Forms of User Assistance . . . . . . . . 169--183
Armin Roeseler and
Anneliese von Mayrhauser Managing the Quality of Computing
Services: a User-oriented Approach Using
Utility Theory and Service-level Indices 185--196
C. Samuel Hsieh Slice, chunk and dataflow anomaly as
DATALOG rules . . . . . . . . . . . . . 197--203
Patrick O. Bobbie and
Mike Papazoglou Clustering PROLOG Programs for
Distributed Computations . . . . . . . . 205--218
Muruganandan Kumar and
Johnny Wong Transaction Models for Design
Environments . . . . . . . . . . . . . . 219--228
M. H. Samadzadeh and
K. Nandakumar A Study of Software Metrics . . . . . . 229--234
Ronald Gulezian Reformulating and Calibrating COCOMO . . 235--242
Anna Ha\'c Design Algorithms for Asynchronous Write
Operations in Disk-Buffer-Cache Memory 243--253
Boumediene Belkhouche Generation of ADA and PL/1 Prototypes
from Abstract Data Type Specifications 255--264
Anonymous Author index . . . . . . . . . . . . . . 265--266
Anonymous Subject index . . . . . . . . . . . . . 267--268
Anonymous Editor's corner: Software productivity:
What is management's role? . . . . . . . i--iv
Raymond A. Paul Readers' corner . . . . . . . . . . . . 1--3
Donald Gotterbarn Editor's Corner: Professional Computer
Ethics . . . . . . . . . . . . . . . . . 5--6
Batya Friedman and
Peter H. Kahn, Jr. Human Agency and Responsible Computing:
Implications for Computer System Design 7--14
Göran Collste Expert Systems in Medicine and Moral
Responsibility . . . . . . . . . . . . . 15--22
W. Robert Collins and
Keith W. Miller Paramedic Ethics for Computer
Professionals . . . . . . . . . . . . . 23--38
Michael C. McFarland Broadening the Basis for Ethical
Analysis . . . . . . . . . . . . . . . . 39--40
Eugene H. Spafford Are Computer Hacker Break-ins Ethical? 41--47
Laura M. Leventhal and
Keith E. Instone and
David W. Chilson Another View of Computer Science Ethics:
Patterns of Responses Among Computer
Scientists . . . . . . . . . . . . . . . 49--60
Heinz C. Luegenbiehl Computer Professionals: Moral Autonomy
and a Code of Ethics . . . . . . . . . . 61--68
Ernest A. Kallman Developing a Code for Ethical Computer
Use . . . . . . . . . . . . . . . . . . 69--74
Donald Gotterbarn The Use and Abuse of Computer Ethics . . 75--80
Riva Wenig Bickel and
Maria M. Lorrondo-Petrie and
David F. Bush EDICT for Computer Ethics Education . . 81--89
Craig Summers and
Eric Markusen Controversy Corner: Computers, Ethics,
and Collective Violence . . . . . . . . 91--103
Anonymous Readers' corner . . . . . . . . . . . . 107--107
Robert L. Glass Editor's corner: The best and worst of
software in the 1980s . . . . . . . . . 109--110
John C. Kelly and
Joseph S. Sherif and
Jonathan Hops An Analysis of Defect Densities Found
During Software Inspections . . . . . . 111--117
Srinivasarao Damerla and
Sol M. Shatz Software Complexity and Ada Rendezvous:
Metrics Based on Nondeterminism . . . . 119--127
James M. Purtilo and
Elizabeth L. White A Flexible Program Adaptation System:
Case Studies in Ada . . . . . . . . . . 129--143
William Bulgren and
Victor Frost and
Chi-Shih Chang A Model for Interconnected LANs with
General Arrivals . . . . . . . . . . . . 145--153
Prabha Gopinath and
Rajiv Ramnath and
Karsten Schwan Data Base Design for Real-Time
Adaptations . . . . . . . . . . . . . . 155--167
K. P. Ventouris and
P. E. Pintelas A Practical Assessment of Formal
Specification Approaches for Data
Abstractions . . . . . . . . . . . . . . 169--188
Robert L. Glass and
Iris Vessey Toward a Taxonomy of Software
Application Domains: History . . . . . . 189--199
Robert L. Glass Editor's Corner: The Importance of
Software Quality in the 1990s . . . . . 203--204
G. P. A. J. Delen and
D. B. B. Rijsenbrij The Specification, Engineering, and
Measurement of Information Systems
Quality . . . . . . . . . . . . . . . . 205--217
David N. Card Designing Software for Producibility . . 219--225
C. Samuel Hsieh and
Elizabeth A. Unger and
Ramon A. Mata-Toledo Using Program Dependence Graphs for
Information Flow Control . . . . . . . . 227--232
Yiu-Wing Leung Optimum Software Release Time with a
Given Cost Budget . . . . . . . . . . . 233--242
Frank G. F. Davis and
Rex E. Gantenbein Responding to Catastrophic Errors: a
Design Technique for Fault-Tolerant
Software . . . . . . . . . . . . . . . . 243--251
Jianhui Tian and
Marvin V. Zelkowitz A Formal Program Complexity Model and
Its Application . . . . . . . . . . . . 253--266
Ramon A. Mata-Toledo and
David A. Gustafson A Factor Analysis of Software Complexity
Measures . . . . . . . . . . . . . . . . 267--273
R. Beth McColl and
James C. McKim Jr. Evaluating and Extending NPath as a
Software Complexity Measure . . . . . . 275--279
Robert N. Britcher Controversy Corner: Cards, Couriers, and
the Race to Correctness . . . . . . . . 281--284
Anonymous Editor's corner: The importance of
software quality in the 1990s . . . . . ii--iv
Anonymous Readers' corner . . . . . . . . . . . . 1--2
Ronald Gulezian Readers' corner . . . . . . . . . . . . 2--2
Robert L. Glass Editor's corner: On becoming obsolete 3--4
Zainalabedin Navabi A high-level language for design and
modeling of hardware . . . . . . . . . . 5--18
F. Hashim and
S. E.-D. Habib and
M. Zaki A PC knowledge-based environment for
VLSI layout verification . . . . . . . . 19--31
Jonathan S. Ostroff Formal methods for the specification and
design of real-time safety critical
systems . . . . . . . . . . . . . . . . 33--60
Alexander D. Stoyenko The evolution and state-of-the-art of
real-time languages . . . . . . . . . . 61--83
Krishna M. Kavi and
Seung-Min Yang Real-time systems design methodologies:
an introduction and a survey . . . . . . 85--99
Anonymous Controversy Corner . . . . . . . . . . . 101--101
Wolfgang A. Halang Real-time systems: Another perspective 101--108
Anonymous Biographies . . . . . . . . . . . . . . 109--109
Robert L. Glass Editor's Corner: We Have Lost Our Way 111--112
Danny C. C. Poo and
Paul J. Layzell An Evolutionary Structural Model for
Software Maintenance . . . . . . . . . . 113--123
H. Dieter Rombach and
Bradford T. Ulery and
Jon D. Valett Toward Full Life Cycle Control: Adding
Maintenance Measurement to the SEL . . . 125--138
Armin Roeseler and
Anneliese von Mayrhauser Using Service-Level Indices to Manage
the Quality of Computing Services: a
Case Study . . . . . . . . . . . . . . . 139--145
Ilié Popescu A Relational Model for Knowledge
Representation in Expert Systems . . . . 147--155
Hung Yung-Chen and
Chen Gen-Huey A Layered Communication System Generator 157--170
Erhard Rahm A Framework for Workload Allocation in
Distributed Transaction Processing
Systems . . . . . . . . . . . . . . . . 171--190
James R. Warren and
Jack W. Stott and
A. F. Norcio Stochastic Simulation of Information
Systems Designs from Data Flow Diagrams 191--199
Anonymous Biographies . . . . . . . . . . . . . . 201--202
Robert L. Glass Editor's Corner: The Importance of the
Application Domain Cluster . . . . . . . 205--206
Jim-Min Lin and
Shang Rong Tsai and
Li-Ming Tseng Integrating Existing Software Packages
Using the Virtual Machine Technique . . 207--218
H. M. Al-Haddad and
K. M. George and
M. H. Samadzadeh A Feedback Inheritance Model . . . . . . 219--234
Oscar Barros A Pragmatic Approach to
Computer-Assisted System Building . . . 235--244
Douglas B. Bock and
Robert Klepper FP-S: a Simplified Function Point
Counting Method . . . . . . . . . . . . 245--254
Khoa D. Huynh and
Eduardo B. Fernandez and
Taghi M. Khoshgoftaar A Workload Model for Frame-Based
Real-Time Applications on Distributed
Systems . . . . . . . . . . . . . . . . 255--271
K. Humenik and
R. S. Pinkham Transposition Errors in Context-Free
Languages . . . . . . . . . . . . . . . 273--280
Jean E. Tardy Strategies for Software Acquisition . . 281--285
Anonymous Calls for papers and announcements . . . 287--288
Anonymous Editor's corner: The importance of the
application domain cluster . . . . . . . iii--iv
Robert L. Glass Editor's corner: The link between
software quality and software
maintenance . . . . . . . . . . . . . . 1--2
Sheng-Uei Guan and
Hussein Abdel-Wahab Multiuser processes and shared
capability lists for shared workspace
collaboration . . . . . . . . . . . . . 3--12
Daniel Lanovaz and
Duane Szafron An object-oriented inference engine for
PROLOG . . . . . . . . . . . . . . . . . 13--25
Sergio R. Cárdenas and
Jianhui Tian and
Marvin V. Zelkowitz An application of decision theory for
the evaluation of software prototypes 27--39
Kshirasagar Naik and
Behcet Sarikaya Verification of protocol conformance
test cases using reachability analysis 41--57
Meenakshi Gupta and
Manju Agarwal and
Ashok Kumar A comparative performance analysis of a
multidisk system under head-of-the-line
and alternating priority disciplines . . 59--68
Anna Ha\'c Performance analysis of the priority
queues for the load-building algorithms 69--74
L. L. Miller and
S. R. Inglett and
A. R. Hurson PASS --- a Multiuser Parallel File
System Based on Microcomputers . . . . . 75--83
H. Joel Jeffrey Pragmatic design of meetings and
presentations . . . . . . . . . . . . . 85--96
Henrik Eriksson A survey of knowledge acquisition
techniques and tools and their
relationship to software engineering . . 97--107
Jo Ann Oravec and
Robert Plant Guest Editors' Introduction . . . . . . 111--111
Jo Ann Oravec and
Larry Travis If We Could Do It Over, We'd \ldots
Learning from Less-than-Successful
Expert System Projects . . . . . . . . . 113--122
Roger M. Kerr Expert Systems in Production Scheduling:
Lessons from a Failed Implementation . . 123--130
William E. Spangler and
Jerrold H. May Success and Failure in Cooperative
Expert Systems Development: a Tale of
Two Projects . . . . . . . . . . . . . . 131--140
R. T. Plant Expert System Development and Testing: a
Knowledge Engineer's Perspective . . . . 141--146
Mike Morrison and
Joline Morrison and
Olivia R. Liu Sheng and
Kunihiko Higa Environment Selection, Training, and
Implementation in High-Level Expert
Systems Environments: Experiences and
Guidelines . . . . . . . . . . . . . . . 147--152
Lance B. Eliot Case Analysis of Expert Systems
Projects: Strategies and Examples . . . 153--157
Michael R. Wick Expert System Explanation in Retrospect:
a Case Study in the Evolution of Expert
System Explanation . . . . . . . . . . . 159--169
Paul Licker and
Bruce Olsen Dimensions of Expert System Management 171--183
Robert C. Tausworthe Controversy Corner: Information Models
of Software Productivity: Limits on
Productivity Growth . . . . . . . . . . 185--201
Robert L. Glass Editor's Corner: Finally --- Someone Who
Understands Where Software Quality Fits
In . . . . . . . . . . . . . . . . . . . 205--206
Harry S. Delugach Specifying Multiple-Viewed Software
Requirements with Conceptual Graphs . . 207--224
P. Benedusi and
A. Cimitile and
U. De Carlini Reverse Engineering Processes, Design
Document Production, and Structure
Charts . . . . . . . . . . . . . . . . . 225--245
M. R. Stytz and
O. Frieder Dynamic Adaptive Surface Rendering
Within a Distributed Memory
Multiprocessor . . . . . . . . . . . . . 247--259
Rashi Khanna and
Bruce McMillin SMILI: Visualization of Asynchronous
Massively Parallel Programs . . . . . . 261--275
Robert L. Glass A Comparative Analysis of the Topic
Areas of Computer Science, Software
Engineering, and Information Systems . . 277--289
Anonymous Author index . . . . . . . . . . . . . . 291--292
Anonymous Subject index . . . . . . . . . . . . . 293--294
Robert L. Glass Editor's corner: Object-orientation:
Theory and practice . . . . . . . . . . 1--2
H. M. Al-Haddad and
K. M. George An Implementation Inheritance Model for
Object-Oriented Programming . . . . . . 3--17
Chen Deng-Jyi and
P. J. Lee On the Study of Software Reuse Using
Reusable C++ Components . . . . . . . . 19--36
Stan Jarzabek Domain Model-Driven Software
Reengineering and Maintenance . . . . . 37--51
K. Ryu and
S. R. Maeng and
J. W. Cho Concurrency and Inheritance in
Actor-Based Object-Oriented Languages 53--67
Yang Kyu Lee and
Sung Joo Park OPNets: an object-oriented high-level
Petri net model for real-time system
modeling . . . . . . . . . . . . . . . . 69--86
Marguerite Saacks-Giguette and
Antonio M. Lopez, Jr. A Frame-Based Design for the TIMS and
CAMS Metadata for a Stennis Information
Management System . . . . . . . . . . . 87--92
Jeffrey M. Voas and
Jeffrey E. Payne and
Keith W. Miller Controversy Corner: Designing Programs
that are Less Likely to Hide Faults . . 93--100
Anonymous Call for papers . . . . . . . . . . . . 101--102
Robert L. Glass Editor's Corner: The Many Flavors of
Testing . . . . . . . . . . . . . . . . 105--106
Michael Dyer Distribution-Based Statistical Sampling:
An Approach to Software Functional Test 107--114
Dolly Samson Knowledge-Based Test Planning: Framework
for a Knowledge-Based System to Prepare
a System Test Plan from System
Requirements . . . . . . . . . . . . . . 115--124
Antonia Bertolino Unconstrained Edges and Their
Application to Branch Analysis and
Testing of Programs . . . . . . . . . . 125--133
Choi Byoungju and
Aditya P. Mathur High-Performance Mutation Testing . . . 135--152
Armin Roeseler and
Anneliese von Mayrhauser A Production-Based Approach to
Performance Evaluation of Computing
Technology . . . . . . . . . . . . . . . 153--162
S. Mansoor Sarwar and
Marwan H. Abu-Amara Functional Languages: a Performance
Study . . . . . . . . . . . . . . . . . 163--167
Liu Rong-Chau and
Wang Sheng-De Performance Modeling and Analysis of
Load Balancing Policies with Priority
Queueing . . . . . . . . . . . . . . . . 169--187
A. Pombortsis and
C. Halatsis Performance of Circuit-Switched
Interconnection Networks under
Nonuniform Traffic Patterns . . . . . . 189--201
Warren Harrison Guest Editor's introduction . . . . . . 205--206
Jeffrey M. Voas and
Keith W. Miller Semantic Metrics for Software
Testability . . . . . . . . . . . . . . 207--216
John C. Munson and
Taghi M. Kohshgoftaar Measurement of Data Structure Complexity 217--225
Carl Seddio Integrating Test Metrics within a
Software Engineering Measurement Program
at Eastman Kodak Company: a Follow-up
Case Study . . . . . . . . . . . . . . . 227--235
Adam A. Porter Using Measurement-Driven Modeling to
Provide Empirical Feedback to Software
Developers . . . . . . . . . . . . . . . 237--243
Larry J. Morell and
Jeffrey M. Voas A Framework for Defining Semantic
Metrics . . . . . . . . . . . . . . . . 245--251
Larry Morell and
Branson Murrill Semantic Metrics through Error Flow
Analysis . . . . . . . . . . . . . . . . 253--265
Richard W. Selby Interconnectivity Analysis Techniques
for Error Localization in Large Systems 267--272
Germinal Boloix and
Paul G. Sorenson and
J. Paul Tremblay Software Metrics Using a Metasystem
Approach to Software Specification . . . 273--294
A. Jefferson Offutt and
Mary Jean Harrold and
Priyadarshan Kolte A Software Metric System for Module
Coupling . . . . . . . . . . . . . . . . 295--308
Anonymous Guest Editor's introduction . . . . . . i--iii
Robert L. Glass Editor's corner: Can English majors
write maintenance documentation? . . . . 1--2
Antero Taivalsaari On the Notion of Object . . . . . . . . 3--16
D. B. B. Rijsenbrij and
A. H. Bauer Project Diagnosis: a Proper Start Is
Half the Battle . . . . . . . . . . . . 17--25
Shang Rong Tsai and
Lian-Jou Tsai A Logical Machine Monitor Supporting an
Environment for Development and
Execution of Operating Systems . . . . . 27--39
Kam-Fai Wong Design Considerations of a Parallel
Recovery Scheme for the EDS Data Base
Server . . . . . . . . . . . . . . . . . 41--48
Harvey Rubinovitz and
Bhavani Thuraisingham Design and Implementation of a Query
Processor for a Trusted Distributed Data
Base Management System . . . . . . . . . 49--69
Samir M. Koriem and
L. M. Patnaik Fault-Tolerance Analysis of Hypercube
Systems Using Petri Net Theory . . . . . 71--88
Zoubir Belmesk An Efficient Implementation Model for
the FP2 Parallel Language . . . . . . . 89--101
Mitchell L. Neilsen and
Masaaki Mizuno A Quorum-Based Algorithm for
Parameterized Semaphore Operations . . . 103--112
Robert L. Glass Editor's Corner: Of Understanding,
Acceptance, \ldots and Formal Methods 115--116
Bruce I. Blum The Economics of Adaptive Design . . . . 117--128
Ulrich Furbach Formal Specification Methods for
Reactive Systems . . . . . . . . . . . . 129--139
Shaoying Liu A Formal Requirements Specification
Method Based on Data Flow Analysis . . . 141--149
J. Song A layout tool for Glotos . . . . . . . . 151--162
A. von Mayrhauser and
Deepak Dube Simple and Fast Approximations for
Generalized Stochastic Petri Nets . . . 163--177
Heeseok Lee A Structured Methodology for Software
Development Effort Prediction Using the
Analytic Hierarchy Process . . . . . . . 179--186
Girish H. Subramanian and
Steven Breslawski Dimensionality Reduction in Software
Development Effort Estimation . . . . . 187--196
James M. Bieman and
Pradip K. Srimani Editor's Corner: Applying Specification,
Verification, and Validation Techniques 199--200
William S. Lloyd and
Phil Kearns Tracing the Execution of Distributed
Programs . . . . . . . . . . . . . . . . 201--214
Lynn M. Foreman and
Stuart H. Zweben A Study of the Effectiveness of Control
and Data Flow Testing Strategies . . . . 215--228
P. Dauchy and
M.-C. Gaudel and
B. Marre Using Algebraic Specifications in
Software Testing: a Case Study on the
Software of an Automatic Subway . . . . 229--244
Martin Reck Formally Specifying an Automated Trade
Execution System . . . . . . . . . . . . 245--252
David C. Luckham and
James Vera and
Doug Bryan and
Larry Augustin and
Frank Belz Partial Orderings of Event Sets and
Their Application to Prototyping
Concurrent, Timed Systems . . . . . . . 253--265
Paulo Borba and
Silvio Meira From VDM Specifications to Functional
Prototypes . . . . . . . . . . . . . . . 267--278
Peter Fenelon and
John A. McDermid An Integrated Tool Set for Software
Safety Analysis . . . . . . . . . . . . 279--290
Padmanabhan Krishnan Specification of Systems with Interrupts 291--304
Yukuh Tung and
Amir A. Khwaja and
Joseph E. Urban Multiple Views of an Executable Software
Specification Language . . . . . . . . . 305--319
Anonymous Editor's corner: Applying specification,
verification, and validation techniques i--iii
Robert L. Glass Error Detection: Which is Better,
Reviews or Testing? . . . . . . . . . . 1--2
Muruganandan Kumar and
Johnny Wong Transaction Management in Design
Databases . . . . . . . . . . . . . . . 3--15
Moshe Zviran A Comprehensive Methodology for Computer
Family Selection . . . . . . . . . . . . 17--26
Mariano G. Fernandez and
Sumit Ghosh Ddbx-LPP: a Dynamic Software Tool for
Debugging Asynchronous Distributed
Algorithms on Loosely Coupled Parallel
Processors . . . . . . . . . . . . . . . 27--43
M. Zaki and
M. Y. El-Nahas and
H. A. Allam DPDP: An Interactive Debugger for
Parallel and Distributed Processing . . 45--61
Wanlei Zhou The Design and Implementation of a
Distributed Program Monitor . . . . . . 63--77
Robert L. Glass Editor's corner: The gold we've failed
to mine . . . . . . . . . . . . . . . . 79--80
Danny C. C. Poo Implementing an Evolutionary Structural
Software Model . . . . . . . . . . . . . 81--90
K. W. Ng A Visual Object-Oriented Concurrent LISP
Multiparadigm Environment . . . . . . . 91--106
S. M. Tang and
L. R. Chow Using Rank Hashing Function to Develop a
Data Allocating Scheme for a Two-Disk
System . . . . . . . . . . . . . . . . . 107--115
James D. Arthur and
Richard E. Nance and
Osman Balci Establishing Software Development
Process Control: Technical Objectives,
Operational Requirements, and the
Foundational Framework . . . . . . . . . 117--128
Gavin R. Finnie and
Gerhard E. Wittig and
Doncho I. Petkov Prioritizing Software Development
Productivity Factors Using the Analytic
Hierarchy Process . . . . . . . . . . . 129--139
Norman Fenton How Effective Are Software Engineering
Methods? . . . . . . . . . . . . . . . . 141--146
Anonymous Call for papers . . . . . . . . . . . . 147--148
Robert L. Glass Editor's corner: in defense of adhocracy 149--150
Tarek K. Abdel-Hamid A Multiproject Perspective of
Single-Project Dynamics . . . . . . . . 151--165
Allan M. Stavely An Empirical Study of Iteration in
Applications Software . . . . . . . . . 167--177
W. David Hurley A Method for Predicting the Impact of
User Interface Design on Software Design 179--190
Anna Ha\'c A Distributed Algorithm for Managing
Resources in a Hierarchical Network . . 191--206
Daniel K. Chang A string pattern---matching algorithm 207--216
Tzvi Raz and
Alan Yaung Process Clustering with an Algorithm
Based on a Coupling Metric . . . . . . . 217--223
Anonymous Call for papers . . . . . . . . . . . . 225--225
Anonymous Editor's corner: In defense of adhocracy i--ii
Robert L. Glass Editor's Corner: Software Estimation is
Not a Rational Process . . . . . . . . . 1--2
Girish H. Subramanian An Empirical Examination of Software
Development Modes . . . . . . . . . . . 3--7
M. K. Zand and
H. Saiedian and
K. M. George and
M. H. Samadzadeh An Interconnection Language for Reuse at
the Template/Module Level . . . . . . . 9--26
P. C. Masiero and
C. A. A. Meira Development and Instantiation of a
Generic Application Generator . . . . . 27--37
R. Nigel Horspool and
Michael R. Levy Translator-Based Multiparadigm
Programming . . . . . . . . . . . . . . 39--49
Jenn-Jong Yee and
Chung-Kwong Yuen Transputer-Based Emulation of a
Data-Driven LISP Machine: BIDDLE . . . . 51--63
U. Bianchi and
P. Degano and
S. Mannucci and
S. Martini and
B. Mojana and
C. Priami and
E. Salvatori Generating the Analytic Component Parts
of Syntax-Directed Editors with
Efficient Error Recovery . . . . . . . . 65--79
Donald Gotterbarn Guest Editor's corner: Object-oriented
software development: a full life cycle 83--84
James C. McKim, Jr. and
David A. Mondou Class interface design: Designing for
correctness . . . . . . . . . . . . . . 85--94
Allen S. Parrish and
Richard B. Borie and
David W. Cordes Automated Flow Graph-Based Testing of
Object-Oriented Software Modules . . . . 95--109
Wei Li and
Sallie Henry Object-Oriented Metrics that Predict
Maintainability . . . . . . . . . . . . 111--122
J. M. Edwards and
B. Henderson-Sellers Application of an Object-Oriented
Analysis and Design Methodology to
Engineering Cost Management . . . . . . 123--138
Hossein Saiedian and
Stan Wileman A Concurrent Object-Oriented Framework
for Simulation of Network Protocols . . 139--150
W. Wessale and
D. Reifer and
D. Weller Large Project Experiences with
Object-Oriented Methods and Reuse . . . 151--161
Mike Stark Impacts of Object-Oriented Technologies:
Seven Years of Software Engineering . . 163--169
Dennis L. Brandl and
James H. Worley An Implemented Object Model of the
Software Engineering Process . . . . . . 171--181
Won Kim and
Yongmoo Suh and
Andrew B. Whinston An IBIS and Object-Oriented Approach to
Scientific Research Data Management . . 183--197
Jean Scholtz and
Shyam Chidamber and
Robert Glass and
Al Goerner and
Mary Beth Rosson and
Mike Stark and
Iris Vessey Object-Oriented Programming: The Promise
and the Reality . . . . . . . . . . . . 199--204
Robert L. Glass Editor's corner: Which do you think?
Modern methods will lead to less
software maintenance, or more? . . . . . 209--210
D. B. B. Rijsenbrij and
A. H. Bauer A Quality System for a Software House 211--224
Ahmed Ferchichi Heuristics for Constructing Logic
Programs . . . . . . . . . . . . . . . . 225--233
A. von Mayrhauser and
K. Archie and
N. Weber Incremental Parsing for Software
Maintenance Tools . . . . . . . . . . . 235--243
Ronald E. Nusenoff and
Dennis C. Bunde A Guidebook and a Spreadsheet Tool for a
Corporate Metrics Program . . . . . . . 245--255
Chi-Ming Chiang and
Matt W. Mutka Characteristics of User File-Usage
Patterns . . . . . . . . . . . . . . . . 257--268
Arun Lakhotia Understanding Someone Else's Code:
Analysis of Experiences . . . . . . . . 269--275
Anonymous Author index . . . . . . . . . . . . . . 276--276
Anonymous Subject index . . . . . . . . . . . . . 277--278
Robert L. Glass Editor's corner: User satisfaction . . . 1--2
Wanlei Zhou A Rapid Prototyping System for
Distributed Information System
Applications . . . . . . . . . . . . . . 3--29
Jen-Yen Chen and
Yu-Shiang Hung An Integrated Object-Oriented Analysis
and Design Method Emphasizing
Entity/Class Relationship and Operation
Finding . . . . . . . . . . . . . . . . 31--47
Anna Ha\'c Distributed Multicasting Algorithm with
Congestion Control and Message Routing 49--65
Paul Quintas Controversy Corner: Software engineering
policy and practice: Lessons from the
Alvey Program . . . . . . . . . . . . . 67--88
Robert L. Glass Editor's corner: Object-orientation:
Theory and Practice (II) . . . . . . . . 91--93
Oscar Barros Object-oriented case-supported
development of information systems . . . 95--113
Pinaki Shah and
Johnny Wong Transaction Management in an
Object-Oriented Database System . . . . 115--124
Jen-Yen Chen and
Yao-Ting Tim Chen A new object-oriented method integrating
Jackson structured programming method 125--137
Feng-Yang Kuo A methodology for deriving an
entity-relationship model based on a
data flow diagram . . . . . . . . . . . 139--154
Jorng-Tzong Horng and
Baw-Jhiune Liu Some aspects of operations in an
object-oriented data base based on
graphs . . . . . . . . . . . . . . . . . 155--179
Vaclav Rajlich Decomposition/generalization methodology
for object-oriented programming . . . . 181--186
Susan Darling Urban and
Chiung-hsun Chen Lai and
Sanjay Saxena The design and translation of ORL: an
object retrieval language . . . . . . . 187--206
Warren Harrison Guest Editor's introduction . . . . . . 209--209
Taghi M. Khoshgoftaar and
John C. Munson and
David L. Lanning Alternative Approaches for the Use of
Metrics to Order Programs by Complexity 211--221
Curtis R. Cook and
Andreas Roesch and
C. W. Vowell Real-Time Software Metrics . . . . . . . 223--237
George E. Stark and
Louise C. Kern and
C. W. Vowell A Software Metric Set for Program
Maintenance Management . . . . . . . . . 239--249
Paul Oman and
Jack Hagemeister Construction and Testing of Polynomials
Predicting Software Maintainability . . 251--266
Abdelhaleem Ashqar and
Brian J. Reithel and
Milam W. Aiken and
Ashraf Shirani Use of a Group Support System to
Evaluate Management Information System
Effectiveness . . . . . . . . . . . . . 267--275
H. Joel Jeffrey and
Anthony O. Putman Relationship Definition and Management:
Tools for Requirements Analysis . . . . 277--294
Anonymous Guest Editor's introduction . . . . . . i--ii
Pham Hoang Guest Editor's corner: Fault tolerance
in real-time systems . . . . . . . . . . 1--2
Yu Lo Cyrus Chang and
Leslie C. Lander An Inference Design for Fault Location
in Real-Time Control Systems . . . . . . 3--21
Angelo Perkusich and
J. C. A. de Figueiredo and
S. K. Chang Embedding Fault-Tolerant Properties in
the Design of Complex Software Systems 23--37
Kassem Saleh and
Imtiaz Ahmad and
Khaled Al-Saqabi and
Anjali Agarwal An Efficient Recovery Procedure for
Fault Tolerance in Distributed Systems 39--50
A. E. K. Sahraoui Some Timing Aspects of Software
Development for Reactive Systems: The
Two-Axis Paradigm . . . . . . . . . . . 51--57
Deng Yong and
E. K. Park Checkpointing and Rollback-Recovery
Algorithms in Distributed Systems . . . 59--71
Alex Orailo\uglu and
Ramesh Karri Synthesis of Fault-Tolerant and
Real-Time Microarchitectures . . . . . . 73--84
Yinong Chen and
Winfried Görke Structure-Oriented Dependability
Evaluation of Fault-Tolerant Protocols 85--99
W. J. Zhuang and
M. Xie Design and Analysis of Some
Fault-Tolerance Configurations Based on
a Multipath Principle . . . . . . . . . 101--108
Joanne Bechta Dugan and
Randy Van Buren Reliability Evaluation of Fly-by-Wire
Computer Systems . . . . . . . . . . . . 109--120
Robert L. Glass Editor's corner: Theory + practice: a
disturbing example . . . . . . . . . . . 125--126
Hassan Gomaa Software Design Methods for the Design
of Large-Scale Real-Time Systems . . . . 127--146
Hafedh Mili and
Roy Radai and
Wang Weigang and
Karl Strickland and
Cornelia Boldyreff and
Lene Olsen and
Jan Witt and
Jurgen Heger and
Wolfgang Scherr and
Peter Elzer Practitioner and SoftClass: a
Comparative Study of Two Software Reuse
Research Projects . . . . . . . . . . . 147--170
Alain Abran and
Pierre N. Robillard Function Points: a Study of Their
Measurement Processes and Scale
Transformations . . . . . . . . . . . . 171--184
H. B. Zhou and
L. Richter Very Fast Distributed Spreadsheet
Computing . . . . . . . . . . . . . . . 185--192
Daniel T. Joyce Experience with a Fourth-Generation
Language System for Software
Development: An Educator's Perspective 193--200
J. Steve Davis and
J. J. Kanet Developing an Application-Specific
Interactive System Based on a
Spreadsheet Package . . . . . . . . . . 201--206
Harold Thimbleby Controversy corner: an organizational
solution to piracy and viruses . . . . . 207--215
Robert L. Glass Editor's corner: a tabulation of topics
where software practice leads software
theory . . . . . . . . . . . . . . . . . 219--222
Peter Fritzson and
Mikhail Auguston and
Nahid Shahmehri Using Assertions in Declarative and
Operational Models for Automated
Debugging . . . . . . . . . . . . . . . 223--239
Deborah Hix and
H. Rex Hartson and
Antonio C. Siochi and
David Ruppert Customer Responsibility for Ensuring
Usability: Requirements on the User
Interface Development Process . . . . . 241--255
Susan A. Sherer Measuring Software Failure Risk:
Methodology and an Example . . . . . . . 257--269
McCagie Brooks Rogers The MYTHSEEKER project: Concepts and
realization . . . . . . . . . . . . . . 271--298
Anonymous Editor's corner: a tabulation of topics
where software practice leads software
theory . . . . . . . . . . . . . . . . . i--ii
Antonia Bertolino Guest Editor's corner: Achieving quality
in software . . . . . . . . . . . . . . 1--3
Motoei Azuma and
David Mole Software Management Practice and Metrics
in the European Community and Japan:
Some Results of a Survey . . . . . . . . 5--18
M. Raffa and
G. Zollo The Role of Professionals in Small
Italian Software Firms . . . . . . . . . 19--30
Tsuneo Furuyama and
Yoshio Arai and
Kazuhiko Iio Fault Generation Model and Mental Stress
Effect Analysis . . . . . . . . . . . . 31--42
Christophe Debou and
Jaroslav Lipták and
Herbert Schippers Decision Making for Software Process
Improvement: a Quantitative Approach . . 43--52
Alfonso Fuggetta and
Carlo Ghezzi State of the Art and Open Issues in
Process-Centered Software Engineering
Environments . . . . . . . . . . . . . . 53--60
Michael Halliday and
Inderpal Bhandari and
Jarir Chaar and
Ram Chillarege Experiences in Transferring a Software
Process Improvement Methodology to
Production Laboratories . . . . . . . . 61--68
Tor Stålhane and
Kari J. Wedde The Quest for Reliability: a Case Study 69--76
William M. Evanco and
Robert Lacovara A Model-Based Framework for the
Integration of Software Metrics . . . . 77--86
Fernando Brito e Abreu and
Rogério Carapuça Candidate Metrics for Object-Oriented
Software within a Taxonomy Framework . . 87--96
Robert L. Glass Editor's corner: The faking of software
design . . . . . . . . . . . . . . . . . 101--102
Lon D. Gowen and
James S. Collofello Assessing Traditional Verification's
Effectiveness on Safety-Critical
Software Systems . . . . . . . . . . . . 103--115
J. Wu and
Y. Wang and
E. B. Fernandez A Uniform Approach to Software and
Hardware Fault Tolerance . . . . . . . . 117--127
Ryan Stansifer and
Mike Beaven and
Dan C. Marinescu Modeling Concurrent Programs with
Colored Petri Nets . . . . . . . . . . . 129--148
Gang-Soo Lee and
Tadao Murata A $ \beta $-Distributed Stochastic Petri
Net Model for Software Project Time/Cost
Management . . . . . . . . . . . . . . . 149--165
Anna Ha\'c and
Raghavendra Rao Loka A Distributed Load-Building Algorithm
for Parallel Compilation of Files in a
Software Application . . . . . . . . . . 167--177
Naomi S. DeMent and
Pradip K. Srimani A New Algorithm for $k$ Mutual
Exclusions in Distributed Systems . . . 179--191
Robert L. Glass Editor's corner: Discipline and
creativity: An odd couple . . . . . . . 195--195
M. Shepperd and
D. C. Ince A Critique of Three Metrics . . . . . . 197--210
Linda S. Rising and
Frank W. Calliss An information-hiding metric . . . . . . 211--220
George Triantafyllos and
Stamatis Vassiladis and
Walid Kobrosly Software metrics for the microcode of
computer systems . . . . . . . . . . . . 221--232
Doris L. Carver Integrated modeling of distributed
object-oriented systems . . . . . . . . 233--244
Yu-Hur Chou and
Cheng-Hsien Tung and
Reda Ammar Guidelines for choosing self-scheduling
orders on multiprocessors . . . . . . . 245--255
Valmir C. Barbosa and
Lúcia Maria de A. Drummond and
Astrid Luise H. Hellmuth From distributed algorithms to OCCAM
programs by successive refinements . . . 257--272
A. Pombortsis and
I. Vlahavas A contribution to the problem of
avoiding congestion in multistage
networks in the presence of unbalanced
traffic . . . . . . . . . . . . . . . . 273--284
Helen D. Karatza Simulation study of a system with two
processors linked in tandem . . . . . . 285--292
Anonymous Editor's corner: discipline and
creativity: an odd couple . . . . . . . i--ii
Robert L. Glass Editor's corner: Discipline is a dirty
word: a story about the software life
cycle . . . . . . . . . . . . . . . . . 1--2
Y. Miyazaki and
M. Terakado and
K. Ozaki and
H. Nozaki Robust Regression for Developing
Software Estimation Models . . . . . . . 3--16
Jen-Yen Chen and
Chia-Ming Tu An Ada-like Software Process Language 17--25
P. David Stotts and
William Pugh Parallel Finite Automata for Modeling
Concurrent Software Systems . . . . . . 27--43
Chin-Chen Chang and
Shin-Jia Hwang and
Daniel J. Buehrer New Concepts for Multiple Stack System:
Born and Reborn . . . . . . . . . . . . 45--54
Hoang Pham On the Optimal Design of $N$-Version
Software System Subject to Constraints 55--61
Robert L. Glass Assessment of systems and software
engineering scholars and institutions 63--67
Anonymous Biographies . . . . . . . . . . . . . . 69--70
Robert L. Glass Editor's corner: My readers write: Some
thoughts on formal methods . . . . . . . 71--72
M. Portman and
H. S. M. Zedan The Development of Imprecise Real-Time
Systems . . . . . . . . . . . . . . . . 73--83
Waqar Hague and
Johnny Wong Distributed Real-Time Nested
Transactions . . . . . . . . . . . . . . 85--95
Carlo Ghezzi and
Sandro Morasca and
Mauro Pezz\`e Validating Timing Requirements for Time
Basic Net Specifications . . . . . . . . 97--117
Mohamed Bettaz and
Mourad Maouche and
Moussa Soualmi and
Madani Boukebeche On Reusing ATNet Modules in Protocol
Specification . . . . . . . . . . . . . 119--128
Wuu Yang How to Merge Program Texts . . . . . . . 129--135
S. Mansoor Sarwar and
James A. Davis New Families of Combinators for
Efficient List Manipulation . . . . . . 137--146
Paul R. Wilson and
Sheetal V. Kakkad and
Shubhendu S. Mukherjee Anomalies and Adaptation in the Analysis
and Development of Prepaging Policies 147--153
Christof Ebert Controversy Revisited . . . . . . . . . 154--154
Anonymous Biographies . . . . . . . . . . . . . . 155--156
Keith Humenik and
Yelena Yesha Guest Editors' corner . . . . . . . . . 157--158
Kia Makki and
Niki Pissinou A new storage organization for temporal
data bases . . . . . . . . . . . . . . . 159--169
Claudia Bauzer Medeiros and
Márcia Jacobina Andrade Implementing integrity control in active
data bases . . . . . . . . . . . . . . . 171--181
Lin Padgham and
Jonas Löwgren A user interface management approach for
object-oriented data base applications 183--193
Niki Pissinou and
Kia Makki A coherent architecture for a temporal
object data base management system . . . 195--205
Aarthi Prasad and
E. K. Park Reuse system: an artificial
intelligence---based approach . . . . . 207--221
Michael Siegel and
Stuart Madnick and
Edward Sciore Context interchange in a client-server
architecture . . . . . . . . . . . . . . 223--232
C. A. van den Berg and
M. L. Kersten Analysis of a dynamic query optimization
technique for multijoin queries . . . . 233--241
Susan V. Vrbsky and
Jane W. S. Liu Producing approximate answers to set-
and single-valued queries . . . . . . . 243--251
Anonymous Author index . . . . . . . . . . . . . . 253--254
Anonymous Subject index . . . . . . . . . . . . . 255--256
Anonymous Guest Editors' corner . . . . . . . . . i--ii
Robert L. Glass Turning the corner\ldots to the same old
street: a fundamental nonchange in JSS
policy . . . . . . . . . . . . . . . . . 1--2
Robert L. Glass Structure-based critique of contemporary
computing research . . . . . . . . . . . 3--7
Walter F. Tichy and
Paul Lukowicz and
Lutz Prechelt and
Ernst A. Heinz Experimental Evaluation in Computer
Science: a Quantitative Study . . . . . 9--18
Richard T. Turley and
James M. Bieman Competencies of Exceptional and
Nonexceptional Software Engineers . . . 19--38
Deborah B. Tesch and
Gary Klein and
Marion G. Sobol Information System Professionals'
Attitudes: Development Tools and
Concepts . . . . . . . . . . . . . . . . 39--47
Sadahiro Isoda and
Shuichiro Yamamoto and
Hiroaki Kuroki and
Atsuko Oka Evaluation and Introduction of the
Structured Methodology and a CASE Tool 49--58
Jock A. Rader and
Alan W. Brown and
Ed J. Morris Operational Use of CASE Integration: An
Investigation of the State of the
Practice . . . . . . . . . . . . . . . . 59--68
Kenji Takahashi and
Atsuko Oka and
Shuichiro Yamamoto and
Sadahiro Isoda A Comparative Study of Structured and
Text-Oriented Analysis and Design
Methodologies . . . . . . . . . . . . . 69--75
Shaoying Liu and
Victoria Stavridou and
Bruno Dutertre The Practice of Formal Methods in
Safety-Critical Systems . . . . . . . . 77--87
Michael Heim Controversy revisited: The Mythseeker
Project . . . . . . . . . . . . . . . . 89--89
Robert L. Glass Editor's corner: a close escape from
greatness . . . . . . . . . . . . . . . 93--95
Stephen Hayne and
Sudha Ram Group data base design: Addressing the
view modeling problem . . . . . . . . . 97--116
A. Cimitile and
G. Visaggio Software salvaging and the call
dominance tree . . . . . . . . . . . . . 117--127
George Triantafyllos and
Stamatis Vassiliadis and
Walid Kobrosly On the prediction of computer
implementation faults via static error
prediction models . . . . . . . . . . . 129--142
R. Lai On using PROMPT for the automatic
implementation of the ISO ACSE protocol 143--155
S. M. Tang and
R. Chow Louis The Study of Letter-Oriented Hashing
Schemes . . . . . . . . . . . . . . . . 157--167
Joel Henry and
Allan Rossman and
John Snyder Quantitative evaluation of software
process improvement . . . . . . . . . . 169--177
Daniel M. Berry The importance of ignorance in
requirements engineering . . . . . . . . 179--184
Robert L. Glass Editor's corner: a theory about
software's practice . . . . . . . . . . 187--188
Hassan Gomaa Reusable Software Requirements and
Architectures for Families of Systems 189--202
Susan D. Urban and
Anne M. Wang The Design of a Constraint/Rule Language
for an Object-Oriented Data Model . . . 203--224
Bo I. Sanden Designing Control Systems with
Entity-Life Modeling . . . . . . . . . . 225--237
Ming Fang and
Hussein S. M. Zedan and
Chris J. Ho-Stuart A Model for Timed-Probabilistic
Behaviors . . . . . . . . . . . . . . . 239--251
Ching-Hua Edward Chow Resource Allocation for Multiparty
Connections . . . . . . . . . . . . . . 253--266
Priyamvadha Thambu and
Johnny Wong An Efficient Token-Based Mutual
Exclusion Algorithm in a Distributed
System . . . . . . . . . . . . . . . . . 267--276
Warren Harrison Guest Editor's Corner . . . . . . . . . 1--1
Don Coleman and
Bruce Lowther and
Paul Oman The Application of Software
Maintainability Models in Industrial
Software Systems . . . . . . . . . . . . 3--16
Renato R. Gonzalez A Unified Metric of Software:
Complexity: Measuring Productivity,
Quality, and Value . . . . . . . . . . . 17--37
Rita J. Costello and
Dar-Biau Liu Metrics for Requirements Engineering . . 39--63
Harpal Dhama Quantitative Models of Cohesion and
Coupling in Software . . . . . . . . . . 65--74
William M. Evanco Modeling the Effort to Correct Faults 75--84
Taghi M. Khoshgoftaar and
David L. Lanning A Neural Network Approach for Early
Detection of Program Modules Having High
Risk in the Maintenance Phase . . . . . 85--91
Bengt Lennartsson Readers' corner . . . . . . . . . . . . 92--92
Robert L. Glass Editor's Corner: Beyond Formal Methods 95--96
Susan A. Sherer Software Fault Prediction . . . . . . . 97--105
Giulio Iannello and
Antonino Mazzeo and
Nicola Mazzocca Performance Analysis of Distributed
Memory Computers with Parallel Node
Architecture . . . . . . . . . . . . . . 107--120
Johnny Wong and
Priyamvadha Thambu and
Rick Stoen A Fault-Tolerant Algorithm for Mutual
Exclusion in a Distributed System . . . 121--134
Matt W. Mutka and
Jong-Pyng Li A Tool for Allocating Periodic Real-Time
Tasks to a Set of Processors . . . . . . 135--148
Larry Brown and
Jie Wu Snooping Fault-Tolerant Distributed
Shared Memories . . . . . . . . . . . . 149--165
Shaoying Liu Internal Consistency of FRSM
Specifications . . . . . . . . . . . . . 167--175
Hsiao-Hsi Wang and
Pei-Ku Lu and
Ruei-Chuan Chang An Implementation of an External Pager
Interface on BSD UNIX . . . . . . . . . 177--189
Daniel P. Harris Controversy Corner: Who Really Owns
``Your'' Software Programs? . . . . . . 191--193
Anonymous Biographies . . . . . . . . . . . . . . 195--196
Robert Plant Guest Editor's corner: special issue on
software quality in knowledge-based
systems . . . . . . . . . . . . . . . . 197--198
Kirstie L. Bellman and
Christopher Landauer Designing Testable, Heterogeneous
Software Environments . . . . . . . . . 199--217
Alun D. Preece Toward a Quality Assessment Framework
for Knowledge-Based Systems . . . . . . 219--234
Mala Mehrotra and
Chris Wild Analyzing Knowledge-Based Systems with
Multiviewpoint Clustering Analysis . . . 235--249
S. Murrell and
R. Plant Formal Semantics for Rule-Based Systems 251--259
Nils A. Kandelin and
Daniel E. O'Leary Verification of Object-Oriented Systems:
Domain-Dependent and Domain-Independent
Approaches . . . . . . . . . . . . . . . 261--269
Anonymous Biographies . . . . . . . . . . . . . . 271--272
R. D. Semmel and
M. Wilson Guest Editors' corner: Reengineering
complex systems . . . . . . . . . . . . 1--2
Andrew P. Sage Systems Engineering and Systems
Management for Reengineering . . . . . . 3--25
John R. Leary An Architectural Basis for Evolving
Software Systems . . . . . . . . . . . . 27--43
Lonnie R. Welch and
Antonio L. Samuel and
Michael W. Masters and
Robert D. Harrison and
Mark Wilson and
Joe Caruso Reengineering computer-based systems for
enhanced concurrency and layering . . . 45--70
Judith D. Ahrens and
Noah Prywes and
Evan Lock Software Process Reengineering: Toward a
New Generation of CASE Technology . . . 71--84
Jane W. S. Liu and
Rhan Ha Methods for Validating Real-Time
Constraints . . . . . . . . . . . . . . 85--98
William G. Griswold and
Darren C. Atkinson Managing Design Trade-Offs for a Program
Understanding and Transformation Tool 99--116
Daniel E. Wilkening and
Joseph P. Loyall and
Marc J. Pitarys and
Kenneth Littlejohn A Reuse Approach to Software
Reengineering . . . . . . . . . . . . . 117--125
R. D. Semmel and
R. P. Winkler Integrating Reengineered Databases to
Support Data Fusion . . . . . . . . . . 127--135
Stephen R. Mackey and
Lynn M. Meredith Software Migration and Reengineering: a
Pilot Project in Reengineering . . . . . 137--150
Alan M. Davis Object-oriented requirements to
object-oriented design: an easy
transition? . . . . . . . . . . . . . . 151--159
Robert L. Glass Readers' corner: an exchange with an
anonymous reader, and a call for help
from either researchers or librarians 160--160
Peter Fletcher Readers' corner: The role of experiments
in computer science . . . . . . . . . . 161--163
Anonymous Biographies . . . . . . . . . . . . . . 164--166
Mansour Zand and
Mansur Samadzadeh Guest Editors' corner: Software reuse:
Current status and trends . . . . . . . 167--170
Sadahiro Isoda Experiences of a Software Reuse Project 171--186
Jeffrey S. Poulin Populating Software Repositories:
Incentives and Domain-Specific Software 187--199
Guttorm Sindre and
Reidar Conradi and
Even-Andre Karlsson The REBOOT Approach to Software Reuse 201--212
Martin L. Griss and
Kevin D. Wentzel Hybrid domain-specific kits . . . . . . 213--230
Scott Henninger Information Access Tools for Software
Reuse . . . . . . . . . . . . . . . . . 231--247
M. R. Girardi and
B. Ibrahim Using English to Retrieve Software . . . 249--270
James M. Bieman and
Santhi Karunanithi Measurement of language-supported reuse
in object-oriented and object-based
software . . . . . . . . . . . . . . . . 271--293
William B. Frakes and
Christopher J. Fox Modeling Reuse across the Software Life
Cycle . . . . . . . . . . . . . . . . . 295--301
Anonymous Biographies . . . . . . . . . . . . . . 303--304
Anonymous Guest Editors' corner: Software reuse:
Current status and trends . . . . . . . i--ii
Robert L. Glass Editor's corner: In search of an obvious
yet radical idea . . . . . . . . . . . . 1--2
Robert L. Glass Editor's corner: An assessment of
systems and software engineering
scholars and institutions, 1993 and 1994 3--6
Bassel R. Arafeh A Graph Grammar Model for Concurrent and
Distributed Software
Specification-in-Large . . . . . . . . . 7--32
David C. Kung An Executable Visual Formalism for
Object-Oriented Conceptual Modeling . . 33--43
D. N. J. Mostert and
S. H. von Solms A Technique to Include Computer
Security, Safety, and Resilience
Requirements as Part of the Requirements
Specification . . . . . . . . . . . . . 45--53
Nahid Shahmehri and
Mariam Kamkar and
Peter Fritzson Usability Criteria for Automated
Debugging Systems . . . . . . . . . . . 55--70
Vernon V. Chatman, III CHANGE-POINTs: a Proposal for Software
Productivity Measurement . . . . . . . . 71--91
Anonymous Biographies . . . . . . . . . . . . . . 93--93
Robert L. Glass Editor's corner: Plenty of pitfalls:
There are numbers and then there are
numbers . . . . . . . . . . . . . . . . 95--96
Özgür Ulusoy A Study of Two Transaction Processing
Architectures for Distributed Real-Time
Database Systems . . . . . . . . . . . . 97--108
Lorraine M. Duvall A Study of Software Management: The
State of the Practice in the United
States and Japan . . . . . . . . . . . . 109--124
Albert L. Lederer and
Jayesh Prasad Causes of Inaccurate Software
Development Cost Estimates . . . . . . . 125--134
Girish H. Subramanian and
Steven Breslawski An Empirical Analysis of Software Effort
Estimate Alterations . . . . . . . . . . 135--141
Shari Lawrence Pfleeger Maturity, Models and Goals: How to Build
a Metrics Plan . . . . . . . . . . . . . 143--155
Jonathan M. Hops and
Joseph S. Sherif Development and Application of Composite
Complexity Models and a Relative
Complexity Metric in a Software
Maintenance Environment . . . . . . . . 157--169
William C. Hetzel The Sorry State of Software Practice
Measurement and Evaluation . . . . . . . 171--179
Anonymous Biographies . . . . . . . . . . . . . . 181--181
Robert L. Glass Software automation: Fact or fraud? . . 183--184
W. Eric Wong and
Aditya P. Mathur Reducing the cost of mutation testing:
an empirical study . . . . . . . . . . . 185--196
Mariam Kamkar An overview and comparative
classification of program slicing
techniques . . . . . . . . . . . . . . . 197--214
E. Joseph Derrick and
Osman Balci A visual simulation support environment
based on the Domino conceptual framework 215--237
F. E. Eassa and
L. J. Osterweil and
M. Z. Abdel Mageed AIDA: a dynamic analyzer for Ada
programs . . . . . . . . . . . . . . . . 239--255
Min-Shiang Hwang and
Wei-Pang Yang A two-phase encryption scheme for
enhancing database security . . . . . . 257--265
Kwok-Yan Lam and
Lucas Hui and
Siu-Leung Chung Multivariate data analysis software for
enhancing system security . . . . . . . 267--275
Anonymous Author index . . . . . . . . . . . . . . 277--278
Anonymous Subject index . . . . . . . . . . . . . 279--280
Robert L. Glass Editor's corner: What has happened to
the 1995 ``Nonchange'' in JSS . . . . . 1--2
James R. Warren and
A. F. Norcio and
Jack W. Stott and
G. C. Canfield Experimental Evaluation of a Simulation
Environment for Information Systems
Design . . . . . . . . . . . . . . . . . 3--20
David C. Kung and
Jerry Gao and
Pei Hsia and
Yasufumi Toyoshima and
Cris Chen On Regression Testing of Object-Oriented
Programs . . . . . . . . . . . . . . . . 21--40
Mohammad A. Ketabchi and
Kamyar J. Sadeghi Applying Object Technology to Software
Analysis and Maintenance System
Development . . . . . . . . . . . . . . 41--56
Hyunsik Shin and
Jinjoo Lee A Process Model of Application Software
Package Acquisition and Implementation 57--64
Christopher J. Lokan Early Size Prediction for C and Pascal
Programs . . . . . . . . . . . . . . . . 65--72
Alan C. Benander and
Barbara A. Benander and
Howard Pu Recursion vs. Iteration: An Empirical
Study of Comprehension . . . . . . . . . 73--82
Kevin L. Mills An Experimental Evaluation of
Specification Techniques for Improving
Functional Testing . . . . . . . . . . . 83--95
Anonymous Biographies . . . . . . . . . . . . . . 97--98
Robert L. Glass Editor's Corner: Formal methods: a
dramatic (success, failure) story . . . 99--100
Mark W. Maier Integrated Modeling: a Unified Approach
to System Engineering . . . . . . . . . 101--119
Shung-Ming Tang A New Data Organizing Algorithm for
Parallel Searching . . . . . . . . . . . 121--133
Jian Lu and
Zongming Fei Verification of HOS Software
Specification by a Hierarchical Software
Understanding Approach . . . . . . . . . 135--142
Jiang Zhu and
T. G. Lewis and
Lihua Zhao and
Weldon Jackson and
Russel L. Wilson HaRTS: Performance-based design of
distributed hard real-time software . . 143--156
H. Joel Jeffrey Addressing the Essential Difficulties of
Software Engineering . . . . . . . . . . 157--179
Anonymous Biographies . . . . . . . . . . . . . . 181--181
Robert L. Glass Editor's Corner: Study supports
existence of software crisis; Management
issues appear to be prime cause . . . . 183--184
Niclas Andersson and
Peter Fritzson Overview and Industrial Application of
Code Generator Generators . . . . . . . 185--214
Ce-Kuen Shieh and
Su-Cheong Mac and
Tzu-Chiang Chang and
Chung-Ming Lai An object-oriented approach to develop
software fault-tolerant mechanisms for
parallel programming systems . . . . . . 215--225
Lisa Spicknall Fruth and
James M. Purtilo and
Elizabeth L. White A pattern-based object-linking mechanism
for component-based software development
environments . . . . . . . . . . . . . . 227--235
Daniel J. Buehrer and
Yang-Wen Fan SL-trees: an indexing structure for
object-oriented data bases . . . . . . . 237--249
C. K. Yuen and
M. D. Feng and
J. J. Yee BaLinda Suite of Languages and
Implementations . . . . . . . . . . . . 251--267
Daniel Cooke and
Ann Gates and
Elif Demirors and
Onur Demirors and
Murat M. Tanik and
Bernd Kramer Languages for the Specification of
Software . . . . . . . . . . . . . . . . 269--308
Anonymous Biographies . . . . . . . . . . . . . . 309--310
Robert L. Glass Editor's corner: Object-orientation
claims: Naturalness, seamlessness seem
doubtful . . . . . . . . . . . . . . . . 1--2
Danny C. C. Poo and
Shwu-Yi Lee TarTAn: Interweaving Objects with Rules
in Information Systems Development . . . 3--14
Jahangir Karimi and
Craig Lee Carpenter A Partitioning Technique for Concurrent
Software Design . . . . . . . . . . . . 15--35
Lichen Zhang and
B. Chaib-draa A Design Methodology for Real-Time
Systems to be Implemented on
Multiprocessor Machines . . . . . . . . 37--56
Dong-Won Park and
Swaminathan Natarajan and
Arkady Kanevsky Fixed-priority scheduling of real-time
systems using utilization bounds . . . . 57--63
F. Alonso and
N. Juristo and
J. L. Maté and
J. Pazos Software Engineering and Knowledge
Engineering: Towards a Common Life Cycle 65--79
Ronald Gulezian Handling Regression Subsets in Software
Modeling . . . . . . . . . . . . . . . . 81--86
James Bradley Extended Relational Algebra for
Reduction of Natural Quantifier COOL
Expressions . . . . . . . . . . . . . . 87--100
Kwok-Yan Lam and
Lucas Hui and
Siu-Leung Chung A Data Reduction Method for Intrusion
Detection . . . . . . . . . . . . . . . 101--108
Anonymous Biographies . . . . . . . . . . . . . . 109--110
Jo\vze Zupan\vci\vc and
Stanis\law Wrycza and
Ali Mili Guest Editors' Corner . . . . . . . . . 111--112
Renate Motschnig-Pitrik Analyzing the Notions of Attribute,
Aggregate, Part and Member in
Data/Knowledge Modeling . . . . . . . . 113--122
Maria Luisa Damiani An Intelligent System for Complex Data
Exploration . . . . . . . . . . . . . . 123--132
Kristin Braa and
Tone Bratteteig and
Leikny Ògrim Organizing the Redesign Process in
System Development . . . . . . . . . . . 133--140
Kimmo Kinnunen and
Mauri Leppänen O/A Matrix and a Technique for
Methodology Engineering . . . . . . . . 141--152
Kees van Slooten and
Bram Schoonhoven Contingent Information Systems
Development . . . . . . . . . . . . . . 153--161
Tony Moynihan An Experimental Comparison of
Object-Orientation and
Functional-Decomposition as Paradigms
for Communicating System Functionality
to Users . . . . . . . . . . . . . . . . 163--169
Hubert Rumerstorfer and
Josef Altmann BOOM --- a First Step to an
Object-Oriented Fourth Generation System 171--177
I. T. Hawryszkiewycz and
L. A. Maciaszek and
J. R. Getta Coordination and Artifact Semantics in
Asynchronous Distributed Cooperation . . 179--188
Georgios I. Doukidis and
Panagiotis Lybereas and
Robert D. Galliers Information Systems Planning in Small
Business: a Stages of Growth Analysis 189--201
Anonymous Biographies . . . . . . . . . . . . . . 203--204
James M. Bieman and
Pradip K. Srimani Guest Editors' corner: Software
engineering for distributed computing 205--206
Naoshi Uchihira and
Shinichi Honiden Compositional Adjustment of Concurrent
Programs to Satisfy Temporal Logic
Constraints in MENDELS ZONE . . . . . . 207--221
Richard H. Carver Testing Abstract Distributed Programs
and Their Implementations: a
Constraint-Based Approach . . . . . . . 223--237
F. Guidec and
J.-M. Jézéquel and
J.-L. Pacherie An object-oriented framework for
supercomputing . . . . . . . . . . . . . 239--251
Jean-Paul Gaspoz Methodology for the Development of
Distributed Telecommunications Services 253--271
Ulrich Nitsche Verification and Behavior Abstraction
Towards a Tractable Verification
Technique for Large Distributed Systems 273--285
Özalp Babao\uglu and
Eddy Fromentin and
Michel Raynal A Unified Framework for the
Specification and Run-time Detection of
Dynamic Properties in Distributed
Computations . . . . . . . . . . . . . . 287--298
Mohamed Jmaiel Specification of Communication Protocols
Using Temporal Logic . . . . . . . . . . 299--312
Yosi Ben-Asher and
Gadi Haber On the Usage of Simulators to Detect
Inefficiency of Parallel Programs Caused
by ``Bad'' Schedulings: The SIMPARC
Approach . . . . . . . . . . . . . . . . 313--327
Anonymous Biographies . . . . . . . . . . . . . . 329--330
Anonymous Call for papers evaluation of reverse
engineering and reengineering
technologies . . . . . . . . . . . . . . 331--331
Robert L. Glass Editor's corner: About software
engineering hype . . . . . . . . . . . . 1--1
Hee Beng Kuan Tan and
Tok Wang Ling Components Reuse for Data-Intensive
Business Programs Through an
Object-Oriented Architecture . . . . . . 3--20
Swagato Basumallick and
Johnny S. K. Wong Design and Implementation of a
Distributed Database System . . . . . . 21--29
Marion G. Sobol and
Albert Kagan and
Hirohisa Shimura Performance Criteria for Relational
Databases in Different Normal Forms . . 31--42
P. Nesi and
M. Campanai Metric Framework for Object-Oriented
Real-Time Systems Specification
Languages . . . . . . . . . . . . . . . 43--65
Boumediene Belkhouche and
Bart J. Geraci A Formally Specified Prototyping System 67--81
Anonymous Biographies . . . . . . . . . . . . . . 83--84
Robert L. Glass Editor's corner: Computer support for
creativity . . . . . . . . . . . . . . . 85--87
Victor R. Basili and
Salwa K. Abd-El-Hafiz A Method for Documenting Code Components 89--104
Hafedh Mili On Behavioral Descriptions in
Object-Oriented Modeling . . . . . . . . 105--121
C. Samuel Hsieh and
Elizabeth A. Unger On the Control Structure of a Program
Slice . . . . . . . . . . . . . . . . . 123--126
O. Owolabi Dictionary Organizations for Efficient
Similarity Retrieval . . . . . . . . . . 127--132
Wanlei Zhou and
Brian Molinari A System for Managing Remote Procedure
Call Transactions . . . . . . . . . . . 133--149
Antonio M. Lopez, Jr. and
Bobby Junkin and
Lloyd McGregor Gross feature detection in remotely
sensed CAMS imagery using a
multi-paradigm software approach . . . . 151--159
Johnny S. K. Wong and
Soma Mitra A Nonblocking Timed Atomic Commit
Protocol for Distributed Real-Time
Database Systems . . . . . . . . . . . . 161--170
Anonymous Biographies . . . . . . . . . . . . . . 171--172
Robert L. Glass Editor's Corner: Mathematics and the
computer scientist . . . . . . . . . . . 173--176
Vairam Arunachalam and
William Sasso Cognitive Processes in Program
Comprehension: An Empirical Analysis in
the Context of Software Reengineering 177--189
Jahangir Karimi and
Peter L. Briggs Software Maintenance Support for
Knowledge-Based Systems . . . . . . . . 191--210
W. Wilson Ho and
Ronald A. Olsson A Layered Model for Building Debugging
and Monitoring Tools . . . . . . . . . . 211--222
Robyn R. Lutz Targeting safety-related errors during
software requirements analysis . . . . . 223--230
Soon-Young Huh and
David A. Rosenberg A Change Management Framework:
Dependency Maintenance and Change
Notification . . . . . . . . . . . . . . 231--246
John Mathews Organizational foundations of
object-oriented programming . . . . . . 247--253
Anonymous Biographies . . . . . . . . . . . . . . 255--256
Robert L. Glass Editor's Corner: The Strange Case of the
Proofreader's Pencil . . . . . . . . . . 1--2
Marvin V. Zelkowitz Modeling Software Engineering
Environment Capabilities . . . . . . . . 3--14
Chieh-Ying Kan and
Xudong He A Method for Constructing Algebraic
Petri Nets . . . . . . . . . . . . . . . 15--27
Hessam Khoshnevisan and
Mohamad Afshar Space-efficient memo-functions . . . . . 29--41
Li-Chi Feng and
Ruei-Chuan Chang Using Asynchronous Writes on Metadata to
Improve File System Performance . . . . 43--54
Khaled Al-Saqabi and
Kassem Saleh and
Imtiaz Ahmad Recovery From Concurrent Failures in
Communication Protocols . . . . . . . . 55--65
C. C. Chang and
D. J. Buehrer and
H. C. Kowng An Improvement to Ziegler's Sparse
Matrix Compression Algorithm . . . . . . 67--71
James Nechvatal A public-key-based key escrow system . . 73--83
Robert L. Glass An Assessment of Systems and Software
Engineering Scholars and Institutions
(1993--1995) . . . . . . . . . . . . . . 85--89
Anonymous Biographies . . . . . . . . . . . . . . 91--92
Robert L. Glass Editor's corner: Methodologies: Bend to
fit? . . . . . . . . . . . . . . . . . . 93--94
Antonia Bertolino and
Martina Marré How Many Paths are Needed for Branch
Testing? . . . . . . . . . . . . . . . . 95--106
A. Pasquini Empirical Validation of a Domain Test
Selection Criterion . . . . . . . . . . 107--117
Shinji Kusumoto and
Tohru Kikuno and
Ken-ichi Matsumoto and
Koji Torii Experimental evaluation of time
allocation procedure for technical
reviews . . . . . . . . . . . . . . . . 119--126
Jeff Tian An Integrated Approach to Test Tracking
and Analysis . . . . . . . . . . . . . . 127--140
Jie Wu and
Eduardo B. Fernandez and
Manxia Zhang Design and Modeling of Hybrid
Fault-Tolerant Software With Cost
Constraints . . . . . . . . . . . . . . 141--149
Shaoying Liu and
John A. McDermid A model-oriented approach to safety
analysis using fault trees and a support
system . . . . . . . . . . . . . . . . . 151--164
Anonymous Biographies . . . . . . . . . . . . . . 165--166
Robert L. Glass Editor's corner: The non-goal-oriented
committee meeting . . . . . . . . . . . 167--168
Pinaki Shah and
Johnny Wong Concurrency control in an
object-oriented data base system . . . . 169--183
Suzanne Wagner Dietrich and
Changguan Fan and
Enrique Cortes-Rello An application of fragmentation
transparency in a distributed database
system: a case study . . . . . . . . . . 185--197
C. Y. Chen and
H. F. Lin and
R. C. T. Lee and
C. C. Chang Redundant MKH files design among
multiple disks for concurrent partial
match retrieval . . . . . . . . . . . . 199--207
Kate Finney and
Norman Fenton Evaluating the effectiveness of $Z$: The
claims made about CICS and where we go
from here . . . . . . . . . . . . . . . 209--216
S. Jayaprakash and
C. R. Muthukrishnan Critical analysis of ``A fault-tolerant
algorithm for mutual exclusion in a
distributed system'' . . . . . . . . . . 217--221
Anonymous Author index . . . . . . . . . . . . . . 223--224
Anonymous Subject index . . . . . . . . . . . . . 225--226
Robert L. Glass Editor's corner: Two years later: What
has happened to the 1995 ``nonchange''
in JSS policy? . . . . . . . . . . . . . 1--1
J. M. Verner and
N. Cerpa Prototyping: Does your view of its
advantages depend on your job? . . . . . 3--16
Yasuhiro Mashiko and
Victor R. Basili Using the GQM paradigm to investigate
influential factors for software process
improvement . . . . . . . . . . . . . . 17--32
Bob Rehder and
Nancy Pennington and
Adrienne Y. Lee Scoring the completeness of software
designs . . . . . . . . . . . . . . . . 33--68
R. Lai A success story of verifying a real
complex protocol . . . . . . . . . . . . 69--83
Robert L. Glass Pilot studies: What, why and how . . . . 85--97
Robert L. Glass Editor's Corner: Are Programmers Really
``Out of Control''? . . . . . . . . . . 101--102
Taghi M. Khoshgoftaar and
Edward B. Allen and
David L. Lanning An Information Theory-Based Approach to
Quantifying the Contribution of a
Software Metric . . . . . . . . . . . . 103--113
Chung-Ming Huang and
Jenq-Muh Hsu and
Huei-Yang Lai and
Duen-Tay Huang and
Jao-Chiang Pong An Estelle-based incremental protocol
design system . . . . . . . . . . . . . 115--135
R. Lai An Experience in Using EDT to Process
the ISO Transaction Processing Estelle
Specification . . . . . . . . . . . . . 137--145
R. W. Matzen and
K. M. George and
G. E. Hedrick A Formal Language Model for Parsing SGML 147--166
Chin-Chen Chang and
Chih-Hung Wang A Locally Adaptive Data Compression
Strategy for Chinese--English Characters 167--179
Yi-Bing Lin and
Joe Geigel A Graphical User Interface Design for
Network Simulation . . . . . . . . . . . 181--190
Narasimhaiah Gorla and
Ravi Ramakrishnan Effect of Software Structure Attributes
on Software Development Productivity . . 191--199
Anonymous Biographies . . . . . . . . . . . . . . 201--202
Robert L. Glass Software Reflections --- a Pioneer's
View of the History of the Field . . . . 203--209
Arun Lakhotia A Unified Framework for Expressing
Software Subsystem Classification
Techniques . . . . . . . . . . . . . . . 211--231
A. Kameas and
P. Pintelas The Functional Architecture and
Interaction Model of a GENerator of
Intelligent TutORing Applications . . . 233--245
Samir M. Koriem and
L. M. Patnaik A Generalized Stochastic High-Level
Petri Net Model for Performance Analysis 247--265
Chin-Chen Chang and
Hui-Min Tsai A Generalized Secret Sharing Scheme . . 267--272
Mary Jean Harrold and
A. Jefferson Offutt and
Kanupriya Tewary An Approach to Fault Modeling and Fault
Seeding Using the Program Dependence
Graph . . . . . . . . . . . . . . . . . 273--295
Germinal Boloix System Evaluation and Quality
Improvement . . . . . . . . . . . . . . 297--311
Lionel C. Briand and
William M. Thomas Response to ``Handling Regression
Subsets in Software Modeling'' by Ronald
Gulezian, The Journal of Systems and
Software, April 1996 . . . . . . . . . . 313--314
Anonymous Biographies . . . . . . . . . . . . . . 315--316
Robert L. Glass Editor's corner: Some thoughts on
automatic code generation . . . . . . . 1--3
Ritu Agarwal and
Jayesh Prasad Targeting COBOL Programmers for C
Training: The Role of Job Insecurity and
Organizational Tenure . . . . . . . . . 5--17
Bill C. Hardgrave Adopting object-oriented technology:
Evolution or revolution? . . . . . . . . 19--25
Marvin Zelkowitz and
Barbara Cuthill Application of an Information Technology
Model to Software Engineering
Environments . . . . . . . . . . . . . . 27--40
Kwok-Yan Lam and
Tom Salkield Implementing a Highly Available Network
Directory Service . . . . . . . . . . . 41--47
Özgür Ulusoy An Evaluation of Network Access
Protocols for Distributed Real-Time
Database Systems . . . . . . . . . . . . 49--60
Armin R. Mikler and
Johnny S. K. Wong and
Vasant Honavar Quo Vadis --- a Framework for
Intelligent Routing in Large
Communication Networks . . . . . . . . . 61--73
R. Lai Performance Results for the CSMA/CD
Protocol Using GreatSPN . . . . . . . . 75--90
Mitchell L. Neilsen Properties of Nondominated $K$-Coteries 91--96
Anonymous Biographies . . . . . . . . . . . . . . 97--98
Robert L. Glass Editor's corner: Client/server: Boom or
bust? . . . . . . . . . . . . . . . . . 99--100
Scott L. Schneberger Distributed Computing Environments:
Effects on Software Maintenance
Difficulty . . . . . . . . . . . . . . . 101--116
Kari Laitinen and
Jorma Taramaa and
Markku Heikkila and
Neil C. Rowe Enhancing Maintainability of Source
Programs Through Disabbreviation . . . . 117--128
Yiu-Wing Leung Dynamic resource-allocation for
software-module testing . . . . . . . . 129--139
Gang-Soo Lee and
Jin-Seok Lee Petri Net Based Models for Specification
and Analysis of Cryptographic Protocols 141--159
J. J. Dolado A Study of the Relationships among
Albrecht and Mark II Function Points,
Lines of Code 4GL and Effort . . . . . . 161--173
Anonymous Biographies . . . . . . . . . . . . . . 175--175
Robert L. Glass Editor's corner: Some brainstorming
thoughts about the date crisis problem 177--179
Gary Klein and
James J. Jiang and
Joseph Balloun Information system evaluation by system
typology . . . . . . . . . . . . . . . . 181--186
Pai-Cheng Chu Actors and scripts: Object-oriented
simulation of enterprise systems . . . . 187--199
Wanlei Zhou and
Andrzej Goscinski Fault-tolerant servers for the RHODOS
system . . . . . . . . . . . . . . . . . 201--214
Kok Kin Kee and
Salim Hariri Efficient communication algorithms for
ring multicomputers . . . . . . . . . . 215--225
Tarik Ozkul Estimating acquisition loop time for
time-critical real-time data acquisition
applications for the purpose of
selecting appropriate hardware and
software . . . . . . . . . . . . . . . . 227--233
R. Lai From Estelle to Erlang . . . . . . . . . 235--251
Mitsuari Hakuta and
Fujimitsu Tone and
Masato Ohminami A software size estimation model and its
evaluation . . . . . . . . . . . . . . . 253--263
Anonymous Volume contents . . . . . . . . . . . . 265--266
Sandro Bologna Guest Editor's Corner: Achieving Quality
in Software . . . . . . . . . . . . . . 1--2
Victor R. Basili Evolving and Packaging Reading
Technologies . . . . . . . . . . . . . . 3--12
Tsuneo Furuyama and
Yoshio Arai and
Kazuhiko Iio Analysis of fault generation caused by
stress during software development . . . 13--25
William M. Evanco Poisson Analyses of Defects for Small
Software Components . . . . . . . . . . 27--35
E. Obara and
T. Kawasaki and
Y. Ookawa and
N. Maeda Metrics and Analyses in the Test Phase
of Large-Scale Software . . . . . . . . 37--46
Antonia Bertolino and
Raffaela Mirandola and
Emilia Peciola A Case Study in Branch Testing
Automation . . . . . . . . . . . . . . . 47--59
Ryouei Takahashi Software Quality Classification Model
Based on McCabe's Complexity Measure . . 61--69
Dieter Welzel and
Hans-Ludwig Hausen Practical Concurrent Software Evaluation
for Certification . . . . . . . . . . . 71--83
T. Stålhane and
P. C. Borgersen and
K. Arnesen In search of the customer's quality view 85--93
P. Coppola and
P. Panaroni Process Improvement through Process
Modelling . . . . . . . . . . . . . . . 95--101
Anonymous Biographies . . . . . . . . . . . . . . 103--104
Robert L. Glass Editor's Corner: ``Good Enough''
Software --- a Unique American Advantage 105--106
Suresh B. Ravoor and
Johnny S. K. Wong Multithreaded Transaction Processing in
Distributed Systems . . . . . . . . . . 107--117
Kwok-wa Lam and
Kam-yiu Lam and
Sheung-lun Hung Optimistic Concurrency Control Protocol
for Real-Time Databases . . . . . . . . 119--131
Mekki I. Elboushi and
Joseph S. Sherif Object-oriented software design
utilizing Quality Function Deployment 133--143
Mitsuari Hakuta and
Masato Ohminami A Study of Software Portability
Evaluation . . . . . . . . . . . . . . . 145--154
J. Steve Davis and
J. J. Kanet Production Scheduling: An Interactive
Graphical Approach . . . . . . . . . . . 155--163
Douglas Troy and
Robert McQueen An Approach for Developing Domain
Specific CASE Tools and Its Application
to Manufacturing Process Control . . . . 165--192
Anonymous Biographies . . . . . . . . . . . . . . 193--194
Robert L. Glass Editor's corner: Is there anything
``time-honored'' in the field of
software? . . . . . . . . . . . . . . . 195--196
W. Lam Achieving Requirements Reuse: a
Domain-Specific Approach from Avionics 197--209
William M. Thomas and
Alex Delis and
Victor R. Basili An Analysts of Errors in a
Reuse-Oriented Development Environment 211--224
Filippo Lanubile and
Giuseppe Visaggio Evaluating Predictive Quality Models
Derived from Software Measures: Lessons
Learned . . . . . . . . . . . . . . . . 225--234
Phyllis G. Frankl and
Stewart N. Weiss and
Cang Hu All-uses vs mutation testing: an
experimental comparison of effectiveness 235--253
Girish H. Subramanian and
Gayle J. Yaverbaum and
Stephen J. Brandt An Empirical Evaluation of Factors
Influencing Expert Systems Effectiveness 255--261
Chi Y. Lin and
Tarek Abdel-Hamid and
Joseph S. Sherif Software-Engineering Process Simulation
model (SEPS) . . . . . . . . . . . . . . 263--277
Anonymous Biographies . . . . . . . . . . . . . . 279--280
Anonymous Volume contents . . . . . . . . . . . . 281--283
Robert L. Glass Editor's corner: Top scholars and
institutions study reaching maturity: a
lesson re-learned . . . . . . . . . . . 1--2
Ramón A. Mata-Toledo and
Matthew A. Willis Visualization of Random Sequences Using
the Chaos Game Algorithm . . . . . . . . 3--6
Abbas Heiat and
Nafisseh Heiat A Model for Estimating Efforts Required
for Developing Small-Scale Business
Applications . . . . . . . . . . . . . . 7--14
David Chi-Liang Ni Enumeration and traceability tools for
UNIX\TM and WINDOWS\TM environments . . 15--25
Su Te Lei and
Kang Zhang and
Kei-Chun Li Experience with the Design of a
Performance Tuning Tool for Parallel
Programs . . . . . . . . . . . . . . . . 27--37
Angelo Perkusich and
Jorge C. A. de Figueiredo G-Nets: a Petri Net Based Approach for
Logical and Timing Analysis of Complex
Software Systems . . . . . . . . . . . . 39--59
Yi-Min Wang and
Hsiao-Hsi Wang and
Ruei-Chuan Chang Clustered Affinity Scheduling on
Large-Scale NUMA Multiprocessors . . . . 61--70
Koen De Bosschere Process-based parallel logic
programming: a survey of the basic
issues . . . . . . . . . . . . . . . . . 71--82
Robert L. Glass Assessment of Systems and Software
Engineering scholars and institutions
(1993--1996) . . . . . . . . . . . . . . 83--88
Anonymous Biographies . . . . . . . . . . . . . . 89--90
Robert L. Glass Editor's corner: Computer science Ph.D.
production --- more institutions, fewer
degrees, more students (!) . . . . . . . 91--91
Jinn-Ke Jan and
Chih-Chang Tai A Secure Electronic Voting Protocol with
IC Cards . . . . . . . . . . . . . . . . 93--101
Hyun C. Kim and
V. S. S. Nair Software Fault Tolerance for Distributed
Object Based Computing . . . . . . . . . 103--117
A. Jirachiefpattana and
R. Lai EVEN: a Software Environment for Estelle
Specification Verification . . . . . . . 119--143
Chyan-Goei Chung and
Jen-Gaw Lee An Enhanced Zero-One Optimal Path Set
Selection Method . . . . . . . . . . . . 145--164
Jeff Tian and
Joel Troster and
Joe Palma Tool Support for Software Measurement
Analysis and Improvement . . . . . . . . 165--178
B. L. Achee and
Doris L. Carver Creating Object-Oriented Designs from
Legacy FORTRAN Code . . . . . . . . . . 179--194
Anonymous Biographies . . . . . . . . . . . . . . 195--196
Robert L. Glass COBOL: Is it dying or thriving? . . . . 197--199
Dinesh P. Mehta and
Sartaj Sahni Models, Techniques, and Algorithms for
Finding, Selecting, and Displaying
Patterns in Strings and Other Discrete
Objects . . . . . . . . . . . . . . . . 201--221
R. Lai and
X. Li Verification of the ISO ACSE Protocol
Using Deductive Machine . . . . . . . . 223--247
C. Bernardeschi and
A. Fantechi and
S. Gnesi An Industrial Application for the JACK
Environment . . . . . . . . . . . . . . 249--264
Shiva Azadegan and
Anand Tripathi A Parallel Join Algorithm for SIMD
Architectures . . . . . . . . . . . . . 265--280
G. R. Finnie and
G. E. Wittig and
J.-M. Desharnais A Comparison of Software Effort
Estimation Techniques: Using Function
Points with Neural Networks, Case-Based
Reasoning and Regression Models . . . . 281--289
Anonymous Biographies . . . . . . . . . . . . . . 291--292
Anonymous Author index . . . . . . . . . . . . . . 293--294
Anonymous Subject index . . . . . . . . . . . . . 295--299
Anonymous Volume contents . . . . . . . . . . . . 301--302
Robert L. Glass Editor's corner: yet another date crisis
--- Y2k is only the beginning . . . . . 1--2
Frank Land A Contingency Based Approach to
Requirements Elicitation and Systems
Development . . . . . . . . . . . . . . 3--6
Annemieke Craig and
Julie Fisher and
Angela Scollary and
Mohini Singh Closing the Gap: Women, Education, and
Information Technology Courses in
Australia . . . . . . . . . . . . . . . 7--15
David W. Binkley and
James R. Lyle Application of the Pointer State
Subgraph to Static Program Slicing . . . 17--27
R. Lai and
X. Li Applying a New Decomposition Method to
Verify Communication Protocols . . . . . 29--50
Damien De Paoli and
Andrzej Goscinski The RHODOS migration facility . . . . . 51--65
Arun Rai and
Haidong Song and
Marvin Troutt Software quality assurance: an
analytical survey and research
prioritization . . . . . . . . . . . . . 67--83
Ido Millet Normalization on the fly . . . . . . . . 85--88
Anonymous Biographies . . . . . . . . . . . . . . 89--90
Robert L. Glass Editor's corner: How long do information
systems last? . . . . . . . . . . . . . 91--91
Kai-Yuan Cai On Estimating the Number of Defects
Remaining in Software . . . . . . . . . 93--114
Shinji Kusumoto and
Atsushi Chimura and
Tohru Kikuno and
Ken-ichi Matsumoto and
Yukio Mohri A Promising Approach to Two-Person
Software Review in Educational
Environment . . . . . . . . . . . . . . 115--123
P. Ajith Tom and
C. Siva Ram Murthy Algorithms for reliability-oriented
module allocation in distributed
computing systems . . . . . . . . . . . 125--138
Agostino Poggi and
Giulio Destri Using PVM to Develop a Distributed
Object-Oriented Language for
Heterogeneous Processing . . . . . . . . 139--150
Armin R. Mikler and
Johnny S. K. Wong and
Vasant Honavar An Object Oriented Approach to
Simulating Large Communication Networks 151--164
S. J. Huang and
R. Lai On Measuring the Complexity of an
Estelle Specification . . . . . . . . . 165--181
Frank Land From IT Application to Organizational
Transformation . . . . . . . . . . . . . 183--184
Anonymous Biographies . . . . . . . . . . . . . . 185--186
Hossein Saiedian Guest Editor's corner: research
directions in formal methods technology
transfer . . . . . . . . . . . . . . . . 187--189
Michael Jackson Formal Methods and Traditional
Engineering . . . . . . . . . . . . . . 191--194
David Lorge Parnas ``Formal Methods'' Technology Transfer
Will Fail . . . . . . . . . . . . . . . 195--198
Steve Easterbrook and
John Callahan Formal Methods for Verification and
Validation of Partial Specifications: a
Case Study . . . . . . . . . . . . . . . 199--210
Jim Armstrong Industrial Integration of Graphical and
Formal Specifications . . . . . . . . . 211--225
Ulrich Nitsche Application of Formal Verification and
Behaviour Abstraction to the Service
Interaction Problem in Intelligent
Networks . . . . . . . . . . . . . . . . 227--248
Lalita Jategaonkar Jagadeesan and
Lawrence G. Votta and
Adam Porter and
Carlos Puchol and
J. Christopher Ramming Specification-based Testing of Reactive
Software: a Case Study in Technology
Transfer . . . . . . . . . . . . . . . . 249--262
Sara Jones and
David Till and
Ann M. Wrightson Formal methods and requirements
engineering: Challenges and synergies 263--273
Baudouin Le Charlier and
Pierre Flener Specifications are necessarily informal
or: Some more myths of formal methods 275--296
Anonymous Biographies . . . . . . . . . . . . . . 297--299
Anonymous Volume contents . . . . . . . . . . . . 300--302
Robert L. Glass Editor's Corner: ``Who Cares?''
Technologies in practice . . . . . . . . 1--2
Danny C. C. Poo and
Mui Ken Chung Software engineering practices in
Singapore . . . . . . . . . . . . . . . 3--15
David C. Rine and
Robert M. Sonnemann Investments in reusable software. A
study of software reuse investment
success factors . . . . . . . . . . . . 17--32
Gregory W. Hislop Analyzing existing software for software
reuse . . . . . . . . . . . . . . . . . 33--40
Forouzan Golshani and
Antonio Pizzarello The use of immense memories for database
systems: a pragmatic approach . . . . . 41--50
Yin-Fu Huang and
Chien-Chie Mao and
Jyh-Her Chen A simulation model for the primary copy
strategy in distributed INGRES . . . . . 51--61
S. V. Vrbsky and
Sa\vsa Tomi\'c Satisfying timing constraints of
real-time databases . . . . . . . . . . 63--73
Robert L. Glass Editor's Corner: Software runaways ---
Some surprising findings . . . . . . . . 75--77
George C. Philip Software design guidelines for
event-driven programming . . . . . . . . 79--91
Elizabeth O'Hara-Schettino and
Hassan Gomaa Dynamic navigation in multiple view
software specifications and designs . . 93--103
Oscar Diaz and
Jon Iturrioz and
Mario G. Piattini Promoting business policies in
object-oriented methods . . . . . . . . 105--115
Hock Chuan Chan and
Danny C. C. Poo and
Cheng Peng Woon An object-oriented implementation of an
entity relationship model . . . . . . . 117--125
Mark Lattanzi and
Sallie Henry Software reuse using C++ classes: The
question of inheritance . . . . . . . . 127--132
Vojislav B. Mi\vsi\'c and
Dejan N. Te\vsi\'c Estimation of effort and complexity: an
object-oriented case study . . . . . . . 133--143
Robert L. Glass Editorial: a word of warning about reuse 145--146
Ian Morrey and
Jawed Siddiqi and
Richard Hibberd and
Graham Buckberry A toolset to support the construction
and animation of formal specifications 147--160
I. Toyn and
D. M. Cattrall and
J. A. McDermid and
J. L. Jacob A practical language and toolkit for
high-integrity tools . . . . . . . . . . 161--173
Matthew P. Tiemeyer and
Johnny S. K. Wong A task migration algorithm for
heterogeneous distributed computing
systems . . . . . . . . . . . . . . . . 175--188
Helen D. Karatza Task routing and resequencing in a
multiprocessor system . . . . . . . . . 189--197
L. M. G. Feijs and
H. B. M. Jonkers History, principles and application of
the SPRINT method . . . . . . . . . . . 199--219
Anonymous Editorial . . . . . . . . . . . . . . . 1--2
Kate Finney and
Keith Rennolls and
Alex Fedorec Measuring the comprehensibility of $Z$
specifications . . . . . . . . . . . . . 3--15
Paolino Di Felice and
Goffredo Fonzi How to write comments suitable for
automatic software indexing . . . . . . 17--28
Robert C. Shock and
Thomas C. Hartrum A classification scheme for software
modules . . . . . . . . . . . . . . . . 29--44
Jinn-Ke Jan and
Yu-Yii Chen ``Paramita wisdom'' password
authentication scheme without
verification tables . . . . . . . . . . 45--57
Der-Chyuan Lou and
Chin-Chen Chang An adaptive exponentiation method . . . 59--69
Ayal Itzkovitz and
Assaf Schuster and
Lea Shalev Thread migration and its applications in
distributed shared memory systems . . . 71--87
P. Nesi and
T. Querci Effort estimation and prediction of
object-oriented systems . . . . . . . . 89--102
D. E. Cooke and
J. E. Urban Guest Editors' introduction: Special
issue on software engineering and
knowledge engineering . . . . . . . . . 103--104
Xiaoqing Frank Liu A quantitative approach for assessing
the priorities of software quality
requirements . . . . . . . . . . . . . . 105--113
David Robertson An empirical study of the LSS
specification toolkit in use . . . . . . 115--123
Luqi and
Carl K. Chang and
Hong Zhu Specifications in software prototyping 125--140
Kai H. Chang and
Shih-Sung Liao and
Stephen B. Seidman and
Richard Chapman Testing object-oriented programs: From
formal specification to test scenario
generation . . . . . . . . . . . . . . . 141--151
Gerardo Canfora and
Andrea De Lucia and
Malcolm Munro An integrated environment for reuse
reengineering C code . . . . . . . . . . 153--164
V. Berzins Recombining changes to software
specifications . . . . . . . . . . . . . 165--174
Byung-Kyoo Kang and
James M. Bieman Using design abstractions to visualize,
quantify, and restructure software . . . 175--187
Kam-yiu Lam Guest Editor's corner. Real-time active
databases: Theory and practice . . . . . 189--191
Sang H. Son and
Robert C. Beckinger and
David A. Baker DRDB: Towards distributed real-time
database services for time-critical
active applications . . . . . . . . . . 193--204
Prabhudev Konana and
Sudha Ram Transaction management mechanisms for
active and real-time databases: a
comprehensive protocol and a performance
study . . . . . . . . . . . . . . . . . 205--225
Anindya Datta and
Sarit Mukherjee and
Igor R. Viguier Buffer management in real-time active
database systems . . . . . . . . . . . . 227--246
Özgür Ulusoy Transaction processing in distributed
active real-time database systems . . . 247--262
Lars Bækgaard and
Jens Christian Godskesen Real-time event control in active
databases . . . . . . . . . . . . . . . 263--271
Anthony Chiu and
Ben Kao and
Kam-yiu Lam An analysis of lock-based and optimistic
concurrency control protocols in
multiprocessor real-time databases . . . 273--286
Robert L. Glass Editor's corner. Expert systems: Failure
or success? . . . . . . . . . . . . . . 1--2
Sadahiro Isoda A criticism on the capture-and-recapture
method for software reliability
assurance . . . . . . . . . . . . . . . 3--102
Norman Wilde and
Christopher Casey and
Joe Vandeville and
Gary Trio and
Dick Hotz Reverse engineering of software threads:
a design recovery technique for large
multi-process systems . . . . . . . . . 11--17
Mikael Lindvall and
Kristian Sandahl How well do experienced software
developers predict software change? . . 19--27
A. Romanovsky A study of atomic action schemes
intended for standard Ada . . . . . . . 29--44
I. Vlahavas Exploiting and-or parallelism in Prolog:
The OASys computational model and
abstract architecture . . . . . . . . . 45--57
Robert L. Glass An assessment of systems and software
engineering scholars and institutions
(1993--1997) . . . . . . . . . . . . . . 59--64
Robert L. Glass Anecdote corner . . . . . . . . . . . . 65--176
Ronald Ayres A narrative history and description of
MOSIS software . . . . . . . . . . . . . 67--82
Robert L. Glass Editorial --- Editor's corner: a
success/failure story . . . . . . . . . 83--84
Vaclav Rajlich and
Shivkumar Ragunathan A case study of evolution in object
oriented and heterogeneous architectures 85--91
Koen De Bosschere Tarilan: An embedded functional data
processing language . . . . . . . . . . 93--102
H. Rex Hartson Human--computer interaction:
Interdisciplinary roots and trends . . . 103--118
C. L. Chee and
S. Jarzabek and
R. Paul $F$-metric: a WWW-based framework for
intelligent formulation and analysis of
metric queries . . . . . . . . . . . . . 119--132
Vasilis C. Gerogiannis and
Achilles D. Kameas and
Panayotis E. Pintelas Comparative study and categorization of
high-level Petri nets . . . . . . . . . 133--160
Robert L. Glass Editor's Corner: Cleaning up the trash
after Y2K gets ``solved'' . . . . . . . 161--163
Ravindra Krovi and
Akhilesh Chandra User cognitive representations: The case
for an object oriented model . . . . . . 165--176
Wilhelm Hasselbring and
Andreas Kröber Combining OMT with a prototyping
approach . . . . . . . . . . . . . . . . 177--185
Wilhelm Hasselbring The ProSet--Linda approach to
prototyping parallel systems . . . . . . 187--196
Jiannong Cao and
Kang Zhang and
Olivier de Vel On heuristics for optimal configuration
of hierarchical distributed monitoring
systems . . . . . . . . . . . . . . . . 197--206
Jeff Matocha and
Tracy Camp A taxonomy of distributed termination
detection algorithms . . . . . . . . . . 207--221
Kam-yiu Lam and
Wai-cheong Yau On using similarity for concurrency
control in real-time database systems 223--232
Q. Shi and
N. Zhang An effective model for composition of
secure systems . . . . . . . . . . . . . 233--244
Robert L. Glass Editorial --- Editor's corner. Webwork:
Is it systems development? How can we
learn about doing it better? . . . . . . 1--2
Ce-Kuen Shieh and
Su-Cheong Mac and
Jyh-Chang Ueng Improving the performance of distributed
shared memory systems via parallel file
input/output . . . . . . . . . . . . . . 3--15
Yi-Min Wang and
Hsiao-Hsi Wang and
Ruei-Chuan Chang Classifying and alleviating the
communication overheads in matrix
computations on large-scale NUMA
multiprocessors . . . . . . . . . . . . 17--29
Christoph L. Schuba and
Eugene H. Spafford and
Berry Kercheval Prototyping experiences with classical
IP and ARP over signaled ATM connections 31--43
Trevor T. Moores Applying complexity measures to
rule-based Prolog programs . . . . . . . 45--52
Jasir Alherbish and
Reda Ammar High-performance Arabic character
recognition . . . . . . . . . . . . . . 53--71
Chin-Chen Chang and
Chin-Feng Lee A spatial match retrieval mechanism for
symbolic pictures . . . . . . . . . . . 73--83
Anonymous Editorial . . . . . . . . . . . . . . . 85--86
Gerald Post and
Albert Kagan and
Robert T. Keim A comparative evaluation of CASE tools 87--96
Danny C. C. Poo and
Mui Ken Chung CASE and software maintenance practices
in Singapore . . . . . . . . . . . . . . 97--105
Mark T. Dishaw and
Diane M. Strong Supporting software maintenance with
software engineering tools: a Computed
task--technology fit analysis . . . . . 107--120
Elizabeth Burd and
Malcolm Munro A method for the identification of
reusable units through the reengineering
of legacy code . . . . . . . . . . . . . 121--134
Jeff Tian and
Joel Troster A comparison of measurement and defect
characteristics of new and legacy
software systems . . . . . . . . . . . . 135--146
Joseph S. Sherif and
Peter Sanderson Metrics for object-oriented software
projects . . . . . . . . . . . . . . . . 147--154
Wei Li Another metric suite for object-oriented
programming . . . . . . . . . . . . . . 155--162
M. Xie and
G. Y. Hong A study of the sensitivity of software
release time . . . . . . . . . . . . . . 163--168
Anonymous Editorial . . . . . . . . . . . . . . . 169--170
M.-A. D. Storey and
F. D. Fracchia and
H. A. Müller Cognitive design elements to support the
construction of a mental model during
software exploration . . . . . . . . . . 171--185
Giuseppe Visaggio Assessing the maintenance process
through replicated, controlled
experiments . . . . . . . . . . . . . . 187--197
Aniello Cimitile and
Andrea De Lucia and
Giuseppe Antonio Di Lucca and
Anna Rita Fasolino Identifying objects in legacy systems
using design metrics . . . . . . . . . . 199--211
R. Fiutem and
P. Tonella and
G. Antoniol and
E. Merlo Points-to analysis for program
understanding . . . . . . . . . . . . . 213--227
John Harrison and
Wie Ming Lim and
Anna Andrusiewicz and
Anthony Berglas Evaluation of the ITOC information
system design recovery tool: a case
study . . . . . . . . . . . . . . . . . 229--240
Sallie M. Henry and
K. Todd Stevens Using Belbin's leadership role to
improve team effectiveness: an empirical
investigation . . . . . . . . . . . . . 241--250
Judith Pinn Carlisle Ethical considerations of the
software-dependent organization . . . . 251--255
Anonymous Editorial . . . . . . . . . . . . . . . 1--2
Giuseppe Visaggio Assessment of a renewal process
experimented in the field . . . . . . . 3--17
Bingchiang Jeng Toward an integration of data flow and
domain testing . . . . . . . . . . . . . 19--30
Ug~ur Çetintemel and
Jürgen Zimmermann and
Özgür Ulusoy and
Alejandro Buchmann OBJECTIVE: a benchmark for
object-oriented active database systems 31--43
Susan V. Vrbsky and
Sasa Tomic Satisfying temporal consistency
constraints of real-time databases . . . 45--60
Yi Deng and
Chia-Rung Yang Architecture-driven modeling of
real-time concurrent systems with
applications in FMS . . . . . . . . . . 61--78
Anonymous Editorial . . . . . . . . . . . . . . . 79--80
Michael J. Katchabaw and
Stephen L. Howard and
Hanan L. Lutfiyya and
Andrew D. Marshall and
Michael A. Bauer Making distributed applications
manageable through instrumentation . . . 81--97
X. Jia and
J. Cao and
W. Jia A classification of multicast
mechanisms: implementations and
applications . . . . . . . . . . . . . . 99--112
Weijia Jia Communicating object group and protocols
for distributed systems . . . . . . . . 113--126
F. Cheong and
R. Lai QoS specification and mapping for
distributed multimedia systems: a survey
of issues . . . . . . . . . . . . . . . 127--139
Jiannong Cao and
Olivier De Vel and
Ling Shi Rapid prototyping of distributed
algorithms . . . . . . . . . . . . . . . 141--154
Samir M. Koriem Fast and simple decomposition techniques
for the reliability analysis of
interconnection networks . . . . . . . . 155--171
Anonymous Editorial . . . . . . . . . . . . . . . 173--175
Geoffry S. Howard and
Thomas Bodnovich and
Thomas Janicki and
Jens Liegle and
Steven Klein and
Paul Albert and
David Cannon The efficacy of matching information
systems development methodologies with
application characteristics --- an
empirical study . . . . . . . . . . . . 177--195
Mark M. Misic and
Nancy L. Russo An assessment of systems analysis and
design courses . . . . . . . . . . . . . 197--202
Karl Brett Lloyd and
David John Jankowski A cognitive information processing and
information theory approach to diagram
clarity: a synthesis and experimental
investigation . . . . . . . . . . . . . 203--214
E. J. Davidson Joint application design (JAD) in
practice . . . . . . . . . . . . . . . . 215--223
V. Ramesh and
Glenn J. Browne Expressing casual relationships in
conceptual database schemas . . . . . . 225--232
Torbjörn Näslund and
Jonas Löwgren Usability inspection in contract-based
systems development --- a contextual
assessment . . . . . . . . . . . . . . . 233--240
Robert L. Glass Examining the effects of the
``Application Revolution'' . . . . . . . 1--5
Ren-Junn Hwang and
Wei-Bin Lee and
Chin-Chen Chang A concept of designing cheater
identification methods for secret
sharing . . . . . . . . . . . . . . . . 7--11
Steven Wartik and
Ted Davis A phased reuse adoption model . . . . . 13--23
Christof Ebert Technical controlling and software
process improvement . . . . . . . . . . 25--39
Samir M. Koriem $R$-nets for the performance evaluation
of hard real-time systems . . . . . . . 41--58
Ajith Tom P. and
C. Siva Ram Murthy Optimal task allocation in distributed
systems by graph matching and state
space search . . . . . . . . . . . . . . 59--75
Shiuh-Jeng Wang and
Jinn-Ke Jan A displacement addressing method for
letter-oriented keys . . . . . . . . . . 77--88
Anonymous Editorial . . . . . . . . . . . . . . . 89--89
Marc I. Kellner and
Raymond J. Madachy and
David M. Raffo Software process simulation modeling:
Why? What? How? . . . . . . . . . . . . 91--105
Alan M. Christie Simulation in support of CMM-based
process improvement . . . . . . . . . . 107--112
A. Drappa and
J. Ludewig Quantitative modeling for the
interactive simulation of software
projects . . . . . . . . . . . . . . . . 113--122
M. M. Lehman and
J. F. Ramil The impact of feedback in the global
software process . . . . . . . . . . . . 123--134
Dietmar Pfahl and
Karl Lebsanft Integration of system dynamics modelling
with descriptive process modelling and
goal-oriented measurement . . . . . . . 135--150
Antony Powell and
Keith Mander and
Duncan Brown Strategies for lifecycle concurrency and
iteration --- a system dynamics approach 151--161
David M. Raffo and
Joseph V. Vandeville and
Robert H. Martin Software process simulation to achieve
higher CMM levels . . . . . . . . . . . 163--172
Ioana Rus and
James Collofello and
Peter Lakey Software process simulation for
reliability management . . . . . . . . . 173--182
Walt Scacchi Experience with software process
simulation and modeling . . . . . . . . 183--192
P. Wernick and
M. M. Lehman Software process white box modelling for
FEAST/1 . . . . . . . . . . . . . . . . 193--201
Judson Williford and
Andrew Chang Modeling the FedEx IT division: a system
dynamics approach to strategic IT
planning . . . . . . . . . . . . . . . . 203--211
Robert L. Glass Of counting schemes and end-of-century
partying . . . . . . . . . . . . . . . . 1--2
D. H. Drury and
A. Farhoomand Information technology push/pull
reactions . . . . . . . . . . . . . . . 3--10
Faruk Polat and
Reda Alhajj A multi-agent tuple-space based problem
solving framework . . . . . . . . . . . 11--17
Hasan Çam A header-population based flow control
for multicomputer networks . . . . . . . 19--26
Jeyakesavan Veerasamy and
S. Venkatesan and
Jay C. Shah Spare capacity assignment in telecom
networks using path restoration and
further improvement using traffic
splitting . . . . . . . . . . . . . . . 27--33
Chin-Chen Chang and
Tian-Fu Lee and
Jyh-Jong Leu Partition search filter and its
performance analysis . . . . . . . . . . 35--43
Nikolaus Walczuch and
Herbert Hoeger Using individual prefixes in B$^+$-trees 45--51
Mansour Jaragh and
Kassem Saleh Synthesis of communications protocol
converters using the timed Petri net
model . . . . . . . . . . . . . . . . . 53--69
Anonymous Editorial . . . . . . . . . . . . . . . 71--72
Anonymous Editorial . . . . . . . . . . . . . . . 73--73
Johnny S. K. Wong and
Armin R. Mikler Intelligent mobile agents in large
distributed autonomous cooperative
systems . . . . . . . . . . . . . . . . 75--87
R. Lai Towards more industrially relevant
academic researches into testing of
communicating systems . . . . . . . . . 89--96
Elaine J. Weyuker Evaluation techniques for improving the
quality of very large software systems
in a cost-effective way . . . . . . . . 97--103
J.-Y. J. Chen and
S.-C. Chou Consistency management in a process
environment . . . . . . . . . . . . . . 105--110
S. L. Pfleeger Understanding and improving technology
transfer in software engineering . . . . 111--124
Kassem Saleh and
Robert Probert and
Hassib Khanafer The distributed object computing
paradigm: concepts and applications . . 125--131
Alfonso Fuggetta Rethinking the modes of software
engineering research . . . . . . . . . . 133--138
Hossein Saiedian and
Kalyani Chennupati Towards an evaluative framework for
software process improvement models . . 139--148
Norman E. Fenton and
Martin Neil Software metrics: successes, failures
and new directions . . . . . . . . . . . 149--157
Hee Beng Kuan Tan and
Tok Wang Ling Integrated design patterns for database
applications . . . . . . . . . . . . . . 159--172
Mary Jean Harrold Testing evolving software . . . . . . . 173--181
Les Hatton Repetitive failure, feedback and the
lost art of diagnosis . . . . . . . . . 183--188
Jeff Tian Measurement and continuous improvement
of software reliability throughout
software life-cycle . . . . . . . . . . 189--195
Anonymous Editorial(s) . . . . . . . . . . . . . . 1--3
Richard A. Johnson and
Bill C. Hardgrave Object-oriented methods: current
practices and attitudes . . . . . . . . 5--12
Murray Wood and
John Daly and
James Miller and
Marc Roper Multi-method research: an empirical
investigation of object-oriented
technology . . . . . . . . . . . . . . . 13--26
Michalis Glykas and
George Valiris Formal methods in object oriented
business modelling . . . . . . . . . . . 27--41
Alexander Romanovsky Class diversity support in
object-oriented languages . . . . . . . 43--57
M. Zaki and
Y. B. Mahdy and
S. A. Ali and
K. F. El-Reefy Two practical systems for classification
of three-dimensional objects . . . . . . 59--71
Robert L. Glass Corrigendum to ``An assessment of
systems and software engineering
scholars and institutions (1993--1997)''
[Journal of Systems and Software 43
(1998) 59--64] . . . . . . . . . . . . . 73--73
Wei Li Corrigendum to ``Another metric suite
for object-oriented programming''
[Journal of Systems and Software 44
(1998) 155--162] . . . . . . . . . . . . 75--75
Anonymous Editorial(s) . . . . . . . . . . . . . . 77--78
W. Eric Wong and
Joseph R. Horgan and
Aditya P. Mathur and
Alberto Pasquini Test set size minimization and fault
detection effectiveness: a case study in
a space application . . . . . . . . . . 79--89
Victoria Stavridou Integration in software intensive
systems . . . . . . . . . . . . . . . . 91--104
A. Di Stefano and
L. Lo Bello and
E. Tramontana Factors affecting the design of load
balancing algorithms in distributed
systems . . . . . . . . . . . . . . . . 105--117
A. Lo and
R. Lai An automatic implementation of the ISO
FTAM protocol based on an integrated
specification of Estelle and ASN.1 . . . 119--137
Natalia Juristo and
José L. Morant and
Ana M. Moreno A formal approach for generating OO
specifications from natural language . . 139--153
Gary Klein and
James J. Jiang User perception of expert system advice 155--161
Anonymous Editorial(s) . . . . . . . . . . . . . . 163--164
Malleswar Kalla and
Johnny S. K. Wong and
Armin R. Mikler and
Stephen Elbert Achieving non-repudiation of Web based
transactions . . . . . . . . . . . . . . 165--175
Stathes Hadjiefthymiades and
Drakoulis Martakos and
Costas Petrou Stateful relational database gateways
for the World Wide Web . . . . . . . . . 177--187
Kam Hong Shum Effective fault tolerance for
agent-based cluster computing . . . . . 189--196
D. Liang and
C.-L. Fang and
S.-M. Yuan and
C. Chen and
G. E. Jan A fault--tolerant object service on
CORBA . . . . . . . . . . . . . . . . . 197--211
M.-L. Chiang and
R.-C. Chang Cleaning policies in mobile computers
using flash memory . . . . . . . . . . . 213--231
Joseph Kee-Yin Ng A reserved bandwidth video smoothing
algorithm for MPEG transmission . . . . 233--245
Anonymous Editorial(s) . . . . . . . . . . . . . . 1--2
C. Reid Turner and
Alfonso Fuggetta and
Luigi Lavazza and
Alexander L. Wolf A conceptual basis for feature
engineering . . . . . . . . . . . . . . 3--15
M. Morisio Measurement processes are software, too 17--31
Simon Moser and
Brian Henderson-Sellers and
Vojislav B. Mi\vsi\'c Cost estimation based on business models 33--42
M. Xie and
G. Y. Hong and
C. Wohlin Software reliability prediction
incorporating information from a similar
project . . . . . . . . . . . . . . . . 43--48
A. Jefferson Offutt and
Shaoying Liu Generating test data from SOFL
specifications . . . . . . . . . . . . . 49--62
C. U. Smith and
L. G. Williams A performance model interchange format 63--80
Robert L. Glass An assessment of systems and software
engineering scholars and institutions
(1994--1998) . . . . . . . . . . . . . . 81--86
Anonymous Editorial(s) . . . . . . . . . . . . . . 87--87
Nigel Bevan Quality in use: Meeting user needs for
quality . . . . . . . . . . . . . . . . 89--96
Bingchiang Jeng and
István Forgács An automatic approach of domain test
data generation . . . . . . . . . . . . 97--112
Hossein Saiedian Software engineering education and
training for the next millennium . . . . 113--115
Klaas Sikkel and
Ton A. M. Spil and
Rob L. W. van de Weg A real-world case study in information
technology for undergraduate students 117--123
Claes Wohlin and
Björn Regnell Strategies for industrial relevance in
software engineering education . . . . . 125--134
J. Barrie Thompson and
Helen M. Edwards Providing new graduate opportunities:
experiences with a UK Master's level
computing conversion course . . . . . . 135--143
Michael G. Murphy Teaching software project management: a
response--interaction approach . . . . . 145--148
Rayford B. Vaughn, Jr. and
Julian E. Boggess III Integration of computer security into
the software engineering and computer
science programs . . . . . . . . . . . . 149--153
Nancy Mead and
Kathy Beckman and
Jimmy Lawrence and
George O'Mary and
Cynthia Parish and
Perla Unpingco and
Hope Walker Industry/university collaborations:
different perspectives heighten mutual
opportunities . . . . . . . . . . . . . 155--162
Thomas B. Hilburn and
Greg Hislop and
Donald J. Bagert and
Michael Lutz and
Susan Mengel and
Michael McCracken Guidance for the development of software
engineering education programs . . . . . 163--169
Doris K. Lidtke and
Gorden Stokes An information systems-centric
curriculum, ISCC '99 . . . . . . . . . . 171--175
Kurt R. Linberg Software developer perceptions about
software project failure: a case study 177--192
Robert L. Glass Corrigendum to: an assessment of systems
and software engineering scholars and
institutions (1994--1998) [The Journal
of Systems and Software 49 (1) (1999)
81--86] . . . . . . . . . . . . . . . . 275--275