Journal of Systems and Software (JSS), Volume 16

Volume 16, Number 1, September 1991

Robert L. Glass:
Editor's corner: Structured research? (A partly tongue-in-cheek look). 1-2
A. J. Fisher:
Incremental algorithms for interactive text formatting. 3-16
Robin M. Snyder:
Specifying textual to graphical conversion. 17-28
Yonglei Tao, Chenho Kung:
Formal definition and verification of data flow diagrams. 29-36
Anna Hác, Xiaowei Jin:
A decentralized algorithm for dynamic load balancing with file transfer. 37-52
C. Samuel Hsieh:
Distributed evaluation of commutative and associative functions. 53-58
Sallie Keller-McNulty, Mark S. McNulty, David A. Gustafson:
Stochastic models for software science. 59-68
Ching-Cheng Lee, H. A. Fatmi:
Run-time support For parallel functional programming on shared-memory multiprocessors. 69-74
Ronald Geenens, Mustafa A. Kamal:
An industry study of computer practices. 75-80

Robert L. Glass:
Editor's corner : Quality software: What is management's role? 83-84
Sheng Uei Guan, Hussein M. Abdel-Wahab, Peter Calingaert:
Jointly-owned objects for collaboration: Operating-system support and protection model. 85-95
Khaled Narayanaswamy, Neil M. Goldman:
A flexible framework for cooperative distributed software development. 97-105
Krishna M. Kavi, Akshay K. Deshpande:
Specification of concurrent processes using a dataflow model of computation and partially ordered events. 107-120
Tsu-Feng Ho, Wah-Chun Chan, Chyan-Goei Chung:
Reliability modeling of parallel programs with modular structure using stochastic Petri nets. 121-128
Ali F. Emdad:
An empirical investigation of the effectiveness of software documentation delivery systems. 129-134
William B. Frakes, David J. Lubinsky, D. N. Neal:
Experimental evaluation of a test coverage analyzer for C and C + +. 135-139
Stephen G. MacDonell:
Rigor in software complexity measurement experimentation. 141-149
L. Kemayel, Ali Mili, I. Ouederni:
Controllable factors for programmer productivity: A statistical study. 151-163

Robert L. Glass:
Editor's corner software productivity: What is management's role? 167-168
James H. Gerlach, Feng-Yang Kuo:
Formal development of hybrid user-computer interfaces with advanced forms of user assistance. 169-183
Armin Roeseler, Anneliese von Mayrhauser:
Managing the quality of computing services: A user-oriented approach using utility theory and service-level indices. 185-196
C. Samuel Hsieh:
Slice, chunk and dataflow anomaly as DATALOG rules. 197-203
Patrick O. Bobbie, Mike P. Papazoglou:
Clustering PROLOG programs for distributed computations. 205-218
Muruganandan Kumar, Johnny Wong:
Transaction models for design environments. 219-228
Mansur H. Samadzadeh, K. Nandakumar:
A study of software metrics. 229-234
Ronald Gulezian:
Reformulating and calibrating COCOMO. 235-242
Anna Hác:
Design algorithms for asynchronous write operations in disk-buffer-cache memory. 243-253
Boumediene Belkhouche:
Generation of ADA and PL/1 prototypes from abstract data type specifications. 255-264