Last update:
Wed May 18 10:51:14 MDT 2005
M. Lipow Prediction of software failures . . . . 71--75
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
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 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
William H. 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 Mathematical Model for the Evolution of
Software . . . . . . . . . . . . . . . . 337--345
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
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
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
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
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
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 . . . . . . . . . . . . . . . 92--102
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
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
Claude Jard and
Gregor v. Bochmann Approach to Testing Specifications . . . 87--93
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
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
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 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
Robert L. Probert and
Hasan Ural High-Level Testing and Example-Directed
Development of Software Specifications 2--3
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
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
John B. Bowen Module Size: a Standard or Heuristic? 327--332
Thomas J. Ostrand and
Elaine J. Weyuker Collecting and Categorizing Software
Error Data in an Industrial Environment 991--994
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 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
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 Hac 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
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
Anna Hac 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 Practical Approach to Specification
Technology Selection . . . . . . . . . . 285--294
Anon 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
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
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
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
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
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
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
Henryk Jan Komorowski 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
David N. Card and
William W. Agresti Measuring software design complexity . . 185--197
Bertrand Meyer Eiffel: A Language and Environment for
Software Engineering . . . . . . . . . . 199--246
K. Schwan and
C. Gaimon Automating Resource Allocation for
Multiprocessors . . . . . . . . . . . . 51--66
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
A. Hac A Benchmark for Performance Evaluation
of a Distributed File System . . . . . . 273--285
Robert B. Terwilliger and
Roy H. Campbell ENCOMPASS: An Environment for the
Incremental Development of Software . . 41--53
J. W. Howatt and
A. L. Baker Rigorous Definition and Analysis of
Program Complexity Meaures --- An
example using nesting . . . . . . . . . 139--150
Robert L. Glass Editor's Corner: Software Metrics: of
Lightning Rods and Built-up Tension . . 157
D. N. Card and
R. A. Berg An Industrial Engineering Approach to
Software Development . . . . . . . . . . 159
Anna Hac A Validated Performance Model for
Distributed File Systems . . . . . . . . 169
A. Inkeri Verkamo Performance Comparison of Distributive
and Mergesort as External Sorting
Algorithms . . . . . . . . . . . . . . . 187
Avram Eskenasi Evaluation of Software Product Quality
by Means of Classification Methods . . . 213--216
Bruce I. Blum Controversy Corner: Volume, Distance and
Productivity . . . . . . . . . . . . . . 217
James E. Tomayko and
David J. Rodjak Is Software Engineering Graduate-Level
Material? . . . . . . . . . . . . . . . 231
Evarld E. Mills The Master of Software Engineering (MSE)
Program At Seattle University . . . . . 245
Freeman L. Moore and
Phillip R. Purvis Training Practicing Software Engineers
at Texas Instruments . . . . . . . . . . 253
David Budgen and
Peter Henderson and
Chic Rattray Academic/Industrial collaboration in a
Postgraduate MSc Course in Software
Engineering . . . . . . . . . . . . . . 261
A. C. Benander and
B. A. Benander An empirical study of COBOL programs via
a style analyzer: The benefits of good
programming style . . . . . . . . . . . 271--279
Robert L. Glass Editor's Corner: Software Design: Is
There Madness in a Method? . . . . . . . 1
Allan M. Stavely Algorithms for Analyzing Concurrent
Software Systems Using Derivatives . . . 3
Phillip C.-Y. Sheu A Knowledge-Based Approach for
High-Level Programming of Concurrent
Systems . . . . . . . . . . . . . . . . 21
Anthony J. Kusalik Secondary Storage in a Concurrent Logic
Programming Environment . . . . . . . . 31
K. Brahmadathan and
K. V. S. Ramarao On the Management of Long-Living
Transactions . . . . . . . . . . . . . . 45
D. E. Cooke Formal Specifications of
Resource-Deadlock Prone Petri Nets . . . 53--69
Israel Pressman Controversy Corner: The Decision Makers 71
Robert L. Glass Editor's Corner: Software Maintenance is
a Solution --- Not a Problem . . . . . . 77
Anna Hac and
Xiaowei Jin Dynamic Load Balancing in a Distributed
System Using a Sender-Initiated
Algorithm . . . . . . . . . . . . . . . 79
M. P. Papazoglou and
L. Marinos An Object-Oriented Approach To
Distributed Data Management . . . . . . 95
Shivakant Mishra and
Pradip K. Srimani Fault-Tolerant Mutual Exclusion
Algorithms . . . . . . . . . . . . . . . 111
K. V. S. Ramarao Efficient Fault-Tolerant Broadcasts . . 131
Hasan Ural Specifications of Distributed Systems in
Prolog . . . . . . . . . . . . . . . . . 143
Robert L. Glass Editor's Corner: Some Pros and Cons on
(of all things!) References . . . . . . 157
Donald J. Reifer Asset-R: A Function Point Sizing Tool
for Scientific and Real-Time Systems . . 159
Reda A. Ammar and
Bin Qin An Approach to Derive Time Costs of
Sequential Computations . . . . . . . . 173
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
I. J. Davis and
D. J. Taylor Local Correction of Mod($k$) Lists . . . 205
Donald Gotterbarn A Workshop Report: Software Engineering
Ethics . . . . . . . . . . . . . . . . . 215
Barbara A. Benander and
Narasimhaiah Gorla and
Alan C. Benander An Empirical Study of the Use of the
GOTO Statement . . . . . . . . . . . . . 217
Robert L. Glass Editor's Corner: The Mystery of the
Little Chinese Boy and His Computer . . 1
Janusz Laski Data Flow Testing in STAD . . . . . . . 3
Ali Jaoua and
Ali Mili The Use of Executable Assertions for
Error Detection and Damage Assessment 15
Aimo A. Torn Models of Software Accumulation . . . . 39
Keith Humenik and
Roger S. Pinkham Production Probability Estimators for
Context-Free Grammars . . . . . . . . . 43
Rade Adamov and
Lutz Richter A Proposal for Measuring the Structural
Complexity of Programs . . . . . . . . . 55
Lin Zucconi Controversy Corner: A Debate, Zucconi
vs. Reifer: U.S. Technology: We're
Losing the Edge in Software . . . . . . 71
Donald J. Reifer Controversy Corner: A Debate, Zucconi
vs. Reifer: Is Asia Really a Threat? . . 74
Lin Zucconi Controversy Corner: A Debate, Zucconi
vs. Reifer: Response to ``Is Asia Really
a Threat?'' . . . . . . . . . . . . . . 77
Robert L. Glass Editor's Corner: Theory versus Practice
--- Revisited . . . . . . . . . . . . . 81
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
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
R. Motschnig-Pitrik A Framework for the Support of a Common
Structural Level for Software-, Data
Base-, and Knowledge-Based Systems . . . 125
Hafedh Mili and
John Sibert and
Yoav Intrator An Object-Oriented Model Based on
Relations . . . . . . . . . . . . . . . 139
Heidemarie Wernhart and
Roland Mittermeir The HIBOL-2 Environment: A Basis for
Visual Programming of Business Objects 157
Stuart H. Zweben and
David N. Card and
William W. Agresti Controversy Revisited: On the Resolution
of the Software Science Anomaly . . . . 167
Warren Harrison Guest Editor's Introduction: The Oregon
Workshop on Software Metrics . . . . . . 175
Norman Fenton and
Austin Melton Deriving Structurally Based Software
Measures . . . . . . . . . . . . . . . . 177
Paul W. Oman and
Curtis R. Cook Design and Code Traceability Using a PDL
Metrics Tool . . . . . . . . . . . . . . 189
B. Terry Compton and
Carol Withrow Prediction and Control of ADA Software
Defects . . . . . . . . . . . . . . . . 199
Adam A. Porter and
Richard W. Selby Evaluating Techniques for Generating
Metric-based Classification Trees . . . 209
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
Meg Russell International Survey of Software
Measurement Education and Training . . . 233
Robert Lanphar Quantitative Process Management in
Software Engineering, A Reconciliation
Between Process and Product Views . . . 243
Sandhiprakash Bhide Generalized Software Process-integrated
Metrics Framework . . . . . . . . . . . 249
Shari Lawrence Pfleeger and
Clement McGowan Software Metrics in the Process Maturity
Framework . . . . . . . . . . . . . . . 255
Daniel Coupal and
Pierre N. Robillard Factor Analysis of Source Code Metrics 263
Alan Myrvold Data Analysis for Software Metrics . . . 271
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
Robert L. Glass Editor's Corner: At Last --- Some
Measured Results of the ``Structured
Revolution'' . . . . . . . . . . . . . . 1
Masaaki Mizuno and
Arthur E. Oldehoeft An Access Control Language for
Object-oriented Programming Systems . . 3
Ric Frankel A Hybrid Knowledge-Based Approach to
Structured Selection . . . . . . . . . . 13
Ophir Frieder Fault Tolerance on a Hypercube: A
Database Application . . . . . . . . . . 25
Masayasu Odani and
Sun Young Hwang and
Tom Blank and
Tom Rokicki The Hermod Behavioral Synthesis System 39
Frans C. Heeman Incremental Parsing of Expressions . . . 55
Tarek K. Abdel-Hamid On the Utility of Historical Project
Statistics for Cost and Schedule
Estimation: Results from a
Simulation-based Case Study . . . . . . 71
Robert L. Glass Editor's Corner: Automatic Programming
--- A Cocktail Party Myth? . . . . . . . 85
Warren Harrison A Foreword to the Special Issue on Using
Software Metrics . . . . . . . . . . . . 87
Sallie Henry and
John Lewis Integrating Metrics into a Large-Scale
Software Development Environment . . . . 89
James A. Redmond and
Reynold Ah-Chuen Software Metrics --- A User's
Perspective . . . . . . . . . . . . . . 97
Khosrow Dehnad Software Metrics from a User's
Perspective . . . . . . . . . . . . . . 111
Samuel E. Hon Assuring Software Quality through
Measurements: A Buyer's Perspective . . 117
Geoff Whale Software Metrics and Plagiarism
Detection . . . . . . . . . . . . . . . 131
Brent J. Bowman and
William A. Newman Software Metrics as a Programming
Training Tool . . . . . . . . . . . . . 139
Robert L. Glass Editor's Corner: Mikhail Gorbachev and
Software Productivity (!?) . . . . . . . 151
J. N. Buxton Software Engineering --- 20 Years On and
20 Years Back . . . . . . . . . . . . . 153
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
Bogdan Korel and
Janusz Laski Dynamic Slicing of Computer Programs . . 187
Chuck Litecky Spreadsheet Macro Programming: A
Critique with Emphasis on Lotus 1-2-3 197--200
Anna Hac and
Theodore J. Johnson A Performance Comparison of a
Closely-Coupled and a Loosely-Coupled
Architecture . . . . . . . . . . . . . . 201
Christine Aguilera and
Daniel M. Berry The Use of a Repeated Phrase Finder in
Requirements Extraction . . . . . . . . 209
Brian E. Pulk Controversy Corner: Improving Software
Project Management . . . . . . . . . . . 231
Robert L. Glass Editor's Corner: A Report from the Rest
and Brightest A Report from the Best and
Brightest . . . . . . . . . . . . . . . 1
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
Janina Mincer-Daszkiewicz Program I/O Behavior: Models and Their
Applications . . . . . . . . . . . . . . 51
Robert L. Glass Editor's Corner: Software Maintenance:
It's Time to Educate the Educators . . . 65
J. A. Hager Software Cost Reduction Methods in
Practice: A Post-Mortem Analysis . . . . 67
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
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
Ophir Frieder and
Mark E. Segal On Dynamically Updating a Computer
Program: From Concept to Prototype . . . 111
Robert L. Glass Editor's Corner: 4GLs and CASE: What's
the Payoff? . . . . . . . . . . . . . . 131
Sallie Henry and
Roger Goff Comparison of a Graphical and a Textual
Design Language Using Software Quality
Metrics . . . . . . . . . . . . . . . . 133
H. Joel Jeffrey Human Systems Analysis in the Software
Engineering Curriculum . . . . . . . . . 147
Juan A. Carrasco and
Joan Figueras and
Annie Kuntzman Evaluation of Safety-Oriented
Two-Version Architectures . . . . . . . 155
G. C. Shoja A Distributed Facility for Load Sharing
and Parallel Processing Among
Workstations . . . . . . . . . . . . . . 163
Anna Hac and
Xiaowei Jin and
Jo-Han Soo Algorithms for File Replication in a
Distributed System . . . . . . . . . . . 173
Laura K. Dillion An Isolation Approach to Symbolic
Execution-based Verification of Ada
Tasking Programs . . . . . . . . . . . . 183
Narasimhaiah Gorla Performance of a Hybrid DBMS Using a
Case Study . . . . . . . . . . . . . . . 199
Richard A. Reid and
Peter L. Asprey Controversy Corner: Computer Performance
Management: Conceptual Considerations
from an Operations Research Perspective 215
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
Dimitris Christodoulakis The GRASPIN Software Engineering
Environment . . . . . . . . . . . . . . 3
Wolf D. Itzfeldt and
Bernd Kramer and
Marie-Luise Christ-Neumann The Project GRASPIN and Its CASE
Environment Prototypes: An Overview . . 5
Bernd Kramer Introducing the GRASPIN Specification
Language SEGRAS . . . . . . . . . . . . 17
Bernd Kramer A Sort of Parametric Polymorphism for
Algebraic Specifications . . . . . . . . 33
Heinz W. Schmidt Prototyping and Analysis of
Non-Sequential Systems Using
Predicate-Event Nets . . . . . . . . . . 43
Bernd Kramer and
Luqi Toward Formal Models of Software
Engineering Processes . . . . . . . . . 63
S. Goutas and
P. Soupos and
D. Christodoulakis The GRASPIN Data Base . . . . . . . . . 75
I. Gaviotis and
A. Hatzimanikatis and
D. Christodoulakis Communicating in Software Engineering
Environments: The GRASPIN Paradigm . . . 83
Robert L. Baber Controversy Corner: Portrait of a
(Software) Engineer . . . . . . . . . . 91
Robert L. Glass Editor's Corner: Formal Methods vs.
Heuristics: Clarifying a Controversy . . 103
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
Antonia Bertolino An Overview of Automated Software
Testing . . . . . . . . . . . . . . . . 133--138
Reda A. Ammar A Computer Aided Design System to
Develop High Performance Software . . . 139
Dennis F. X. Mathaisel and
Clare L. Comm Course and Classroom Scheduling: An
Interactive Computer Graphics Approach 149--157
Pierre Bourque and
Vianney Cote An Experiment in Software Sizing with
Structured Analysis Metrics . . . . . . 159
Neal Walters Requirements Specification for Ada
Software Under DoD-STD-2167A . . . . . . 173
Chenho Kung Process Interface Modeling and
Consistency Checking . . . . . . . . . . 185
David L. Coleman and
Albert L. Baker Deliberations on Kung's Process
Interface Modeling . . . . . . . . . . . 193
Robert L. Glass The (Solved, Unsolved) Problem of
Literature Searches . . . . . . . . . . 203
Linda L. Werner and
William E. Howden An Investigation of the Applicability of
Data Usage Analysis . . . . . . . . . . 205
Yuksel Uckan Knowledge Representation Using Views in
Relational Deductive Data Bases . . . . 217
Daniel K. Chang Data Compression Using Hierarchical
Dictionaries . . . . . . . . . . . . . . 233
Vijay Varadharajan A Petri Net Model for System Design and
Refinement . . . . . . . . . . . . . . . 239
Magdi N. Kamel and
Moshe Zviran A Methodology for Integrating
Heterogeneous Data Bases in a Hospital
Environment . . . . . . . . . . . . . . 251
Edwin K. P. Chong and
Zhao Wei Performance Evaluation of Scheduling
Algorithms for Imprecise Computer
Systems . . . . . . . . . . . . . . . . 261
Richard E. Yellen and
Jay F. Nunamaker Increasing the Willingness of Novices to
Use Computer Application Software . . . 279
Paul W. Oman and
Curtis R. Cook A Programming Style Taxonomy . . . . . . 287
Robert L. Glass Structured Research? (A Partly
Tongue-in-Cheek Look) . . . . . . . . . 1
A. J. Fisher Incremental Algorithms for Interactive
Text Formatting . . . . . . . . . . . . 3--16
Robin M. Snyder Specifying Textual To Graphical
Conversion . . . . . . . . . . . . . . . 17
Tao Yonglei and
Kung Chenho Formal Definition and Verification of
Data Flow Diagrams . . . . . . . . . . . 29
Anna Hac and
Jin Xiaowei A Decentralized Algorithm for Dynamic
Load Balancing with File Transfer . . . 37
C. Samuel Hsieh Distributed Evaluation of Commutative
and Associative Functions . . . . . . . 53
Sallie Keller-McNulty and
Mark S. McNulty and
David A. Gustafson Stochastic Models for Software Science 59--68
Lee Ching-Cheng and
H. A. Fatmi Run-Time Support for Parallel Functional
Programming on Shared-Memory
Multiprocessors . . . . . . . . . . . . 69
Ronald Geenens and
Mustafa Kamal An Industry Study of Computer Practices 75
Robert I. Glass Quality Software: What is Management's
Role? . . . . . . . . . . . . . . . . . 83
Guan Sheng-Uei and
Hussein Abdel-Wahab and
Peter Calingaert Jointly-Owned Objects for Collaboration:
Operating-System Support and Protection
Model . . . . . . . . . . . . . . . . . 85
K. Narayanaswamy and
Neil M. Goldman A Flexible Framework for Cooperative
Distributed Software Development . . . . 97
Krishna M. Kavi and
Akshay K. Deshpande Specification of Concurrent Processes
Using a Dataflow Model of Computation
and Partially Ordered Events . . . . . . 107
Tsu-Feng Ho and
Wah-Chun Chan and
Chyan-Goei Chung Reliability Modeling of Parallel
Programs with Modular Structure Using
Stochastic Petri Nets . . . . . . . . . 121
Ali Emdad An Empirical Investigation of the
Effectiveness of Software Documentation
Delivery Systems . . . . . . . . . . . . 129
W. B. Frakes and
D. J. Lubinsky and
D. N. Neal Experimental Evaluation of a Test
Coverage Analyzer for C and C++ . . . . 135
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
Robert L. Glass Software Productivity: What is
Management's Role? . . . . . . . . . . . 167
James H. Gerlach and
Kuo Feng-Yang Formal Development of Hybrid
User-Computer Interfaces with Advanced
Forms of User Assistance . . . . . . . . 169
Armin Roeseler and
Anneliese von Mayrhauser Managing the Quality of Computing
Services: A User-oriented Approach Using
Utility Theory and Service-level Indices 185
C. Samuel Hsieh Slice, Chunk, and Dataflow Anomaly as
Datalog Rules . . . . . . . . . . . . . 197
Patrick O. Bobbie and
Mike Papazoglou Clustering PROLOG Programs for
Distributed Computations . . . . . . . . 205
Muruganandan Kumar and
Johnny Wong Transaction Models for Design
Environments . . . . . . . . . . . . . . 219--228
M. H. Samadzadeh and
K. Nandakumar A Study of Software Metrics . . . . . . 229
Ronald Gulezian Reformulating and Calibrating COCOMO . . 235
Anna Hac Design Algorithms for Asynchronous Write
Operations in Disk-Buffer-Cache Memory 243
Boumediene Belkhouche Generation of ADA and PL/1 Prototypes
from Abstract Data Type Specifications 255
Anonymous Readers' Corner . . . . . . . . . . . . 1
Donald Gotterbarn Editor's Corner: Professional Computer
Ethics . . . . . . . . . . . . . . . . . 5
Batya Friedman and
Peter H. Kahn Human Agency and Responsible Computing:
Implications for Computer System Design 7
Goran Collste Expert Systems in Medicine and Moral
Responsibility . . . . . . . . . . . . . 15
W. Robert Collins and
Keith W. Miller Paramedic Ethics for Computer
Professionals . . . . . . . . . . . . . 23
Michael C. McFarland Broadening the Basis for Ethical
Analysis . . . . . . . . . . . . . . . . 39
Eugene H. Spafford Are Computer Hacker Break-ins Ethical? 41
Laura M. Leventhal and
Keith E. Instone and
David W. Chilson Another View of Computer Science Ethics:
Patterns of Responses Among Computer
Scientists . . . . . . . . . . . . . . . 49
Heinz C. Luegenbiehl Computer Professionals: Moral Autonomy
and a Code of Ethics . . . . . . . . . . 61
Ernest A. Kallman Developing a Code for Ethical Computer
Use . . . . . . . . . . . . . . . . . . 69
Donald Gotterbarn The Use and Abuse of Computer Ethics . . 75
Riva Wenig Bickel and
Maria M. Lorrondo-Petrie and
David F. Bush EDICT for Computer Ethics Education . . 81
Craig Summers and
Eric Markusen Controversy Corner: Computers, Ethics,
and Collective Violence . . . . . . . . 91
Robert L. Glass The Best and Worst of Software in the
1980s . . . . . . . . . . . . . . . . . 109
John C. Kelly and
Joseph S. Sherif and
Jonathan Hops An Analysis of Defect Densities Found
During Software Inspections . . . . . . 111
Srinivasarao Damerla and
Sol M. Shatz Software Complexity and Ada Rendezvous:
Metrics Based on Nondeterminism . . . . 119
James M. Purtilo and
Elizabeth L. White A Flexible Program Adaptation System:
Case Studies in Ada . . . . . . . . . . 129
William Bulgren and
Victor Frost and
Chang Chi-Shih A Model for Interconnected LANs with
General Arrivals . . . . . . . . . . . . 145
Prabha Gopinath and
Rajiv Ramnath and
Karsten Schwan Data Base Design for Real-Time
Adaptations . . . . . . . . . . . . . . 155
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
Robert L. Glass Editor's Corner: The Importance of
Software Quality in the 1990s . . . . . 203
G. P. A. J. Delen and
D. B. B. Rijsenbrij The Specification, Engineering, and
Measurement of Information Systems
Quality . . . . . . . . . . . . . . . . 205
David N. Card Designing Software for Producibility . . 219
C. Samuel Hsieh and
Elizabeth A. Unger and
Ramon A. Mata-Toledo Using Program Dependence Graphs for
Information Flow Control . . . . . . . . 227
Leung Yiu-Wing Optimum Software Release Time with a
Given Cost Budget . . . . . . . . . . . 233
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 Evaluating and Extending NPath as a
Software Complexity Measure . . . . . . 275
Robert N. Britcher Controversy Corner: Cards, Couriers, and
the Race to Correctness . . . . . . . . 281
J. S. Ostroff Formal methods for the specification and
design of real-time safety critical
systems . . . . . . . . . . . . . . . . 33--60
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
Armin Roeseler and
Anneliese von Mayrhauser Using Service-Level Indices to Manage
the Quality of Computing Services: A
Case Study . . . . . . . . . . . . . . . 139
Ilie Popescu A Relational Model for Knowledge
Representation in Expert Systems . . . . 147
Hung Yung-Chen and
Chen Gen-Huey A Layered Communication System Generator 157
Erhard Rahm A Framework for Workload Allocation in
Distributed Transaction Processing
Systems . . . . . . . . . . . . . . . . 171
James R. Warren and
Jack W. Stott and
A. F. Norcio Stochastic Simulation of Information
Systems Designs from Data Flow Diagrams 191
Robert L. Glass Editor's Corner: The Importance of the
Application Domain Cluster . . . . . . . 205
Lin Jim-Min and
Rong Tsai Shang and
Tseng Li-Ming Integrating Existing Software Packages
Using the Virtual Machine Technique . . 207
H. M. Al-Haddad and
K. M. George and
M. H. Samadzadeh A Feedback Inheritance Model . . . . . . 219
Oscar Barros A Pragmatic Approach to
Computer-Assisted System Building . . . 235
Douglas B. Bock and
Robert Klepper FP-S: A Simplified Function Point
Counting Method . . . . . . . . . . . . 245
Khoa D. Huynh and
Eduardo B. Fernandez and
Taghi M. Khoshgoftaar A Workload Model for Frame-Based
Real-Time Applications on Distributed
Systems . . . . . . . . . . . . . . . . 255
K. Humenik and
R. S. Pinkham Transposition Errors in Context-Free
Languages . . . . . . . . . . . . . . . 273
Jean E. Tardy Strategies for Software Acquisition . . 281
L. L. Miller and
S. R. Inglett and
A. R. Hurson PASS --- A Multiuser Parallel File
System Based on Microcomputers . . . . . 75--83
Jo Ann Oravec and
Robert Plant Guest Editors' Introduction . . . . . . 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
Roger M. Kerr Expert Systems in Production Scheduling:
Lessons from a Failed Implementation . . 123
William E. Spangler and
Jerrold H. May Success and Failure in Cooperative
Expert Systems Development: A Tale of
Two Projects . . . . . . . . . . . . . . 131
R. T. Plant Expert System Development and Testing: A
Knowledge Engineer's Perspective . . . . 141
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
Lance B. Eliot Case Analysis of Expert Systems
Projects: Strategies and Examples . . . 153
Michael R. Wick Expert System Explanation in Retrospect:
A Case Study in the Evolution of Expert
System Explanation . . . . . . . . . . . 159
Paul Licker and
Bruce Olsen Dimensions of Expert System Management 171
Robert C. Tausworthe Controversy Corner: Information Models
of Software Productivity: Limits on
Productivity Growth . . . . . . . . . . 185
Robert L. Glass Editor's Corner: Finally --- Someone Who
Understands Where Software Quality Fits
In . . . . . . . . . . . . . . . . . . . 205
Harry S. Delugach Specifying Multiple-Viewed Software
Requirements with Conceptual Graphs . . 207
P. Benedusi and
A. Cimitile and
U. De Carlini Reverse Engineering Processes, Design
Document Production, and Structure
Charts . . . . . . . . . . . . . . . . . 225
M. R. Stytz and
O. Frieder Dynamic Adaptive Surface Rendering
Within a Distributed Memory
Multiprocessor . . . . . . . . . . . . . 247
Rashi Khanna and
Bruce McMillin SMILI: Visualization of Asynchronous
Massively Parallel Programs . . . . . . 261
Robert L. Glass A Comparative Analysis of the Topic
Areas of Computer Science, Software
Engineering, and Information Systems . . 277
Robert L. Glass Object Orientation: Theory and Practice 1
H. M. Al-Haddad and
K. M. George An Implementation Inheritance Model for
Object-Oriented Programming . . . . . . 3
Chen Deng-Jyi and
P. J. Lee On the Study of Software Reuse Using
Reusable C++ Componets . . . . . . . . . 19
Stan Jarzabek Domain Model-Driven Software
Reengineering and Maintenance . . . . . 37
K. Ryu and
S. R. Maeng and
J. W. Cho Concurrency and Inheritance in
Actor-Based Object-Oriented Languages 53
Kyu Lee Yang and
Joo Park Sung OPNets: An Object-Oriented High-Level
Petri Net Model for Real-Time System
Modeling . . . . . . . . . . . . . . . . 69
Marguerite Saacks-Giguette and
Antonio M. Lopez A Frame-Based Design for the TIMS and
CAMS Metadata for a Stennis Information
Management System . . . . . . . . . . . 87
Jeffrey M. Voas and
Jeffrey E. Payne and
Keith W. Miller Controversy Corner: Designing Programs
that are Less Likely to Hide Faults . . 93
Robert L. Glass Editor's Corner: The Many Flavors of
Testing . . . . . . . . . . . . . . . . 105
Michael Dyer Distribution-Based Statistical Sampling:
An Approach to Software Functional Test 107
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
Choi Byoungju and
Aditya P. Mathur High-Performance Mutation Testing . . . 135
Armin Roeseler and
Anneliese von Mayrhauser A Production-Based Approach to
Performance Evaluation of Computing
Technology . . . . . . . . . . . . . . . 153
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
A. Pombortsis and
C. Halatsis Performance of Circuit-Switched
Interconnection Networks under
Nonuniform Traffic Patterns . . . . . . 189
Warren Harrison Guest Editor's Introduction . . . . . . 205
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
Carl Seddio Integrating Test Metrics within a
Software Engineering Measurement Program
at Eastman Kodak Company: A Follow-up
Case Study . . . . . . . . . . . . . . . 227
Adam A. Porter Using Measurement-Driven Modeling to
Provide Empirical Feedback to Software
Developers . . . . . . . . . . . . . . . 237
Larry J. Morell and
Jeffrey M. Voas A Framework for Defining Semantic
Metrics . . . . . . . . . . . . . . . . 245
Larry Morell and
Branson Murrill Semantic Metrics through Error Flow
Analysis . . . . . . . . . . . . . . . . 253
Richard W. Selby Interconnectivity Analysis Techniques
for Error Localization in Large Systems 267--294
Germinal Boloix and
Paul G. Sorenson and
J. Paul Tremblay Software Metrics Using a Metasystem
Approach to Software Specification . . . 273
A. Jefferson Offutt and
Mary Jean Harrold and
Priyadarshan Kolte A Software Metric System for Module
Coupling . . . . . . . . . . . . . . . . 295
Robert L. Glass Can English Majors Write Maintenance
Documentation? . . . . . . . . . . . . . 1
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
Tsai Shang Rong and
Lian-Jou Tsai A Logical Machine Monitor Supporting an
Environment for Development and
Execution of Operating Systems . . . . . 27--39
Wong Kam-Fai Design Considerations of a Parallel
Recovery Scheme for the EDS Data Base
Server . . . . . . . . . . . . . . . . . 41
Harvey Rubinovitz and
Bhavani Thuraisingham Design and Implementation of a Query
Processor for a Trusted Distributed Data
Base Management System . . . . . . . . . 49
Samir M. Koriem and
L. M. Patnaik Fault-Tolerance Analysis of Hypercube
Systems Using Petri Net Theory . . . . . 71
Zoubir Belmesk An Efficient Implementation Model for
the FP2 Parallel Language . . . . . . . 89
Mitchell L. Neilsen and
Masaaki Mizuno A Quorum-Based Algorithm for
Parameterized Semaphore Operations . . . 103
Robert L. Glass Editor's Corner: Of Understanding,
Acceptance, \ldots and Formal Methods 115
Bruce I. Blum The Economics of Adaptive Design . . . . 117
Ulrich Furbach Formal Specification Methods for
Reactive Systems . . . . . . . . . . . . 129
Shaoying Liu A Formal Requirements Specification
Method Based on Data Flow Analysis . . . 141--149
J. Song A Layout Tool for Glotos . . . . . . . . 151
A. von Mayrhauser and
Deepak Dube Simple and Fast Approximations for
Generalized Stochastic Petri Nets . . . 163
Lee Heeseok A Structured Methodology for Software
Development Effort Prediction Using the
Analytic Hierarchy Process . . . . . . . 179
Girish H. Subramanian and
Steven Breslawski Dimensionality Reduction in Software
Development Effort Estimation . . . . . 187
James M. Bieman and
Pradip K. Srimani Editor's Corner: Applying Specification,
Verification, and Validation Techniques 199
William S. Lloyd and
Phil Kearns Tracing the Execution of Distributed
Programs . . . . . . . . . . . . . . . . 201
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
Martin Reck Formally Specifying an Automated Trade
Execution System . . . . . . . . . . . . 245
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
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
Yukuh Tung and
Amir A. Khwaja and
Joseph E. Urban Multiple Views of an Executable Software
Specification Language . . . . . . . . . 305
Robert L. Glass Error Detection: Which is Better,
Reviews or Testing? . . . . . . . . . . 1
Muruganandan Kumar and
Johnny Wong Transaction Management in Design
Databases . . . . . . . . . . . . . . . 3--15
Moshe Zviran A Comprehensive Methodology for Computer
Family Selection . . . . . . . . . . . . 17
Mariano G. Fernandez and
Sumit Ghosh Ddbx-LPP: A Dynamic Software Tool for
Debugging Asynchronous Distributed
Algorithms on Loosely Coupled Parallel
Processors . . . . . . . . . . . . . . . 27
M. Zaki and
M. Y. El-Nahas and
H. A. Allam DPDP: An Interactive Debugger for
Parallel and Distributed Processing . . 45
Zhou Wanlei The Design and Implementation of a
Distributed Program Monitor . . . . . . 63
Robert L. Glass The Gold We've Failed to Mine . . . . . 79
Danny C. C. Poo Implementing an Evolutionary Structural
Software Model . . . . . . . . . . . . . 81
K. W. Ng A Visual Object-Oriented Concurrent LISP
Multiparadigm Environment . . . . . . . 91
S. M. Tang and
L. R. Chow Using Rank Hashing Function to Develop a
Data Allocating Scheme for a Two-Disk
System . . . . . . . . . . . . . . . . . 107--116
James D. Arthur and
Richard E. Nance and
Osman Balci Establishing Software Development
Process Control: Technical Objectives,
Operational Requirements, and the
Foundational Framework . . . . . . . . . 117
Gavin R. Finnie and
Gerhard Wittig and
Doncho I. Petkov Prioritizing Software Development
Productivity Factors Using the Analytic
Hierarchy Process . . . . . . . . . . . 129
Norman Fenton How Effective Are Software Engineering
Methods? . . . . . . . . . . . . . . . . 141
Robert L. Glass In Defense of Adhocracy . . . . . . . . 149
Tarek K. Abdel-Hamid A Multiproject Perspective of
Single-Project Dynamics . . . . . . . . 151
Allan M. Stavely An Empirical Study of Iteration in
Applications Software . . . . . . . . . 167
W. David Hurley A Method for Predicting the Impact of
User Interface Design on Software Design 179
Anna Hac A Distributed Algorithm for Managing
Resources in a Hierarchical Network . . 191
Daniel K. Chang A String Pattern-Matching Algorithm . . 207
Tzvi Raz and
Alan Yaung Process Clustering with an Algorithm
Based on a Coupling Metric . . . . . . . 217
Robert L. Glass Editor's Corner: Software Estimation is
Not a Rational Process . . . . . . . . . 1
Girish H. Subramanian An Empirical Examination of Software
Development Modes . . . . . . . . . . . 3
M. K. Zand and
K. M. George and
M. H. Samadzadeh and
H. Saiedian An Interconnection Language for Reuse at
the Template/Module Level . . . . . . . 9
P. C. Masiero and
C. A. A. Meira Development and Instantiation of a
Generic Application Generator . . . . . 27
R. Nigel Horspool and
Michael R. Levy Translator-Based Multiparadigm
Programming . . . . . . . . . . . . . . 39
Yee Jenn-Jong and
Yeun Chung-Kwong Transputer-Based Emulation of a
Data-Driven LISP Machine: BIDDLE . . . . 51
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
Donald Gotterbarn Object-Oriented Software Development: A
Full Life Cycle . . . . . . . . . . . . 83
James C. McKim, Jr. and
David A. Mondou Class Interface Design: Designing for
Correctness . . . . . . . . . . . . . . 85
Allen S. Parrish and
Richard B. Borie and
David W. Cordes Automated Flow Graph-Based Testing of
Object-Oriented Software Modules . . . . 95--103
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
Hossein Saiedian and
Stan Wileman A Concurrent Object-Oriented Framework
for Simulation of Network Protocols . . 139
W. Wessale and
D. Reifer and
D. Weller Large Project Experiences with
Object-Oriented Methods and Reuse . . . 151
Mike Stark Impacts of Object-Oriented Technologies:
Seven Years of Software Engineering . . 163
Dennis L. Brandl and
James H. Worley An Implemented Object Model of the
Software Engineering Process . . . . . . 171
Kim Won and
Suh Yongmoo and
Andrew Whinston An IBIS and Object-Oriented Approach to
Scientific Research Data Management . . 183
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
Robert L. Glass Which Do You Think? Modern Methods Will
Lead to Less Software Maintenance, or
More? . . . . . . . . . . . . . . . . . 209
D. B. B. Rijsenbrij and
A. H. Bauer A Quality System for a Software House 211
Ahmed Ferchichi Heuristics for Constructing Logic
Programs . . . . . . . . . . . . . . . . 225
A. von Mayrhauser and
K. Archie and
N. Weber Incremental Parsing for Software
Maintenance Tools . . . . . . . . . . . 235
Ronald E. Nusenoff and
Dennis C. Bunde A Guidebook and a Spreadsheet Tool for a
Corporate Metrics Program . . . . . . . 245
Chiang Chi-Ming and
Matt W. Mutka Characteristics of User File-Usage
Patterns . . . . . . . . . . . . . . . . 257
Arun Lakhotia Understanding Someone Else's Code:
Analysis of Experiences . . . . . . . . 269--275
Robert L. Glass User Satisfaction . . . . . . . . . . . 1
Wanlei Zhou A Rapid Prototyping System for
Distributed Information System
Applications . . . . . . . . . . . . . . 3
Chen Jen-Yen and
Hung Yu-Shiang An Integrated Object-Oriented Analysis
and Design Method Emphasizing
Entity/Class Relationship and Operation
Finding . . . . . . . . . . . . . . . . 31
Anna Hac Distributed Multicasting Algorithm with
Congestion Control and Message Routing 49
Paul Quintas Software Engineering Policy and
Practice: Lessons from the Alvey Program 67
Pinaki D. Shah Transaction Management in an
Object-Oriented Database System . . . . 115--124
Warren Harrison Guest Editor's Introduction . . . . . . 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
George E. Stark and
Louise C. Kern A Software Metric Set for Program
Maintenance Management . . . . . . . . . 239
Paul Oman and
Jack Hagemeister Construction and Testing of Polynomials
Predicting Software Maintainability . . 251
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
H. Joel Jeffrey and
Anthony O. Putman Relationship Definition and Management:
Tools for Requirements Analysis . . . . 277
Pham Hoang Fault Tolerance in Real-Time Systems . . 1
Yu Lo Cyrus Chang and
Leslie C. Lander An Inference Design for Fault Location
in Real-Time Control Systems . . . . . . 3
Angelo Perkusich and
J. C. A. de Figueiredo and
S. K. Chang Embedding Fault-Tolerant Properties in
the Design of Complex Software Systems 23
Kassem Saleh and
Imtiaz Ahmad and
Khaled Al-Saqabi and
Anjali Agarwal An Efficient Recovery Procedure for
Fault Tolerance in Distributed Systems 39
A. E. K. Sahraoui Some Timing Aspects of Software
Development for Reactive Systems: The
Two-Axis Paradigm . . . . . . . . . . . 51
Deng Yong and
E. K. Park Checkpointing and Rollback-Recovery
Algorithms in Distributed Systems . . . 59
Alex Orailoglu and
Ramesh Karri Synthesis of Fault-Tolerant and
Real-Time Microarchitectures . . . . . . 73
Chen Yinong and
Winfried Gorke Structure-Oriented Dependability
Evaluation of Fault-Tolerant Protocols 85
W. J. Zhuang and
M. Xie Design and Analysis of Some
Fault-Tolerance Configurations Based on
a Multipath Principle . . . . . . . . . 101
Joanne Bechta Dugan and
Randy Van Buren Reliability Evaluation of Fly-by-Wire
Computer Systems . . . . . . . . . . . . 109
Robert L. Glass Theory $+$ Practice: A Disturbing
Example . . . . . . . . . . . . . . . . 125
Hassan Gomaa Software Design Methods for the Design
of Large-Scale Real-Time Systems . . . . 127
Hafedh Mili and
Roy Rada and
Weigang Wang 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
Alain Abran and
Pierre N. Robillard Function Points: A Study of Their
Measurement Processes and Scale
Transformations . . . . . . . . . . . . 171
H. B. Zhou and
L. Richter Very Fast Distributed Spreadsheet
Computing . . . . . . . . . . . . . . . 185
Daniel T. Joyce Experience with a Fourth-Generation
Language System for Software
Development: An Educator's Perspective 193
J. Steve Davis and
J. J. Kanet Developing an Application-Specific
Interactive System Based on a
Spreadsheet Package . . . . . . . . . . 201
Harold Thimbleby An Organizational Solution to Piracy and
Viruses . . . . . . . . . . . . . . . . 207
Robert L. Glass A Tabulation of Topics where Software
Practice Leads Software Theory . . . . . 219
Peter Fritzson and
Mikhail Auguston and
Nahid Shahmehri Using Assertions in Declarative and
Operational Models for Automated
Debugging . . . . . . . . . . . . . . . 223
Deborah Hix and
H. Rex Hartson and
Antonio C. Sciochi and
David Ruppert Customer Responsibility for Ensuring
Usability: Requirements on the User
Interface Development Process . . . . . 241
Susan A. Sherer Measuring Software Failure Risk:
Methodology and an Example . . . . . . . 257
McCagie Brooks Rogers The MYTHSEEKER Project: Concepts and
Realization . . . . . . . . . . . . . . 271
Antonia Bertolino Achieving Quality in Software . . . . . 1
Motoei Azuma and
David Mole Software Management Practice and Metrics
in the European Community and Japan:
Some Results of a Survey . . . . . . . . 5
M. Raffa and
G. Zollo The Role of Professionals in Small
Italian Software Firms . . . . . . . . . 19
Tsuneo Furuyama and
Yoshio Arai and
Kazuhiko Iio Fault Generation Model and Mental Stress
Effect Analysis . . . . . . . . . . . . 31
Christophe Debou and
Jaroslav Liptak and
Herbert Schippers Decision Making for Software Process
Improvement: A Quantitative Approach . . 43
Alfonso Fuggetta and
Carlo Ghezzi State of the Art and Open Issues in
Process-Centered Software Engineering
Environments . . . . . . . . . . . . . . 53
Michael Halliday and
Inderpal Bhandari and
Jarir Chaar and
Ram Chillarege Experiences in Transferring a Software
Process Improvement Methodology to
Production Laboratories . . . . . . . . 61
Tor Stalhane and
Kari J. Wedde The Quest for Reliability: A Case Study 69
William M. Evanco and
Robert Lacovara A Model-Based Framework for the
Integration of Software Metrics . . . . 77
Frenando Brito e. Abreu and
Rogerio Carapuca Candidate Metrics for Object-Oriented
Software within a Taxonomy Framework . . 87
Robert L. Glass The Faking of Software Design . . . . . 101
Lon D. Gowen and
James S. Collofello Assessing Traditional Verification's
Effectiveness on Safety-Critical
Software Systems . . . . . . . . . . . . 103
J. Wu and
Y. Wang and
E. B. Fernandez A Uniform Approach to Software and
Hardware Fault Tolerance . . . . . . . . 117
Ryan Stansifer and
Mike Beaven and
Dan C. Marinescu Modeling Concurrent Programs with
Colored Petri Nets . . . . . . . . . . . 129
Gang-Soo Lee and
Tadao Murata A beta-Distributed Stochastic Petri Net
Model for Software Project Time/Cost
Management . . . . . . . . . . . . . . . 149
Anna Hac and
Raghavendra Rao Loka A Distributed Load-Building Algorithm
for Parallel Compilation of Files in a
Software Application . . . . . . . . . . 167
Naomi S. DeMent and
Pradip K. Srimani A New Algorithm for $k$ Mutual
Exclusions in Distributed Systems . . . 179
M. Shepperd and
D. C. Ince A Critique of Three Metrics . . . . . . 197--210
Robert L. Glass Discipline Is a Dirty Word: A Story
about the Software Life Cycle . . . . . 1
Y. Miyazaki and
M. Terakado and
K. Ozaki and
H. Nozaki Robust Regression for Developing
Software Estimation Models . . . . . . . 3
Jen-Yen Chen and
Chia-Ming Tu An Ada-like Software Process Language 17
P. David Stotts and
William Pugh Parallel Finite Automata for Modeling
Concurrent Software Systems . . . . . . 27
Chin-Chen Chang and
Shin-Jia Hwang and
Daniel J. Buehrer New Concepts for Multiple Stack System:
Born and Reborn . . . . . . . . . . . . 45
Hoang Pham On the Optimal Design of $N$-Version
Software System Subject to Constraints 55
Robert L. Glass Assessment of systems and software
engineering scholars and institutions 63--66
Robert L. Glass My Readers Write: Some Thoughts on
Formal Methods . . . . . . . . . . . . . 71
M. Portman and
H. S. M. Zedan The Development of Imprecise Real-Time
Systems . . . . . . . . . . . . . . . . 73
Waqar Haque and
Johnny Wong Distributed Real-Time Nested
Transactions . . . . . . . . . . . . . . 85--96
Carlo Ghezzi and
Sandro Morasca and
Mauro Pezze Validating Timing Requirements for Time
Basic Net Specifications . . . . . . . . 97
Mohamed Bettaz and
Mourad Maouche and
Moussa Soualmi and
Madani Boukebeche On Reusing ATNet Modules in Protocol
Specification . . . . . . . . . . . . . 119
Wuu Yang How to Merge Program Texts . . . . . . . 129
S. Mansoor Sarwar and
James A. Davis New Families of Combinators for
Efficient List Manipulation . . . . . . 137
Paul R. Wilson and
Sheetal V. Kakkad and
Shubhendu S. Mukherjee Anomalies and Adaptation in the Analysis
and Development of Prepaging Policies 147
Christof Ebert Controversy Revisited . . . . . . . . . 154
Robert L. Glass Turning the Corner \ldots to the Same
Old Street: A Fundamental Nonchange in
JSS Policy . . . . . . . . . . . . . . . 1
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
Richard T. Turley and
James Bieman Competencies of Exceptional and
Nonexceptional Software Engineers . . . 19--38
Deborah 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
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
Kenji Takahashi and
Atsuko Oka and
Shuichiro Yamamoto and
Sadahiro Isoda A Comparative Study of Structured and
Text-Oriented Analysis and Design
Methodologies . . . . . . . . . . . . . 69
Shaoying Liu and
Victoria Stavridou and
Bruno Duterte The Practice of Formal Methods in
Safety-Critical Systems . . . . . . . . 77--87
Michael Heim Controversy Revisited: The Mythseeker
Project . . . . . . . . . . . . . . . . 89
S. M. Tang and
R. Chow Louis The Study of Letter-Oriented Hashing
Schemes . . . . . . . . . . . . . . . . 157
Robert L. Glass A Theory About Software's Practice . . . 187
Hassan Gomaa Reusable Software Requirements and
Architectures for Families of Systems 189
Susan D. Urban and
Anne M. Wang The Design of a Constraint/Rule Language
for an Object-Oriented Data Model . . . 203
Bo I. Sanden Designing Control Systems with
Entity-Life Modeling . . . . . . . . . . 225
Ming Fang and
Hussein S. M. Zedan and
Chris J. Ho-Stuart A Model for Timed-Probabilistic
Behaviors . . . . . . . . . . . . . . . 239
Ching-Hua Edward Chow Resource Allocation for Multiparty
Connections . . . . . . . . . . . . . . 253
Priyamvadha Thambu and
Johnny Wong An Efficient Token-Based Mutual
Exclusion Algorithm in a Distributed
System . . . . . . . . . . . . . . . . . 267
Warren Harrison Guest Editor's Corner . . . . . . . . . 1
Don Coleman and
Bruce Lowther and
Paul Oman The Application of Software
Maintainability Models in Industrial
Software Systems . . . . . . . . . . . . 3
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
Harpal Dhama Quantitative Models of Cohesion and
Coupling Software . . . . . . . . . . . 65
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
Robert L. Glass Editor's Corner: Beyond Formal Methods 95
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
Johnny Wong and
Priyamvadha Thambu and
Rick Stoen A Fault-Tolerant Algorithm for Mutual
Exclusion in a Distributed System . . . 121
Matt W. Mutka and
Jong-Pyng Li A Tool for Allocating Periodic Real-Time
Tasks to a Set of Processors . . . . . . 135
Larry Brown and
Jie Wu Snooping Fault-Tolerant Distributed
Shared Memories . . . . . . . . . . . . 149--165
Shaoying Liu Internal Consistency of FRSM
Specifications . . . . . . . . . . . . . 167
Hsiao-Hsi Wang and
Pei-Ku Lu and
Ruei-Chuan Chang An Implementation of an External Pager
Interface on BSD UNIX . . . . . . . . . 177
Daniel P. Harris Controversy Corner: Who Really Owns
``Your'' Software Programs? . . . . . . 191
Anonymous Biographies . . . . . . . . . . . . . . 195
Robert Plant Guest Editor's Corner . . . . . . . . . 197
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
Mala Mehrotra and
Chris Wild Analyzing Knowledge-Based Systems with
Multiviewpoint Clustering Analysis . . . 235
S. Murrell and
R. Plant Formal Semantics for Rule-Based Systems 251
Nils A. Kandelin and
Daniel E. O'Leary Verification of Object-Oriented Systems:
Domain-Dependent and Domain-Independent
Approaches . . . . . . . . . . . . . . . 261
Anonymous Biographies . . . . . . . . . . . . . . 271
R. D. Semmel and
M. Wilson Reengineering Complex Systems . . . . . 1
Andrew P. Sage Systems Engineering and Systems
Management for Reengineering . . . . . . 3
John R. Leary An Architectural Basis for Evolving
Software Systems . . . . . . . . . . . . 27
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
Judith D. Ahrens and
Noah Prywes and
Evan Lock Software Process Reengineering: Toward a
New Generation of CASE Technology . . . 71
Jane W. S. Liu and
Rhan Ha Methods for Validating Real-Time
Constraints . . . . . . . . . . . . . . 85
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
R. D. Semmel and
R. P. Winkler Integrating Reengineered Databases to
Support Data Fusion . . . . . . . . . . 127
Stephen R. Mackey and
Lynn M. Meredith Software Migration and Reengineering: A
Pilot Project in Reengineering . . . . . 137
Alan M. Davis Object-Oriented Requirements to
Object-Oriented Design: An Easy
Transition? . . . . . . . . . . . . . . 151
Robert L. Glass An Exchange with an Anonymous Reader,
and a Call for Help from Either
Researchers or Librarians . . . . . . . 160
Peter Fletcher The Role of Experiments in Computer
Science . . . . . . . . . . . . . . . . 161
Anonymous Biographies . . . . . . . . . . . . . . 164
Mansour Zand and
Mansur Samadzadeh Software Reuse: Current Status and
Trends . . . . . . . . . . . . . . . . . 167
Sadahiro Isoda Experiences of a Software Reuse Project 171
Jeffrey S. Poulin Populating Software Repositories:
Incentives and Domain-Specific Software 187
Guttorm Sindre and
Reidar Conradi and
Even-Andre Karlsson The REBOOT Approach to Software Reuse 201
Martin L. Griss and
Kevin D. Wentzel Hybrid Domain-Specific Kits . . . . . . 213
Scott Henninger Information Access Tools for Software
Reuse . . . . . . . . . . . . . . . . . 231
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
William B. Frakes and
Christopher J. Fox Modeling Reuse across the Software Life
Cycle . . . . . . . . . . . . . . . . . 295--301
Anonymous Biographies . . . . . . . . . . . . . . 303
Robert L. Glass In Search of an Obvious Yet Radical Idea 1
Robert L. Glass An Assessment of Systems and Software
Engineering Scholars and Institutions,
1993 and 1994 . . . . . . . . . . . . . 3
Bassel R. Arafeh A Graph Grammar Model for Concurrent and
Distributed Software
Specification-in-Large . . . . . . . . . 7
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
Nahid Shahmehri and
Mariam Kamkar and
Peter Fritzson Usability Criteria for Automated
Debugging Systems . . . . . . . . . . . 55
Vernon V. Chatman, III CHANGE-POINTs: A Proposal for Software
Productivity Measurement . . . . . . . . 71
Anonymous Biographies . . . . . . . . . . . . . . 93
Robert L. Glass Plenty of Pitfalls: There are Numbers
and Then There are Numbers . . . . . . . 95
Ozgur Ulusoy A Study of Two Transaction Processing
Architectures for Distributed Real-Time
Database Systems . . . . . . . . . . . . 97
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
Girish Subramanian and
Steven Breslawski An Empirical Analysis of Software Effort
Estimate Alterations . . . . . . . . . . 135
Shari Lawrence Pfleeger Maturity, Models and Goals: How to Build
a Metrics Plan . . . . . . . . . . . . . 143
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
Bill Hetzel The Sorry State of Software Practice
Measurement and Evaluation . . . . . . . 171
Anonymous Biographies . . . . . . . . . . . . . . 181
Robert L. Glass What Has Happened to the 1995
``Nonchange'' in JSS Policy? . . . . . . 1
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
Mohammad A. Ketabchi and
Kamyar J. Sadeghi Applying Object Technology to Software
Analysis and Maintenance System
Development . . . . . . . . . . . . . . 41
Hyunsik Shin and
Jinjoo Lee A Process Model of Application Software
Package Acquisition and Implementation 57
Christopher J. Lokan Early Size Prediction for C and Pascal
Programs . . . . . . . . . . . . . . . . 65
Alan C. Benander and
Barbara A. Benander and
Howard Pu Recursion vs. Iteration: An Empirical
Study of Comprehension . . . . . . . . . 73
Kevin L. Mills An Experimental Evaluation of
Specification Techniques for Improving
Functional Testing . . . . . . . . . . . 83
Anonymous Biographies . . . . . . . . . . . . . . 97
Robert L. Glass Editor's Corner . . . . . . . . . . . . 99
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
Jian Lu and
Zongming Fei Verification of HOS Software
Specification by a Hierarchical Software
Understanding Approach . . . . . . . . . 135
Jiang Zhu and
T. G. Lewis and
Lihua Zhao and
Weldon Jackson and
Russell L. Wilson HaRTS: Performance-Based Design of
Distributed Hard Real-Time Software . . 143
H. Joel Jeffrey Addressing the Essential Difficulties of
Software Engineering . . . . . . . . . . 157
Anonymous Biographies . . . . . . . . . . . . . . 181
Robert L. Glass Editor's Corner . . . . . . . . . . . . 183
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
Lisa Spicknall Fruth and
Elizabeth L. White and
James M. Purtilo A Pattern-Based Object-Linking Mechanism
for Component-Based Software Development
Environments . . . . . . . . . . . . . . 227
Daniel J. Buehrer and
Yang-Wen Fan SL-Trees: An Indexing Structure for
Object-Oriented Data Bases . . . . . . . 237
C. K. Yuen and
M. D. Feng and
J. J. Yee BaLinda Suite of Languages and
Implementations . . . . . . . . . . . . 251
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
Robert L. Glass Editor's Corner . . . . . . . . . . . . 1
Danny C. C. Poo and
Shwu-Yi Lee TarTAn: Interweaving Objects with Rules
in Information Systems Development . . . 3
Jahangir Karimi and
Craig Lee Carpenter A Partitioning Technique for Concurrent
Software Design . . . . . . . . . . . . 15
Lichen Zhang and
B. Chaib-draa A Design Methodology for Real-Time
Systems to be Implemented on
Multiprocessor Machines . . . . . . . . 37
Dong-Won Park and
Swaminathan Natarajan and
Arkady Kanevsky Fixed-Priority Scheduling of Real-Time
Systems Using Utilization Bounds . . . . 57
F. Alonso and
N. Juristo and
J. L. Mate and
J. Pazos Software Engineering and Knowledge
Engineering: Towards a Common Life Cycle 65
Ronald Gulezian Handling Regression Subsets in Software
Modeling . . . . . . . . . . . . . . . . 81
James Bradley Extended Relational Algebra for
Reduction of Natural Quantifier COOL
Expressions . . . . . . . . . . . . . . 87
Kwok-Yan Lam and
Lucas Hui and
Siu-Leung Chung A Data Reduction Method for Intrusion
Detection . . . . . . . . . . . . . . . 101
Anonymous Biographies . . . . . . . . . . . . . . 109
Joze Zupancic and
Stanislaw Wrycza and
Ali Mili Guest Editors' Corner . . . . . . . . . 111
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 Ogrim Organizing the Redesign Process in
System Development . . . . . . . . . . . 133
Kimmo Kinnunen and
Mauri Leppanen 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
Hubert Rumerstorfer and
Josef Altmann BOOM --- A First Step to an
Object-Oriented Fourth Generation System 171
I. T. Hawryszkiewycz and
L. A. Maciaszek and
J. R. Getta Coordination and Artifact Semantics in
Asynchronous Distributed Cooperation . . 179
Georgios I. Doukidis and
Panagiotis Lybereas and
Robert D. Galliers Information Systems Planning in Small
Business: A Stages of Growth Analysis 189
Anonymous Biographies . . . . . . . . . . . . . . 203
James M. Bieman and
Pradip K. Srimani Guest Editors' Corner . . . . . . . . . 205
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
F. Guidec and
J.-M. Jezequel and
J.-L. Pacherie An Object-Oriented Framework for
Supercomputing . . . . . . . . . . . . . 239
Jean-Paul Gaspoz Methodology for the Development of
Distributed Telecommunications Services 253
Ulrich Nitsche Verification and Behavior Abstraction
Towards a Tractable Verification
Technique for Large Distributed Systems 273--285
Ozalp Babaoglu and
Eddy Fromentin and
Michel Raynal A Unified Framework for the
Specification and Run-time Detection of
Dynamic Properties in Distributed
Computations . . . . . . . . . . . . . . 287
Mohamed Jmaiel Specification of Communication Protocols
Using Temporal Logic . . . . . . . . . . 299
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
Anonymous Biographies . . . . . . . . . . . . . . 329
Robert L. Glass Editor's Corner . . . . . . . . . . . . 1
Hee Beng Kuan Tan and
Tok Wang Ling Components Reuse for Data-Intensive
Business Programs Through an
Object-Oriented Architecture . . . . . . 3
Swagato Basumallick and
Johnny S. K. Wong Design and Implementation of a
Distributed Database System . . . . . . 21
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
Boumediene Belkhouche and
Bart J. Geraci A Formally Specified Prototyping System 67
Anonymous Biographies . . . . . . . . . . . . . . 83
Robert L. Glass Editor's Corner . . . . . . . . . . . . 85
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
C. Samuel Hsieh and
Elizabeth A. Unger On the Control Structure of a Program
Slice . . . . . . . . . . . . . . . . . 123
O. Owolabi Dictionary Organizations for Efficient
Similarity Retrieval . . . . . . . . . . 127
Wanlei Zhou and
Brian Molinari A System for Managing Remote Procedure
Call Transactions . . . . . . . . . . . 133
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
Johnny S. K. Wong and
Soma Mitra A Nonblocking Timed Atomic Commit
Protocol for Distributed Real-Time
Database Systems . . . . . . . . . . . . 161
Anonymous Biographies . . . . . . . . . . . . . . 171
Robert L. Glass Editor's Corner: Mathematics and the
Computer Scientist . . . . . . . . . . . 173
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
W. Wilson Ho and
Ronald A. Olsson A Layered Model for Building Debugging
and Monitoring Tools . . . . . . . . . . 211
Robyn R. Lutz Targeting Safety-Related Errors During
Software Requirements Analysis . . . . . 223
Soon-Young Huh and
David A. Rosenberg A Change Management Framework:
Dependency Maintenance and Change
Notification . . . . . . . . . . . . . . 231
John Mathews Controversy Corner: Organizational
Foundations of Object-Oriented
Programming . . . . . . . . . . . . . . 247
Anonymous Biographies . . . . . . . . . . . . . . 255
Robert L. Glass Editor's Corner: The Strange Case of the
Proofreader's Pencil . . . . . . . . . . 1
Marvin V. Zelkowitz Modeling Software Engineering
Environment Capabilities . . . . . . . . 3--14
Chieh-Ying Kan and
Xudong He A Method for Constructing Algebraic
Petri Nets . . . . . . . . . . . . . . . 15
Hessam Khoshnevisan and
Mohamad Afshar Space-Efficient Memo-Functions . . . . . 29
Li-Chi Feng and
Ruei-Chuan Chang Using Asynchronous Writes on Metadata to
Improve File System Performance . . . . 43
Khaled Al-Saqabi and
Kassem Saleh and
Imtiaz Ahmad Recovery From Concurrent Failures in
Communication Protocols . . . . . . . . 55
C. C. Chang and
D. J. Buehrer and
H. C. Kowng An Improvement to Ziegler's Sparse
Matrix Compression Algorithm . . . . . . 67
James Nechvatal A Public-Key-Based Key Escrow System . . 73
Robert L. Glass An Assessment of Systems and Software
Engineering Scholars and Institutions
(1993--1995) . . . . . . . . . . . . . . 85
Anonymous Biographies . . . . . . . . . . . . . . 91
Robert L. Glass Methodologies: Bend to Fit? . . . . . . 93
Antonia Bertolino and
Martina Marre How Many Paths are Needed for Branch
Testing? . . . . . . . . . . . . . . . . 95--106
A. Pasquini Empirical Validation of a Domain Test
Selection Criterion . . . . . . . . . . 107
Jeff Tian An Integrated Approach to Test Tracking
and Analysis . . . . . . . . . . . . . . 127
Jie Wu and
Eduardo B. Fernandez and
Manxia Zhang Design and Modeling of Hybrid
Fault-Tolerant Software With Cost
Constraints . . . . . . . . . . . . . . 141
Shaoying Liu and
John A. McDermid A Model-Oriented Approach to Safety
Analysis Using Fault Trees and a Support
System . . . . . . . . . . . . . . . . . 151
Anonymous Biographies . . . . . . . . . . . . . . 165
Robert L. Glass Two years later: What has happened to
the 1995 ``nonchange'' in JSS policy? 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
influence factors for software process
improvement . . . . . . . . . . . . . . 17
Bob Rehder and
Nancy Pennington and
Adrienne Y. Lee Scoring the completeness of software
designs . . . . . . . . . . . . . . . . 33
R. Lai A success story of verifying a real
complex protocol . . . . . . . . . . . . 69
Robert L. Glass Pilot studies: What, why, and how . . . 85--97
Robert L. Glass Editor's Corner: Are Programmers Really
``Out of Control''? . . . . . . . . . . 101
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
R. Lai An Experience in Using EDT to Process
the ISO Transaction Processing Estelle
Specification . . . . . . . . . . . . . 137
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
Yi-Bing Lin and
Joe Geigel A Graphical User Interface Design for
Network Simulation . . . . . . . . . . . 181
Narasimhaiah Gorla and
Ravi Ramakrishnan Effect of Software Structure Attributes
on Software Development Productivity . . 191
Anonymous Biographies . . . . . . . . . . . . . . 201
Robert L. Glass Software Reflections --- A Pioneer's
View of the History of the Field . . . . 203
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
Samir M. Koriem and
L. M. Patnaik A Generalized Stochastic High-Level
Petri Net Model for Performance Analysis 247
Chin-Chen Chang and
Hui-Min Tsai A Generalized Secret Sharing Scheme . . 267
Mary Jean Harrold and
A. Jefferson Offutt and
Kanupriya Tewary An Approach to Fault Modeling and Fault
Seeding Using the Program Dependence
Graph . . . . . . . . . . . . . . . . . 273
Germinal Boloix System Evaluation and Quality
Improvement . . . . . . . . . . . . . . 297
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
Anonymous Biographies . . . . . . . . . . . . . . 315
Robert L. Glass Some Thoughts on Automatic Code
Generation . . . . . . . . . . . . . . . 1
Ritu Agarwal and
Jayesh Prasad Targeting COBOL Programmers for C
Training: The Role of Job Insecurity and
Organizational Tenure . . . . . . . . . 5
Bill C. Hardgrave Adopting Object-Oriented Technology:
Evolution or Revolution? . . . . . . . . 19
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
Ozgur Ulusoy An Evaluation of Network Access
Protocols for Distributed Real-Time
Database Systems . . . . . . . . . . . . 49
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
Mitchell L. Neilsen Properties of Nondominated $K$-Coteries 91
Anonymous Biographies . . . . . . . . . . . . . . 97
Robert L. Glass Client/Server: Boom or Bust? . . . . . . 99
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
Yiu-Wing Leung Dynamic Resource-Allocation for
Software-Module Testing . . . . . . . . 129
Gang-Soo Lee and
Jin-Seok Lee Petri Net Based Models for Specification
and Analysis of Cryptographic Protocols 141
J. J. Dolado A Study of the Relationships among
Albrecht and Mark II Function Points,
Lines of Code 4GL and Effort . . . . . . 161
Anonymous Biographies . . . . . . . . . . . . . . 175
Sandro Bologna Guest Editor's Corner: Achieving Quality
in Software . . . . . . . . . . . . . . 1
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
William M. Evanco Poisson Analyses of Defects for Small
Software Components . . . . . . . . . . 27
E. Obara and
T. Kawasaki and
Y. Ookawa and
N. Maeda Metrics and Analyses in the Test Phase
of Large-Scale Software . . . . . . . . 37
Antonia Bertolino and
Raffaela Mirandola and
Emilia Peciola A Case Study in Branch Testing
Automation . . . . . . . . . . . . . . . 47
Ryouei Takahashi Software Quality Classification Model
Based on McCabe's Complexity Measure . . 61
Dieter Welzel and
Hans-Ludwig Hausen Practical Concurrent Software Evaluation
for Certification . . . . . . . . . . . 71
T. Stalhane and
P. C. Borgersen and
K. Arnesen In Search of the Customer's Quality View 85
P. Coppola and
P. Panaroni Process Improvement through Process
Modelling . . . . . . . . . . . . . . . 95
Anonymous Biographies . . . . . . . . . . . . . . 103
Robert L. Glass Editor's Corner: ``Good Enough''
Software --- A Unique American Advantage 105
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-Iun Hung Optimistic Concurrency Control Protocol
for Real-Time Databases . . . . . . . . 119
Mekki I. Elboushi and
Joseph S. Sherif Object-Oriented Software Design
Utilizing Quality Function Deployment 133
Mitsuari Hakuta and
Masato Ohminami A Study of Software Portability
Evaluation . . . . . . . . . . . . . . . 145
J. Steve Davis and
J. J. Kanet Production Scheduling: An Interactive
Graphical Approach . . . . . . . . . . . 155
Douglas Troy and
Robert McQueen An Approach for Developing Domain
Specific CASE Tools and Its Application
to Manufacturing Process Control . . . . 165
Anonymous Biographies . . . . . . . . . . . . . . 193
Robert L. Glass Is There Anything ``Time-Honored'' In
the Field of Software? . . . . . . . . . 195
W. Lam Achieving Requirements Reuse: A
Domain-Specific Approach from Avionics 197
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
Phyllis G. Frankl and
Stewart N. Weiss and
Cang Hu All-Uses vs. Mutation Testing: An
Experimental Comparison of Effectiveness 235
Girish H. Subramanian and
Gayle J. Yaverbaum and
Stephen J. Brandt An Empirical Evaluation of Factors
Influencing Expert Systems Effectiveness 255
Chi Y. Lin and
Tarek Abdel-Hamid and
Joseph S. Sherif Software-Engineering Process Simulation
Model (SEPS) . . . . . . . . . . . . . . 263
Anonymous Biographies . . . . . . . . . . . . . . 279
Robert L. Glass Top Scholars and Institutions Study
Reaching Maturity: A Lesson Re-Learned 1
Ramon 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
David Chi-Liang Ni Enumeration and Traceability Tools for
UNIX and Windows Environments . . . . . 15
Su Te Lei and
Kang Zhang and
Kei-Chun Li Experience with the Design of a
Performance Tuning Tool for Parallel
Programs . . . . . . . . . . . . . . . . 26
Angelo Perkusich and
Jorge C. A. de Figueiredo G-Nets: A Petri Net Based Approach for
Logical and Timing Analysis of Complex
Software Systems . . . . . . . . . . . . 38
Yi-Min Wang and
Hsiao-Hsi Wang and
Ruei-Chuan Chang Clustered Affinity Scheduling on
Large-Scale NUMA Multiprocessors . . . . 61
Koen De Bosschere Process-based Parallel Logic
Programming: A Survey of the Basic
Issues . . . . . . . . . . . . . . . . . 71
Robert L. Glass Assessment of Systems and Software
Engineering scholars and institutions
(1993--1996) . . . . . . . . . . . . . . 83--88
Anonymous Biographies . . . . . . . . . . . . . . 89
Robert L. Glass Computer Science Ph.D. Production ---
More Institutions, Fewer Degrees, More
Students (!) . . . . . . . . . . . . . . 91
Jinn-Ke Jan and
Chih-Chang Tai A Secure Electronic Voting Protocol with
IC Cards . . . . . . . . . . . . . . . . 93--102
Hyun C. Kim and
V. S. S. Nair Software Fault Tolerance for Distributed
Object Based Computing . . . . . . . . . 103
A. Jirachiefpattana and
R. Lai EVEN: A Software Environment for Estelle
Specification Verification . . . . . . . 119
Chyan-Goei Chung and
Jen-Gaw Lee An Enhanced Zero-One Optimal Path Set
Selection Method . . . . . . . . . . . . 145
Jeff Tian and
Joel Troster and
Joe Palma Tool Support for Software Measurement
Analysis and Improvement . . . . . . . . 165
B. L. Achee and
Doris L. Carver Creating Object-Oriented Designs from
Legacy FORTRAN Code . . . . . . . . . . 179
Anonymous Biographies . . . . . . . . . . . . . . 195
Robert L. Glass COBOL: Is It Dying or Thriving? . . . . 197
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
C. Bernardeschi and
A. Fantechi and
S. Gnesi An Industrial Application for the JACK
Environment . . . . . . . . . . . . . . 249
Shiva Azadegan and
Anand Tripathi A Parallel Join Algorithm for SIMD
Architectures . . . . . . . . . . . . . 265
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
Anonymous Biographies . . . . . . . . . . . . . . 291
Robert L. Glass Yet Another Date Crisis --- Y2K is Only
the Beginning . . . . . . . . . . . . . 1
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
David W. Binkley and
James R. Lyle Application of the Pointer State
Subgraph to Static Program Slicing . . . 17
R. Lai and
X. Li Applying a New Decomposition Method to
Verify Communication Protocols . . . . . 29
Damien De Paoli and
Andrzej Goscinski The RHODOS Migration Facility . . . . . 51
Arun Rai and
Haidong Song and
Marvin Troutt Software Quality Assurance: An
Analytical Survey and Research
Prioritization . . . . . . . . . . . . . 67
Ido Millet Solutions in Action: Normalization on
the Fly . . . . . . . . . . . . . . . . 85
Anonymous Biographies . . . . . . . . . . . . . . 89
Robert L. Glass How Long Do Information Systems Last? 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
P. Ajith Tom and
C. Siva Ram Murthy Algorithms for Reliability-Oriented
Module Allocation in Distributed
Computing Systems . . . . . . . . . . . 125
Agostino Poggi and
Giulio Destri Using PVM to Develop a Distributed
Object-Oriented Language for
Heterogeneous Processing . . . . . . . . 139
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
Frank Land From IT Application to Organizational
Transformation . . . . . . . . . . . . . 183
Anonymous Biographies . . . . . . . . . . . . . . 185
Hossein Saiedian Research Directions in Formal Methods
Technology Transfer . . . . . . . . . . 187
Michael Jackson Formal Methods and Traditional
Engineering . . . . . . . . . . . . . . 191
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
Jim Armstrong Industrial Integration of Graphical and
Formal Specifications . . . . . . . . . 211
Ulrich Nitsche Application of Formal Verification and
Behaviour Abstraction to the Service
Interaction Problem in Intelligent
Networks . . . . . . . . . . . . . . . . 227
Lalita Jategaonkar Jagadeesan and
Adam Porter and
Carlos Puchol and
J. Christopher Ramming and
Lawrence G. Votta Specification-based Testing of Reactive
Software: A Case Study in Technology
Transfer . . . . . . . . . . . . . . . . 249
Sara Jones and
David Till and
Ann M. Wrightson Formal Methods and Requirements
Engineering: Challenges and Synergies 263
Baudouin Le Charlier and
Pierre Flener Specifications Are Necessarily Informal
or: Some More Myths of Formal Methods 275
Anonymous Biographies . . . . . . . . . . . . . . 297
Robert L. Glass Editor's Corner: ``Who Cares?''
Technologies in practice . . . . . . . . 1
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 A word of warning about reuse . . . . . 145
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
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--118
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
C. K. Chang and
H. 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
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--17
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
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
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--43
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
Gerald Post and
Albert Kagan and
Robert T. Keim A comparative evaluation of CASE tools 87--95 (or 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
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
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
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
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
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
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 Y2K behind us: smooth sailing and blue
skies? . . . . . . . . . . . . . . . . . 1--3
Oliver Laitenberger and
Jean-Marc DeBaud An encompassing life cycle centric
survey of software inspection . . . . . 5--31
Albert L. Lederer and
Jayesh Prasad Software management and cost estimating
error . . . . . . . . . . . . . . . . . 33--42
Xuemei Zhang and
Hoang Pham An analysis of factors affecting
software reliability . . . . . . . . . . 43--56
Sergio Eduardo Rodrigues de Carvalho and
Julio Cesar Sampaio do Prado Leite Module interconnection features in
object-oriented development tools . . . 57--64
Mark M. Misic and
Nancy L. Russo Reading between the lines: an
examination of systems analysis and
design texts . . . . . . . . . . . . . . 65--73
Franck Xia On the concept of coupling, its modeling
and measurement . . . . . . . . . . . . 75--84
Hyun Seop Bae and
In Sang Chung and
Yong Rae Kwon Specifying and verifying real-time
systems with timing uncertainty . . . . 85--96
Donald J. Reifer The CMMI: it's formidable . . . . . . . 97--98
Yuh-Shihng Chang and
Tzong-Chen Wu and
Shih-Chan Huang ElGamal-like digital signature and
multisignature schemes using
self-certified public keys . . . . . . . 99--105
Phen-Lan Lin Robust transparent image watermarking
system with spatial mechanisms . . . . . 107--116
Björn Regnell and
Per Runeson and
Claes Wohlin Towards integration of use case
modelling and usage-based testing . . . 117--130
G. Manimaran and
Anand Manikutty and
C. Siva Ram Murthy DHARMA: A tool for evaluating dynamic
scheduling algorithms for real-time
multiprocessor systems . . . . . . . . . 131--149
Allen Wynn and
Jie Wu The effect of compression on performance
in a demand paging operating system . . 151--170
Robert L. Glass The ``maintenance-first'' software era 171--174
Alistair Sutcliffe Domain analysis for software reuse . . . 175--199
Hai Zhuge A problem-oriented and rule-based
component repository . . . . . . . . . . 201--208
Yönet A. Eracar and
Mieczyslaw M. Kokar An architecture for software that adapts
to changes in requirements . . . . . . . 209--219
Frank A. Cioch and
John M. Brabbs and
Larry Sieh The impact of software architecture
reuse on development processes and
standards . . . . . . . . . . . . . . . 221--236
P. Rogers and
A. J. Wellings State restoration in Ada 95: a portable
approach to supporting software fault
tolerance . . . . . . . . . . . . . . . 237--255
Robert L. Glass The ``software-first'' revolution in
computer hardware design . . . . . . . . 1--5
Helen D. Karatza Cache affinity and resequencing in a
shared-memory multiprocessing system . . 7--18
J. Miller and
F. Macdonald An empirical incremental approach to
tool evaluation and improvement . . . . 19--35
Dong Ho Kim and
Keun Ho Ryu and
Young So Cho A new routing control technique using
active temporal data management . . . . 37--48
Kam-Yiu Lam and
Gary C. K. Law and
Victor C. S. Lee Priority and deadline assignment to
triggered transactions in distributed
real-time active databases . . . . . . . 49--60
M. Bozyigit History-driven dynamic load balancing
for recurring applications on networks
of workstations . . . . . . . . . . . . 61--72
Mohammed Zaki and
Abdallah El-Ramsisi and
Rostom Omran A soft computing approach for
recognition of occluded shapes . . . . . 73--83
Robert L. Glass Software requirements success predictors
--- behavioral factors beat technical
ones . . . . . . . . . . . . . . . . . . 85--86
P. Bowden and
M. Hargreaves and
C. S. Langensiepen Estimation support by lexical analysis
of requirements documents . . . . . . . 87--98
Elaine Ferneley Coupling and control flow measures in
practice . . . . . . . . . . . . . . . . 99--109
Ho-Won Jung and
Marjan Pivka and
Jong-Yoon Kim An empirical study of complexity metrics
in Cobol programs . . . . . . . . . . . 111--118
Khaled El Emam and
Andreas Birk Validating the ISO/IEC 15504 measures of
software development process capability 119--149
Ido Millet Improving the quality of the analysis
phase . . . . . . . . . . . . . . . . . 151--153
Robert L. Glass Academics, and the scarlet letter `A' 155--155
Shung-Ming Tang An impact factor model of Intranet
adoption: an exploratory and empirical
research . . . . . . . . . . . . . . . . 157--173
Kam-Yiu Lam and
Edward Chan and
Joe Chun-Hung Yuen Approaches for broadcasting temporal
data in mobile computing systems . . . . 175--189
Yon Dohn Chung and
Myoung Ho Kim An index replication scheme for wireless
data broadcasting . . . . . . . . . . . 191--199
Chung-Ming Huang and
Cheng-Yi Kuo and
Chian Wang TVIS: an interactive multimedia
communication engine and its
applications . . . . . . . . . . . . . . 201--216
Joseph Kee-Yin Ng and
Shuhua Xiong and
Hong Shen A multi-server video-on-demand system
with arbitrary-rate playback support . . 217--227
Chung-Ming Huang and
Pei-Chuan Liu IDRS: an interactive digital radio
station over Internet . . . . . . . . . 229--243
Lionel C. Briand and
Jürgen Wüst and
John W. Daly and
D. Victor Porter Exploring the relationships between
design measures and software quality in
object-oriented systems . . . . . . . . 245--273
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
Robert L. Glass On design . . . . . . . . . . . . . . . 1--2
James Jiang and
Gary Klein Software development risks to project
effectiveness . . . . . . . . . . . . . 3--10
Chin-Feng Lee and
Chin-Chen Chang Breadth-first search oriented symbolic
picture representation for spatial match
retrieval . . . . . . . . . . . . . . . 11--23
Hasan Çam An on-line scheduling policy for IRIS
real-time composite tasks . . . . . . . 25--32
Martina Schollmeyer and
Bruce McMillin Efficient run-time assurance in
distributed systems through selection of
executable assertions . . . . . . . . . 33--54
Tsung-Chuan Huang and
Cheng-Ming Yang Data dependence analysis for array
references . . . . . . . . . . . . . . . 55--65
R-Ming Shiu and
Neng-Pin Lu and
Chung-Ping Chung Applying stack simulation for branch
target buffers . . . . . . . . . . . . . 67--78
Feng Yang Kuo To Kanji or not to Kanji: a cognitive
perspective . . . . . . . . . . . . . . 79--91
David Budgen Evaluation and assessment in software
engineering . . . . . . . . . . . . . . 93--94
Patrick D. M. Barrow and
Pam J. Mayhew Investigating principles of stakeholder
evaluation in a modern IS development
approach . . . . . . . . . . . . . . . . 95--103
Keith Phalp and
Martin Shepperd Quantitative analysis of static models
of processes . . . . . . . . . . . . . . 105--112
Martin Höst and
Conny Johansson Evaluation of code review methods
through interviews and experimentation 113--120
A. Dunsmore and
M. Roper and
M. Wood The role of comprehension in software
inspection . . . . . . . . . . . . . . . 121--129
Maurizio Pighin and
Giorgio Brajnik A formative evaluation of information
retrieval techniques applied to software
catalogues . . . . . . . . . . . . . . . 131--138
Thomas Thelin and
Per Runeson Robust estimations of fault content with
capture-recapture and detection profile
estimators . . . . . . . . . . . . . . . 139--148
Manolis Tsagias and
Barbara Kitchenham An evaluation of the business object
approach to software development . . . . 149--156
F. G. Wilkie and
B. A. Kitchenham Coupling measures and change ripples in
C++ application software . . . . . . . . 157--164
Jeffrey Voas and
Jeffery Payne Dependability certification of software
components . . . . . . . . . . . . . . . 165--172
R. Harrison and
S. Counsell and
R. Nithi Experimental assessment of the effect of
inheritance on the maintainability of
object-oriented systems . . . . . . . . 173--179
Rachel Harrison Empirical studies of software
development and evolution . . . . . . . 1--1
Erik Arisholm and
Dag I. K. Sjòberg Towards a framework for empirical
assessment of changeability decay . . . 3--14
S. Counsell and
P. Newson Use of friends in C++ software: an
empirical investigation . . . . . . . . 15--21
Carolyn Mair and
Gada Kadoda and
Martin Lefley and
Keith Phalp and
Chris Schofield1 and
Martin Shepperd and
Steve Webster An investigation of machine learning
based prediction systems . . . . . . . . 23--29
David M. Raffo and
Marc I. Kellner Empirical analysis in software process
simulation modeling . . . . . . . . . . 31--41
Elizabeth Burd and
Malcolm Munro Using evolution to evaluate reverse
engineering technologies: mapping the
process of software change . . . . . . . 43--51
Timothy C. Lethbridge Priorities for the education and
training of software engineers . . . . . 53--71
Her-Kun Chang and
Shyan-Ming Yuan Optimal binary vote assignment for
replicated data . . . . . . . . . . . . 73--82
T. Schreck and
Z. Chen Branch grafting method for R-tree
implementation . . . . . . . . . . . . . 83--93
Robert L. Glass The End of the ``Outsourcing Era'' . . . 95--97
Tony Moynihan Coping with `requirements-uncertainty':
the theories-of-action of experienced
IS/software project managers . . . . . . 99--109
F. Fioravanti and
P. Nesi A method and tool for assessing
object-oriented projects and metrics
management . . . . . . . . . . . . . . . 111--136
Khaled El Emam and
Iñigo Garro Estimating the extent of standards use:
the case of ISO/IEC 15504 . . . . . . . 137--143
Mark Keil and
Linda Wallace and
Dan Turk and
Gayle Dixon-Randall and
Urban Nulden An investigation of risk perception and
risk propensity on the decision to
continue a software development project 145--157
Koji Hashimoto and
Tatsuhiro Tsuchiya and
Tohru Kikuno A new approach to fault-tolerant
scheduling using task duplication in
multiprocessor systems . . . . . . . . . 159--171
Charles Changli Chin and
Shang-Rong Tsai TOFF-2: A high-performance
fault-tolerant file service . . . . . . 173--182
Oliver Laitenberger and
Colin Atkinson and
Maud Schlich and
Khaled El Emam An experimental comparison of reading
techniques for defect detection in UML
design documents . . . . . . . . . . . . 183--204
Alan M. Davis and
Ann S. Zweig The missing piece of software
development . . . . . . . . . . . . . . 205--206
Robyn R. Lutz Extending the product family approach to
support safe reuse . . . . . . . . . . . 207--217
Pierre N. Robillard and
Martin P. Robillard Types of collaborative work in software
engineering . . . . . . . . . . . . . . 219--224
Sandro Morasca and
Günther Ruhe A hybrid approach to analyze empirical
software engineering data and its
application to predict module
fault-proneness in maintenance . . . . . 225--237
George Orr and
Thomas E. Reeves Function point counting: one program's
experience . . . . . . . . . . . . . . . 239--244
Yacine Atif System software support for distributed
real-time systems . . . . . . . . . . . 245--264
Shari Lawrence Pfleeger Risky business: what we have yet to
learn about risk management . . . . . . 265--273
Phyllis G. Frankl and
Elaine J. Weyuker Testing software to detect and reduce
risk . . . . . . . . . . . . . . . . . . 275--286
Ståle Amland Risk-based testing: Risk analysis
fundamentals and metrics for software
testing including a financial
application case study . . . . . . . . . 287--295
R. L. Glass A letter from the frustrated author of a
journal paper . . . . . . . . . . . . . 1--1
Pei-Min Chen and
Fong-Chou Kuo An information retrieval system based on
a user profile . . . . . . . . . . . . . 3--8
P. W. Huang and
S. K. Dai and
P. L. Lin and
R. T. Kuo Similarity retrieval based on group
bounding and angle sequence matching in
shape database systems . . . . . . . . . 9--16
A. C. Benander and
B. A. Benander and
Janche Sang An empirical analysis of debugging
performance --- differences between
iterative and recursive constructs . . . 17--28
James Miller Applying meta-analytical procedures to
software engineering experiments . . . . 29--39
Joseph Kee-Yin Ng and
Victor Chung-sing Lee Performance evaluation of transmission
schemes for real-time traffic in a
high-speed timed-token MAC network . . . 41--60
Václav Rajlich and
Waseed Abdul Syed and
James Martinez Perceptions of contribution in software
teams . . . . . . . . . . . . . . . . . 61--63
Manjula Kommareddy and
Johnny Wong Non-blocking distributed transaction
processing system . . . . . . . . . . . 65--76
Robert L. Glass An assessment of systems and software
engineering scholars and institutions
(1995--1999) . . . . . . . . . . . . . . 77--82
Robert L. Glass Software maintenance, Y2K and other
software non-crises . . . . . . . . . . 83--85
W. Eric Wong and
Swapna S. Gokhale and
Joseph R. Horgan Quantifying the closeness between
program components and features . . . . 87--98
Gerardo Canfora and
Aniello Cimitile and
Andrea De Lucia and
Giuseppe A. Di Lucca Decomposing legacy programs: a first
step towards migrating to client-server
platforms . . . . . . . . . . . . . . . 99--110
Gregory A. Hall and
John C. Munson Software evolution: code delta and code
churn . . . . . . . . . . . . . . . . . 111--118
Khaled El Emam and
Oliver Laitenberger and
Thomas Harbich The application of subjective estimates
of effectiveness to controlling software
inspections . . . . . . . . . . . . . . 119--136
Sam Ramanujan and
Richard W. Scamell and
Jaymeen R. Shah An experimental investigation of the
impact of individual, program, and
organizational characteristics on
software maintenance effort . . . . . . 137--157
Kang Zhang and
Narasimhaiah Gorla Locality metrics and program physical
structures . . . . . . . . . . . . . . . 159--166
Robert L. Glass Y2K, and believing in software practice 169--170
Paolino Di Felice and
Goffredo Fonzi Selecting reusable stand-alone routines:
a proposal and a case study . . . . . . 171--178
Young Park Software retrieval by samples using
concept analysis . . . . . . . . . . . . 179--183
Jorng-Tzong Horng and
Jye Lu Modularized design for wrappers/monitors
in data warehouse systems . . . . . . . 185--199
Woochun Jun A multi-granularity locking-based
concurrency control in object-oriented
database systems . . . . . . . . . . . . 201--217
J. Morris Chang and
Charles H. Daugherty An efficient data structure for dynamic
memory management . . . . . . . . . . . 219--226
Jiannong Cao and
Graeme Bennett and
Kang Zhang Direct execution simulation of load
balancing algorithms with real workload
distribution . . . . . . . . . . . . . . 227--237
Marcus Fontoura and
Sérgio Crespo and
Carlos José Lucena and
Paulo S. C. Alencar and
Donald D. Cowan Using viewpoints to derive
object-oriented frameworks: a case study
in the Web-based education domain . . . 239--257
Tsung-Chuan Huang and
Po-Hsueh Hsu A practical run-time technique for
exploiting loop-level parallelism . . . 259--271
Robert L. Glass Talk About a Software Crisis --- Not! 1--2
J. A. McCann and
P. Howlett and
J. S. Crane Kendra: adaptive Internet system . . . . 3--17
Ayal Itzkovitz and
Nitzan Niv and
Assaf Schuster Dynamic adaptation of sharing
granularity in DSM systems . . . . . . . 19--32
Yi-Min Wang and
Hsiao-Hsi Wang and
Ruei-Chuan Chang Hierarchical loop scheduling for
clustered NUMA machines . . . . . . . . 33--44
Sumit Ghosh and
Tony S. Lee and
Seong-Soon Joo A frame of reference for the performance
evaluation of asynchronous, distributed
decision-making algorithms . . . . . . . 45--56
Victor C. S. Lee and
K.-W. Lam Conflict free transaction scheduling
using serialization graph for real-time
databases . . . . . . . . . . . . . . . 57--65
Yousif Mustafa and
Olugnenga Mejabi Changing class behaviors at run-time in
MRP systems . . . . . . . . . . . . . . 67--71
Tyng-Yeu Liang and
Jyh-Chang Ueng and
Ce-Kuen Shieh and
Deh-Yuan Chuang and
Jun-Qi Lee Distinguishing sharing types to minimize
communication in software distributed
shared memory systems . . . . . . . . . 73--85
Ewan Tempero and
Robert Biddle Simulating multiple inheritance in Java 87--100
Robert L. Glass A good-bye of sorts . . . . . . . . . . 101--101
Abdel-Elah Al-Ayyoub and
Fawaz A. Masoud Heuristic search revisited . . . . . . . 103--113
Athena Vakali and
Yannis Manolopoulos Data placement schemes in replicated
mirrored disk systems . . . . . . . . . 115--128
Dong Ho Kim and
Keun Ho Ryu and
Hong Soo Kim A spatiotemporal database model and
query language . . . . . . . . . . . . . 129--149
Sanjay Kumar Madria and
S. N. Maheshwari and
B. Chandra and
Bharat Bhargava An open and safe nested transaction
model: concurrency and recovery . . . . 151--165
Shivakant Mishra and
Sudha M. Kuntur Newsmonger: a technique to improve the
performance of atomic broadcast
protocols . . . . . . . . . . . . . . . 167--183
Hasan Çam List ranking on processor arrays . . . . 185--192
W. L. Yeung Automated translation of JSD into CSP
--- a case study in methods integration 193--202
Danny C. C. Poo and
Tech-Kang Toh and
Christopher S. G. Khoo Enhancing online catalog searches with
an electronic referencer . . . . . . . . 203--219
Min-Shiang Hwang and
Iuon-Chang Lin and
Li-Hua Li A simple micro-payment scheme . . . . . 221--229
Hai Zhuge and
To-yat Cheung and
Hung-keng Pung A timed workflow process model . . . . . 231--243
Karl R. P. H. Leung and
Lucas C. K. Hui Handling signature purposes in workflow
systems . . . . . . . . . . . . . . . . 245--259
Phen-Lan Lin Digital watermarking models for
resolving rightful ownership and
authenticating legitimate customer . . . 261--271
Guy Helmer and
Johnny Wong and
Subhasri Madaka Anomalous intrusion detection system for
hostile Java applets . . . . . . . . . . 273--286
Hung-Yu Chien and
Jinn-Ke Jan and
Yuh-Min Tseng A modified remote login authentication
scheme based on geometric approach . . . 287--290
P. W. Huang and
P. L. Lin and
H. Y. Lin Optimizing storage utilization in R-tree
dynamic index structure for spatial
databases . . . . . . . . . . . . . . . 291--299
Khaled El Emam and
Saida Benlarbi and
Nishith Goel and
Shesh N. Rai Comparing case-based reasoning
classifiers for predicting high risk
software components . . . . . . . . . . 301--320
Tzong-Chen Wu and
Chih-Chan Huang and
D.-J. Guan Delegated multisignature scheme with
document decomposition . . . . . . . . . 321--328
Eric Jui-Lin Lu and
Rong-Ji Hwang A distributed EDI model . . . . . . . . 1--7
Johnny Wong and
Guy Helmer and
Venkatraman Naganathan and
Sriniwas Polavarapu and
Vasant Honavar and
Les Miller SMART mobile agent facility . . . . . . 9--22
Jorng-Tzong Horng and
Chi-Wei Chen A mechanism for view consistency in a
data warehousing system . . . . . . . . 23--37
Gail-Joon Ahn and
Ravi Sandhu Decentralized user group assignment in
Windows NT . . . . . . . . . . . . . . . 39--49
Edward Chan and
Daoxu Chen and
Victor C. S. Lee Effectiveness of the FDDI-M protocol in
supporting synchronous traffic . . . . . 51--62
Khaled El Emam and
Walcelio Melo and
Javam C. Machado The prediction of faulty classes using
object-oriented design metrics . . . . . 63--75
Joseph P. Hoffbeck and
Mansoor Sarwar and
Eric J. Rix Interfacing MATLAB with a parallel
virtual processor for matrix algorithms 77--80
Paolo Donzelli and
Giuseppe Iazeolla A dynamic simulator of software
processes to test process assumptions 81--90
Diomidis Spinellis Notable design patterns for
domain-specific languages . . . . . . . 91--99
Avi Shama Dot-coms' coma . . . . . . . . . . . . . 101--104
Hanns-Helmuth Deubler Employing multiple views to separate
large-scale software systems . . . . . . 105--113
Woojong Suh and
Heeseok Lee A methodology for building
content-oriented hypermedia systems . . 115--131
Chung-Ming Huang and
Hsu-Yang Kung and
Jiong-Liang Yang Synchronization and flow adaptation
schemes for reliable multiple-stream
transmission in multimedia presentations 133--151
Der-Chyuan Lou and
Te-Lung Yin Spatial database with each picture
self-contained multiscape and access
control in a hierarchy . . . . . . . . . 153--163
Dong-Ho Lee and
Hyoung-Joo Kim A fast content-based indexing and
retrieval technique by the shape
information in large image database . . 165--182
Gerald Post and
Albert Kagan Database management systems: design
considerations and attribute facilities 183--193
Gary Klein and
James J. Jiang Seeking consonance in information
systems . . . . . . . . . . . . . . . . 195--202
Anonymous Contents . . . . . . . . . . . . . . . . iii
Helen D. Karatza Job scheduling in heterogeneous
distributed systems . . . . . . . . . . 203--212
Hee-Jun Park and
Byung Kook Kim An optimal scheduling algorithm for
minimizing the computing period of
cyclic synchronous tasks on
multiprocessors . . . . . . . . . . . . 213--229
Armin R. Mikler and
Vasant Honavar and
Johnny S. K. Wong Autonomous agents for coordinated
distributed parameterized heuristic
routing in large dynamic communication
networks . . . . . . . . . . . . . . . . 231--246
Jyh-Chang Ueng and
Ce-Kuen Shieh and
Tyng-Yue Liang and
Jyh-Biau Chang Proteus: an efficient runtime
reconfigurable distributed shared memory
system . . . . . . . . . . . . . . . . . 247--260
Chen Wang and
Yong Meng Teo Supporting parallel computing on a
distributed object architecture . . . . 261--278
Der-Lin Pean and
Cheng Chen ODCHP: a new effective mechanism to
maximize parallelism of nested loops
with non-uniform dependences . . . . . . 279--297
David E. Drehmer and
Sasa M. Dekleva A note on the evolution of software
engineering practices . . . . . . . . . 1--7
Peter Middleton and
Barry McCollum Management of process improvement by
prescription . . . . . . . . . . . . . . 9--19
Andreas Zendler and
Till Pfeiffer and
Michael Eicks and
Franz Lehner Experimental comparison of
coarse-grained concepts in UML, OML, and
TOS . . . . . . . . . . . . . . . . . . 21--30
Daniel Häggander and
Lars Lundberg A simple process for migrating server
applications to SMP:s . . . . . . . . . 31--43
Robert G. Fichman and
Chris F. Kemerer Incentive compatibility and systematic
software reuse . . . . . . . . . . . . . 45--60
Gyeung-min J. Kim and
Rohae Myung and
Ali F. Emdad A simulation study on coordination
strategies: decision cycle-time
perspective . . . . . . . . . . . . . . 61--72
Xuemei Zhang and
Mi-Young Shin and
Hoang Pham Exploratory analysis of environmental
factors for enhancing the software
reliability assessment . . . . . . . . . 73--78
Nashat Mansour and
Rami Bahsoon and
Ghinwa Baradhi Empirical comparison of regression test
selection algorithms . . . . . . . . . . 79--90
Anol Bhattacherjee and
Kurt DeShazer and
James H. Gerlach and
Bill Rierden A hybrid approach to OO development: the
SUMMITrak project at TCI . . . . . . . . 91--98
William B. Frakes and
Giancarlo Succi An industrial study of reuse, quality,
and productivity . . . . . . . . . . . . 99--106
J. Morris Chang and
Woo Hyong Lee and
Witawas Srisa-an A study of the allocation behavior of
C++ programs . . . . . . . . . . . . . . 107--118
Andreas L. Opdahl and
Brian Henderson-Sellers Grounding the OML metamodel in ontology 119--143
Tsung-Chuan Huang and
Cheng-Ming Yang Non-linear array data dependence test 145--154
Martin Naedele An approach to modeling and evaluation
of functional and timing specifications
of real-time systems . . . . . . . . . . 155--174
Anonymous Contents . . . . . . . . . . . . . . . . iii
Ricardo Chalmeta and
Christina Campos and
Reyes Grangel References architectures for enterprise
integration . . . . . . . . . . . . . . 175--191
Allen Parrish and
Brandon Dixon and
David Cordes A conceptual foundation for
component-based software deployment . . 193--200
Marcus Fontoura and
Carlos J. Lucena and
Alexandre Andreatta and
Sérgio E. Carvalho and
Celso C. Ribeiro Using UML-F to enhance framework
development: a case study in the local
search heuristics domain . . . . . . . . 201--206
Jeff Tian and
Anthony Nguyen and
Curt Allen and
Ravi Appan Experience with identifying and
characterizing problem-prone modules in
telecommunication software systems . . . 207--215
Benny Hall and
George Orr and
Thomas E. Reeves A technique for function block counting 217--220
Suleiman Hussein Mustafa and
Fawaz Ahmed Masoud How good is the critical factor concept
in estimating the average number of
character comparisons per item in string
sorting? . . . . . . . . . . . . . . . . 221--226
Hai Zhuge and
Xiaoqing Shi Communication cost of cognitive
co-operation for distributed team
development . . . . . . . . . . . . . . 227--233
Anonymous Contents Volume 57 . . . . . . . . . . . 235--236
Noritaka Kobayashi and
Tatsuhiro Tsuchiya and
Tohru Kikuno Minimizing the mean delay of
quorum-based mutual exclusion schemes 1--9
Hwakyung Rim and
Ju-wook Jang and
Sungchun Kim Hiding communication overheads in
dynamic load balancing for
multicomputers . . . . . . . . . . . . . 11--22
Ching-Wen Chen and
Chung-Ping Chung Fault-tolerant gamma interconnection
network without backtracking . . . . . . 23--31
M. Zaki and
Hany Harb and
T. S. Sobh A learning database system to observe
malfunctions and to support network
planning . . . . . . . . . . . . . . . . 33--46
Kai-Yuan Cai and
Lin Cai and
Wei-Dong Wang and
Zhou-Yi Yu and
David Zhang On the neural network approach in
software reliability modeling . . . . . 47--62
Anonymous Editor's Corner . . . . . . . . . . . . 63--63
T. Y. Chen and
T. H. Tse and
Y. T. Yu Proportional sampling strategy: a
compendium and some insights . . . . . . 65--81
Chin-Chen Chang and
Min-Shian Hwang and
Tung-Shou Chen A new encryption algorithm for image
cryptosystems . . . . . . . . . . . . . 83--91
Shin-Young Lim and
Jeong-Ho Ko and
Eun-Ah Jun and
Gang-Soo Lee Specification and analysis of n -way key
recovery system by Extended
Cryptographic Timed Petri Net . . . . . 93--106
Andy Dowling and
John G. Keating A proxy-based security architecture for
Internet applications in an extranet
environment . . . . . . . . . . . . . . 107--118
Chien-Lung Hsu and
Tzong-Sun Wu and
Tzong-Chen Wu New nonrepudiable threshold proxy
signature scheme with known signers . . 119--124
Yung-Cheng Ma and
Chung-Ping Chung A dominance relation enhanced
branch-and-bound task allocation . . . . 125--134
Der-Lin Pean and
Chao-Chin Wu and
Huey-Ting Chua and
Cheng Chen Design of a scalable multiprocessor
architecture and its simulation . . . . 135--152
Sumit Ghosh Understanding complex, real-world
systems through asynchronous,
distributed decision-making algorithms 153--167
Anonymous Controversy Corner . . . . . . . . . . . 169--169
Bashar Nuseibeh and
Steve Easterbrook and
Alessandra Russo Making inconsistency respectable in
software development . . . . . . . . . . 171--180
Jyrki Akkanen and
Jukka K. Nurminen Case study of the evolution of routing
algorithms in a network planning tool 181--198
Li Wang and
Wanlei Zhou and
Weijia Jia The design and implementation of an
active replication scheme for
distributing services in a cluster of
workstations . . . . . . . . . . . . . . 199--210
Jin Hyun Son and
Myoung Ho Kim Improving the performance of
time-constrained workflow processing . . 211--219
Yin-Fu Huang and
Bo-Wei Chao A priority-based resource allocation
strategy in distributed computing
networks . . . . . . . . . . . . . . . . 221--233
Chia-Tien Dan Lo and
Witawas Srisa-an and
J. Morris Chang A study of page replacement performance
in garbage collection heap . . . . . . . 235--245
Taehyoun Kim and
Naehyuck Chang and
Heonshik Shin Joint scheduling of garbage collector
and hard real-time tasks for embedded
applications . . . . . . . . . . . . . . 247--260
Brian Huston The effects of design pattern
application on metric scores . . . . . . 261--269
Eric Jui-Lin Lu and
Ru-Hui Tsai and
Shihyu Chou An empirical study of XML/EDI . . . . . 271--279
Anonymous Contents volume 58 . . . . . . . . . . . 281--282
Elaine J. Weyuker Guest Editor's Corner: Transitioning
from Academia to Industrial Research . . 1--2
Lionel C. Briand and
Jürgen Wüst Integrating scenario-based and
measurement-based software product
assessment . . . . . . . . . . . . . . . 3--22
Khaled El Emam and
Ho-Won Jung An empirical evaluation of the ISO/IEC
15504 assessment model . . . . . . . . . 23--41
Ho-Won Jung and
Robin Hunter The relationship between ISO/IEC 15504
process capability levels, ISO 9001
certification and organization size: An
empirical study . . . . . . . . . . . . 43--55
Girish Subramanian and
William Corbin An empirical study of certain
object-oriented software metrics . . . . 57--63
Witold Pedrycz and
Giancarlo Succi and
Petr Musílek and
Xiao Bai Using self-organizing maps to analyze
object-oriented software measures . . . 65--82
Gursaran Viewpoint representation validation: a
case study on two metrics from the
Chidamber and Kemerer suite . . . . . . 83--97
J. M. Verner and
W. M. Evanco and
K. W. McCain and
G. W. Hislop and
V. J. Cole The determinants of visibility of
software engineering researchers . . . . 99--106
Robert L. Glass and
T. Y. Chen An assessment of Systems and Software
Engineering scholars and institutions
(1996--2000) . . . . . . . . . . . . . . 107--113
Eleanor Wynn Guest Editor's Corner: Some informal
thoughts about reviewing as a social
process . . . . . . . . . . . . . . . . 115--117
Byong G. Lee and
N. Hari Narayanan and
Kai H. Chang An integrated approach to distributed
version management and role-based access
control in computer supported
collaborative writing . . . . . . . . . 119--134
David N. Wilson and
Tracy Hall and
Nathan Baddoo A framework for evaluation and
prediction of software process
improvement success . . . . . . . . . . 135--142
Hsung-Pin Chang and
Ray-I Chang and
Wei-Kuan Shih and
Ruei-Chuan Chang Reschedulable-Group-SCAN scheme for
mixed real-time/non-real-time disk
scheduling in a multimedia system . . . 143--152
Sadahiro Isoda Object-oriented real-world modeling
revisited . . . . . . . . . . . . . . . 153--162
Steven D. Sheetz and
David P. Tegarden Illustrating the cognitive consequences
of object-oriented systems development 163--179
G. Antoniol and
G. Casazza and
M. Di Penta and
R. Fiutem Object-oriented design patterns recovery 181--196
Alessandro F. Garcia and
Cecília M. F. Rubira and
Alexander Romanovsky and
Jie Xu A comparative study of exception
handling mechanisms for building
dependable object-oriented software . . 197--222
David Raffo and
Paul Wernick Guest Editorial: Software Process
Simulation Modelling . . . . . . . . . . 223--225
Paolo Donzelli and
Giuseppe Iazeolla Hybrid simulation modelling of the
software process . . . . . . . . . . . . 227--235
Robert Martin and
David Raffo Application of a hybrid process
simulation model to a software
development project . . . . . . . . . . 237--246
Dan X. Houston and
Gerald T. Mackulak and
James S. Collofello Stochastic simulation of risk factor
potential effects for software
development risk management . . . . . . 247--257
Dan X. Houston and
Susan Ferreira and
James S. Collofello and
Douglas C. Montgomery and
Gerald T. Mackulak and
Dan L. Shunk Behavioral characterization: finding and
using the influential factors in
software process simulation models . . . 259--270
G. Kahen and
M. M. Lehman and
J. F. Ramil and
P. Wernick System dynamics modelling of software
evolution processes for policy
investigation: Approach and example . . 271--281
Dietmar Pfahl and
Marco Klemm and
Günther Ruhe A CBT module with integrated simulation
component for software project
management education and training . . . 283--298
Mercedes Ruiz and
Isabel Ramos and
Miguel Toro A simplified model of software project
dynamics . . . . . . . . . . . . . . . . 299--309
Friedrich Stallinger and
Paul Grünbacher System dynamics modelling and simulation
of collaborative requirements
engineering . . . . . . . . . . . . . . 311--321
Martin Höst and
Björn Regnell and
Johan Natt och Dag and
Josef Nedstam and
Christian Nyberg Exploring bottlenecks in market-driven
requirements management processes with
discrete event simulation . . . . . . . 323--332
Volker Gruhn and
Ursula Wellen Analysing a process landscape by
simulation . . . . . . . . . . . . . . . 333--342
S. James Choi and
Walt Scacchi Modeling and simulating software
acquisition process architectures . . . 343--354
Peter Henderson and
Yvonne Margaret Howard and
Robert John Walters A tool for evaluation of the software
development process . . . . . . . . . . 355--362
Anonymous Contents Volume 59 . . . . . . . . . . . 363--364
Robert L. Glass Editor's Corner: A Final Good-bye . . . 1--1
David N. Card Editor's Corner: Stepping up to the
Plate . . . . . . . . . . . . . . . . . 3--3
J. Miller On the independence of software
inspectors . . . . . . . . . . . . . . . 5--10
Andrew Lim and
Oon Wee Chong and
Chi Chi-Hung A matching-based algorithm for page
access sequencing in join processing . . 11--19
H. Richard Kendall and
Vincent W. Freeh and
Paul W. Schermerhorn and
Robert J. Minerick and
Peter W. Rijks Streaming extensibility in the
Modify-on-Access file system . . . . . . 21--36
Dong Ho Kim and
Keun Ho Ryu and
Chee Hang Park Design and implementation of
spatiotemporal database query processing
system . . . . . . . . . . . . . . . . . 37--49
Manuel J. Fernández-Iglesias and
Francisco J. González-Castaño and
Martín Llamas-Nistal and
Jose M. Pousada-Carballo and
Javier Vales-Alonso On the application of formal description
techniques to the design of interception
systems for GSM mobile terminals . . . . 51--58
Marsha Chechik and
Andre Wong Formal modeling in a commercial setting:
A case study . . . . . . . . . . . . . . 59--82
Daniel M. Berry The importance of ignorance in
requirements engineering: An earlier
sighting and a revisitation . . . . . . 83--85
K. Barkaoui and
M. Jmaiel and
A. Mili Guest editorial . . . . . . . . . . . . 87--89
P. Pepper and
M. Cebulla and
K. Didrich and
W. Grieskamp From program languages to software
languages . . . . . . . . . . . . . . . 91--101
Richard St-Denis Designing reactive systems: integration
of abstraction techniques into a
synthesis procedure . . . . . . . . . . 103--112
Etienne Roblet and
Khalil Drira and
Michel Diaz Formal design and development of a
Corba-based application for cooperative
HTML group editing support . . . . . . . 113--127
Dimitri Tabary and
Mourad Abed A software environment task
object-oriented design (ETOOD) . . . . . 129--140
Mohamed Jarraya and
Didier El Baz Implementation of distributed iterative
algorithm for optimal control problems
on several parallel architectures . . . 141--148
Ali Jaoua and
Samir Elloumi Galois connection, formal concepts and
Galois lattice in real relations:
application in a real classifier . . . . 149--163
Guy Helmer and
Johnny S. K. Wong and
Vasant Honavar and
Les Miller Automated discovery of concise
predictive rules for intrusion detection 165--175
Shundong Xia and
Jinyuan You A group signature scheme with strong
separability . . . . . . . . . . . . . . 177--182
Choon Seong Leem and
Cho-Li Wang Guest Editorial: Special section on
industrial information systems:
progresses and perspectives in Pacific
Rim . . . . . . . . . . . . . . . . . . 183--183
Hongfei Yan and
Jianyong Wang and
Xiaoming Li and
Lin Guo Architectural design and evaluation of
an efficient Web-crawling system . . . . 185--193
Kitae Shin and
Choon Seong Leem A reference system for Internet based
inter-enterprise electronic commerce . . 195--209
Tianhan Wang and
Sheng-Uei Guan and
Tai Khoon Chan Integrity protection for Code-on-Demand
mobile agents in e-commerce . . . . . . 211--221
Bongju Jeong and
Ho-Sang Jung and
Nam-Kyu Park A computerized causal forecasting system
using genetic algorithms in supply chain
management . . . . . . . . . . . . . . . 223--237
Stephen Chan and
Tharam Dillon and
Andrew Siu Applying a mediator architecture
employing XML to retailing inventory
control . . . . . . . . . . . . . . . . 239--248
Choon Seong Leem and
Sangkyun Kim Introduction to an integrated
methodology for development and
implementation of enterprise information
systems . . . . . . . . . . . . . . . . 249--261
Anonymous Contents of Volume 60 . . . . . . . . . 263--264
Kam-Yiu Lam and
Tei-Wei Kuo and
Tony S. H. Lee Strategies for resolving inter-class
data conflicts in mixed real-time
database systems . . . . . . . . . . . . 1--14
Quazi N. Ahmed and
Susan V. Vrbsky Maintaining security and timeliness in
real-time database system . . . . . . . 15--29
L. Davis and
R. F. Gamble and
J. Payton The impact of component architectures on
interoperability . . . . . . . . . . . . 31--45
Nico Lassing and
PerOlof Bengtsson and
Hans van Vliet and
Jan Bosch Experiences with ALMA:
Architecture-Level Modifiability
Analysis . . . . . . . . . . . . . . . . 47--57
Bonnie Brinton Anderson and
Akhilesh Bajaj and
Wilpen Gorr An estimation of the decision models of
senior IS managers when evaluating the
external quality of organizational
software . . . . . . . . . . . . . . . . 59--75
Y. Bi and
M. E. C. Hull and
P. N. Nicholl An XML approach for legacy code reuse 77--89
Sangwon Park and
Hyoung-Joo Kim SigDAQ: an enhanced XML query
optimization technique . . . . . . . . . 91--103
Jilles van Gurp and
Jan Bosch Design erosion: problems and causes . . 105--119
Kiejin Park and
Sungsoo Kim Availability analysis and improvement of
Active/Standby cluster systems using
software rejuvenation . . . . . . . . . 121--128
Deng-Jyi Chen and
Wu-Chi Chen and
Krishna M. Kavi Visual requirement representation . . . 129--143
Hong Zhu and
Lingzi Jin and
Dan Diaper and
Ganghong Bai Software requirements validation via
task analysis . . . . . . . . . . . . . 145--169
Hossein Saiedian Best practices in software engineering 171--172
Marek Leszak and
Dewayne E. Perry and
Dieter Stoll Classification and evaluation of defects
in a project retrospective . . . . . . . 173--187
M. Morisio and
C. B. Seaman and
V. R. Basili and
A. T. Parra and
S. E. Kraft and
S. E. Condon COTS-based software development:
Processes and open issues . . . . . . . 189--199
Ivica Crnkovic and
Magnus Larsson Challenges of component-based
development . . . . . . . . . . . . . . 201--212
Carol Smidts and
Xin Huang and
James C. Widmaier Producing reliable software: an
experiment . . . . . . . . . . . . . . . 213--224
Rayford B. Vaughn and
Jr. and
Ronda Henning and
Kevin Fox An empirical study of industrial
security-engineering practices . . . . . 225--232
David Andrews and
Paul Austin and
Peter Costello and
David LeVan Interprocess communications in the
AN/BSY-2 distributed computer system: a
case study . . . . . . . . . . . . . . . 233--242
Anonymous Contents Volume 61 . . . . . . . . . . . 243--244
J. Christopher Westland The cost of errors in software
development: evidence from industry . . 1--9
René R. Klösch and
Paul W. Glaser and
Robert J. Truschnegg A testing approach for large system
portfolios in industrial environments 11--20
R. Lai A survey of communication protocol
testing . . . . . . . . . . . . . . . . 21--46
Ray Giguette and
Johnette Hassell Designing a resourceful fault-tolerance
system . . . . . . . . . . . . . . . . . 47--57
Pierre Bourque and
Robert Dupuis and
Alain Abran and
James W. Moore and
Leonard Tripp and
Sybille Wolff Fundamental principles of software
engineering --- a journey . . . . . . . 59--70
Austen Rainer and
Tracy Hall Key success factors for implementing
software process improvement: a
maturity-based analysis . . . . . . . . 71--84
Nathan Baddoo and
Tracy Hall Motivators of Software Process
Improvement: an analysis of
practitioners' views . . . . . . . . . . 85--96
Ting-Chao Hou and
Chorng-Horng Yang and
Kim-Joan Chen Optimizing controllability of an
interactive videoconferencing system
with Web-based control interfaces . . . 97--109
Chang Sik Yoo and
Poong Hyun Seong Experimental analysis of specification
language diversity impact on NPP
software diversity . . . . . . . . . . . 111--122
Anand R. Tripathi and
Neeran M. Karnik and
Tanvir Ahmed and
Ram D. Singh and
Arvind Prakash and
Vineet Kakani and
Manish K. Vora and
Mukta Pathak Design of the Ajanta system for mobile
agent programming . . . . . . . . . . . 123--140
R. Castelló and
R. Mili and
I. G. Tollis ViSta: a tool suite for the
visualization of behavioral requirements 141--159
Ho-Hyun Park and
Hyung-Ju Cho and
Chin-Wan Chung Heuristic approach for early separated
filter and refinement strategy in
spatial query optimization . . . . . . . 161--179
Yin-Fu Huang and
Jung-Hau Lin A placement strategy of multimedia
objects in multimedia information
systems . . . . . . . . . . . . . . . . 181--193
Wei-Bin Lee and
Tung-Her Chen A public verifiable copy protection
technique for still images . . . . . . . 195--204
Tzong-Sun Wu and
Chien-Lung Hsu Convertible authenticated encryption
scheme . . . . . . . . . . . . . . . . . 205--209
Chi-Kwong Chan and
L. M. Cheng Security of Lin's image watermarking
system . . . . . . . . . . . . . . . . . 211--215
Anonymous Contents Volume 62 . . . . . . . . . . . 217--217
Gwangil Jeon and
Yookun Cho A partitioning method for efficient
system-level diagnosis . . . . . . . . . 1--16
James J. Jiang and
Gary Klein and
Richard Discenza Perception differences of software
success: provider and user views of
system metrics . . . . . . . . . . . . . 17--27
Lerina Aversano and
Gerardo Canfora and
Andrea De Lucia and
Pierpaolo Gallucci Business process reengineering and
workflow automation: a technology
transfer experience . . . . . . . . . . 29--44
Vesper Owei and
Shamkant B. Navathe and
Hyeun-Suk Rhee An abbreviated concept-based query
language and its exploratory evaluation 45--67
Kiejin Park and
Sungsoo Kim A capacity planning model of unreliable
multimedia service systems . . . . . . . 69--76
Anonymous Call for papers . . . . . . . . . . . . 77--77
Anonymous Editorial board . . . . . . . . . . . . ??
Nasir Darwish COPS: cooperative problem solving using
DCOM . . . . . . . . . . . . . . . . . . 79--90
Weng-Long Chang and
Chih-Ping Chu and
Jia-Hwa Wu A simple and general approach to
parallelize loops with arbitrary control
flow and uniform data dependence
distances . . . . . . . . . . . . . . . 91--98
Weng-Long Chang and
Chih-Ping Chu and
Jia-Hwa Wu A precise dependence analysis for
multi-dimensional arrays under specific
dependence direction . . . . . . . . . . 99--112
Yung-Cheng Ma and
Tien-Fu Chen and
Chung-Ping Chung Posting file partitioning and parallel
information retrieval . . . . . . . . . 113--127
A. M. Barroso and
J. C. B. Leite and
O. G. Loques Treating uncertainty in distributed
scheduling . . . . . . . . . . . . . . . 129--136
Chyi-Ren Dow and
Jong-Shin Chen and
Min-Chang Hsieh Checkpointing MPI applications on
symmetric multi-processor machines using
SMPCkpt . . . . . . . . . . . . . . . . 137--150
Abdel-Elah Al-Ayyoub and
Khaled Day and
Abdullah Al-Dhelaan On the attractiveness of the star
network . . . . . . . . . . . . . . . . 151--158
Anonymous Call for papers . . . . . . . . . . . . 159--159
Anonymous Editorial board . . . . . . . . . . . . ??
Orit Hazzan The reflective practitioner perspective
in software engineering education . . . 161--171
Kai-Yuan Cai and
Lei Chen Analyzing software science data with
partial repeatability . . . . . . . . . 173--186
J. Morris Chang and
Witawas Srisa-an and
Chia-Tien Dan Lo and
Edward F. Gehringer DMMX: Dynamic memory management
extensions . . . . . . . . . . . . . . . 187--199
LihChyun Shu and
Michal Young Versioning concurrency control for hard
real-time systems . . . . . . . . . . . 201--218
Malik Ayed Tubaishat and
Sanjay Kumar Madria and
Bharat Bhargava Performance evaluation of linear hash
structure model in a nested transaction
environment . . . . . . . . . . . . . . 219--239
Ann Q. Gates and
Oscar Mondragon FasTLInC: a constraint-based tracing
approach . . . . . . . . . . . . . . . . 241--258
Anonymous Contents . . . . . . . . . . . . . . . . 259--260
Anonymous Editorial board . . . . . . . . . . . . ??
George Spanoudakis and
Hyoseob Kim Diagnosis of the significance of
inconsistencies in object-oriented
designs: a framework and its
experimental evaluation . . . . . . . . 3--22
Steven D. Sheetz Identifying the difficulties of
object-oriented development . . . . . . 23--36
Miguel A. Serrano and
Doris L. Carver and
Carlos Montes de Oca Reengineering legacy systems for
distributed environments . . . . . . . . 37--55
Barbara Kitchenham and
Shari Lawrence Pfleeger and
Beth McColl and
Suzanne Eagan An empirical study of maintenance and
development estimation accuracy . . . . 57--77
R. L. Glass and
T. Y. Chen An assessment of systems and software
engineering scholars and institutions
(1997--2001) . . . . . . . . . . . . . . 79--86
Anonymous Editorial board . . . . . . . . . . . . ??
Celeste See Pui Ng and
Guy G. Gable and
Taizan Chan An ERP-client benefit-oriented
maintenance taxonomy . . . . . . . . . . 87--109
Jose L. Salmeron EIS data: findings from an evolutionary
study . . . . . . . . . . . . . . . . . 111--114
E. C. Tzifa and
P. P. Demestichas and
N. I. Liossis and
N. D. Polydorou and
M. E. Anagnostou Introduction of accounting capabilities
in future service architectures . . . . 115--129
Deok-Hwan Kim and
Seok-Lyong Lee and
Chin-Wan Chung Heterogeneous image database selection
on the Web . . . . . . . . . . . . . . . 131--149
Hsien-Chu Wu and
Chin-Chen Chang Detection and restoration of tampered
JPEG compressed images . . . . . . . . . 151--161
Chwei-Shyong Tsai and
Chin-Chen Chang and
Tung-Shou Chen Sharing multiple secrets in digital
images . . . . . . . . . . . . . . . . . 163--170
I. Stamelos Linguistic kleptomania in computer
science . . . . . . . . . . . . . . . . 171--172
Anonymous Editorial board . . . . . . . . . . . . ??
Yon Dohn Chung and
Su Ho Bang and
Myoung Ho Kim An efficient broadcast data clustering
method for multipoint queries in
wireless information systems . . . . . . 173--181
Tae-Sun Chung and
Hyoung-Joo Kim A two phase optimization technique for
XML queries with multiple regular path
expressions . . . . . . . . . . . . . . 183--193
Tae-Sun Chung and
Hyoung-Joo Kim XML query processing using document type
definitions . . . . . . . . . . . . . . 195--205
Frank S. C. Tseng and
Wen-Jong Hwung An automatic load/extract scheme for XML
documents through object-relational
repositories . . . . . . . . . . . . . . 207--218
Chang-Won Park and
Chin-Wan Chung An effective query pruning technique for
multiple regular path expressions . . . 219--233
Therapon Skotiniotis and
Ji-en Morris Chang Estimating internal memory fragmentation
for Java programs . . . . . . . . . . . 235--246
James McDonald Software project management audits ---
update and experience report . . . . . . 247--255
Anonymous Contents . . . . . . . . . . . . . . . . 257--258
Anonymous Editorial board . . . . . . . . . . . . ??
Giancarlo Succi and
Witold Pedrycz and
Milorad Stefanovic and
James Miller Practical assessment of the models for
identification of defect-prone classes
in object-oriented commercial systems
using design metrics . . . . . . . . . . 1--12
S. Biffl Evaluating defect estimation models with
major defects . . . . . . . . . . . . . 13--29
Yves Le Traon and
Farid Ouabdesselam and
Chantal Robach and
Benoit Baudry From diagnosis to diagnosability:
axiomatization, measurement and
application . . . . . . . . . . . . . . 31--50
Binoy Ravindran LMR, DTA: adaptive communication
algorithms for asynchronous real-time
distributed systems using token-ring
networks . . . . . . . . . . . . . . . . 51--70
Daeyoung Kim and
Yann-Hang Lee and
Mohamed Younis Software architecture supporting
integrated real-time systems . . . . . . 71--86
Anonymous Editorial board . . . . . . . . . . . . ??
Andrea De Lucia and
Eugenio Pompella and
Silvio Stefanucci Assessing the maintenance processes of a
software organization: an empirical
analysis of a large industrial project 87--103
Norman Wilde and
Michelle Buckellew and
Henry Page and
Vaclav Rajlich and
LaTreva Pounds A comparison of methods for locating
features in legacy software . . . . . . 105--114
Lutz Prechelt and
Barbara Unger and
Michael Philippsen and
Walter Tichy A controlled experiment on inheritance
depth as a cost factor for code
maintenance . . . . . . . . . . . . . . 115--126
Ignatios Deligiannis and
Martin Shepperd and
Manos Roumeliotis and
Ioannis Stamelos An empirical investigation of an
object-oriented design heuristic for
maintainability . . . . . . . . . . . . 127--139
Nico Lassing and
Daan Rijsenbrij and
Hans van Vliet How well can we predict changes at
architecture design time? . . . . . . . 141--153
Robyn R. Lutz and
Ines Carmen Mikulski Operational anomalies as a cause of
safety-critical requirements evolution 155--161
James Wenger The future of programming languages:
evidence to support a midwest university
information systems curriculum . . . . . 163--167
Anonymous Editorial board . . . . . . . . . . . . ??
Ivica Crnkovic and
Heinz Schmidt and
Judith Stafford and
Kurt Wallnau Guest Editorial . . . . . . . . . . . . 169--171
Paola Inverardi and
Massimo Tivoli Deadlock-free software architectures for
COM/DCOM Applications . . . . . . . . . 173--183
Scott Hissam and
Gabriel Moreno and
Judith Stafford and
Kurt Wallnau Enabling predictable assembly . . . . . 185--198
Mike Barnett and
Wolfram Schulte Runtime verification of .NET contracts 199--208
David S. Wile Revealing component properties through
architectural styles . . . . . . . . . . 209--214
H. Schmidt Trustworthy components ---
compositionality and prediction . . . . 215--225
Otto Preiss and
Alain Wegmann Towards a composition model problem
based on IEC61850 . . . . . . . . . . . 227--236
Anonymous Contents Volume 65 . . . . . . . . . . . 237--238
Anonymous Editorial board . . . . . . . . . . . . ??
P. Vigneswara Ilavarasan and
Arun Kumar Sharma Is software work routinized?: Some
empirical observations from Indian
software industry . . . . . . . . . . . 1--6
Austen Rainer and
Tracy Hall A quantitative and qualitative analysis
of factors affecting software processes 7--21
Nathan Baddoo and
Tracy Hall De-motivators for software process
improvement: an analysis of
practitioners' views . . . . . . . . . . 23--33
Karl R. P. H. Leung and
Wai Wong and
Joseph Kee-Yin Ng Generating test cases from class vectors 35--46
Y. S. Dai and
M. Xie and
K. L. Poh and
B. Yang Optimal testing-resource allocation with
genetic algorithm for modular software
systems . . . . . . . . . . . . . . . . 47--55
Ioannis Stamelos Detecting associative shift faults in
predicate testing . . . . . . . . . . . 57--63
Luyin Zhao and
Sebastian Elbaum Quality assurance under the open source
development model . . . . . . . . . . . 65--75
Alfonso Fuggetta Open source software --- an evaluation 77--90
Anonymous Editorial board . . . . . . . . . . . . ??
Stephen G. MacDonell and
Martin J. Shepperd Combining techniques to optimize effort
predictions in software project
management . . . . . . . . . . . . . . . 91--98
Rusty O. Baldwin and
Nathaniel J. Davis IV and
Scott F. Midkiff and
John E. Kobza Queueing network analysis: concepts,
terminology, and methods . . . . . . . . 99--117
A. Striegel and
G. Manimaran Dynamic class-based queue management for
scalable media servers . . . . . . . . . 119--128
Ching-Wen Chen and