Last update:
Mon Aug 28 14:21:21 MDT 2023
Anonymous Information for authors . . . . . . . . 1--1
Anonymous Table of contents . . . . . . . . . . . 1--1
Anonymous [Back matter] . . . . . . . . . . . . . 1--4
Anonymous [Front matter] . . . . . . . . . . . . . 1--4
Anonymous Editor's notice . . . . . . . . . . . . 1--6
B. H. Liskov and
S. N. Zilles Specification techniques for data
abstractions . . . . . . . . . . . . . . 7--19
W. M. Mckeeman On preventing programming languages from
interfering with programming . . . . . . 19--26
C. E. Hewitt and
B. Smith Towards a programming apprentice . . . . 26--45
C. V. Ramamoorthy and
S. B. F. Ho Testing large software with automated
software evaluation systems . . . . . . 46--58
D. I. Good and
R. L. London and
W. W. Bledsoe An interactive program verification
system . . . . . . . . . . . . . . . . . 59--67
S. M. German and
B. Wegbreit A synthesizer of inductive assertions 68--75
S. K. Basu and
J. Misra Proving loop programs . . . . . . . . . 76--86
J. R. Kane and
S. S. Yau Concurrent software fault detection . . 87--99
K. M. Chandy and
J. C. Browne and
C. W. Dissly and
W. R. Uhrig Analytic models for rollback and
recovery strategies in data base systems 100--110
D. E. Whitten and
P. A. D. Demaine A machine and configuration independent
Fortran: Portable Fortran PFortran . . . 111--124
B. W. Boehm and
R. K. Mcclean and
D. E. Urfrig Some experience with automated aids to
the design of large-scale reliable
software . . . . . . . . . . . . . . . . 125--133
Anonymous [Inside front cover] . . . . . . . . . . c2--c2
Anonymous Table of contents . . . . . . . . . . . 1--1
Anonymous [Back matter] . . . . . . . . . . . . . 1--5
Anonymous Editor's notice . . . . . . . . . . . . 137--137
Anonymous Guest editorial . . . . . . . . . . . . 137--139
A. Endres An analysis of errors and their causes
in system programs . . . . . . . . . . . 140--149
R. J. Rubey and
J. A. Dana and
P. W. Biche Quantitative aspects of software
validation . . . . . . . . . . . . . . . 150--155
J. B. Goodenough and
S. L. Gerhart Toward a theory of test data selection 156--173
L. M. Culpepper A system for reliable engineering
software . . . . . . . . . . . . . . . . 174--178
J. D. Gannon and
J. J. Horning Language design for programming
reliability . . . . . . . . . . . . . . 179--191
N. Wirth An assessment of the programming
language Pascal . . . . . . . . . . . . 192--198
Per Brinch Hansen The programming language Concurrent
Pascal . . . . . . . . . . . . . . . . . 199--207
C. M. Geschke and
J. G. Mitchell On the problem of uniform references to
data structures . . . . . . . . . . . . 207--219
B. Randell System structure for software fault
tolerance . . . . . . . . . . . . . . . 220--232
W. A. Wulf Reliable hardware/software architecture 233--240
F. T. Baker Structured programming in a production
programming environment . . . . . . . . 241--252
W. C. Lynch and
J. W. Langner and
M. S. Schwartz Reliability experience with Chi/OS . . . 253--257
Anonymous [Inside front cover] . . . . . . . . . . c2--c2
Anonymous Table of contents . . . . . . . . . . . 1--1
Anonymous [Back matter] . . . . . . . . . . . . . 1--4
Anonymous Editor's notice . . . . . . . . . . . . 261--261
Y. Chu A methodology for software engineering 262--270
B. Wegbreit Property extraction in well-founded
property sets . . . . . . . . . . . . . 270--285
M. R. Paige Program graphs, an algebra, and their
implication for programming . . . . . . 286--291
T. Porter and
I. Simon Random insertion into a priority queue
structure . . . . . . . . . . . . . . . 292--298
D. E. Morgan and
W. Banks and
D. P. Goodspeed and
R. Kolanko A computer network monitoring system . . 299--311
J. D. Musa A theory of software reliability and its
application . . . . . . . . . . . . . . 312--327
J. S. Moore Introducing iteration into the Pure Lisp
theorem prover . . . . . . . . . . . . . 328--338
S. K. Basu and
R. T. Yeh Strong verification of programs . . . . 339--346
Anonymous [Inside front cover] . . . . . . . . . . c2--c2
Anonymous Table of contents . . . . . . . . . . . 1--1
Anonymous Author index . . . . . . . . . . . . . . 1--3
Anonymous [Back matter] . . . . . . . . . . . . . 1--5
T. B. Steel Guest editorial . . . . . . . . . . . . 349--350
R. E. Fairley An experimental program-testing facility 350--357
J. Witt The COLUMBUS approach . . . . . . . . . 358--363
M. J. Rochkind The source code control system . . . . . 364--370
S. Voigt Program design by a multidisciplinary
team . . . . . . . . . . . . . . . . . . 370--376
S. R. Mccammon Applied software engineering: A
real-time simulator case history . . . . 377--383
J. E. Stockenberg and
A. Van Dam STRUCT programming analysis system . . . 384--389
V. R. Basil and
A. J. Turner Iterative enhancement: A practical
technique for software development . . . 390--396
C. L. Mcclure Top-down, bottom-up, and structured
programming . . . . . . . . . . . . . . 397--403
C. V. Ramamoorthy and
K. H. Kim and
W. T. Chen Optimal placement of software monitors
aiding systematic testing . . . . . . . 403--411
R. F. Scott and
D. B. Simmons Predicting programming group
productivity a communications model . . 411--414
H. A. Sholl and
T. L. Booth Software performance modeling using
computation structures . . . . . . . . . 414--420
R. E. Noonan Structured programming and formal
specification . . . . . . . . . . . . . 421--425
J. B. Goodenough and
S. L. Gerhart Correction to ``Toward a theory of test
data selection'' . . . . . . . . . . . . 425--426
Anonymous [Inside front cover] . . . . . . . . . . c2--c2
D. L. Parnas On the Design and Development of Program
Families . . . . . . . . . . . . . . . . 1--9
M. Hamilton and
S. Zeldin Higher Order Software --- a Methodology
for Defining Software . . . . . . . . . 9--32
J. M. Spitzen The Specification of Assemblers . . . . 33--40
C. C. Elgot Structured Programming With and Without
\tt GO TO Statements . . . . . . . . . . 41--54
J. L. Baier and
G. R. Sager Dynamic Improvement of Locality in
Virtual Memory Systems . . . . . . . . . 54--62
R. Williams and
G. M. Giddings A Picture-Building System . . . . . . . 62--66
H. E. Tompkins Comments on ``Structured Programming in
a Production Programming Environment'' 67--67
F. T. Baker Author's reply . . . . . . . . . . . . . 67--68
Anonymous Management Auditing of Computer
Operations . . . . . . . . . . . . . . . 68--b-68--b
Anonymous IEEE Computer Society Publications . . . 68--a-68--a
Anonymous IEEE Computer Society . . . . . . . . . c2--c2
Anonymous \booktitleIEEE Transactions on Software
Engineering --- Table of contents . . . c1--c1
B. Wegbreit Goal-Directed Program Transformation . . 69--80
F. DeRemer and
H. H. Kron Programming-in-the-Large Versus
Programming-in-the-Small . . . . . . . . 80--86
A. Birman and
W. H. Joyner A Problem-Reduction Approach to Proving
Simulation Between Programs . . . . . . 87--96
S. P. Ghosh and
W. G. Tuel A Design of an Experiment to Model Data
Base System Performance . . . . . . . . 97--106
S. P. Ghosh Distributing a Data Base with Logical
Associations on a Computer Network for
Parallel Searching . . . . . . . . . . . 106--113
J. L. Elshoff An Analysis of Some Commercial PL/I
Programs . . . . . . . . . . . . . . . . 113--120
A. S. Tanenbaum A General-Purpose Macro Processor as a
Poor Man's Compiler-Compiler . . . . . . 121--125
Yaohan Chu and
R. Cannon Interactive High-Level Language
Direct-Execution Microprocessor System 126--134
D. B. Wortman A Study of High-Resolution Timing . . . 135--137
Anonymous Computers \ldots by the millions, for
the millions . . . . . . . . . . . . . . 137--e-137--e
Anonymous Organize a tutorial for your own IEEE
Computer Society chapter . . . . . . . . 137--a-137--a
Anonymous IEEE Computer Society Publications . . . 137--d-137--d
Anonymous Announcing the IEEE Computer Society's
Standing Subscription Plan
[advertisement] . . . . . . . . . . . . 137--137
Anonymous Correction to ``Dynamic Improvement of
Locality in Virtual Memory Systems'' . . 137--137
Anonymous If your computer engineering library
doesn't subscribe to all 3 it's not
complete . . . . . . . . . . . . . . . . 137--137
Anonymous \booktitleIEEE Transactions on Software
Engineering --- Table of contents . . . c1--c1
Anonymous IEEE Computer Society . . . . . . . . . c2--c2
A. W. Biermann and
R. Krishnaswamy Constructing Programs from Example
Computations . . . . . . . . . . . . . . 141--153
A. Ralston and
J. L. Wagener Structured Fortran --- an Evolution of
Standard Fortran . . . . . . . . . . . . 154--176
L. L. Rose and
H. Hellerman Portable Character Processing in Fortran
and Fixed Integer Environments . . . . . 176--185
R. C. T. Lee and
Y. H. Chin and
S. C. Chang Application of Principal Component
Analysis to Multikey Searching . . . . . 185--193
Anonymous Guest Editorial: A Case for Software
Testing Or Why Everything We Seem to
Learn About Software Development Still
Suggests the Need for Testing Or What to
Do Until We Achieve ``Perfection'' . . . 194--194
S. L. Gerhart and
L. Yelowitz Observations of Fallibility in
Applications of Modern Programming
Methodologies . . . . . . . . . . . . . 195--207
W. E. Howden Reliability of the Path Analysis Testing
Strategy . . . . . . . . . . . . . . . . 208--215
L. A. Clarke A System to Generate Test Data and
Symbolically Execute Programs . . . . . 215--222
Webb Miller and
David L. Spooner Automatic Generation of Floating-Point
Test Data . . . . . . . . . . . . . . . 223--226
H. N. Gabow and
S. N. Maheshwari and
L. J. Osterweil On Two Problems in the Generation of
Program Test Paths . . . . . . . . . . . 227--231
Anonymous Advance Program . . . . . . . . . . . . 232--232
Anonymous If your computer engineering library
doesn't subscribe to all 3 it's not
complete . . . . . . . . . . . . . . . . 232--232
C. C. Elgot Erratum and Corrigendum for ``Structured
Programming With and Without GO TO
Statements'' . . . . . . . . . . . . . . 232--232
Anonymous IEEE Computer Society Publications . . . 232--e-232--e
Anonymous Call for Papers . . . . . . . . . . . . 232--232
Anonymous \booktitleIEEE Transactions on Software
Engineering --- Table of contents . . . c1--c1
Anonymous IEEE Computer Society . . . . . . . . . c2--c2
Anonymous Guest Editorial . . . . . . . . . . . . 237--237
D. Gries An Illustration of Current Ideas on the
Derivation of Correctness Proofs and
Correct Programs . . . . . . . . . . . . 238--244
C. Reynolds and
R. T. Yeh Induction as the Basis for Program
Verification . . . . . . . . . . . . . . 244--252
W. A. Wulf and
R. L. London and
M. Shaw An Introduction to the Construction and
Verification of Alphard Programs . . . . 253--265
H. D. Mills Software Development . . . . . . . . . . 265--273
M. V. Wilkes Software Engineering and Structured
Programming . . . . . . . . . . . . . . 274--276
A. K. Jones and
B. H. Liskov A Language Extension for Controlling
Access to Shared Data . . . . . . . . . 277--285
S. L. Gerhart and
L. Yelowitz Control Structure Abstractions of the
Backtracking Programming Technique . . . 285--292
C. V. Ramamoorthy and
S. B. F. Ho and
W. T. Chen On the Automated Generation of Program
Test Data . . . . . . . . . . . . . . . 293--300
D. L. Parnas and
G. Handzel and
H. Wurges Design and Specification of the Minimal
Subset of an Operating System Family . . 301--307
T. J. McCabe A Complexity Measure . . . . . . . . . . 308--320
J. E. Ball and
J. Feldman and
J. R. Low and
R. Rashid and
P. Rovner RIG, Rochester's Intelligent Gateway:
System Overview . . . . . . . . . . . . 321--328
Anonymous If your computer engineering library
doesn't subscribe to all 3 it's not
complete . . . . . . . . . . . . . . . . 329--329
Anonymous 1976 Index \booktitleIEEE Transactions
on Software Engineering Vol. SE-2 . . . 329--329
Anonymous IEEE Computer Society Publications . . . 329--d-329--d
Anonymous Acknowledgment of Referees . . . . . . . 329--329
Anonymous \booktitleIEEE Transactions on Software
Engineering --- Table of contents . . . c1--c1
Anonymous IEEE Computer Society . . . . . . . . . c2--c2
Anonymous Editor's Notice . . . . . . . . . . . . 1--1
Anonymous Guest Editorial: Reflections on
Requirements . . . . . . . . . . . . . . 2--5
D. T. Ross and
K. E. Schoman Structured Analysis for Requirements
Definition . . . . . . . . . . . . . . . 6--15
D. T. Ross Structured Analysis (SA): A Language for
Communicating Ideas . . . . . . . . . . 16--34
C. A. Irvine and
J. W. Brackett Automated Software Engineering Through
Structured Data Management . . . . . . . 34--40
D. Teichroew and
E. A. Hershey PSL/PSA: A Computer-Aided Technique for
Structured Documentation and Analysis of
Information Processing Systems . . . . . 41--48
T. E. Bell and
D. C. Bixler and
M. E. Dyer An Extendable Approach to Computer-Aided
Software Requirements Engineering . . . 49--60
M. W. Alford A Requirements Engineering Methodology
for Real-Time Processing Requirements 60--69
C. G. Davis and
C. R. Vick The Software Development System . . . . 69--84
H. S. Stone Multiprocessor Scheduling with the Aid
of Network Flow Algorithms . . . . . . . 85--93
A. J. Smith Two Methods for the Efficient Analysis
of Memory Address Trace Data . . . . . . 94--101
Anonymous Acknowledgment of Referees . . . . . . . 102--102
Anonymous Information for authors . . . . . . . . 102--102
Anonymous If your computer engineering library
doesn't subscribe to all 3 it's not
complete . . . . . . . . . . . . . . . . 102--102
Anonymous IEEE Computer Society Publications . . . 102--c-102--c
Anonymous Announcing the IEEE Computer Society's
Standing Subscription Plan
[advertisement] . . . . . . . . . . . . 102--102
Anonymous IEEE Computer Society . . . . . . . . . c2--c2
Anonymous \booktitleIEEE Transactions on Software
Engineering --- Table of contents . . . c1--c1
H. F. Ledgard Production Systems: A Notation for
Defining Syntax and Translation . . . . 105--124
L. Lamport Proving the Correctness of Multiprocess
Programs . . . . . . . . . . . . . . . . 125--143
J. M. Adams A General, Verifiable Iterative Control
Structure . . . . . . . . . . . . . . . 144--149
We-Min Chow and
W. W. Chiu An Analysis of Swapping Policies in
Virtual Storage Systems . . . . . . . . 150--156
P. B. Hansen Experience with Modular Concurrent
Programming . . . . . . . . . . . . . . 156--159
Anonymous Guest Editorial: Data Structures and
Pattern Recognition . . . . . . . . . . 160--161
R. F. H. Farag Interactive Pattern Recognition: A
System and Data Structure . . . . . . . 162--168
L. G. Shapiro and
R. J. Baron ESP$^3$: A Language for Pattern
Description and a System for Pattern
Recognition . . . . . . . . . . . . . . 169--183
S. B. Soffer and
R. B. Friedman Information Retrieval Based on
Touch-Tone\reg Encoded Alphanumeric Keys 184--189
R. M. Haralick Image Access Protocol for Image
Processing Software . . . . . . . . . . 190--192
Anonymous Call for Papers . . . . . . . . . . . . 192--192
Anonymous IEEE Computer Society Publications . . . 192--a-192--a
Anonymous \booktitleIEEE Transactions on Software
Engineering --- Table of contents . . . c1--c1
Anonymous IEEE Computer Society . . . . . . . . . c2--c2
B. Wegbreit Constructive Methods in Program
Verification . . . . . . . . . . . . . . 193--209
A. Silberschatz and
R. B. Kieburtz and
A. J. Bernstein Extending Concurrent Pascal to Allow
Dynamic Resource Management . . . . . . 210--217
P. Reisner Use of Psychological Experimentation as
an Aid to Development of a Query
Language . . . . . . . . . . . . . . . . 218--229
E. B. Daly Management of Software Development . . . 229--242
W. H. Harrison Compiler Analysis of the Value Ranges
for Variables . . . . . . . . . . . . . 243--250
S. H. Zweben A Study of the Physical Structure of
Algorithms . . . . . . . . . . . . . . . 250--258
W. V. Camp and
T. G. Lewis Implementing a Pseudorandom Number
Generator on a Minicomputer . . . . . . 259--262
Anonymous IEEE Computer Society Publications . . . 262--c-262--c
Anonymous If your computer engineering library
doesn't subscribe to all 3 it's not
complete . . . . . . . . . . . . . . . . 262--262
D. Gries Correction to ``An Illustration of
Current Ideas on the Derivation of
Correctness Proofs and Correct
Programs'' . . . . . . . . . . . . . . . 262--262
Anonymous Compcon77 Fall . . . . . . . . . . . . . 262--262
Anonymous Call for Papers . . . . . . . . . . . . 262--262
Anonymous IEEE Computer Society . . . . . . . . . c2--c2
Anonymous \booktitleIEEE Transactions on Software
Engineering --- Table of contents . . . c1--c1
Anonymous Editor's Notice . . . . . . . . . . . . 265--265
W. E. Howden Symbolic Testing and the DISSECT
Symbolic Evaluation System . . . . . . . 266--278
R. G. Hamlet Testing Programs with the Aid of a
Compiler . . . . . . . . . . . . . . . . 279--290
K. M. Chandy and
J. Hogarth and
C. H. Sauer Selecting Capacities in Computer
Communication Systems . . . . . . . . . 290--295
G. D. Ripley Program Perspectives: A Relational
Representation of Measurement Data . . . 296--300
A. Klinger Artificial Patterns . . . . . . . . . . 301--306
L. R. Symes and
R. R. Oldehoeft Context of Problem-Solving Systems . . . 306--309
P. D. Cernicica Evaluation of the Average Access Time
for a Digital Cassette Memory System . . 310--324
J. J. Horning and
D. B. Wortman Software Hut: A Computer Program
Engineering Project in the Form of a
Game . . . . . . . . . . . . . . . . . . 325--330
Anonymous Call for Papers . . . . . . . . . . . . 330--330
Anonymous IEEE Computer Society Publications . . . 330--c-330--c
Anonymous Announcing the IEEE Computer Society's
Standing Subscription Plan
[advertisement] . . . . . . . . . . . . 330--330
Anonymous If your computer engineering library
doesn't subscribe to all 3 it's not
complete . . . . . . . . . . . . . . . . 330--330
Anonymous \booktitleIEEE Transactions on Software
Engineering --- Table of contents . . . c1--c1
Anonymous IEEE Computer Society . . . . . . . . . c2--c2
J. J. Donovan and
H. D. Jacqby Virtual Machine Communication for the
Implementation of Decision Support
Systems . . . . . . . . . . . . . . . . 333--342
H. Samet A Machine Description Facility for
Compiler Testing . . . . . . . . . . . . 343--351
Donald E. Knuth Deletions That Preserve Randomness . . . 351--359
J. Gait A New Nonlinear Pseudorandom Number
Generator . . . . . . . . . . . . . . . 359--363
J. L. Elshoff The Influence of Structured Programming
on PL/I Program Profiles . . . . . . . . 364--368
B. Walke Program Replacement for Better
Throughput . . . . . . . . . . . . . . . 369--374
Anonymous Call for Papers . . . . . . . . . . . . 374--374
Anonymous If your computer engineering library
doesn't subscribe to all 3 it's not
complete . . . . . . . . . . . . . . . . 374--374
Anonymous IEEE Computer Society Publications . . . 374--c-374--c
Anonymous Announcing the IEEE Computer Society's
Standing Subscription Plan
[advertisement] . . . . . . . . . . . . 374--374
Anonymous \booktitleIEEE Transactions on Software
Engineering --- Table of contents . . . c1--c1
Anonymous IEEE Computer Society . . . . . . . . . c2--c2
N. Dershowitz and
Z. Manna The Evolution of Programs: Automatic
Program Modification . . . . . . . . . . 377--385
M. R. Paige On Partitioning Program Graphs . . . . . 386--393
J. L. Baer and
C. S. Ellis Model, Design, and Evaluation of a
Compiler for a Parallel Processing
Environment . . . . . . . . . . . . . . 394--405
G. C. Roman An Argument in Favor of Mechanized
Software Production . . . . . . . . . . 406--415
M. Marcotty and
F. G. Sayward The Definition Mechanism for Standard
PL/I . . . . . . . . . . . . . . . . . . 416--450
R. L. Kashyap and
S. K. C. Subas and
S. B. Yao Analysis of the Multiple-Attribute-Tree
Data-Base Organization . . . . . . . . . 451--467
G. J. Nutt A Parallel Processor Operating System
Comparison . . . . . . . . . . . . . . . 467--475
R. R. Oldehoeft A Contrast Between Language Level
Measures . . . . . . . . . . . . . . . . 476--478
D. R. Stoutemyer Computing with Impure Numbers: Automatic
Consistency Checking and Units
Conversion Using Computer Algebra . . . 478--480
Anonymous IEEE Computer Society Publications . . . 480--e-480--e
Anonymous 1977 Index \booktitleIEEE Transactions
on Software Engineering Vol. SE-3 . . . 480--480
Anonymous Announcing Computer Technology: Status,
Limits, Alternatives . . . . . . . . . . 480--480
Anonymous If your computer engineering library
doesn't subscribe to all 3 it's not
complete . . . . . . . . . . . . . . . . 480--480
Anonymous IEEE Computer Society . . . . . . . . . c2--c2
Anonymous \booktitleIEEE Transactions on Software
Engineering --- Table of contents . . . c1--c1
Anonymous Editor's Notice . . . . . . . . . . . . 1--2
E. Gelenbe and
A. Kurinckx Random Injection Control of
Multiprogramming in Virtual Memory . . . 2--17
Shi-Kuo Chang and
Wu-Haung Cheng Database Skeleton and Its Application to
Logical Database Synthesis . . . . . . . 18--30
Shi-Kuo Chang and
Jyh-Sheng Ke Database Skeleton and Its Application to
Fuzzy Query Translation . . . . . . . . 31--44
S. Ginsburg and
E. M. Rounds Dynamic Syntax Specification Using
Grammar Forms . . . . . . . . . . . . . 44--55
M. V. Zelkowitz and
H. J. Larsen Implementation of a Capability-Based
Data Abstraction . . . . . . . . . . . . 56--64
J. Misra A Technique of Algorithm Construction on
Sequences . . . . . . . . . . . . . . . 65--69
W. E. Howden DISSECT --- a Symbolic Evaluation and
Program Testing System . . . . . . . . . 70--73
R. A. Demillo and
D. Dobkin and
R. J. Lipton Even Data Bases That Lie Can Be
Compromised . . . . . . . . . . . . . . 73--75
S. Kundu Note on a Constrained-Path Problem in
Program Testing . . . . . . . . . . . . 75--76
B. K. Rosen The Toy Language Syndrome . . . . . . . 76--77
Anonymous Acknowledgment of Referees . . . . . . . 78--78
Anonymous IEEE Computer Society Publications . . . 78--c-78--c
Anonymous Books for Computer Professionals From
the IEEE Computer Society New
Publications . . . . . . . . . . . . . . 78--a-78--b
Anonymous Call for Papers . . . . . . . . . . . . 78--78
Anonymous IEEE Computer Society . . . . . . . . . c2--c2
Anonymous \booktitleIEEE Transactions on Software
Engineering --- Table of contents . . . c1--c1
T. W. Pratt Control Computations and the Design of
Loop Control Structures . . . . . . . . 81--89
D. Gries The Multiple Assignment Statement . . . 89--93
R. Balzer and
N. Goldman and
D. Wile Informality in Program Specifications 94--103
G. J. Schick and
R. W. Wolverton An Analysis of Competing Software
Reliability Models . . . . . . . . . . . 104--120
A. J. Smith A Comparative Study of Set Associative
Memory Mapping Algorithms and Their Use
for Cache and Main Memory . . . . . . . 121--130
G. D. Ripley and
R. E. Griswold and
D. R. Hanson Performance of Storage Management in an
Implementation of SNOBOL4 . . . . . . . 130--137
H. S. Stone Sorting on STAR . . . . . . . . . . . . 138--146
R. A. Ellis On the Interactive Use of a
Macroprocessor to Generate Operating
System Batch Streams . . . . . . . . . . 146--148
Anonymous Call for Papers . . . . . . . . . . . . 148--148
Anonymous Advance Program . . . . . . . . . . . . 148--148
Anonymous Information about the Society . . . . . 148--f-148--f
Anonymous Call for Papers . . . . . . . . . . . . 148--148
Anonymous IEEE Computer Society Publications . . . 148--e-148--e
Anonymous IEEE Computer Society . . . . . . . . . c2--c2
Anonymous \booktitleIEEE Transactions on Software
Engineering --- Table of contents . . . c1--c1
Anonymous Guest Editorial . . . . . . . . . . . . 153--153
P. A. Bernstein and
J. B. Rothnie and
N. Goodman and
C. A. Papadimitriou The Concurrency Control Mechanism of
SDD-1: A System for Distributed
Databases (The Fully Redundant Case) . . 154--168
U. R. Kodres Analysis of Real-Time Systems by Data
Flowgraphs . . . . . . . . . . . . . . . 169--178
T. S. Chow Testing Software Design Modeled by
Finite-State Machines . . . . . . . . . 178--187
E. T. Chen Program Complexity and Programmer
Productivity . . . . . . . . . . . . . . 187--194
P. B. Hansen Network: A Multiprocessor Program . . . 194--199
Z. Manna and
R. Waldinger The Logic of Computer Programming . . . 199--229
S. Kumar Shrivastava and
J. P. Banatre Reliable Resource Allocation Between
Unreliable Processes . . . . . . . . . . 230--241
A. C. Shaw Software Descriptions with Flow
Expressions . . . . . . . . . . . . . . 242--254
H. S. Stone Critical Load Factors in Two-Processor
Distributed Systems . . . . . . . . . . 254--258
Anonymous Information about the Society . . . . . 259--a-259--a
Anonymous Information for authors . . . . . . . . 259--259
Anonymous IEEE Computer Society Publications . . . 259--b-259--b
Anonymous Advance Program Announcement . . . . . . 259--259
Anonymous \booktitleIEEE Transactions on Software
Engineering --- Table of contents . . . c1--c1
Anonymous IEEE Computer Society . . . . . . . . . c2--c2
Anonymous Guest Editorial for the Special
Collection from the Third International
Conference on Software Engineering . . . 261--262
J. T. Pederson and
J. K. Buckle Kongsberg's Road to an Industrial
Software Methodology . . . . . . . . . . 263--269
W. Dzida and
S. Herda and
W. D. Itzfeldt User-Perceived Quality of Interactive
Systems . . . . . . . . . . . . . . . . 270--276
D. L. Boyd and
A. Pizzarello Introduction to the Wellmade Design
Methodology . . . . . . . . . . . . . . 276--282
W. E. Riddle and
J. C. Wileden and
J. H. Sayler and
A. R. Segal and
A. M. Stavely Behavior Modeling During Software Design 283--292
W. E. Howden Theoretical and Empirical Studies of
Program Testing . . . . . . . . . . . . 293--298
H. Goullon and
R. Isle and
K. P. Lohr Dynamic Restructuring in an Experimental
Operating System . . . . . . . . . . . . 298--307
R. E. Merwin Guest Editorial: Software Management: We
Must Find a Way . . . . . . . . . . . . 307--308
B. C. De Roze and
T. H. Nyman The Software Life Cycle --- a Management
and Technological Challenge in the
Department of Defense . . . . . . . . . 309--318
J. D. Cooper Corporate Level Software Management . . 319--326
William C. Cave and
Alan B. Salisbury Controlling the Software Life Cycle ---
The Project Management Task . . . . . . 326--334
R. C. McHenry and
C. E. Walston Software Life Cycle Management: Weapons
Process Developer . . . . . . . . . . . 334--344
L. H. Putnam A General Empirical Solution to the
Macro Software Sizing and Estimating
Problem . . . . . . . . . . . . . . . . 345--361
Anonymous Advance Program Summary . . . . . . . . 361--361
Anonymous The IEEE Computer Society Announces
Tutorial and Selected Papers in Digital
Image Processing . . . . . . . . . . . . 361--c-361--c
Anonymous IEEE Computer Society Publications . . . 361--d-361--d
Anonymous Call for Papers . . . . . . . . . . . . 361--361
Anonymous \booktitleIEEE Transactions on Software
Engineering --- Table of contents . . . c1--c1
Anonymous IEEE Computer Society . . . . . . . . . c2--c2
P. B. Hansen and
J. Staunstrup Specification and Implementation of
Mutual Exclusion . . . . . . . . . . . . 365--370
N. Francez An Application of a Method for Analysis
of Cyclic Prog rams . . . . . . . . . . 371--378
S. Katz Program Optimization Using Invariants 378--389
T. F. Gannon and
S. D. Shapiro An Optimal Approach to Fault Tolerant
Software Systems Design . . . . . . . . 390--409
J. Misra An Approach to Formal Definitions and
Proofs of Programming Principles . . . . 410--413
Kuo-Chung Tai Syntactic Error Correction in
Programming Languages . . . . . . . . . 414--425
A. B. Cremers and
T. N. Hibbard Formal Modeling of Virtual Machines . . 426--436
Y. H. Chin An Analysis of ``Distributed Free
Space'' in an Operating and Data
Management Systems Environment . . . . . 436--440
R. C. T. Lee and
J. R. Slagie and
C. T. Mong Towards Automatic Auditing of Records 441--448
Anonymous IEEE Computer Society Publications . . . 448--a-448--a
Anonymous Announcing a new Quarterly IEEE
Transactions \ldots \booktitleIEEE
Transactions on Pattern Analysis and
Machine Intelligence . . . . . . . . . . 448--448
Anonymous \booktitleIEEE Transactions on Software
Engineering --- Table of contents . . . c1--c1
Anonymous IEEE Computer Society . . . . . . . . . c2--c2
W. S. Ford Implementation of a Generalized Critical
Region Construct . . . . . . . . . . . . 449--455
C. Rich and
H. E. Shrobe Initial Report on a Lisp Programmer's
Apprentice . . . . . . . . . . . . . . . 456--467
R. B. Kieburtz and
A. Silberschatz Capability Managers . . . . . . . . . . 467--477
J. Misra Some Aspects of the Verification of Loop
Computations . . . . . . . . . . . . . . 478--486
T. Anderson and
P. A. Lee and
S. K. Shrivastava A Model of Recoverability in Multilevel
Systems . . . . . . . . . . . . . . . . 486--494
L. A. Rowe and
F. M. Tonge Automating the Selection of
Implementation Structures . . . . . . . 494--506
E. A. Akkoyunlu and
A. J. Bernstein and
F. B. Schneider and
A. Silberschatz Conditions for the Equivalence of
Synchronous and Asynchronous Systems . . 507--516
G. V. Bochmann Compile Time Memory Allocation for
Parallel Processes . . . . . . . . . . . 517--520
U. R. Kodres Discrete Systems and Flowcharts . . . . 521--525
C. E. Hughes and
C. P. Pfleeger ASSIST-V: An Environment Simulator for
IBM 360 Systems Software Development . . 526--530
G. I. Davida and
D. J. Linton and
C. R. Szelag and
D. L. Wells Database Security . . . . . . . . . . . 531--533
Anonymous IEEE Computer Society Publications . . . 533--h-533--h
Anonymous 1978 Index \booktitleIEEE Transactions
on Software Engineering Vol. SE-4 . . . 533--533
Anonymous Call for Papers . . . . . . . . . . . . 533--533
Anonymous The IEEE Computer Society Announces
Tutorial and Selected Papers in Digital
Image Processing . . . . . . . . . . . . 533--f-533--f
Anonymous IEEE Announcing a New Quarterly IEEE
Transactions \ldots \booktitleIEEE
Transactions on Pattern Analysis and
Machine Intelligence . . . . . . . . . . 533--g-533--g
Anonymous IEEE Computer Society . . . . . . . . . c2--c2
Anonymous \booktitleIEEE Transactions on Software
Engineering --- Table of contents . . . c1--c1
J. R. McGraw and
G. R. Andrews Access Control in Parallel Programs . . 1--9
C. E. Hewitt and
R. R. Atkinson Specification and Proof Techniques for
Serializers . . . . . . . . . . . . . . 10--23
J. T. Robinson Some Analysis Techniques for
Asynchronous Multiprocessor Algorithms 24--31
T. L. Booth Performance Optimization of Software
Systems Processing Information Sequences
Modeled by Probabilistic Languages . . . 31--44
M. R. Woodward and
M. A. Hennell and
D. Hedley A Measure of Control Flow Complexity in
Program Text . . . . . . . . . . . . . . 45--50
D. W. Clark Measurements of Dynamic List Structure
Use in Lisp . . . . . . . . . . . . . . 51--59
J. Bicevskis and
J. Borzovs and
U. Straujums and
A. Zarins and
E. F. Miller SMOTL --- a System to Construct Samples
for Data Processing Program Debugging 60--66
Anonymous Acknowledgment of Referees . . . . . . . 67--68
Anonymous IEEE copyright form . . . . . . . . . . 69--70
Anonymous Advance Program Announcement . . . . . . 71--71
Anonymous Information for authors . . . . . . . . 71--71
Anonymous Call for Papers . . . . . . . . . . . . 71--71
Anonymous IEEE Computer Society Publications . . . 71--b-71--b
Anonymous \booktitleIEEE Transactions on Software
Engineering --- Table of contents . . . c1--c1
Anonymous IEEE Computer Society . . . . . . . . . c2--c2
Anonymous Editor's Notice . . . . . . . . . . . . 73--73
Anonymous In Memory of Maurice H. Halstead . . . . 74--74
M. H. Halstead Guest Editorial on Software Science . . 74--75
S. N. Woodfield An Experiment on Unit Increase in
Problem Complexity . . . . . . . . . . . 76--79
R. D. Gordon Measuring Improvements in Program
Clarity . . . . . . . . . . . . . . . . 79--90
S. H. Zweben and
M. H. Halstead The Frequency Distribution of Operators
in PL/I Programs . . . . . . . . . . . . 91--95
B. Curtis and
S. B. Sheppard and
P. Milliman and
M. A. Borst and
T. Love Measuring the Psychological Complexity
of Software Maintenance Tasks with the
Halstead and McCabe Metrics . . . . . . 96--104
D. Comer and
M. H. Halstead A Simple Experiment in Top-Down Design 105--109
A. L. Baker and
S. H. Zweben The Use of Software Science in
Evaluating Modularity Concepts . . . . . 110--120
R. D. Gordon A Qualitative Justification for a
Measure of Program Clarity . . . . . . . 121--128
D. L. Parnas Designing Software for Ease of Extension
and Contraction . . . . . . . . . . . . 128--138
G. R. Andrews The Design of a Message Switching
System: An Application and Evaluation of
Modula . . . . . . . . . . . . . . . . . 138--147
M. H. Van Emden Programming with Verification Conditions 148--159
W. C. Lin and
R. C. T. Lee and
H. C. Du Common Properties of Some Multiattribute
File Systems . . . . . . . . . . . . . . 160--174
Anonymous Advance Program Announcement . . . . . . 174--174
Anonymous IEEE Computer Society Publications . . . 174--c-174--c
Anonymous Call for Papers . . . . . . . . . . . . 174--174
Anonymous Advance Announcement . . . . . . . . . . 174--174
Anonymous IEEE Computer Society . . . . . . . . . c2--c2
Anonymous \booktitleIEEE Transactions on Software
Engineering --- Table of contents . . . c1--c1
A. R. Hevner and
S. B. Yao Query Processing in Distributed Database
System . . . . . . . . . . . . . . . . . 177--187
M. Stonebraker Concurrency Control and Consistency of
Multiple Copies of Data in Distributed
Ingres . . . . . . . . . . . . . . . . . 188--194
D. A. Menasce and
R. R. Muntz Locking and Deadlock Detection in
Distributed Data Bases . . . . . . . . . 195--202
P. A. Bernstein and
D. W. Shipman and
W. S. Wong Formal Aspects of Serializability in
Database Concurrency Control . . . . . . 203--216
B. G. Ryder Constructing the Call Graph of a Program 216--226
J. C. Huang Detection of Data Flow Anomaly Through
Program Instrumentation . . . . . . . . 226--236
R. C. Waters A Method for Analyzing Loop Programs . . 237--247
H. A. Schutz On the Design of a Language for
Programming Real-Time Concurrent
Processes . . . . . . . . . . . . . . . 248--255
J. Katzenelson Clusters and Dialogues for Set
Implementations . . . . . . . . . . . . 256--275
N. F. Schneidewind and
H. M. Hoffmann An Experiment in Software Error Data
Collection and Analysis . . . . . . . . 276--286
J. R. Spirn Queuing Networks with Random Selection
for Service . . . . . . . . . . . . . . 287--289
Anonymous Announcing \ldots The IEEE Computer
Society's Tutorial Week79 . . . . . . . 289--e-289--e
Anonymous Information about the Society . . . . . 289--c-289--c
Anonymous IEEE Computer Society Publications . . . 289--d-289--d
Anonymous Call for Papers . . . . . . . . . . . . 289--289
Anonymous if your computer engineering library
doesn't subscribe to all 4 it's not
complete. . . . . . . . . . . . . . . . 289--289
Anonymous IEEE Computer Society . . . . . . . . . c2--c2
Anonymous \booktitleIEEE Transactions on Software
Engineering --- Table of contents . . . c1--c1
Anonymous Editor's Notice . . . . . . . . . . . . 293--293
Z. Manna and
R. Waldinger Synthesis: Dreams $ \rightarrow $
Programs . . . . . . . . . . . . . . . . 294--328
K. S. Trivedi and
R. A. Wagner A Decision Model for Closed Queuing
Networks . . . . . . . . . . . . . . . . 328--332
J. L. Bentley Multidimensional Binary Search Trees in
Database Applications . . . . . . . . . 333--340
S. H. Bokhari Dual Processor Scheduling with Dynamic
Reassignment . . . . . . . . . . . . . . 341--349
D. K. Hsiao and
D. S. Kerr and
Chen-Jen Nee Database Access Control in the Presence
of Context Dependent Protection
Requirements . . . . . . . . . . . . . . 349--358
D. B. Wortman On Legality Assertions in Euclid . . . . 359--367
W. H. Harrison A New Strategy for Code Generation ---
the General-Purpose Optimizing Compiler 367--373
E. Towster A Convention for Explicit Declaration of
Environments and Top-Down Refinement of
Data . . . . . . . . . . . . . . . . . . 374--386
M. S. Moriconi A Designer/Verifier's Assistant . . . . 387--401
T. E. Cheatham and
G. H. Holloway and
J. A. Townley Symbolic Evaluation and the Analysis of
Programs . . . . . . . . . . . . . . . . 402--417
Ronald F. Boisvert and
John R. Rice and
Elias N. Houstis A System for Performance Evaluation of
Partial Differential Equations Software 418--425
R. E. Fairley Aladdin: Assembly Language Assertion
Driven Debugging Interpreter . . . . . . 426--428
Anonymous IEEE Computer Society Publications . . . 428--a-428--a
Anonymous Announcing \ldots The IEEE Computer
Society's Tutorial Week79 . . . . . . . 428--b-428--b
Anonymous \booktitleIEEE Transactions on Software
Engineering --- Table of contents . . . c1--c1
Anonymous IEEE Computer Society . . . . . . . . . c2--c2
G. V. Bochmann and
T. Joachim Development and Structure of an X.25
Implementation . . . . . . . . . . . . . 429--439
K. M. Chandy and
J. Misra Distributed Simulation: A Case Study in
Design and Verification of Distributed
Programs . . . . . . . . . . . . . . . . 440--452
W. Polak An Exercise in Automatic Program
Verification . . . . . . . . . . . . . . 453--458
K. Ekanadham and
A. J. Bernstein Conditional Capabilities . . . . . . . . 458--464
D. J. Rypka and
A. P. Lucido Deadlock Detection and Avoidance for
Shared Logical Resources . . . . . . . . 465--471
J. Cohen and
R. Sitver and
D. Auty Evaluating and Improving Recursive
Descent Parsers . . . . . . . . . . . . 472--480
N. Roussopoulos CSDL: A Conceptual Schema Definition
Language for the Design of Data Base
Applications . . . . . . . . . . . . . . 481--496
R. R. Oldehoeft and
L. J. Bass Dynamic Software Science with
Applications . . . . . . . . . . . . . . 497--504
L. M. Ottenstein Quantitative Estimates of Debugging
Requirements . . . . . . . . . . . . . . 504--514
C. Wetherell and
A. Shannon Tidy Drawings of Trees . . . . . . . . . 514--520
S. C. Ntafos and
S. L. Hakimi On Path Cover Problems in Digraphs and
Applications to Program Testing . . . . 520--529
R. A. Marie An Approximate Analytical Method for
General Queueing Networks . . . . . . . 530--538
Anonymous Call for Papers . . . . . . . . . . . . 538--538
N. F. Schneidewind and
H. M. Hoffmann Correction to ``An Experiment in
Software Error Data Collection and
Analysis'' . . . . . . . . . . . . . . . 538--538
Anonymous IEEE Computer Society Publications . . . 538--c-538--c
Anonymous Announcing \ldots The IEEE Computer
Society's Tutorial Week79 . . . . . . . 538--d-538--d
Anonymous \booktitleIEEE Transactions on Software
Engineering --- Table of contents . . . c1--c1
Anonymous IEEE Computer Society . . . . . . . . . c2--c2
Anonymous Editor's Note . . . . . . . . . . . . . 541--541
A. Silberschatz Communication and Synchronization in
Distributed Systems . . . . . . . . . . 542--546
B. H. Liskov and
A. Snyder Exception Handling in CLU . . . . . . . 546--558
A. F. Babich Proving Total Correctness of Parallel
Programs . . . . . . . . . . . . . . . . 558--574
V. D. Gligor Review and Revocation of Access
Privileges Distributed Through
Capabilities . . . . . . . . . . . . . . 575--586
C. J. P. Lucena and
T. H. C. Pequeno Program Derivation Using Data Types: A
Case Study . . . . . . . . . . . . . . . 586--592
J. Cohen and
R. Sitver A Case Study in Program Transformation:
Translation into Polish . . . . . . . . 593--606
V. D. Gligor and
B. G. Lindsay Object Migration and Authentication . . 607--611
P. W. Abrahams and
L. A. Clarke Compile-Time Analysis of Data
List-Format List Correspondences . . . . 612--617
T. Masuda Methods for the Measurement of Memory
Utilization and the Improvement of
Program Locality . . . . . . . . . . . . 618--631
P. Caseau and
G. Pujolle Throughput Capacity of a Sequence of
Queues with Blocking Due to Finite
Waiting Room . . . . . . . . . . . . . . 631--642
A. L. Barrese and
S. D. Shariro Structuring Programs for Efficient
Operation in Virtual Memory Systems . . 643--652
G. H. Gonnet and
D. E. Morgan Analysis of Closed Queuing Networks with
Periodic Servers . . . . . . . . . . . . 653--659
Anonymous IEEE Computer Society Publications . . . 659--f-659--f
Anonymous 1979 Index \booktitleIEEE Transactions
on Software Engineering Vol. SE-5 . . . 659--659
Anonymous Call for Papers . . . . . . . . . . . . 659--659
Anonymous IEEE Computer Society . . . . . . . . . c2--c2
Anonymous \booktitleIEEE Transactions on Software
Engineering --- Table of contents . . . c1--c1
A. L. Goel A Summary of the Discussion on ``An
Analysis of Competing Software
Reliability Models'' . . . . . . . . . . 501--502
P. A. Lee and
J. L. Lloyd and
S. K. Shrivastava Some Critical Comments on the Paper ``An
Optimal Approach to Fault Tolerant
Software Systems Design'' by Gannon and
Shapiro . . . . . . . . . . . . . . . . 608--610