%A Barbara H. Liskov
%A Stephen N. Zilles
%T Specification techniques for data abstractions
%J IEEE Transactions on Software Engineering
%K ieee_tse
%V SE-1
%N 1
%D March 1975
%P 7-19

%A W.M. McKeeman
%T On preventing programming languages from interfering with programming
%J IEEE Transactions on Software Engineering
%K ieee_tse
%V SE-1
%N 1
%D March 1975
%P 19-26

%A Carl E. Hewitt
%A Brian Smith
%T Towards a programming apprentice
%J IEEE Transactions on Software Engineering
%K ieee_tse
%V SE-1
%N 1
%D March 1975
%P 26-45

%A C.V. Ramamoorthy
%A Siu-Bun F. Ho
%T Testing large software with automated software evaluation systems
%J IEEE Transactions on Software Engineering
%K ieee_tse
%V SE-1
%N 1
%D March 1975
%P 46-58

%A Donald I. Good
%A Ralph L. London
%A W.W. Bledsoe
%T An interactive program verification system
%J IEEE Transactions on Software Engineering
%K ieee_tse
%V SE-1
%N 1
%D March 1975
%P 59-67

%A Steven M. German
%A Ben Wegbreit
%T A synthesizer of inductive assertions
%J IEEE Transactions on Software Engineering
%K ieee_tse
%V SE-1
%N 1
%D March 1975
%P 68-75

%A Sanat K. Basu
%A Jayadev Misra
%T Proving loop programs
%J IEEE Transactions on Software Engineering
%K ieee_tse
%V SE-1
%N 1
%D March 1975
%P 76-86

%A J. Richard Kane
%A Stephen S. Yau
%T Concurrent software fault detection
%J IEEE Transactions on Software Engineering
%K ieee_tse
%V SE-1
%N 1
%D March 1975
%P 87-99

%A K. Mani Chandy
%A James C. Browne
%A Charles W. Dissly
%A Werner R. Uhrig
%T Analytic models for rollback and recovery strategy in data base systems
%J IEEE Transactions on Software Engineering
%K ieee_tse
%V SE-1
%N 1
%D March 1975
%P 100-110

%A Douglas E. Whitten
%A Paul A.D. deMaine
%T A machine and configuration independent Fortran: portable Fortran (PFortran)
%J IEEE Transactions on Software Engineering
%K ieee_tse
%V SE-1
%N 1
%D March 1975
%P 111-124

%A Barry W. Boehm
%A Robert K. McClean
%A D.B. Urfrig
%T Some experience with automated aids
to the design of large-scale reliable software
%J IEEE Transactions on Software Engineering
%K ieee_tse
%V SE-1
%N 1
%D March 1975
%P 125-133

%A Albert Endress
%T An analysis of errors and their causes in system programs
%J IEEE Transactions on Software Engineering
%K ieee_tse
%V SE-1
%N 2
%D June 1975
%P 140-149

%A Raymond J. Rubey
%A Joseph A. Dana
%A Peter W. Biche
%T Quantitative aspects of software validation
%J IEEE Transactions on Software Engineering
%K ieee_tse
%V SE-1
%N 2
%D June 1975
%P 150-155

%A John B. Goodenough
%A Susan L. Gerhart
%T Toward a theory of test data selection
%J IEEE Transactions on Software Engineering
%K ieee_tse
%V SE-1
%N 2
%D June 1975
%P 156-173

%A L.M. Culpepper
%T A system for reliable engineering software
%J IEEE Transactions on Software Engineering
%K ieee_tse
%V SE-1
%N 2
%D June 1975
%P 174-178

%A John D. Gannon
%A J.J. Horning
%T Language design for programming reliability
%J IEEE Transactions on Software Engineering
%K ieee_tse
%V SE-1
%N 2
%D June 1975
%P 179-191

%A Niklaus Wirth
%T An assessment of the programming language Pascal
%J IEEE Transactions on Software Engineering
%K ieee_tse
%V SE-1
%N 2
%D June 1975
%P 192-198

%A Per Brinch Hansen
%T The programming language Concurrent Pascal
%J IEEE Transactions on Software Engineering
%K ieee_tse
%V SE-1
%N 2
%D June 1975
%P 199-207

%A Charles M. Geschke
%A James G. Mitchell
%T On the problem of uniform references to data structures
%J IEEE Transactions on Software Engineering
%K ieee_tse
%V SE-1
%N 2
%D June 1975
%P 207-219

%A Brian Randell
%T System structure for software fault tolerance
%J IEEE Transactions on Software Engineering
%K ieee_tse
%V SE-1
%N 2
%D June 1975
%P 220-232

%A William A. Wulf
%T Reliable hardware/software architecture
%J IEEE Transactions on Software Engineering
%K ieee_tse
%V SE-1
%N 2
%D June 1975
%P 233-240

%A F. Terry Baker
%T Structured programming in a production programming environment
%J IEEE Transactions on Software Engineering
%K ieee_tse
%V SE-1
%N 2
%D June 1975
%P 241-252

%A William C. Lynch
%A John W. Langner
%A Marvin S. Schwartz
%T Reliability experience with Chi/OS
%J IEEE Transactions on Software Engineering
%K ieee_tse
%V SE-1
%N 2
%D June 1975
%P 253-257

%A Yaohan Chu
%T A methodology for software engineering
%J IEEE Transactions on Software Engineering
%K ieee_tse
%V SE-1
%N 3
%D September 1975
%P 262-270

%A Ben Wegbreit
%T Property extraction in well-founded property sets
%J IEEE Transactions on Software Engineering
%K ieee_tse
%V SE-1
%N 3
%D September 1975
%P 270-285

%A Michael R. Paige
%T Program graphs, an algebra, and their implication for programming
%J IEEE Transactions on Software Engineering
%K ieee_tse
%V SE-1
%N 3
%D September 1975
%P 286-291

%A Thomas Porter
%A Istvan Simon
%T Random insertion in a priority queue structure
%J IEEE Transactions on Software Engineering
%K ieee_tse
%V SE-1
%N 3
%D September 1975
%P 292-298

%A David E. Morgan
%A Walter Banks
%A Dale P. Goodspeed
%A Richard Kolenko
%T A computer network monitoring system
%J IEEE Transactions on Software Engineering
%K ieee_tse
%V SE-1
%N 3
%D September 1975
%P 299-311

%A John D. Musa
%T A theory of software reliability and its application
%J IEEE Transactions on Software Engineering
%K ieee_tse
%V SE-1
%N 3
%D September 1975
%P 312-327

%A J. Strother Moore
%T Introducing iteration into the pure Lisp theorem prover
%J IEEE Transactions on Software Engineering
%K ieee_tse
%V SE-1
%N 3
%D September 1975
%P 328-338

%A Sanat K. Basu
%A Raymond T. Yeh
%T Strong verification of programs
%J IEEE Transactions on Software Engineering
%K ieee_tse
%V SE-1
%N 3
%D September 1975
%P 339-346

%A Richard E. Fairley
%T An experimental program testing facility
%J IEEE Transactions on Software Engineering
%K ieee_tse
%V SE-1
%N 4
%D December 1975
%P 350-357

%A Jan Witt
%T The COLUMBUS approach
%J IEEE Transactions on Software Engineering
%K ieee_tse
%V SE-1
%N 4
%D December 1975
%P 358-363

%A Marc J. Rochkind
%T The source code control system
%J IEEE Transactions on Software Engineering
%K ieee_tse
%V SE-1
%N 4
%D December 1975
%P 364-370
%K SCCS

%A Susan Voigt
%T Program design by a multidisciplinary team
%J IEEE Transactions on Software Engineering
%K ieee_tse
%V SE-1
%N 4
%D December 1975
%P 370-376

%A Stephen R. McCammon
%T Applied software engineering: a real-time simulator case history
%J IEEE Transactions on Software Engineering
%K ieee_tse
%V SE-1
%N 4
%D December 1975
%P 377-383

%A John E. Stockenberg
%A Andries van\ Dam
%T STRUCT programming analysis system
%J IEEE Transactions on Software Engineering
%K ieee_tse
%V SE-1
%N 4
%D December 1975
%P 384-389

%A Victor R. Basili
%A Albert J. Turner
%T Iterative enhancement: a practical technique for software development
%J IEEE Transactions on Software Engineering
%K ieee_tse
%V SE-1
%N 4
%D December 1975
%P 390-396

%A Carma L. McClure
%T Top-down, bottom-up, and structured programming
%J IEEE Transactions on Software Engineering
%K ieee_tse
%V SE-1
%N 4
%D December 1975
%P 397-403

%A C.V. Ramamoorthy
%A K.H. Kim
%A W.T. Chen
%T Optimal placement of software monitors aiding systematic testing
%J IEEE Transactions on Software Engineering
%K ieee_tse
%V SE-1
%N 4
%D December 1975
%P 403-411

%A Randall F. Scott
%A Dick B. Simmons
%T Predicting programming group productivity - a communications model
%J IEEE Transactions on Software Engineering
%K ieee_tse
%V SE-1
%N 4
%D December 1975
%P 411-414

%A Howard A. Sholl
%A Taylor L. Booth
%T Software performance modeling using computation structures
%J IEEE Transactions on Software Engineering
%K ieee_tse
%V SE-1
%N 4
%D December 1975
%P 414-420

%A Robert E. Noonan
%T Structured programming and formal specification
%J IEEE Transactions on Software Engineering
%K ieee_tse
%V SE-1
%N 4
%D December 1975
%P 421-425

%A David L. Parnas
%T On the design and development of program families
%J IEEE Transactions on Software Engineering
%K ieee_tse
%V SE-2
%N 1
%D March 1976
%P 1-9

%A Margaret Hamilton
%A Saydean Zeldin
%T Higher order software - a methodology for defining software
%J IEEE Transactions on Software Engineering
%K ieee_tse
%V SE-2
%N 1
%D March 1976
%P 9-32

%A Jay M. Spitzen
%T The specification of assemblers
%J IEEE Transactions on Software Engineering
%K ieee_tse
%V SE-2
%N 1
%D March 1976
%P 33-40

%A Clavin C. Elgot
%T Structured programming with and without goto statements
%J IEEE Transactions on Software Engineering
%K ieee_tse
%V SE-2
%N 1
%D March 1976
%P 41-54

%A Jean-Loup Baier
%A Gary R. Sager
%T Dynamic improvement of locality in virtual memory systems
%J IEEE Transactions on Software Engineering
%K ieee_tse
%V SE-2
%N 1
%D March 1976
%P 54-62

%A Robin Williams
%A Gary M. Giddings
%T A picture-building system
%J IEEE Transactions on Software Engineering
%K ieee_tse
%V SE-2
%N 1
%D March 1976
%P 62-66

%A Ben Wegbreit
%T Goal-directed program transformation
%J IEEE Transactions on Software Engineering
%K ieee_tse
%V SE-2
%N 2
%D June 1976
%P 69-80

%A Frank DeRemer
%A Hans H. Kron
%T Programming-in-the-large versus programming-in-the-small
%J IEEE Transactions on Software Engineering
%K ieee_tse
%V SE-2
%N 2
%D June 1976
%P 80-86

%A Alexander Birman
%A William H. Joyner,\ Jr.
%T A problem-reduction approach to proving simulation between programs
%J IEEE Transactions on Software Engineering
%K ieee_tse
%V SE-2
%N 2
%D June 1976
%P 87-96

%A Sakti P. Ghosh
%A William G. Tuel,\ Jr.
%T A design of an experiment to model data base system performance
%J IEEE Transactions on Software Engineering
%K ieee_tse
%V SE-2
%N 2
%D June 1976
%P 97-106

%A Sakti P. Ghosh
%T Distributing a data base with logical associations
on a computer network for parallel searching
%J IEEE Transactions on Software Engineering
%K ieee_tse
%V SE-2
%N 2
%D June 1976
%P 106-113

%A James L. Elshoff
%T An analysis of some commercial PL/I programs
%J IEEE Transactions on Software Engineering
%K ieee_tse
%V SE-2
%N 2
%D June 1976
%P 113-120

%A Andrew S. Tanenbaum
%T A general-purpose macro processor as a poor man's compiler-compiler
%J IEEE Transactions on Software Engineering
%K ieee_tse
%V SE-2
%N 2
%D June 1976
%P 121-125

%A Yaohan Chu
%A E. Raymond Cannon
%T Interactive high-level language
direct-execution microprocessor system
%J IEEE Transactions on Software Engineering
%K ieee_tse
%V SE-2
%N 2
%D June 1976
%P 126-134

%A Alan W. Biermann
%A Ramachandran Krishnaswamy
%T Constructing programs from example computations
%J IEEE Transactions on Software Engineering
%K ieee_tse
%V SE-2
%N 3
%D September 1976
%P 141-153

%A Anthony Ralston
%A Jerrold L. Wagener
%T Structured fortran - an evolution of standard fortran
%J IEEE Transactions on Software Engineering
%K ieee_tse
%V SE-2
%N 3
%D September 1976
%P 154-176

%A Lawrence L. Rose
%A Herbert Hellerman
%T Portable character processing in fortran
and fixed integer environments
%J IEEE Transactions on Software Engineering
%K ieee_tse
%V SE-2
%N 3
%D September 1976
%P 176-185

%A R.C.T. Lee
%A Y.H. Chin
%A S.C. Chang
%T Application of principal component analysis to multikey searching
%J IEEE Transactions on Software Engineering
%K ieee_tse
%V SE-2
%N 3
%D September 1976
%P 185-193

%A Susan L. Gerhart
%A Lawrence Yelowitz
%T Observations of fallibility
in applications of modern programming methodologies
%J IEEE Transactions on Software Engineering
%K ieee_tse
%V SE-2
%N 3
%D September 1976
%P 195-207

%A William E. Howden
%T Reliability of the path analysis testing strategy
%J IEEE Transactions on Software Engineering
%K ieee_tse
%V SE-2
%N 3
%D September 1976
%P 208-215

%A Lori A. Clarke
%T A system to generate test data and symbolically execute programs
%J IEEE Transactions on Software Engineering
%K ieee_tse
%V SE-2
%N 3
%D September 1976
%P 215-222

%A Webb Miller
%A David L. Spooner
%T Automatic generation of floating-point test data
%J IEEE Transactions on Software Engineering
%K ieee_tse
%V SE-2
%N 3
%D September 1976
%P 223-226

%A Harold N. Gabow
%A Shachindra N. Maheshwari
%A Leon J. Osterweil
%T On two problems in the generation of program test paths
%J IEEE Transactions on Software Engineering
%K ieee_tse
%V SE-2
%N 3
%D September 1976
%P 227-231

%A David Gries
%T An illustration of current ideas
on the derivation of correctness proofs and correct programs
%J IEEE Transactions on Software Engineering
%K ieee_tse
%V SE-2
%N 4
%D December 1976
%P 238-244

%A Charles Reynolds
%A Raymond T. Yeh
%T Induction as the basis for program verification
%J IEEE Transactions on Software Engineering
%K ieee_tse
%V SE-2
%N 4
%D December 1976
%P 244-252

%A William A. Wulf
%A Ralph L. London
%A Mary Shaw
%T An introduction to the construction and verification
of Alphard programs
%J IEEE Transactions on Software Engineering
%K ieee_tse
%V SE-2
%N 4
%D December 1976
%P 253-265

%A Harlan D. Mills
%T Software development
%J IEEE Transactions on Software Engineering
%K ieee_tse
%V SE-2
%N 4
%D December 1976
%P 265-273

%A Maurice V. Wilkes
%T Software engineering and structured programming
%P 274-276

%A Anita K. Jones
%A Barbara K. Liskov
%T A language extension for controlling access to shared data
%J IEEE Transactions on Software Engineering
%K ieee_tse
%V SE-2
%N 4
%D December 1976
%P 277-285

%A Susan L. Gerhart
%A Lawrence Yelowitz
%T Control structure abstractions
of the backtracking programming technique
%J IEEE Transactions on Software Engineering
%K ieee_tse
%V SE-2
%N 4
%D December 1976
%P 285-292

%A C.V. Ramamoorthy
%A Siu-bun F. Ho
%A W.T. Chen
%T On the automated generation of program test data
%J IEEE Transactions on Software Engineering
%K ieee_tse
%V SE-2
%N 4
%D December 1976
%P 293-300

%A David L. Parnas
%A Georg Handzel
%A Harald Wurges
%T Design and specification
of the minimal subset of an operating system family
%J IEEE Transactions on Software Engineering
%K ieee_tse
%V SE-2
%N 4
%D December 1976
%P 301-307

%A Thomas J. McCabe
%T A complexity measure
%J IEEE Transactions on Software Engineering
%K ieee_tse
%V SE-2
%N 4
%D December 1976
%P 308-320

%A J. Eugene Ball
%A Jerome Feldman
%A James R. Low
%A Richard Rashid
%A Paul Rovner
%T RIG, Rochester's Intelligent Gateway: system  overview
%J IEEE Transactions on Software Engineering
%K ieee_tse
%V SE-2
%N 4
%D December 1976
%P 321-328

%A Douglas T. Ross
%T Reflections on requirements
%J IEEE Transactions on Software Engineering
%K ieee_tse
%V SE-3
%N 1
%D January 1977
%P 2-5

%A Douglas T. Ross
%A Kenneth E. Schoman,\ Jr.
%T Structured analysis for requirements definition
%J IEEE Transactions on Software Engineering
%K ieee_tse
%V SE-3
%N 1
%D January 1977
%P 6-15

%A Douglas T. Ross
%T Structured analysis (SA): a language for communicating ideas
%J IEEE Transactions on Software Engineering
%K ieee_tse
%V SE-3
%N 1
%D January 1977
%P 16-34

%A C.A. Irvine
%A John W. Brackett
%T Automated software environment through structured data management
%J IEEE Transactions on Software Engineering
%K ieee_tse
%V SE-3
%N 1
%D January 1977
%P 34-40

%A Daniel Teichroew
%A Ernest A. Hershey,\ III
%T PSL/PSA: a computer-aided technique for structured documentation
and analysis of information processing systems
%J IEEE Transactions on Software Engineering
%K ieee_tse
%V SE-3
%N 1
%D January 1977
%P 41-48

%A Thomas E. Bell
%A David C. Bixler
%A Margaret E. Dyer
%T An extendable approach
to computer-aided software requirements engineering
%J IEEE Transactions on Software Engineering
%K ieee_tse
%V SE-3
%N 1
%D January 1977
%P 49-60

%A Mack W. Alford
%T A requirements engineering methodology
for real-time processing requirements
%J IEEE Transactions on Software Engineering
%K ieee_tse
%V SE-3
%N 1
%D January 1977
%P 60-69

%A Carl G. Davis
%A Charles R. Vick
%T The software development system
%J IEEE Transactions on Software Engineering
%K ieee_tse
%V SE-3
%N 1
%D January 1977
%P 69-84

%A Harold S. Stone
%T Multiprocessor scheduling with the aid of network flow algorithms
%J IEEE Transactions on Software Engineering
%K ieee_tse
%V SE-3
%N 1
%D January 1977
%P 85-93

%A Alan Jay Smith
%T Two methods for the efficient analysis of memory address trace data
%J IEEE Transactions on Software Engineering
%K ieee_tse
%V SE-3
%N 1
%D January 1977
%P 94-101

%A Henry F. Ledgard
%T Production systems: a notation for defining syntax and translation
%J IEEE Transactions on Software Engineering
%K ieee_tse
%V SE-3
%N 2
%D March 1977
%P 105-124

%A Leslie Lamport
%T Proving the correctness of multiprocess programs
%J IEEE Transactions on Software Engineering
%K ieee_tse
%V SE-3
%N 2
%D March 1977
%P 125-143

%A J. Mack Adams
%T A general, verifiable iterative control structure
%J IEEE Transactions on Software Engineering
%K ieee_tse
%V SE-3
%N 2
%D March 1977
%P 144-149

%A We-min Chow
%A Willy W. Chiu
%T An analysis of swapping policies in virtual-storage systems
%J IEEE Transactions on Software Engineering
%K ieee_tse
%V SE-3
%N 2
%D March 1977
%P 150-156

%A Per Brinch Hansen
%T Experience with modular concurrent programming
%J IEEE Transactions on Software Engineering
%K ieee_tse
%V SE-3
%N 2
%D March 1977
%P 156-159

%A Raouf F.H. Farag
%T Interactive pattern recognition: a system and data structure
%J IEEE Transactions on Software Engineering
%K ieee_tse
%V SE-3
%N 2
%D March 1977
%P 162-168

%A Linda G. Shapiro
%A Robert J. Baron
%T ESP^3: a language for pattern description
and a system for pattern recognition
%J IEEE Transactions on Software Engineering
%K ieee_tse
%V SE-3
%N 2
%D March 1977
%P 169-183

%A Stuart B. Soffer
%A Richard B. Friedman
%T Information retrieval based on touch-tone encoded alphanumeric keys
%J IEEE Transactions on Software Engineering
%K ieee_tse
%V SE-3
%N 2
%D March 1977
%P 184-189

%A Ben Wegbreit
%T Constructive methods in program verification
%J IEEE Transactions on Software Engineering
%K ieee_tse
%V SE-3
%N 3
%D May 1977
%P 193-209

%A Abraham Silberschatz
%A Richard B. Kieburtz
%A Arthur J. Bernstein
%T Extending Concurrent Pascal to allow dynamic resource management
%J IEEE Transactions on Software Engineering
%K ieee_tse
%V SE-3
%N 3
%D May 1977
%P 210-217

%A Phyllis Reissner
%T Use of psychological experimentation
as an aid to development of a query language
%J IEEE Transactions on Software Engineering
%K ieee_tse
%V SE-3
%N 3
%D May 1977
%P 218-229

%A Edmund B. Daly
%T Management of software development
%J IEEE Transactions on Software Engineering
%K ieee_tse
%V SE-3
%N 3
%D May 1977
%P 229-242

%A William H. Harrison
%T Compiler analysis of the value ranges for variables
%J IEEE Transactions on Software Engineering
%K ieee_tse
%V SE-3
%N 3
%D May 1977
%P 243-250

%A Stuart H. Zweben
%T A study of the physical structure of algorithms
%J IEEE Transactions on Software Engineering
%K ieee_tse
%V SE-3
%N 3
%D May 1977
%P 250-258

%A William W. Howden
%T Symbolic testing and the DISSECT symbolic evaluation system
%J IEEE Transactions on Software Engineering
%K ieee_tse
%V SE-3
%N 4
%D July 1977
%P 266-278

%A Richard G. Hamlet
%T Testing programs with the aid of a compiler
%J IEEE Transactions on Software Engineering
%K ieee_tse
%V SE-3
%N 4
%D July 1977
%P 279-290

%A K. Mani Chandy
%A J. Hogarth
%A Charles H. Sauer
%T Selecting capacities in computer communication systems
%J IEEE Transactions on Software Engineering
%K ieee_tse
%V SE-3
%N 4
%D July 1977
%P 290-295

%A G. David Ripley
%T Program perspectives: a relational representation of measurement data
%J IEEE Transactions on Software Engineering
%K ieee_tse
%V SE-3
%N 4
%D July 1977
%P 296-300

%A Allen Klinger
%T Artificial patterns
%J IEEE Transactions on Software Engineering
%K ieee_tse
%V SE-3
%N 4
%D July 1977
%P 301-306

%A Lawrence R. Symes
%A R.R. Oldehoeft
%T Context of problem-solving systems
%J IEEE Transactions on Software Engineering
%K ieee_tse
%V SE-3
%N 4
%D July 1977
%P 306-309

%A Petru D. Cernicica
%T Evaluation of the average access time
for a digital cassette memory system
%J IEEE Transactions on Software Engineering
%K ieee_tse
%V SE-3
%N 4
%D July 1977
%P 310-324

%A James J. Horning
%A David B. Wortman
%T Software hut: a computer program engineering project
in the form of a game
%J IEEE Transactions on Software Engineering
%K ieee_tse
%V SE-3
%N 4
%D July 1977
%P 325-330

%A John J. Donovan
%A Henry D. Jacoby
%T Virtual machine communication
for the implementation of decision support systems
%J IEEE Transactions on Software Engineering
%K ieee_tse
%V SE-3
%N 5
%D September 1977
%P 333-342

%A Hanan Samet
%T A machine description facility for compiler testing
%J IEEE Transactions on Software Engineering
%K ieee_tse
%V SE-3
%N 5
%D September 1977
%P 343-351

%A Donald E. Knuth
%T Deletions that preserve randomness
%J IEEE Transactions on Software Engineering
%K ieee_tse
%V SE-3
%N 5
%D September 1977
%P 352-359

%A Jason Gait
%T A new nonlinear pseudorandom number generator
%J IEEE Transactions on Software Engineering
%K ieee_tse
%V SE-3
%N 5
%D September 1977
%P 359-363

%A James L. Elshoff
%T The influence of structured programming on PL/I program profiles
%J IEEE Transactions on Software Engineering
%K ieee_tse
%V SE-3
%N 5
%D September 1977
%P 364-368

%A Nachum Dershowitz
%A Zohar Manna
%T The evolution of programs: automatic program modification
%J IEEE Transactions on Software Engineering
%K ieee_tse
%V SE-3
%N 6
%D November 1977
%P 377-385

%A Michael R. Paige
%T On partitioning program graphs
%J IEEE Transactions on Software Engineering
%K ieee_tse
%V SE-3
%N 6
%D November 1977
%P 386-393

%A Jean-Loup Baer
%A Carla S. Ellis
%T Model, design, and evaluation of a compiler
for a parallel processing environment
%J IEEE Transactions on Software Engineering
%K ieee_tse
%V SE-3
%N 6
%D November 1977
%P 394-405

%A Gruia-Catalin Roman
%T An argument in favor of mechanized software production
%J IEEE Transactions on Software Engineering
%K ieee_tse
%V SE-3
%N 6
%D November 1977
%P 406-415

%A Michael Marcotty
%A Frederick G. Sayward
%T The definition mechanism for standard PL/I
%J IEEE Transactions on Software Engineering
%K ieee_tse
%V SE-3
%N 6
%D November 1977
%P 416-450

%A R.L. Kashyap
%A S.K.C. Subas
%A S. Bing Yao
%T Analysis of the multiple-attribute-tree data-base organization
%J IEEE Transactions on Software Engineering
%K ieee_tse
%V SE-3
%N 6
%D November 1977
%P 451-467

%A Gary J. Nutt
%T A parallel processor operating system comparison
%J IEEE Transactions on Software Engineering
%K ieee_tse
%V SE-3
%N 6
%D November 1977
%P 467-475

%A Erol Gelenbe
%A Alain Kurinckx
%T Random injection control of multiprogramming in virtual memory
%J IEEE Transactions on Software Engineering
%K ieee_tse
%V SE-4
%N 1
%D January 1978
%P 2-17

%A Shi-kuo Chang
%A Wu-haung Cheng
%T Database skeleton and its application to logical database synthesis
%J IEEE Transactions on Software Engineering
%K ieee_tse
%V SE-4
%N 1
%D January 1978
%P 18-30

%A Shi-kuo Chang
%A Jyh-sheng Ke
%T Database skeleton and its application to fuzzy query translation
%J IEEE Transactions on Software Engineering
%K ieee_tse
%V SE-4
%N 1
%D January 1978
%P 31-44

%A Seymour Ginsburg
%A Erica M. Rounds
%T Dynamic syntax specification using grammar forms
%J IEEE Transactions on Software Engineering
%K ieee_tse
%V SE-4
%N 1
%D January 1978
%P 44-55

%A Marvin V. Zelkowitz
%A Howard J. Larsen
%T Implementation of a capability-based data abstraction
%J IEEE Transactions on Software Engineering
%K ieee_tse
%V SE-4
%N 1
%D January 1978
%P 56-64

%A Jayadev Misra
%T A technique of algorithm construction on sequences
%J IEEE Transactions on Software Engineering
%K ieee_tse
%V SE-4
%N 1
%D January 1978
%P 65-69

%A William E. Howden
%T DISSECT - a symbolic evaluation and program testing system
%J IEEE Transactions on Software Engineering
%K ieee_tse
%V SE-4
%N 1
%D January 1978
%P 70-73

%A Terrence W. Pratt
%T Control computations and the design of loop control structures
%J IEEE Transactions on Software Engineering
%K ieee_tse
%V SE-4
%N 2
%D March 1978
%P 81-89

%A David Gries
%T The multiple assignment statement
%J IEEE Transactions on Software Engineering
%K ieee_tse
%V SE-4
%N 2
%D March 1978
%P 89-93

%A Robert Balzer
%A Neil Goldman
%A David Wile
%T Informality in program specifications
%J IEEE Transactions on Software Engineering
%K ieee_tse
%V SE-4
%N 2
%D March 1978
%P 94-103

%A George J. Schick
%A Ray W. Wolverton
%T An analysis of competing software reliability models
%J IEEE Transactions on Software Engineering
%K ieee_tse
%V SE-4
%N 2
%D March 1978
%P 104-120

%A Alan Jay Smith
%T A comparative study of set associative memory mapping algorithms
and their use for cache and main memory
%J IEEE Transactions on Software Engineering
%K ieee_tse
%V SE-4
%N 2
%D March 1978
%P 121-130

%A G. David Ripley
%A Ralph E. Griswold
%A David R. Hanson
%T Performance of storage management in an implementation of SNOBOL4
%J IEEE Transactions on Software Engineering
%K ieee_tse
%V SE-4
%N 2
%D March 1978
%P 130-137

%A Harold S. Stone
%T Sorting on STAR
%J IEEE Transactions on Software Engineering
%K ieee_tse
%V SE-4
%N 2
%D March 1978
%P 138-146

%A Philip A. Bernstein
%A James B. Rothnie,\ Jr.
%A Nathan Goodman
%A Christos A. Papadimitriou
%T The concurrency control mechanism of SDD-1:
a system for distributed databases (the fully redundant case)
%J IEEE Transactions on Software Engineering
%K ieee_tse
%V SE-4
%N 3
%D May 1978
%P 154-168

%A Uno R. Kodres
%T Analysis of real-time systems by data flowgraphs
%J IEEE Transactions on Software Engineering
%K ieee_tse
%V SE-4
%N 3
%D May 1978
%P 169-178

%A Tsun S. Chow
%T Testing software design modeled by finite-state machines
%J IEEE Transactions on Software Engineering
%K ieee_tse
%V SE-4
%N 3
%D May 1978
%P 178-187

%A Edward T. Chen
%T Program complexity and programmer productivity
%J IEEE Transactions on Software Engineering
%K ieee_tse
%V SE-4
%N 3
%D May 1978
%P 187-194

%A Per Brinch Hansen
%T Network: a multiprocessor program
%J IEEE Transactions on Software Engineering
%K ieee_tse
%V SE-4
%N 3
%D May 1978
%P 194-199

%A Zohar Manna
%A Richard Waldinger
%T The logic of computer programming
%J IEEE Transactions on Software Engineering
%K ieee_tse
%V SE-4
%N 3
%D May 1978
%P 199-229

%A Santosh Kumar Shrivastava
%A Jean-Pierre Banatre
%T Reliable resource allocation between unreliable processes
%J IEEE Transactions on Software Engineering
%K ieee_tse
%V SE-4
%N 3
%D May 1978
%P 230-241

%A Alan C. Shaw
%T Software descriptions with flow expressions
%J IEEE Transactions on Software Engineering
%K ieee_tse
%V SE-4
%N 3
%D May 1978
%P 242-254

%A Harold S. Stone
%T Critical load factors in two-processor distributed systems
%J IEEE Transactions on Software Engineering
%K ieee_tse
%V SE-4
%N 3
%D May 1978
%P 254-258

%A Jan T. Pedersen
%A John K. Buckle
%T Konsberg's road to an industrial software methodology
%J IEEE Transactions on Software Engineering
%K ieee_tse
%V SE-4
%N 4
%D July 1978
%P 263-269

%A W. Dzida
%A S. Herda
%A W.D. Itzfeldt
%T User-perceived quality of interactive systems
%J IEEE Transactions on Software Engineering
%K ieee_tse
%V SE-4
%N 4
%D July 1978
%P 270-276

%A Donald L. Boyd
%A Antonio Pizzarello
%T Introduction to the WELLMADE design methodology
%J IEEE Transactions on Software Engineering
%K ieee_tse
%V SE-4
%N 4
%D July 1978
%P 276-282

%A William E. Riddle
%A Jack C. Wileden
%A John H. Sayler
%A Alan R. Segal
%A Allan M. Stavely
%T Behaviour modeling during software design
%J IEEE Transactions on Software Engineering
%K ieee_tse
%V SE-4
%N 4
%D July 1978
%P 283-292

%A William E. Howden
%T Theoretical and empirical studies of program testing
%J IEEE Transactions on Software Engineering
%K ieee_tse
%V SE-4
%N 4
%D July 1978
%P 293-298

%A Hannes Goullon
%A Rainer Isle
%A Klaus-Peter Lohr
%T Dynamic restructuring in an experimental operating system
%J IEEE Transactions on Software Engineering
%K ieee_tse
%V SE-4
%N 4
%D July 1978
%P 298-307

%A Barry C. de\ Roze
%A Thomas H. Nyman
%T The software life cycle -
a management and technological challenge in the Department of Defense
%J IEEE Transactions on Software Engineering
%K ieee_tse
%V SE-4
%N 4
%D July 1978
%P 309-318

%A John D. Cooper
%T Corporate level software management
%J IEEE Transactions on Software Engineering
%K ieee_tse
%V SE-4
%N 4
%D July 1978
%P 319-326

%A William C. Cave
%A Alan B. Salisbury
%T Controlling the software life cycle - the project management task
%J IEEE Transactions on Software Engineering
%K ieee_tse
%V SE-4
%N 4
%D July 1978
%P 326-334

%A Robert C. McHenry
%A Claude E. Walston
%T Software life cycle management: weapons process developer
%J IEEE Transactions on Software Engineering
%K ieee_tse
%V SE-4
%N 4
%D July 1978
%P 334-344

%A Lawrence H. Putnam
%T A general empirical solution
to the macro software sizing and estimating problem
%J IEEE Transactions on Software Engineering
%K ieee_tse
%V SE-4
%N 4
%D July 1978
%P 345-361

%A Per Brinch Hansen
%A Jorgen Staunstrup
%T Specification and implementation of mutual exclusion
%J IEEE Transactions on Software Engineering
%K ieee_tse
%V SE-4
%N 5
%D September 1978
%P 365-370

%A Nissim Francez
%T An application of a method for analysis of cyclic programs
%J IEEE Transactions on Software Engineering
%K ieee_tse
%V SE-4
%N 5
%D September 1978
%P 371-378

%A Shmuel Katz
%T Program optimization using invariants
%J IEEE Transactions on Software Engineering
%K ieee_tse
%V SE-4
%N 5
%D September 1978
%P 378-389

%A Thomas E. Gannon
%A Stephen D. Shapiro
%T An optimal approach to fault tolerant software systems design
%J IEEE Transactions on Software Engineering
%K ieee_tse
%V SE-4
%N 5
%D September 1978
%P 390-409

%A Jayadev Misra
%T An approach to formal definitions
and proofs of programming principles
%J IEEE Transactions on Software Engineering
%K ieee_tse
%V SE-4
%N 5
%D September 1978
%P 410-413

%A Kuo-chung Tai
%T Syntactic error correction in programming languages
%J IEEE Transactions on Software Engineering
%K ieee_tse
%V SE-4
%N 5
%D September 1978
%P 414-425

%A Armin B. Cremers
%A Thomas N. Hibbard
%T Formal modeling of virtual machines
%J IEEE Transactions on Software Engineering
%K ieee_tse
%V SE-4
%N 5
%D September 1978
%P 426-436

%A Y.H. Chin
%T An analysis of "distributed free space"
in an operating and data management systems environment
%J IEEE Transactions on Software Engineering
%K ieee_tse
%V SE-4
%N 5
%D September 1978
%P 436-440

%A R.C.T. Lee
%A James R. Slagle
%A C.T. Mong
%T Towards automatic auditing of records
%J IEEE Transactions on Software Engineering
%K ieee_tse
%V SE-4
%N 5
%D September 1978
%P 441-448

%A Warwick S. Ford
%T Implementation of a generalized critical region construct
%J IEEE Transactions on Software Engineering
%K ieee_tse
%V SE-4
%N 6
%D November 1978
%P 449-455

%A Charles Rich
%A Howard E. Shrobe
%T Initial report on a Lisp Programmer's Apprentice
%J IEEE Transactions on Software Engineering
%K ieee_tse
%V SE-4
%N 6
%D November 1978
%P 456-467

%A Richard B. Kieburtz
%A Abraham Silberschatz
%T Capability managers
%J IEEE Transactions on Software Engineering
%K ieee_tse
%V SE-4
%N 6
%D November 1978
%P 467-477

%A Jayadev Misra
%T Some aspects of the verification of loop computations
%J IEEE Transactions on Software Engineering
%K ieee_tse
%V SE-4
%N 6
%D November 1978
%P 478-486

%A Thomas Anderson
%A Peter A. Lee
%A Santosh K. Shrivastava
%T A model of recoverability in multilevel systems
%J IEEE Transactions on Software Engineering
%K ieee_tse
%V SE-4
%N 6
%D November 1978
%P 486-494

%A Lawrence A. Rowe
%A Fred M. Tonge
%T Automating the selection of implementation structures
%J IEEE Transactions on Software Engineering
%K ieee_tse
%V SE-4
%N 6
%D November 1978
%P 494-506

%A Eralp A. Akkoyunlu
%A Arthur J. Bernstein
%A Fred B. Schneider
%A Abraham Silberschatz
%T Conditions for the equivalence
of synchronous and asynchronous systems
%J IEEE Transactions on Software Engineering
%K ieee_tse
%V SE-4
%N 6
%D November 1978
%P 507-516

%A Gregor V. Bochmann
%T Compile time memory allocation for parallel processes
%J IEEE Transactions on Software Engineering
%K ieee_tse
%V SE-4
%N 6
%D November 1978
%P 517-520

%A Uno R. Kodres
%T Discrete systems and flowcharts
%J IEEE Transactions on Software Engineering
%K ieee_tse
%V SE-4
%N 6
%D November 1978
%P 521-525

%A Charles E. Hughes
%A Charles P. Pfleeger
%T ASSIST-V: an environment simulator
for IBM 360 systems software development
%J IEEE Transactions on Software Engineering
%K ieee_tse
%V SE-4
%N 6
%D November 1978
%P 526-530

%A James R. McGraw
%A Gregory R. Andrews
%T Access control in parallel programs
%J IEEE Transactions on Software Engineering
%K ieee_tse
%V SE-5
%N 1
%D January 1979
%P 1-9

%A Carl E. Hewitt
%A Russel R. Atkinson
%T Specification and proof techniques for serializers
%J IEEE Transactions on Software Engineering
%K ieee_tse
%V SE-5
%N 1
%D January 1979
%P 10-23

%A John T. Robinson
%T Some analysis techniques for asynchronous multiprocessor algorithms
%J IEEE Transactions on Software Engineering
%K ieee_tse
%V SE-5
%N 1
%D January 1979
%P 24-31

%A Taylor L. Booth
%T Performance optimization of software systems
processing information sequences modeled by probabilistic languages
%J IEEE Transactions on Software Engineering
%K ieee_tse
%V SE-5
%N 1
%D January 1979
%P 31-44

%A Martin R. Woodward
%A Michael A. Hennell
%A David Hedley
%T A measure of control flow complexity in program text
%J IEEE Transactions on Software Engineering
%K ieee_tse
%V SE-5
%N 1
%D January 1979
%P 45-50

%A Douglas W. Clark
%T Measurements of dynamic list structure use in Lisp
%J IEEE Transactions on Software Engineering
%K ieee_tse
%V SE-5
%N 1
%D January 1979
%P 51-59

%A Janis Bicevskis
%A Juris Borzovs
%A Uldis Straujums
%A Andris Zarins
%A Edward F. Miller,\ Jr.
%T SMOTL - a system to construct samples
for data processing program debugging
%J IEEE Transactions on Software Engineering
%K ieee_tse
%V SE-5
%N 1
%D January 1979
%P 60-66

%A Scott N. Woodfield
%T An experiment on unit increase in problem complexity
%J IEEE Transactions on Software Engineering
%K ieee_tse
%V SE-5
%N 2
%D March 1979
%P 76-79

%A Ronald D. Gordon
%T Measuring improvements in program clarity
%J IEEE Transactions on Software Engineering
%K ieee_tse
%V SE-5
%N 2
%D March 1979
%P 79-90

%A Stuart H. Zweben
%A Maurice H. Halstead
%T The frequence distributed of operators in PL/I programs
%J IEEE Transactions on Software Engineering
%K ieee_tse
%V SE-5
%N 2
%D March 1979
%P 91-95

%A Bill Curtis
%A Sylvia B. Sheppard
%A Phil Milliman
%A M.A. Borst
%A Tom Love
%T Measuring the psychological complexity of software maintenance tasks
with the Halstead and McCabe metrics
%J IEEE Transactions on Software Engineering
%K ieee_tse
%V SE-5
%N 2
%D March 1979
%P 96-104

%A Douglas Comer
%A Maurice H. Halstead
%T A simple experiment in top-down design
%J IEEE Transactions on Software Engineering
%K ieee_tse
%V SE-5
%N 2
%D March 1979
%P 105-109

%A Albert L. Baker
%A Stuart H. Zweben
%T The use of software science in evaluating modularity concepts
%J IEEE Transactions on Software Engineering
%K ieee_tse
%V SE-5
%N 2
%D March 1979
%P 110-120

%A Ronald D. Gordon
%T A qualitative justification for a measure of program clarity
%J IEEE Transactions on Software Engineering
%K ieee_tse
%V SE-5
%N 2
%D March 1979
%P 121-128

%A David L. Parnas
%T Designing software for ease of extension and contraction
%J IEEE Transactions on Software Engineering
%K ieee_tse
%V SE-5
%N 2
%D March 1979
%P 128-138

%A Gregory R. Andrews
%T The design of a message switching system:
an application and evaluation of Modula
%J IEEE Transactions on Software Engineering
%K ieee_tse
%V SE-5
%N 2
%D March 1979
%P 138-147

%A M.H. van\ Emden
%T Programming with verification conditions
%J IEEE Transactions on Software Engineering
%K ieee_tse
%V SE-5
%N 2
%D March 1979
%P 148-160

%A W.C. Lin
%A R.C.T. Lee
%A H.C. Du
%T Common properties of some multiattribute file systems
%J IEEE Transactions on Software Engineering
%K ieee_tse
%V SE-5
%N 2
%D March 1979
%P 161-174

%A Alan R. Hevner
%A S. Bing Yao
%T Query processing in distributed database systems
%J IEEE Transactions on Software Engineering
%K ieee_tse
%V SE-5
%N 3
%D May 1979
%P 177-187

%A Michael Stonebraker
%T Concurrency control and consistency of multiple copies of data
in distributed Ingres
%J IEEE Transactions on Software Engineering
%K ieee_tse
%V SE-5
%N 3
%D May 1979
%P 188-194

%A Daniel A. Menasce
%A Richard R. Muntz
%T Locking and deadlock detection in distributed data bases
%J IEEE Transactions on Software Engineering
%K ieee_tse
%V SE-5
%N 3
%D May 1979
%P 195-202

%A Philip A. Bernstein
%A David W. Shipman
%A Wing S. Wong
%T Formal aspects of serializability in database concurrency control
%J IEEE Transactions on Software Engineering
%K ieee_tse
%V SE-5
%N 3
%D May 1979
%P 203-216

%A Barbara G. Ryder
%T Constructing the call graph of a program
%J IEEE Transactions on Software Engineering
%K ieee_tse
%V SE-5
%N 3
%D May 1979
%P 216-226

%A J.C. Huang
%T Detection of data flow anomaly through program instrumentation
%J IEEE Transactions on Software Engineering
%K ieee_tse
%V SE-5
%N 3
%D May 1979
%P 226-236

%A Richard C. Waters
%T A method for analyzing loop programs
%J IEEE Transactions on Software Engineering
%K ieee_tse
%V SE-5
%N 3
%D May 1979
%P 237-247

%A Henrik A. Schutz
%T On the design of a language
for programming real-time concurrent processes
%J IEEE Transactions on Software Engineering
%K ieee_tse
%V SE-5
%N 3
%D May 1979
%P 248-255

%A Jacob Katzenelson
%T Clusters and dialogues for set implementations
%J IEEE Transactions on Software Engineering
%K ieee_tse
%V SE-5
%N 3
%D May 1979
%P 256-275

%A N.F. Scheidewind
%A Heinz-Michael Hoffmann
%T An experiment in software error data collection and analysis
%J IEEE Transactions on Software Engineering
%K ieee_tse
%V SE-5
%N 3
%D May 1979
%P 276-286

%A Zohar Manna
%A Richard Waldinger
%T Synthesis: dreams =. programs
%J IEEE Transactions on Software Engineering
%K ieee_tse
%V SE-5
%N 4
%D July 1979
%P 294-328

%A Kishor S. Trivedi
%A Robert A. Wagner
%T A decision model for closed queueing networks
%J IEEE Transactions on Software Engineering
%K ieee_tse
%V SE-5
%N 4
%D July 1979
%P 328-332

%A Jon L. Bentley
%T Multidimensional binary search trees in database applications
%J IEEE Transactions on Software Engineering
%K ieee_tse
%V SE-5
%N 4
%D July 1979
%P 333-340

%A Shamid H. Bokhari
%T Dual processor scheduling with dynamic reassignment
%J IEEE Transactions on Software Engineering
%K ieee_tse
%V SE-5
%N 4
%D July 1979
%P 341-349

%A David K. Hsiao
%A Douglas S. Kerr
%A Chen-jen Nee
%T Database access control
in the presence of context dependent protection requirements
%J IEEE Transactions on Software Engineering
%K ieee_tse
%V SE-5
%N 4
%D July 1979
%P 349-358

%A David B. Wortman
%T On legality assertions in Euclid
%J IEEE Transactions on Software Engineering
%K ieee_tse
%V SE-5
%N 4
%D July 1979
%P 359-367

%A William H. Harrison
%T A new strategy for code generation -
the general-purpose optimizing compiler
%J IEEE Transactions on Software Engineering
%K ieee_tse
%V SE-5
%N 4
%D July 1979
%P 367-373

%A Edwin Towster
%T A convention for explicit declaration of environments
and top-down refinement of data
%J IEEE Transactions on Software Engineering
%K ieee_tse
%V SE-5
%N 4
%D July 1979
%P 374-386

%A Mark S. Moriconi
%T A designer/verifier's assistant
%J IEEE Transactions on Software Engineering
%K ieee_tse
%V SE-5
%N 4
%D July 1979
%P 387-401

%A Thomas E. Cheatham,\ Jr.
%A Glenn H. Holloway
%A Judy A. Townley
%T Symbolic evaluation and the analysis of programs
%J IEEE Transactions on Software Engineering
%K ieee_tse
%V SE-5
%N 4
%D July 1979
%P 402-417

%A Ronald F. Boisvert
%A John R. Rice
%A Elias N. Houstis
%T A system for performance evaluation
of partial differential equations software
%J IEEE Transactions on Software Engineering
%K ieee_tse
%V SE-5
%N 4
%D July 1979
%P 418-425

%A Richard E. Fairley
%T ALADDIN: assembly language assertion driven debugging interpreter
%J IEEE Transactions on Software Engineering
%K ieee_tse
%V SE-5
%N 4
%D July 1979
%P 426-428

%A Gregor V. Bochmann
%A Tankoano Joachim
%T Development and structure of an X.25 implementation
%J IEEE Transactions on Software Engineering
%K ieee_tse
%V SE-5
%N 5
%D September 1979
%P 429-439

%A K. Many Chandy
%A Jayadev Misra
%T Distributed simulation:
a case study in design and verification of distributed programs
%J IEEE Transactions on Software Engineering
%K ieee_tse
%V SE-5
%N 5
%D September 1979
%P 440-452

%A Wolfgang Polak
%T An exercise in automatic program verification
%J IEEE Transactions on Software Engineering
%K ieee_tse
%V SE-5
%N 5
%D September 1979
%P 453-458

%A Kattamuri Ekanadham
%A Arthur J. Bernstein
%T Conditional capabilities
%J IEEE Transactions on Software Engineering
%K ieee_tse
%V SE-5
%N 5
%D September 1979
%P 458-464

%A David J. Rypka
%A Anthony P. Lucido
%T Deadlock detection and avoidance for shared logical resources
%J IEEE Transactions on Software Engineering
%K ieee_tse
%V SE-5
%N 5
%D September 1979
%P 465-471

%A Jacques Cohen
%A Robin Sitver
%A David Auty
%T Evaluating and improving recursive descent parsers
%J IEEE Transactions on Software Engineering
%K ieee_tse
%V SE-5
%N 5
%D September 1979
%P 472-480

%A Nicholas Roussopoulos
%T CSDL: a conceptual schema definition language
for the design of data base applications
%J IEEE Transactions on Software Engineering
%K ieee_tse
%V SE-5
%N 5
%D September 1979
%P 481-496

%A R.R. Oldehoeft
%A Leonard J. Bass
%T Dynamic software science with applications
%J IEEE Transactions on Software Engineering
%K ieee_tse
%V SE-5
%N 5
%D September 1979
%P 497-504

%A Linda M. Ottenstein
%T Quantitative estimates of debugging requirements
%J IEEE Transactions on Software Engineering
%K ieee_tse
%V SE-5
%N 5
%D September 1979
%P 504-514

%A Charles Wetherell
%A Alfred Shannon
%T Tidy drawings of trees
%J IEEE Transactions on Software Engineering
%K ieee_tse
%V SE-5
%N 5
%D September 1979
%P 514-520

%A S.C. Ntafos
%A S. Louis Hakimi
%T On path cover problems in digraphs
and applications to program testing
%J IEEE Transactions on Software Engineering
%K ieee_tse
%V SE-5
%N 5
%D September 1979
%P 520-529

%A Raymond A. Marie
%T An approximate analytical method for general queueing networks
%J IEEE Transactions on Software Engineering
%K ieee_tse
%V SE-5
%N 5
%D September 1979
%P 530-538

%A Abraham Silberschatz
%T Communication and synchronization in distributed systems
%J IEEE Transactions on Software Engineering
%K ieee_tse
%V SE-5
%N 6
%D November 1979
%P 542-546

%A Barbara H. Liskov
%A Alan Snyder
%T Exception handling in CLU
%J IEEE Transactions on Software Engineering
%K ieee_tse
%V SE-5
%N 6
%D November 1979
%P 546-558

%A Alan F. Babich
%T Proving total correctness of parallel programs
%J IEEE Transactions on Software Engineering
%K ieee_tse
%V SE-5
%N 6
%D November 1979
%P 558-574

%A Virgil D. Gligor
%T Review and revocation
of access privileges distributed through capabilities
%J IEEE Transactions on Software Engineering
%K ieee_tse
%V SE-5
%N 6
%D November 1979
%P 575-586

%A Carlos J.P. Lucena
%A Tarcisio H.C. Pequeno
%T Program derivation using data types: a case study
%J IEEE Transactions on Software Engineering
%K ieee_tse
%V SE-5
%N 6
%D November 1979
%P 586-592

%A Jacques Cohen
%A Robin Sitver
%T A case study in program transformation: translation into Polish
%J IEEE Transactions on Software Engineering
%K ieee_tse
%V SE-5
%N 6
%D November 1979
%P 593-606

%A Virgil D. Gligor
%A Bruce G. Lindsay
%T Object migration and authentication
%J IEEE Transactions on Software Engineering
%K ieee_tse
%V SE-5
%N 6
%D November 1979
%P 607-611

%A Paul W. Abrahams
%A Lori A. Clarke
%T Compile-time analysis of data list-format list correspondences
%J IEEE Transactions on Software Engineering
%K ieee_tse
%V SE-5
%N 6
%D November 1979
%P 612-617

%A Takashi Masuda
%T Methods for the measurement of memory utilization
and the improvement of program locality
%J IEEE Transactions on Software Engineering
%K ieee_tse
%V SE-5
%N 6
%D November 1979
%P 618-631

%A Paul Caseau
%A Guy Pujolle
%T Throughput capacity of a sequence of queues
with blocking dues to finite waiting room
%J IEEE Transactions on Software Engineering
%K ieee_tse
%V SE-5
%N 6
%D November 1979
%P 631-642

%A Anthony L. Barrese
%A Stephen D. Shapiro
%T Structuring programs for efficient operation
in virtual memory systems
%J IEEE Transactions on Software Engineering
%K ieee_tse
%V SE-5
%N 6
%D November 1979
%P 643-652

%A Gaston H. Gonnet
%A David E. Morgan
%T Analysis of closed queueing networks with periodic servers
%J IEEE Transactions on Software Engineering
%K ieee_tse
%V SE-5
%N 6
%D November 1979
%P 653-657

%A K.L. Heninger
%T Specifying software requirements for complex systems:
new techniques and their applications
%J IEEE Transactions on Software Engineering
%K ieee_tse
%V SE-6
%N 1
%D January 1980
%P 2-12

%A J. Guttag
%T Notes on type abstraction (version 2)
%J IEEE Transactions on Software Engineering
%K ieee_tse
%V SE-6
%N 1
%D January 1980
%P 13-23

%A D.R. Musser
%T Abstract data type specification in the AFFIRM system
%J IEEE Transactions on Software Engineering
%K ieee_tse
%V SE-6
%N 1
%D January 1980
%P 24-31

%A S.K. Basa
%T A note on synthesis of inductive assertions
%J IEEE Transactions on Software Engineering
%K ieee_tse
%V SE-6
%N 1
%D January 1980
%P 32-39

%A M. Tamir
%T ADI: automatic derivation of invariants
%J IEEE Transactions on Software Engineering
%K ieee_tse
%V SE-6
%N 1
%D January 1980
%P 40-48

%A A.P. Ravn
%T Device monitors
%J IEEE Transactions on Software Engineering
%K ieee_tse
%V SE-6
%N 1
%D January 1980
%P 49-52

%A H. Takahashi
%T An automatic controller description language
%J IEEE Transactions on Software Engineering
%K ieee_tse
%V SE-6
%N 1
%D January 1980
%P 53-63

%A P.J. Denning
%T Working sets part and present
%J IEEE Transactions on Software Engineering
%K ieee_tse
%V SE-6
%N 1
%D January 1980
%P 64-84

%A D.W. Leinbaugh
%T Guaranteed response times in a hard-real-time environment
%J IEEE Transactions on Software Engineering
%K ieee_tse
%V SE-6
%N 1
%D January 1980
%P 85-90

%A J. Banerjee
%A D.K. Hsiao
%A F.K. Ng
%T Database transformation, query translation, and performance analysis
of a new database computer in supporting hierarchical database management
%J IEEE Transactions on Software Engineering
%K ieee_tse
%V SE-6
%N 1
%D January 1980
%P 91-109

%A R.C. Cheung
%T A user-oriented software reliability model
%J IEEE Transactions on Software Engineering
%K ieee_tse
%V SE-6
%N 2
%D March 1980
%P 118-125

%A S.S. Yau
%A F.-C. Chen
%T An approach to concurrent control flow checking
%J IEEE Transactions on Software Engineering
%K ieee_tse
%V SE-6
%N 2
%D March 1980
%P 126-137

%A T.L. Booth
%A C.A. Wiecek
%T Performance abstract data types
as a tool in software performance analysis and design
%J IEEE Transactions on Software Engineering
%K ieee_tse
%V SE-6
%N 2
%D March 1980
%P 138-151

%A L.L. Beck
%T A generalized implementation method for relational data sublanguages
%J IEEE Transactions on Software Engineering
%K ieee_tse
%V SE-6
%N 2
%D March 1980
%P 152-161

%A W.E. Howden
%T Functional program testing
%J IEEE Transactions on Software Engineering
%K ieee_tse
%V SE-6
%N 2
%D March 1980
%P 162-169

%A S.K. Basa
%T On development of iterative programs from function specifications
%J IEEE Transactions on Software Engineering
%K ieee_tse
%V SE-6
%N 2
%D March 1980
%P 170-182

%A D.L. Russell
%T State restoration in systems of communicating processes
%J IEEE Transactions on Software Engineering
%K ieee_tse
%V SE-6
%N 2
%D March 1980
%P 183-193

%A T.W. Mao
%A R.T. Yeh
%T Communication port: a language concept for concurrent programming
%J IEEE Transactions on Software Engineering
%K ieee_tse
%V SE-6
%N 2
%D March 1980
%P 194-204

%A S.-K. Chang
%A W.-H. Cheng
%T A methodology for structured database decomposition
%J IEEE Transactions on Software Engineering
%K ieee_tse
%V SE-6
%N 2
%D March 1980
%P 205-218

%A P.S. Kritzinger
%A A.E. Krzesinski
%A P. Teunissen
%T A queueing model of a time-sliced priority-driven task dispatching algorithm
%J IEEE Transactions on Software Engineering
%K ieee_tse
%V SE-6
%N 2
%D March 1980
%P 219-225

%A P. Hsia
%A F.E. Petry
%T A framework for discipline in programming
%J IEEE Transactions on Software Engineering
%K ieee_tse
%V SE-6
%N 2
%D March 1980
%P 226-231

%A E.J. Weyuker
%A T.J. Ostrand
%T Theories of program testing
and the application of revealing subdomains
%J IEEE Transactions on Software Engineering
%K ieee_tse
%V SE-6
%N 3
%D May 1980
%P 236-246

%A L.J. White
%A E.I. Cohen
%T A domain strategy for computer program testing
%J IEEE Transactions on Software Engineering
%K ieee_tse
%V SE-6
%N 3
%D May 1980
%P 247-257

%A K.A. Foster
%T Error sensitive test cases analysis (ESTCA)
%J IEEE Transactions on Software Engineering
%K ieee_tse
%V SE-6
%N 3
%D May 1980
%P 258-264

%A R.N. Taylor
%A L.J. Osterweil
%T Anomaly detection in concurrent software by static data flow analysis
%J IEEE Transactions on Software Engineering
%K ieee_tse
%V SE-6
%N 3
%D May 1980
%P 265-277

%A M.R. Woodward
%A D. Hedley
%A M.A. Hennell
%T Experience with path analysis and testing of programs
%J IEEE Transactions on Software Engineering
%K ieee_tse
%V SE-6
%N 3
%D May 1980
%P 278-285

%A U. Voges
%A L. Gmeiner
%A A. Amschler von\ Mayrhauser
%T SADAT - an automated testing tool
%J IEEE Transactions on Software Engineering
%K ieee_tse
%V SE-6
%N 3
%D May 1980
%P 286-290

%A F.N. Parr
%T An alternative to the Rayleigh curve model for software development effort
%J IEEE Transactions on Software Engineering
%K ieee_tse
%V SE-6
%N 3
%D May 1980
%P 291-296

%A D.B. Lomet
%T Subsystems of processes with deadlock avoidance
%J IEEE Transactions on Software Engineering
%K ieee_tse
%V SE-6
%N 3
%D May 1980
%P 297-303

%A C.N. Fischer
%A R.J. LeBlanc
%T The implementation of run-time diagnistics in Pascal
%J IEEE Transactions on Software Engineering
%K ieee_tse
%V SE-6
%N 4
%D July 1980
%P 313-319

%A A. Celentano
%A P. della\ Vigna
%A C. Ghezzi
%A D. Mandrioli
%T Separate compilation and partial specification in Pascal
%J IEEE Transactions on Software Engineering
%K ieee_tse
%V SE-6
%N 4
%D July 1980
%P 320-328

%A M.A. Hennell
%A J.A. Prudom
%T A static analysis of the NAG library
%J IEEE Transactions on Software Engineering
%K ieee_tse
%V SE-6
%N 4
%D July 1980
%P 329-333

%A K.R. Tavernier
%A P.H. Notredame
%T Macro-based cross assemblers
%J IEEE Transactions on Software Engineering
%K ieee_tse
%V SE-6
%N 4
%D July 1980
%P 334-339

%A T.Y. Young
%A P.S. Liu
%T Overhead storage considerations
and a multilinear method for data file compression
%J IEEE Transactions on Software Engineering
%K ieee_tse
%V SE-6
%N 4
%D July 1980
%P 340-347

%A A. Reuter
%T A fast transaction-oriented logging scheme for UNDO recovery
%J IEEE Transactions on Software Engineering
%K ieee_tse
%V SE-6
%N 4
%D July 1980
%P 348-356

%A W.T. Hardgrave
%T Ambiguity in processing boolean queries on TDMS tree structures:
a study of four different philosophies
%J IEEE Transactions on Software Engineering
%K ieee_tse
%V SE-6
%N 4
%D July 1980
%P 357-372

%A J. Labetoulle
%A G. Pajolle
%T Isolation method in a network of queues
%J IEEE Transactions on Software Engineering
%K ieee_tse
%V SE-6
%N 4
%D July 1980
%P 373-380

%A P.S. Kritzenger
%A A.E. Krzesinski
%A P. Teunissen
%T Incorporating system overhead in queueing network models
%J IEEE Transactions on Software Engineering
%K ieee_tse
%V SE-6
%N 4
%D July 1980
%P 381-389

%A Y.M. Babad
%A J.A. Hoffer
%T Data element security and its effects on file segmentation
%J IEEE Transactions on Software Engineering
%K ieee_tse
%V SE-6
%N 5
%D September 1980
%P 402-410

%A E. Gudes
%T The design of a cryptography based secure file system
%J IEEE Transactions on Software Engineering
%K ieee_tse
%V SE-6
%N 5
%D September 1980
%P 411-419

%A L.J. Mekly
%A S.S. Yau
%T Software design representation using abstract process networks
%J IEEE Transactions on Software Engineering
%K ieee_tse
%V SE-6
%N 5
%D September 1980
%P 420-434

%A V.D. Gligor
%A S.H. Shattuck
%T On deadlock detection in distributed systems
%J IEEE Transactions on Software Engineering
%K ieee_tse
%V SE-6
%N 5
%D September 1980
%P 435-439

%A C.V. Ramamoorthy
%A G.S. Ho
%T Performance evaluation of asynchronous concurrent systems using Petri nets
%J IEEE Transactions on Software Engineering
%K ieee_tse
%V SE-6
%N 5
%D September 1980
%P 440-449

%A A.D. Birrell
%A R.M. Needham
%T A universal file server
%J IEEE Transactions on Software Engineering
%K ieee_tse
%V SE-6
%N 5
%D September 1980
%P 450-453

%A V.R. Basili
%A R.E. Noonan
%T A comparison of the axiomatic and functional models of structured programming
%J IEEE Transactions on Software Engineering
%K ieee_tse
%V SE-6
%N 5
%D September 1980
%P 454-464

%A J.C. King
%T Program correctness on inductive assertion methods
%J IEEE Transactions on Software Engineering
%K ieee_tse
%V SE-6
%N 5
%D September 1980
%P 465-479

%A J.C. Huang
%T A new verification rule and its applications
%J IEEE Transactions on Software Engineering
%K ieee_tse
%V SE-6
%N 5
%D September 1980
%P 480-484

%A W.H. Leung
%A C.V. Ramamoorthy
%T An approach to formal specification of control modules
%J IEEE Transactions on Software Engineering
%K ieee_tse
%V SE-6
%N 5
%D September 1980
%P 485-488

%A B. Littlewood
%T Theories of software reliability:
how good are they and how can they be improved ?
%J IEEE Transactions on Software Engineering
%K ieee_tse
%V SE-6
%N 5
%D September 1980
%P 489-500

%A A.L. Baker
%A S.H. Zweben
%T A comparison of measures of control flow complexity
%J IEEE Transactions on Software Engineering
%K ieee_tse
%V SE-6
%N 6
%D November 1980
%P 506-511

%A R.N. Faiman,\ Jr.
%A A.A. Kortesoja
%T An optimizing Pascal compiler
%J IEEE Transactions on Software Engineering
%K ieee_tse
%V SE-6
%N 6
%D November 1980
%P 512-518

%A N.-S. Chang
%A K.-S. Fu
%T Query-by-pictorial-example
%J IEEE Transactions on Software Engineering
%K ieee_tse
%V SE-6
%N 6
%D November 1980
%P 519-524

%A T. Murata
%T Synthesis of decision-free concurrent systems
for prescribed resources and performance
%J IEEE Transactions on Software Engineering
%K ieee_tse
%V SE-6
%N 6
%D November 1980
%P 525-530

%A K.-C. Tai
%T Program testing complexity and test criteria
%J IEEE Transactions on Software Engineering
%K ieee_tse
%V SE-6
%N 6
%D November 1980
%P 531-538

%A K. Voss
%T Using predicate/transition nets
to model and analyze distributed database systems
%J IEEE Transactions on Software Engineering
%K ieee_tse
%V SE-6
%N 6
%D November 1980
%P 539-544

%A S.S. Yau
%A J.S. Collofello
%T Some stability measures for software maintenance
%J IEEE Transactions on Software Engineering
%K ieee_tse
%V SE-6
%N 6
%D November 1980
%P 545-552

%A R.F. Brender
%T Generation of BLISSes
%J IEEE Transactions on Software Engineering
%K ieee_tse
%V SE-6
%N 6
%D November 1980
%P 553-562

%A R.P. Cook
%T *MOD - a language for distributed programming
%J IEEE Transactions on Software Engineering
%K ieee_tse
%V SE-6
%N 6
%D November 1980
%P 563-571

%A J.L. Bentley
%A M. Shaw
%T An Alphard specification
of a correct and efficient transformation on data structures
%J IEEE Transactions on Software Engineering
%K ieee_tse
%V SE-6
%N 6
%D November 1980
%P 572-584

%A D.J. Taylor
%A D.E. Morgan
%A J.P. Black
%T Redundancy in data structures: improving software fault tolerance
%J IEEE Transactions on Software Engineering
%K ieee_tse
%V SE-6
%N 6
%D November 1980
%P 585-594

%A D.J. Taylor
%A D.E. Morgan
%A J.P. Black
%T Redundancy in data structures: some theoretical results
%J IEEE Transactions on Software Engineering
%K ieee_tse
%V SE-6
%N 6
%D November 1980
%P 595-601

%A H.F. Ledgard
%A J.A. Whiteside
%A W. Seymour
%A A. Singer
%T An experiment on human engineering of interactive software
%J IEEE Transactions on Software Engineering
%K ieee_tse
%V SE-6
%N 6
%D November 1980
%P 602-603

%A R. Balzer
%T Transformational implementation: an example
%J IEEE Transactions on Software Engineering
%K ieee_tse
%V SE-7
%N 1
%D January 1981
%P 3-13

%A M. Broy
%A P. Pepper
%T Program development as a formal activity
%J IEEE Transactions on Software Engineering
%K ieee_tse
%V SE-7
%N 1
%D January 1981
%P 14-22

%A E. Deak
%T A transformational derivation of a parsing algorithm in a high-level language
%J IEEE Transactions on Software Engineering
%K ieee_tse
%V SE-7
%N 1
%D January 1981
%P 23-31

%A D.S. Wile
%T Type transformations
%J IEEE Transactions on Software Engineering
%K ieee_tse
%V SE-7
%N 1
%D January 1981
%P 32-38

%A J. Arthur
%A J. Ramanathan
%T Design of analyzers for selective program analysis
%J IEEE Transactions on Software Engineering
%K ieee_tse
%V SE-7
%N 1
%D January 1981
%P 39-51

%A K.L. Clark
%A M.H. van\ Emden
%T Consequence verification of flowcharts
%J IEEE Transactions on Software Engineering
%K ieee_tse
%V SE-7
%N 1
%D January 1981
%P 52-59

%A L.H. Holley
%A B.K. Rosen
%T Qualified data flow problems
%J IEEE Transactions on Software Engineering
%K ieee_tse
%V SE-7
%N 1
%D January 1981
%P 60-77

%A E.G. Coffman,\ Jr.
%A E. Gelenbe
%A B. Plateau
%T Optimization of the number of copies in a distributed data base
%J IEEE Transactions on Software Engineering
%K ieee_tse
%V SE-7
%N 1
%D January 1981
%P 78-84

%A P.A. Ng
%T Further analysis of the entity-relationship approach to database design
%J IEEE Transactions on Software Engineering
%K ieee_tse
%V SE-7
%N 1
%D January 1981
%P 85-98

%A S. Al-Fedaghi
%A P. Scheuermann
%T Mapping considerations in the design of schemas for the relational model
%J IEEE Transactions on Software Engineering
%K ieee_tse
%V SE-7
%N 1
%D January 1981
%P 99-111

%A B. Srinivasan
%A B. Sankar
%T Algorithms to distribute a database for parallel searching
%J IEEE Transactions on Software Engineering
%K ieee_tse
%V SE-7
%N 1
%D January 1981
%P 112-113

%A R.L. Budzinski
%A E.S. Davidson
%A W. Mayeda
%A H.S. Stone
%T DMIN: an algorithm for computing the optimal dynamic allocation
in a virtual memory computer
%J IEEE Transactions on Software Engineering
%K ieee_tse
%V SE-7
%N 1
%D January 1981
%P 113-121

%A R.L. Budzinski
%A E.S. Davidson
%T A comparison of dynamic and static virtual memory allocation algorithms
%J IEEE Transactions on Software Engineering
%K ieee_tse
%V SE-7
%N 1
%D January 1981
%P 122-131

%A P. Sipala
%T Optimum cell size for the storage of messages
%J IEEE Transactions on Software Engineering
%K ieee_tse
%V SE-7
%N 1
%D January 1981
%P 132-134

%A A.J. Smith
%T Internal scheduling and memory contention
%J IEEE Transactions on Software Engineering
%K ieee_tse
%V SE-7
%N 1
%D January 1981
%P 135-146

%A R.L. Glass
%T Persistent software errors
%J IEEE Transactions on Software Engineering
%K ieee_tse
%V SE-7
%N 2
%D March 1981
%P 162-168

%A D. Comer
%T Principles of program design
induced from experience with small public programs
%J IEEE Transactions on Software Engineering
%K ieee_tse
%V SE-7
%N 2
%D March 1981
%P 169-173

%A B. Lint
%A T. Agerwala
%T Communication issues in the design and analysis of parallel algorithms
%J IEEE Transactions on Software Engineering
%K ieee_tse
%V SE-7
%N 2
%D March 1981
%P 174-188

%A D. Coleman
%A J.W. Hughes
%A M.S. Powell
%T A method for the syntax directed design of multiprograms
%J IEEE Transactions on Software Engineering
%K ieee_tse
%V SE-7
%N 2
%D March 1981
%P 189-196

%A H.A. Ellozy
%T The determination of loop invariants for programs with arrays
%J IEEE Transactions on Software Engineering
%K ieee_tse
%V SE-7
%N 2
%D March 1981
%P 197-206

%A N. Dershowitz
%A Z. Manna
%T Inference rules for program annotation
%J IEEE Transactions on Software Engineering
%K ieee_tse
%V SE-7
%N 2
%D March 1981
%P 207-222

%A E.M. Reingold
%A J.S. Tilford
%T Tidier drawings of trees
%J IEEE Transactions on Software Engineering
%K ieee_tse
%V SE-7
%N 2
%D March 1981
%P 223-228

%A P. Reisner
%T Formal grammar and human factors design of an interactive graphics system
%J IEEE Transactions on Software Engineering
%K ieee_tse
%V SE-7
%N 2
%D March 1981
%P 229-240

%A R. Sanford
%A J. Gibson
%T Simplifld alfu-n2merik f0netiks (sanf)
%J IEEE Transactions on Software Engineering
%K ieee_tse
%V SE-7
%N 2
%D March 1981
%P 241-247

%A T. Chusha
%A T. Hayashi
%T Performance analyses of paging algorithms
for compilation of a highly modularized program
%J IEEE Transactions on Software Engineering
%K ieee_tse
%V SE-7
%N 2
%D March 1981
%P 248-254

%A P.-Y. Ma
%A T. Lewis
%T On the design of a microcode compiler
for a machine-independent high-level language
%J IEEE Transactions on Software Engineering
%K ieee_tse
%V SE-7
%N 3
%D May 1981
%P 261-273

%A G. Wetherell
%A A. Shannon
%T LR - automatic parser generator and LR(1) parser
%J IEEE Transactions on Software Engineering
%K ieee_tse
%V SE-7
%N 3
%D May 1981
%P 274-278

%A G.K. Papakonstantinou
%T An interpreter of attribute grammars and its application to waveform analysis
%J IEEE Transactions on Software Engineering
%K ieee_tse
%V SE-7
%N 3
%D May 1981
%P 279-283

%A J.M. Chang
%A K.-S. Fu
%T Extended K-d tree database organization:
a dynamic multiattribute clustering method
%J IEEE Transactions on Software Engineering
%K ieee_tse
%V SE-7
%N 3
%D May 1981
%P 284-290

%A R.M. Bryant
%T On homogeneity and on-line/off-line behavior in M/G/1 queueing systems
%J IEEE Transactions on Software Engineering
%K ieee_tse
%V SE-7
%N 3
%D May 1981
%P 291-298

%A V.R. Basili
%A R.W. Reiter,\ Jr.
%T A controlled experiment
quantitatively comparing software development approaches
%J IEEE Transactions on Software Engineering
%K ieee_tse
%V SE-7
%N 3
%D May 1981
%P 299-320

%A A. Brandwajn
%A J.-A. Hernandez
%T A study of a mechanism for controlling multiprogrammed memory
in an interactive system
%J IEEE Transactions on Software Engineering
%K ieee_tse
%V SE-7
%N 3
%D May 1981
%P 321

%A R.H. Thayer
%A A.B. Pyster
%A R.C. Wood
%T Major issues in software engineering project management
%J IEEE Transactions on Software Engineering
%K ieee_tse
%V SE-7
%N 4
%D July 1981
%P 333-342

%A D.E. Peercy
%T A software maintainability evaluation methodology
%J IEEE Transactions on Software Engineering
%K ieee_tse
%V SE-7
%N 4
%D July 1981
%P 343-352

%A A. Singer
%A H. Ledgard
%A J.F. Hueras
%T The annotated assistant: a step towards human engineering
%J IEEE Transactions on Software Engineering
%K ieee_tse
%V SE-7
%N 4
%D July 1981
%P 353-374

%A G. Jomier
%T A mathematical model for the comparison
of static and dynamic memory allocation in a paged system
%J IEEE Transactions on Software Engineering
%K ieee_tse
%V SE-7
%N 4
%D July 1981
%P 375-385

%A L.M. Ni
%A K. Hwang
%T Performance modeling of shared-resource array processors
%J IEEE Transactions on Software Engineering
%K ieee_tse
%V SE-7
%N 4
%D July 1981
%P 386-394

%A H.G. Perros
%T A symmetrical exponential open queue network with blocking and feedback
%J IEEE Transactions on Software Engineering
%K ieee_tse
%V SE-7
%N 4
%D July 1981
%P 395-402

%A A.J. Smith
%T Analysis of long term file reference patterns
for application to file migration algorithms
%J IEEE Transactions on Software Engineering
%K ieee_tse
%V SE-7
%N 4
%D July 1981
%P 403-416

%A J. Misra
%A K.M Chandy
%T Proofs of networks of processes
%J IEEE Transactions on Software Engineering
%K ieee_tse
%V SE-7
%N 4
%D July 1981
%P 417-426

%A S.S. Yau
%A C.-C. Yang
%A S.M. Shatz
%T An approach to distributed computing system software design
%J IEEE Transactions on Software Engineering
%K ieee_tse
%V SE-7
%N 4
%D July 1981
%P 427-435

%A S.K. Shrivastava
%T Structuring distributed systems for recoverability and crash resistance
%J IEEE Transactions on Software Engineering
%K ieee_tse
%V SE-7
%N 4
%D July 1981
%P 436-446

%A J.W. Goodwin
%T Why programming environments need dynamic data types
%J IEEE Transactions on Software Engineering
%K ieee_tse
%V SE-7
%N 5
%D September 1981
%P 451-457

%A E. Kant
%A D.R. Barstow
%T The refinement paradigm:
the interaction of coding and efficiency knowledge in program synthesis
%J IEEE Transactions on Software Engineering
%K ieee_tse
%V SE-7
%N 5
%D September 1981
%P 458-471

%A R. Medina-Mora
%A P.H. Feiler
%T An incremental programming environment
%J IEEE Transactions on Software Engineering
%K ieee_tse
%V SE-7
%N 5
%D September 1981
%P 472-481

%A B.W. Boehm
%T An experiment in small-scale application software engineering
%J IEEE Transactions on Software Engineering
%K ieee_tse
%V SE-7
%N 5
%D September 1981
%P 482-493

%A V.H. Haase
%T Real-time behavior of programs
%J IEEE Transactions on Software Engineering
%K ieee_tse
%V SE-7
%N 5
%D September 1981
%P 494-501

%A J.L.W. Kessels
%T The Soma: a programming contruct for distributed processing
%J IEEE Transactions on Software Engineering
%K ieee_tse
%V SE-7
%N 5
%D September 1981
%P 502-509

%A S. Henry
%A D. Kafura
%T Software structure metrics based on information flow
%J IEEE Transactions on Software Engineering
%K ieee_tse
%V SE-7
%N 5
%D September 1981
%P 510-518

%A A.J. Blikle
%T On the development of correct specified programs
%J IEEE Transactions on Software Engineering
%K ieee_tse
%V SE-7
%N 5
%D September 1981
%P 519

%A S.W. Smoliar
%T Operational requirements accomodation in distributed system design
%J IEEE Transactions on Software Engineering
%K ieee_tse
%V SE-7
%N 6
%D November 1981
%P 531-536

%A C.V. Ramamoorthy
%A Y.-K.R. Mok
%A F.B. Bastani
%A G.H. Chin
%A K. Suzuki
%T Application of a methodology
for the development and validation of reliable process control software
%J IEEE Transactions on Software Engineering
%K ieee_tse
%V SE-7
%N 6
%D November 1981
%P 537-555

%A S.S. Yau
%A P.C. Grabow
%T A model for representing programs using hierarchical graphs
%J IEEE Transactions on Software Engineering
%K ieee_tse
%V SE-7
%N 6
%D November 1981
%P 556-573

%A K.P. Eswaran
%A V.C. Hamacher
%A G.S. Shedler
%T Collision-free access control for computer communication bus networks
%J IEEE Transactions on Software Engineering
%K ieee_tse
%V SE-7
%N 6
%D November 1981
%P 574-582

%A S.H. Bokhari
%T A shortest tree algorithm for optimal assignments across space and time
in a distributed processor system
%J IEEE Transactions on Software Engineering
%K ieee_tse
%V SE-7
%N 6
%D November 1981
%P 583-589

%A R.L. Baber
%T A method for representing data items of unlimited length in a computer memory
%J IEEE Transactions on Software Engineering
%K ieee_tse
%V SE-7
%N 6
%D November 1981
%P 590-593

%A A.L. Mennie
%A G.H. MacEwen
%T Information flow certification
using an intermediate code program representation
%J IEEE Transactions on Software Engineering
%K ieee_tse
%V SE-7
%N 6
%D November 1981
%P 594-607

%A R.C. Waters
%T The programmer's apprentice: knowledge based program editing
%J IEEE Transactions on Software Engineering
%K ieee_tse
%V SE-8
%N 1
%D January 1982
%P 1-11

%A A. Moitra
%T Direct implementation of algebraic specification of abstract data types
%J IEEE Transactions on Software Engineering
%K ieee_tse
%V SE-8
%N 1
%D January 1982
%P 12-20

%A J. Schwarz
%T Using annotations to make recursion equations behave
%J IEEE Transactions on Software Engineering
%K ieee_tse
%V SE-8
%N 1
%D January 1982
%P 21-33

%A R.L. Probert
%T Optimal insertion of software probes in well-delimited programs
%J IEEE Transactions on Software Engineering
%K ieee_tse
%V SE-8
%N 1
%D January 1982
%P 34-42

%A R.B. Dannenberg
%A G.W. Ernst
%T Formal program verification using symbolic execution
%J IEEE Transactions on Software Engineering
%K ieee_tse
%V SE-8
%N 1
%D January 1982
%P 43-51

%A A. Ephremides
%A O.A. Mowafi
%T Analysis of a hybrid access scheme
for buffered users-probabilistic time division
%J IEEE Transactions on Software Engineering
%K ieee_tse
%V SE-8
%N 1
%D January 1982
%P 52-60

%A P.B. Hawthorn
%A D.J. DeWitt
%T Performing analysis of alternative database machine architectures
%J IEEE Transactions on Software Engineering
%K ieee_tse
%V SE-8
%N 1
%D January 1982
%P 61-75

%A A.K. Agrawala
%A S.K. Tripathi
%A G. Ricart
%T Adaptive routing using virtual waiting time technique
%J IEEE Transactions on Software Engineering
%K ieee_tse
%V SE-8
%N 1
%D January 1982
%P 76-81

%A J.P. Kearns
%A C.J. Meier
%A M.L. Soffa
%T The performance evaluation of control implementations
%J IEEE Transactions on Software Engineering
%K ieee_tse
%V SE-8
%N 2
%D March 1982
%P 89-96

%A W.A. Abu-Sufah
%A D.A. Padua
%T Some results on the working set anomalies in numerical programs
%J IEEE Transactions on Software Engineering
%K ieee_tse
%V SE-8
%N 2
%D March 1982
%P 97-106

%A H. Samet
%T Code optimization considerations in list processing systems
%J IEEE Transactions on Software Engineering
%K ieee_tse
%V SE-8
%N 2
%D March 1982
%P 107-112

%A G. Harrus
%A B. Plateau
%T Queueing analysis of a reordering issue
%J IEEE Transactions on Software Engineering
%K ieee_tse
%V SE-8
%N 2
%D March 1982
%P 113-122

%A A.J. Baroody,\ Jr.
%A D.J. DeWitt
%T The impact of run-time schema interpretation in a network model DBMS
%J IEEE Transactions on Software Engineering
%K ieee_tse
%V SE-8
%N 2
%D March 1982
%P 123-136

%A L.A. Rowe
%A K.P. Birman
%T A local network based on the Unix operating system
%J IEEE Transactions on Software Engineering
%K ieee_tse
%V SE-8
%N 2
%D March 1982
%P 137-146
%K Cocanet

%A K.S. Shankar
%T A functional approach to module verification
%J IEEE Transactions on Software Engineering
%K ieee_tse
%V SE-8
%N 2
%D March 1982
%P 147-159

%A D.R. Ries
%A G.C. Smith
%T Nested transaction in distributed systems
%J IEEE Transactions on Software Engineering
%K ieee_tse
%V SE-8
%N 3
%D May 1982
%P 167-172

%A T. Minoura
%A G. Wiederhold
%T Resilient extended true-copy token scheme for a distributed database system
%J IEEE Transactions on Software Engineering
%K ieee_tse
%V SE-8
%N 3
%D May 1982
%P 173-188

%A K.H. Kim
%T Approaches to mechanization of the conversion scheme based on monitors
%J IEEE Transactions on Software Engineering
%K ieee_tse
%V SE-8
%N 3
%D May 1982
%P 189-197

%A M.J. Fischer
%A N.D. Griffeth
%A N.A. Lynch
%T Global states of a distributed system
%J IEEE Transactions on Software Engineering
%K ieee_tse
%V SE-8
%N 3
%D May 1982
%P 198-202

%A B. Liskov
%T On linguistic support for distributed programs
%J IEEE Transactions on Software Engineering
%K ieee_tse
%V SE-8
%N 3
%D May 1982
%P 203-210

%A Y.-S. Kwong
%A D. Wood
%T A new method for concurrency in B-trees
%J IEEE Transactions on Software Engineering
%K ieee_tse
%V SE-8
%N 3
%D May 1982
%P 211-222

%A G. Ozsoyoglu
%A F.Y. Chin
%T Enhancing the security of statistical databases
with a question-answering system and a kernel design
%J IEEE Transactions on Software Engineering
%K ieee_tse
%V SE-8
%N 3
%D May 1982
%P 223-234

%A C.C. Chang
%A R.C.T. Lee
%A M.W. Du
%T Symbolic Gray code as a perfect multiattribute hashing scheme
for partial match queries
%J IEEE Transactions on Software Engineering
%K ieee_tse
%V SE-8
%N 3
%D May 1982
%P 235-249

%A P. Zave
%T An operational approach to requirements specification for embedded systems
%J IEEE Transactions on Software Engineering
%K ieee_tse
%V SE-8
%N 3
%D May 1982
%P 250-269

%A V.R. Basili
%A H.D. Mills
%T Understanding and documenting programs
%J IEEE Transactions on Software Engineering
%K ieee_tse
%V SE-8
%N 3
%D May 1982
%P 270-283

%A J.L Reuss
%T Macro implementation of a structured assembly language
%J IEEE Transactions on Software Engineering
%K ieee_tse
%V SE-8
%N 3
%D May 1982
%P 284-286

%A N. Francez
%A M. Rodeh
%T Achieving distributed termination without freezing
%J IEEE Transactions on Software Engineering
%K ieee_tse
%V SE-8
%N 3
%D May 1982
%P 287-292

%A S. Balsamo
%A G. Jazeolla
%T An extension of Norton's theorem for queueing networks
%J IEEE Transactions on Software Engineering
%K ieee_tse
%V SE-8
%N 4
%D July 1982
%P 298-305

%A J.A. Stankovic
%T Good system structure features: their complexity and execution time cost
%J IEEE Transactions on Software Engineering
%K ieee_tse
%V SE-8
%N 4
%D July 1982
%P 306-318

%A L.J. Siegel
%A H.J. Siegel
%A P.H. Swain
%T Performance measures for evaluating algorithms for SIMD machines
%J IEEE Transactions on Software Engineering
%K ieee_tse
%V SE-8
%N 4
%D July 1982
%P 319-330

%A M. Maekawa
%A V. Morimoto
%T Performance adjustment of an APL interpreter
%J IEEE Transactions on Software Engineering
%K ieee_tse
%V SE-8
%N 4
%D July 1982
%P 331-342

%A F. Bazzichi
%A I. Spadafora
%T An automatic generator for compiler testing
%J IEEE Transactions on Software Engineering
%K ieee_tse
%V SE-8
%N 4
%D July 1982
%P 343-353

%A C.V. Ramamoorthy
%A F.B. Bastani
%T Software reliability: status and perspectives
%J IEEE Transactions on Software Engineering
%K ieee_tse
%V SE-8
%N 4
%D July 1982
%P 354-370

%A W.E. Howden
%T Weak mutation testing and completeness of test sets
%J IEEE Transactions on Software Engineering
%K ieee_tse
%V SE-8
%N 4
%D July 1982
%P 371-379

%A L.A. Clake
%A J. Hassell
%A D.J. Richardson
%T A close look at domain testing
%J IEEE Transactions on Software Engineering
%K ieee_tse
%V SE-8
%N 4
%D July 1982
%P 380-390

%A E.J.H. Chang
%T Echo algorithms: depth parallel operations on general graphs
%J IEEE Transactions on Software Engineering
%K ieee_tse
%V SE-8
%N 4
%D July 1982
%P 391-400

%A T.C.K. Chou
%A J.A. Abraham
%T Load balancing in distributed systems
%J IEEE Transactions on Software Engineering
%K ieee_tse
%V SE-8
%N 4
%D July 1982
%P 401-411

%A T.C. Wesselkamper
%T Computer prgram schemata and the processes they generate
%J IEEE Transactions on Software Engineering
%K ieee_tse
%V SE-8
%N 4
%D July 1982
%P 412-418

%A M. Dubois
%A F.A. Briggs
%T Performance of synchronized iterative processes in multiprocessor systems
%J IEEE Transactions on Software Engineering
%K ieee_tse
%V SE-8
%N 4
%D July 1982
%P 419-431

%A F.L. Vermeulen
%T On the combined problem of compaction and sorting
%J IEEE Transactions on Software Engineering
%K ieee_tse
%V SE-8
%N 4
%D July 1982
%P 432-434

%A J. Kontos
%A G.K. Papakonstantinou
%T The interpretation of meta grammars describing syntax-directed interpreters
using an attribute grammar interpreter
%J IEEE Transactions on Software Engineering
%K ieee_tse
%V SE-8
%N 4
%D July 1982
%P 435-436

%A B.G. Claybrook
%T A specification method for specifying data and procedural abstractions
%J IEEE Transactions on Software Engineering
%K ieee_tse
%V SE-8
%N 5
%D September 1982
%P 449-459

%A C.A. Sunshine
%A D.H. Thompson
%A R.W. Erickson
%A S.L. Gerhart
%A D. Schwabe
%T Specification and verification of communication protocols
in AFFIRM using state transition models
%J IEEE Transactions on Software Engineering
%K ieee_tse
%V SE-8
%N 5
%D September 1982
%P 460-489

%A M.S. Feather
%T Program specification applied to a text formatter
%J IEEE Transactions on Software Engineering
%K ieee_tse
%V SE-8
%N 5
%D September 1982
%P 490-498

%A N.C. Shu
%A V.Y. Lum
%A F.C. Tung
%A C.L. Chang
%T Specification of forms processing and business procedures
for office automation
%J IEEE Transactions on Software Engineering
%K ieee_tse
%V SE-8
%N 5
%D September 1982
%P 499-512

%A J.L. Gieser
%T On horizontally microprogrammed microarchitecture description techniques
%J IEEE Transactions on Software Engineering
%K ieee_tse
%V SE-8
%N 5
%D September 1982
%P 513-525

%A J. Archer,\ Jr.
%A R. Conway
%T Display condensation of program text
%J IEEE Transactions on Software Engineering
%K ieee_tse
%V SE-8
%N 5
%D September 1982
%P 526-529

%A S. Kundu
%T On a class of linear maps for data compression
%J IEEE Transactions on Software Engineering
%K ieee_tse
%V SE-8
%N 5
%D September 1982
%P 530

%A H. Boral
%A D.J. DeWitt
%A D. Friedland
%A N.F. Jarrell
%A W.A. Wilkinson
%T Implementation of the database machine DIRECT
%J IEEE Transactions on Software Engineering
%K ieee_tse
%V SE-8
%N 6
%D November 1982
%P 533-543

%A S.B. Yao
%A V.E. Waddle
%A B.C. Housel
%T View modeling and integration using the functional data model
%J IEEE Transactions on Software Engineering
%K ieee_tse
%V SE-8
%N 6
%D November 1982
%P 544-553

%A G.S. Ho
%A C.V. Ramamoorthy
%T Protocols for deadlock detection in distributed database systems
%J IEEE Transactions on Software Engineering
%K ieee_tse
%V SE-8
%N 6
%D November 1982
%P 554-557

%A A. Silberschatz
%A Z.M. Kedem
%T A family of locking protocols
for database systems that are modeled by directed graphs
%J IEEE Transactions on Software Engineering
%K ieee_tse
%V SE-8
%N 6
%D November 1982
%P 558-562

%A N. Roussopoulos
%T The logical access path schema of a database
%J IEEE Transactions on Software Engineering
%K ieee_tse
%V SE-8
%N 6
%D November 1982
%P 563-573

%A F.Y. Chin
%A G. Ozsoyoglu
%T Auditing and inference control in statistical databases
%J IEEE Transactions on Software Engineering
%K ieee_tse
%V SE-8
%N 6
%D November 1982
%P 574-582

%A Y.-C. Hong
%A S.-Y.W. Su
%T A mechanism for database protection in cellular logic devices
%J IEEE Transactions on Software Engineering
%K ieee_tse
%V SE-8
%N 6
%D November 1982
%P 583-596

%A A. Lockman
%A N. Minsky
%T Unidirectional transport of rights and take-grant control
%J IEEE Transactions on Software Engineering
%K ieee_tse
%V SE-8
%N 6
%D November 1982
%P 597-604

%A N.H. Gehani
%T Databases and units of measure
%J IEEE Transactions on Software Engineering
%K ieee_tse
%V SE-8
%N 6
%D November 1982
%P 605-610

%A H. Mendelson
%T Analysis of extendible hashing
%J IEEE Transactions on Software Engineering
%K ieee_tse
%V SE-8
%N 6
%D November 1982
%P 611-619

%A R.T. Snodgrass
%T An object-oriented command language
%J IEEE Transactions on Software Engineering
%K ieee_tse
%V SE-9
%N 1
%D January 1983
%P 1-7

%A R.P. Cook
%A T.J. LeBlanc
%T A symbol table abstraction to implement languages with explicit scope control
%J IEEE Transactions on Software Engineering
%K ieee_tse
%V SE-9
%N 1
%D January 1983
%P 8-12

%A D.A. Lamb
%A P.N. Hilfinger
%T Simulation of procedure variables using Ada taska
%J IEEE Transactions on Software Engineering
%K ieee_tse
%V SE-9
%N 1
%D January 1983
%P 13-15

%A P. Ancilotti
%A M. Boari
%A N. Liftmaer
%T Language features for access control
%J IEEE Transactions on Software Engineering
%K ieee_tse
%V SE-9
%N 1
%D January 1983
%P 16-24

%A J. Aoe
%A Y. Yamamoto
%A R. Shimada
%T A practical method for reducing weak precedence parsers
%J IEEE Transactions on Software Engineering
%K ieee_tse
%V SE-9
%N 1
%D January 1983
%P 25-30

%A L.A. Rowe
%A K.A. Shoens
%T Programming language constructs for screen definition
%J IEEE Transactions on Software Engineering
%K ieee_tse
%V SE-9
%N 1
%D January 1983
%P 31-39

%A R.E. Jacobs
%A C.A. Walczak
%T A generalized query-by-example data manipulation language
based on database logic
%J IEEE Transactions on Software Engineering
%K ieee_tse
%V SE-9
%N 1
%D January 1983
%P 40-56

%A P.M.G. Apers
%A A.R. Hevner
%A S.B. Yao
%T Optimization algorithms for distributed queries
%J IEEE Transactions on Software Engineering
%K ieee_tse
%V SE-9
%N 1
%D January 1983
%P 57-68

%A E.J. Lou
%A D. Ferrari
%T Program restructing in a multilevel virtual memory
%J IEEE Transactions on Software Engineering
%K ieee_tse
%V SE-9
%N 1
%D January 1983
%P 69-78

%A T. Nishigaki
%T Experiments on the knee criterion in a multiprogrammed computer system
%J IEEE Transactions on Software Engineering
%K ieee_tse
%V SE-9
%N 1
%D January 1983
%P 79-86

%A C.H.C. Leung
%T Analysis of secondary storage fragmentation
%J IEEE Transactions on Software Engineering
%K ieee_tse
%V SE-9
%N 1
%D January 1983
%P 87-92

%A C.A. Coutant
%A R.E. Griswold
%A D.R. Hanson
%T Measuring the performance and behavior of Icon programs
%J IEEE Transactions on Software Engineering
%K ieee_tse
%V SE-9
%N 1
%D January 1983
%P 93-102

%A R.R. Oldehoeft
%T Program graphs and execution behavior
%J IEEE Transactions on Software Engineering
%K ieee_tse
%V SE-9
%N 1
%D January 1983
%P 103-108

%A R.A. Marie
%A J. Pellaumail
%T Steady-state probabilities for a queue
with a general service distribution and state-dependent arrivals
%J IEEE Transactions on Software Engineering
%K ieee_tse
%V SE-9
%N 1
%D January 1983
%P 109-112

%A L.E. Rubin
%T Syntax-dirtected pretty printing -
a first step towards a syntex-directed editor
%J IEEE Transactions on Software Engineering
%K ieee_tse
%V SE-9
%N 2
%D March 1983
%P 119-127

%A J.P. Kearns
%A S. DeFazio
%T Locality of reference in hierarchical database systems
%J IEEE Transactions on Software Engineering
%K ieee_tse
%V SE-9
%N 2
%D March 1983
%P 128-134

%A M.Y.L. Ip
%A L.V. Saxton
%A V.V. Ragharan
%T On the selection of an optimal set of indexes
%J IEEE Transactions on Software Engineering
%K ieee_tse
%V SE-9
%N 2
%D March 1983
%P 135-142

%A D.-P. Tsay
%A M.T. Liu
%T MIKE: a network operating system
for the distributed double-loop computer network
%J IEEE Transactions on Software Engineering
%K ieee_tse
%V SE-9
%N 2
%D March 1983
%P 143-154

%A V.Y. Shen
%A S.D. Conte
%A H.E. Dunsmore
%T Software science revisited:
a critical analysis of the theory and its empirical support
%J IEEE Transactions on Software Engineering
%K ieee_tse
%V SE-9
%N 2
%D March 1983
%P 155-165

%A N.S. Coulter
%T Software science and cognitive psychology
%J IEEE Transactions on Software Engineering
%K ieee_tse
%V SE-9
%N 2
%D March 1983
%P 166-171

%A R.M. Negrini
%A M. Sami
%T Some properties desived from structural analysis of program graph models
%J IEEE Transactions on Software Engineering
%K ieee_tse
%V SE-9
%N 2
%D March 1983
%P 172-178

%A S.L. Getz
%A G. Kalligiannis
%A S.R. Schach
%T A very high-level interactive graphical trace for the Pascal heap
%J IEEE Transactions on Software Engineering
%K ieee_tse
%V SE-9
%N 2
%D March 1983
%P 179-184

%A P. Schulthess
%A C. Jacobi
%T Anatomy of a small Pascal compiler
%J IEEE Transactions on Software Engineering
%K ieee_tse
%V SE-9
%N 2
%D March 1983
%P 185-190

%A S.T. Redwine,\ Jr.
%T An engineering approach to software test data design
%J IEEE Transactions on Software Engineering
%K ieee_tse
%V SE-9
%N 2
%D March 1983
%P 191-200

%A J.R. Menand
%A M. Becker
%T Modeling a multiprocessor architecture
%J IEEE Transactions on Software Engineering
%K ieee_tse
%V SE-9
%N 2
%D March 1983
%P 201-209

%A D. Skeen
%A M. Stonebraker
%T A formal model of crash recovery in a distributed system
%J IEEE Transactions on Software Engineering
%K ieee_tse
%V SE-9
%N 3
%D May 1983
%P 219-227

%A E. Wong
%T Dynamic rematerialization:
processing distributed queries using redundant data
%J IEEE Transactions on Software Engineering
%K ieee_tse
%V SE-9
%N 3
%D May 1983
%P 228-232

%A P.A. Bernstein
%A M. Goodman
%A M.-Y. Lai
%T Analyzing concurrency control algorithms
when user and system operations differ
%J IEEE Transactions on Software Engineering
%K ieee_tse
%V SE-9
%N 3
%D May 1983
%P 233-239

%A D.S. Parker,\ Jr.
%A G.J. Popek
%A G. Rudisin
%A B.J. Walker
%A E. Walton
%A J.M. Chow
%A D. Edwards
%A S. Kiser
%A C. Kline
%T Detection of mutual inconsistency in distributed systems
%J IEEE Transactions on Software Engineering
%K ieee_tse
%V SE-9
%N 3
%D May 1983
%P 240-246

%A J. van\ den\ Bos
%A M.J. Plasmeier
%A P.H. Hartel
%T Input-output tools: a language facility for interactive and real-time systems
%J IEEE Transactions on Software Engineering
%K ieee_tse
%V SE-9
%N 3
%D May 1983
%P 247-259

%A L. Logrippo
%A D.R. Skuce
%T File structures, program structures, and attributed grammars
%J IEEE Transactions on Software Engineering
%K ieee_tse
%V SE-9
%N 3
%D May 1983
%P 260-266

%A N.S. Prywes
%A A. Pnueli
%T Compilation of nonprocedural specifications into computer programs
%J IEEE Transactions on Software Engineering
%K ieee_tse
%V SE-9
%N 3
%D May 1983
%P 267-279

%A F.G. Pagan
%T A Diagrammatic notation for abstract syntax and abstract structured objects
%J IEEE Transactions on Software Engineering
%K ieee_tse
%V SE-9
%N 3
%D May 1983
%P 280-288

%A G.H. MacEwen
%T The design for a secure system based on program analysis
%J IEEE Transactions on Software Engineering
%K ieee_tse
%V SE-9
%N 3
%D May 1983
%P 289-298

%A D. Ferrari
%A Y.-Y. Yih
%T VSWS: the variable-interval sampled working set policy
%J IEEE Transactions on Software Engineering
%K ieee_tse
%V SE-9
%N 3
%D May 1983
%P 299-304

%A M.W. Du
%A T.M. Hsieh
%A K.F. Jea
%A D.W. Shieh
%T The study of a new perfect hash scheme
%J IEEE Transactions on Software Engineering
%K ieee_tse
%V SE-9
%N 3
%D May 1983
%P 305-313

%A M.K. Sinha
%T Nonsensitive data and approximate transactions
%J IEEE Transactions on Software Engineering
%K ieee_tse
%V SE-9
%N 3
%D May 1983
%P 314-322

%A H.S. Koch
%A P. Kubat
%T Optimal release time of computer software
%J IEEE Transactions on Software Engineering
%K ieee_tse
%V SE-9
%N 3
%D May 1983
%P 323-327

%A P.R. McMullin
%A J.D. Gannon
%T Combining testing with formal specifications: a case study
%J IEEE Transactions on Software Engineering
%K ieee_tse
%V SE-9
%N 3
%D May 1983
%P 328-334

%A S.J. Zeil
%T Testing for perturbations of program statements
%J IEEE Transactions on Software Engineering
%K ieee_tse
%V SE-9
%N 3
%D May 1983
%P 335-346

%A J.W. Laski
%A B. Korel
%T A data flow oriented program testing strategy
%J IEEE Transactions on Software Engineering
%K ieee_tse
%V SE-9
%N 3
%D May 1983
%P 347-354

%A T. Anderson
%A J.C. Knight
%T A framework for software fault tolerance in real-time systems
%J IEEE Transactions on Software Engineering
%K ieee_tse
%V SE-9
%N 3
%D May 1983
%P 355-364

%A R.L. Kashyap
%A B.J. Oommen
%T The noisy substring matching problem
%J IEEE Transactions on Software Engineering
%K ieee_tse
%V SE-9
%N 3
%D May 1983
%P 365-370

%A I.T. Hawryszkiewycz
%T A semantic design method
%J IEEE Transactions on Software Engineering
%K ieee_tse
%V SE-9
%N 4
%D July 1983
%P 373-384

%A E.D. Carlson
%A J.R. Rhyne
%A D.L. Weller
%T Software structure for display management systems
%J IEEE Transactions on Software Engineering
%K ieee_tse
%V SE-9
%N 4
%D July 1983
%P 385-394

%A J.R. White
%T On the multiple implementation of abstract data types within a computation
%J IEEE Transactions on Software Engineering
%K ieee_tse
%V SE-9
%N 4
%D July 1983
%P 395-410

%A I.V. Ramarkishnan
%A J.C. Browne
%T A paradigm for the design of parallel algorithms with applications
%J IEEE Transactions on Software Engineering
%K ieee_tse
%V SE-9
%N 4
%D July 1983
%P 411-414

%A W.E. Kluge
%A H. Schlutter
%T Petri nets models for the evaluation
of applicative programs based on lambda-expressions
%J IEEE Transactions on Software Engineering
%K ieee_tse
%V SE-9
%N 4
%D July 1983
%P 415-426

%A J. Ludewig
%T ESPRESO - a system for process control software specification
%J IEEE Transactions on Software Engineering
%K ieee_tse
%V SE-9
%N 4
%D July 1983
%P 427-435

%A S. Jajodia
%A J. Liu
%A P.A. Ng
%T A scheme for parallel processing for MIMD systems
%J IEEE Transactions on Software Engineering
%K ieee_tse
%V SE-9
%N 4
%D July 1983
%P 436-445

%A P. Wegner
%A S.A. Smolka
%T Processes, tasks, and monitors:
a comparative study of concurrent programming primitives
%J IEEE Transactions on Software Engineering
%K ieee_tse
%V SE-9
%N 4
%D July 1983
%P 446-462

%A G. Bernard
%T Interconnection of local computer networks:
modeling and optimization problems
%J IEEE Transactions on Software Engineering
%K ieee_tse
%V SE-9
%N 4
%D July 1983
%P 463-469

%A B. Bhargava
%A C.T. Hua
%T A causal model for analyzing distributed concurrency control algorithms
%J IEEE Transactions on Software Engineering
%K ieee_tse
%V SE-9
%N 4
%D July 1983
%P 470-486

%A S. Ceri
%A S. Navathe
%A G. Wiederhold
%T Distribution design of logical database schemas
%J IEEE Transactions on Software Engineering
%K ieee_tse
%V SE-9
%N 4
%D July 1983
%P 487-503

%A T.-Y. Cheung
%T Graph traversal techniques
and the maximum flow problem in distributed computation
%J IEEE Transactions on Software Engineering
%K ieee_tse
%V SE-9
%N 4
%D July 1983
%P 504-511

%A L.N. Bhuyan
%A D.P. Agrawal
%T Performance analysis of FFT algorithms of multiprocessor systems
%J IEEE Transactions on Software Engineering
%K ieee_tse
%V SE-9
%N 4
%D July 1983
%P 512-521

%A R.L. Larsen
%A A.K. Agrawala
%T Control of a heterogeneous two-server exponential queueing system
%J IEEE Transactions on Software Engineering
%K ieee_tse
%V SE-9
%N 4
%D July 1983
%P 522-526

%A A. Silberschatz
%T Extending CSP to allow dynamic resource management
%J IEEE Transactions on Software Engineering
%K ieee_tse
%V SE-9
%N 4
%D July 1983
%P 527-530

%A L.L. Beck
%A T.E. Perkins
%T A survey of software engineering practices: tools, methods, and results
%J IEEE Transactions on Software Engineering
%K ieee_tse
%V SE-9
%N 5
%D September 1983
%P 541-561

%A R.D.H. Warburton
%T Managing and predicting the costs of real-time software
%J IEEE Transactions on Software Engineering
%K ieee_tse
%V SE-9
%N 5
%D September 1983
%P 562-568

%A N.G. Leveson
%A P.R. Harvey
%T Analyzing software safety
%J IEEE Transactions on Software Engineering
%K ieee_tse
%V SE-9
%N 5
%D September 1983
%P 569-579

%A C.L. Heitmeyer
%A J.D. McLean
%T Abstract requirement specification: a new approach and its application
%J IEEE Transactions on Software Engineering
%K ieee_tse
%V SE-9
%N 5
%D September 1983
%P 580-589

%A R.A. Nelson
%A L.M. Haibi
%A P.B. Sheridan
%T Casting Petri nets into programs
%J IEEE Transactions on Software Engineering
%K ieee_tse
%V SE-9
%N 5
%D September 1983
%P 590-602

%A J.E. Coolahan,\ Jr.
%A N. Roussopoulos
%T Timing requirements for time-driven systems using augmented Petri nets
%J IEEE Transactions on Software Engineering
%K ieee_tse
%V SE-9
%N 5
%D September 1983
%P 603-616

%A S. Jajodia
%A P.A. Ng
%A R.N. Springsteel
%T The problem of equivalence for entity-relationship diagrams
%J IEEE Transactions on Software Engineering
%K ieee_tse
%V SE-9
%N 5
%D September 1983
%P 617-630

%A I. Kalantari
%A G. McDonald
%T A data structure and an algorithm for the nearest point problem
%J IEEE Transactions on Software Engineering
%K ieee_tse
%V SE-9
%N 5
%D September 1983
%P 631-635

%A A.J. Albrecht
%A J.E. Gaffney,\ Jr.
%T Software function, source lines of code, and development effort prediction:
a software science validation
%J IEEE Transactions on Software Engineering
%K ieee_tse
%V SE-9
%N 6
%D November 1983
%P 639-647

%A C.A. Behrens
%T Measuring the productivity of computer systems development activities
with function points
%J IEEE Transactions on Software Engineering
%K ieee_tse
%V SE-9
%N 6
%D November 1983
%P 648-651

%A V.R. Basili
%A R.W. Selby,\ Jr.
%A T.-Y. Phillips
%T Metric analysis and data validation across fortran projects
%J IEEE Transactions on Software Engineering
%K ieee_tse
%V SE-9
%N 6
%D November 1983
%P 652-663

%A V.R. Basili
%A D.H. Hutchens
%T An empirical study of a syntactic complexity family
%J IEEE Transactions on Software Engineering
%K ieee_tse
%V SE-9
%N 6
%D November 1983
%P 664-672

%A L.J. Osterweil
%T Toolpack - an experimental software development environment research project
%J IEEE Transactions on Software Engineering
%K ieee_tse
%V SE-9
%N 6
%D November 1983
%P 673-685

%A J.S. Gourlay
%T A mathematical framework for the investigation of testing
%J IEEE Transactions on Software Engineering
%K ieee_tse
%V SE-9
%N 6
%D November 1983
%P 686-709

%A B.-S. Chen
%A R.T. Yeh
%T Formal specification and verification of distributed systems
%J IEEE Transactions on Software Engineering
%K ieee_tse
%V SE-9
%N 6
%D November 1983
%P 710-721

%A K. Ramamritham
%A R.M. Keller
%T Specification of synchronizing processes
%J IEEE Transactions on Software Engineering
%K ieee_tse
%V SE-9
%N 6
%D November 1983
%P 722-732

%A S.S. Yau
%A M.U. Caglayan
%T Distributed software system design representation using modified Petri nets
%J IEEE Transactions on Software Engineering
%K ieee_tse
%V SE-9
%N 6
%D November 1983
%P 733-745

%A Barry W. Boehm
%T Software engineering economics
%J IEEE Transactions on Software Engineering
%K ieee_tse
%V SE-10
%N 1
%D January 1984
%P 4-21

%A Jack Cooper
%T Software development management planning
%J IEEE Transactions on Software Engineering
%K ieee_tse
%V SE-10
%N 1
%D January 1984
%P 22-26

%A Norman R. Howes
%T Managing software development projects for maximum productivity
%J IEEE Transactions on Software Engineering
%K ieee_tse
%V SE-10
%N 1
%D January 1984
%P 27-35

%A Fletcher J. Buckley
%A Robert Poston
%T Software quality assurance
%J IEEE Transactions on Software Engineering
%K ieee_tse
%V SE-10
%N 1
%D January 1984
%P 36-41

%A James P. McGill
%T The software engineering shortage: the third choice
%J IEEE Transactions on Software Engineering
%K ieee_tse
%V SE-10
%N 1
%D January 1984
%P 42-49

%A Walt Scacchi
%T Managing software engineering projects: a social analysis
%J IEEE Transactions on Software Engineering
%K ieee_tse
%V SE-10
%N 1
%D January 1984
%P 49-59

%A William Bryan
%A Stanley Siegel
%T Making software visible, operational, and maintainable
in a small project environment
%J IEEE Transactions on Software Engineering
%K ieee_tse
%V SE-10
%N 1
%D January 1984
%P 59-67

%A Gerald M. Weinberg
%A Daniel P. Freedman
%T Reviews, walkthroughs, and inspections
%J IEEE Transactions on Software Engineering
%K ieee_tse
%V SE-10
%N 1
%D January 1984
%P 68-72

%A Martha Branstad
%A Patricia B. Powell
%T Software engineering project standards
%J IEEE Transactions on Software Engineering
%K ieee_tse
%V SE-10
%N 1
%D January 1984
%P 73-78

%A Edward H. Bersoff
%T Elements of software configuration management
%J IEEE Transactions on Software Engineering
%K ieee_tse
%V SE-10
%N 1
%D January 1984
%P 79-87

%A C.C. Chang
%A M.W. Du
%A R.C.T. Lee
%T Performance analyses of Cartesian product files and random files
%J IEEE Transactions on Software Engineering
%K ieee_tse
%V SE-10
%N 1
%D January 1984
%P 88-99

%A Farokh B. Bastani
%T Performance improvement of abstractions
through context dependent transformations
%J IEEE Transactions on Software Engineering
%K ieee_tse
%V SE-10
%N 1
%D January 1984
%P 100-116

%A Carroll Morgan
%A Bernard Sufrin
%T Specification of the Unix file system
%J IEEE Transactions on Software Engineering
%K ieee_tse
%V SE-10
%N 2
%D March 1984
%P 128-142

%A Ian D. Cottam
%T The rigorous development of a system version control program
%J IEEE Transactions on Software Engineering
%K ieee_tse
%V SE-10
%N 2
%D March 1984
%P 143-154

%A Friedrich W. Beichter
%A Othein Herzog
%A Heiko Petzsch
%T SLAN-4 - a software specification and design language
%J IEEE Transactions on Software Engineering
%K ieee_tse
%V SE-10
%N 2
%D March 1984
%P 155-162

%A Flaviu Cristian
%T Correct and robust programs
%J IEEE Transactions on Software Engineering
%K ieee_tse
%V SE-10
%N 2
%D March 1984
%P 163-174

%A W.M. Turski
%T On programming by iterations
%J IEEE Transactions on Software Engineering
%K ieee_tse
%V SE-10
%N 2
%D March 1984
%P 175-178

%A Abraham Silberschatz
%T Cell: a distributed computing modularization concept
%J IEEE Transactions on Software Engineering
%K ieee_tse
%V SE-10
%N 2
%D March 1984
%P 178-185

%A Meng-Lih Wu
%A Tai-Yang Hwang
%T Access control with single-key-lock
%J IEEE Transactions on Software Engineering
%K ieee_tse
%V SE-10
%N 2
%D March 1984
%P 185-191

%A Randy H. Katz
%A Tobin J. Lehman
%T Database support for versions and alternatives of large design files
%J IEEE Transactions on Software Engineering
%K ieee_tse
%V SE-10
%N 2
%D March 1984
%P 191-200

%A Stavros Christodoulakis
%A Chris Faloutsos
%T Design considerations for a message file server
%J IEEE Transactions on Software Engineering
%K ieee_tse
%V SE-10
%N 2
%D March 1984
%P 201-210

%A Hector Garcia-Molina
%A Frank Germano,\ Jr.
%A Walter H. Kohler
%T Debugging a distributed computing system
%J IEEE Transactions on Software Engineering
%K ieee_tse
%V SE-10
%N 2
%D March 1984
%P 210-219

%A Richard J. LeBlanc
%A Charles N. Fischer
%T A simple separate compilation mechanism
for block-structured languages
%J IEEE Transactions on Software Engineering
%K ieee_tse
%V SE-10
%N 3
%D May 1984
%P 221-227

%A Martin S. McKendry
%A Roy H. Campbell
%T Implementing language support in high-level languages
%J IEEE Transactions on Software Engineering
%K ieee_tse
%V SE-10
%N 3
%D May 1984
%P 227-236

%A Michael J. Ferguson
%T Multiaccess in a nonqueueing mailbox environment
%J IEEE Transactions on Software Engineering
%K ieee_tse
%V SE-10
%N 3
%D May 1984
%P 237-243

%A Arthur E. Oldehoeft
%A Steven F. Jennings
%T Dataflow resource managers
and their synthesis from open path expressions
%J IEEE Transactions on Software Engineering
%K ieee_tse
%V SE-10
%N 3
%D May 1984
%P 244-257

%A Liba Svobodova
%T Resilient distributed computing
%J IEEE Transactions on Software Engineering
%K ieee_tse
%V SE-10
%N 3
%D May 1984
%P 257-268

%A Curtis Abbott
%T Intervention schedules for real-time programming
%J IEEE Transactions on Software Engineering
%K ieee_tse
%V SE-10
%N 3
%D May 1984
%P 268-274

%A Douglas D. Dunlop
%A Victor R. Basili
%T A heuristic for deriving loop functions
%J IEEE Transactions on Software Engineering
%K ieee_tse
%V SE-10
%N 3
%D May 1984
%P 275-285

%A N.C.K. Phillips
%T Safe data type specifications
%J IEEE Transactions on Software Engineering
%K ieee_tse
%V SE-10
%N 3
%D May 1984
%P 285-289

%A Barry W. Boehm
%A Terence E. Gray
%A Thomas Seewaldt
%T Prototyping versus specifying: a multiproject experiment
%J IEEE Transactions on Software Engineering
%K ieee_tse
%V SE-10
%N 3
%D May 1984
%P 290-303

%A Daniel L. Weller
%A Bryant W. York
%T A relational representation of an abstract type system
%J IEEE Transactions on Software Engineering
%K ieee_tse
%V SE-10
%N 3
%D May 1984
%P 303-309

%A David L. Spooner
%A Ehud Gudes
%T A unifying approach to the design
of a secure database operating system
%J IEEE Transactions on Software Engineering
%K ieee_tse
%V SE-10
%N 3
%D May 1984
%P 310-319

%A Simon S. Lam
%A A. Udaya Shankar
%T Protocol verification via projections
%J IEEE Transactions on Software Engineering
%K ieee_tse
%V SE-10
%N 4
%D July 1984
%P 325-342

%A Narain S. Gehani
%T Broadcasting satellite processes (BSP)
%J IEEE Transactions on Software Engineering
%K ieee_tse
%V SE-10
%N 4
%D July 1984
%P 343-351

%A Mark Weiser
%T Program slicing
%J IEEE Transactions on Software Engineering
%K ieee_tse
%V SE-10
%N 4
%D July 1984
%P 352-357

%A Andreas Reuter
%A Horst Kinzinger
%T Automatic design of the internal schema
for a CODASYL database system
%J IEEE Transactions on Software Engineering
%K ieee_tse
%V SE-10
%N 4
%D July 1984
%P 358-375

%A Willa Kay Weiner-Ehrlich
%A James R. Hamrick
%A Vincent F. Rupolo
%T Modeling software behaviour in terms of a formal life cycle curve:
implications for software maintenance
%J IEEE Transactions on Software Engineering
%K ieee_tse
%V SE-10
%N 4
%D July 1984
%P 376-383

%A H.G. Steubing
%T A software engineering environment (SEE) for weapon system software
%J IEEE Transactions on Software Engineering
%K ieee_tse
%V SE-10
%N 4
%D July 1984
%P 384-397

%A Iris Vessey
%A Ron Weber
%T Research of structured programming: an empiricist's evaluation
%J IEEE Transactions on Software Engineering
%K ieee_tse
%V SE-10
%N 4
%D July 1984
%P 397-407

%A Terry C. Snow
%T Use of software engineering practices at a small MIS shop
%J IEEE Transactions on Software Engineering
%K ieee_tse
%V SE-10
%N 4
%D July 1984
%P 408-413

%A William J. Stewart
%A Wayne P. Stohs
%T Some equivalence results
for load-independent exponential queueing networks
%J IEEE Transactions on Software Engineering
%K ieee_tse
%V SE-10
%N 4
%D July 1984
%P 414-422

%A Timo O. Alanko
%A Hannu A.A. Erkio
%A Ilkka J. Haikala
%T Virtual memory behaviour of some sorting algorithms
%J IEEE Transactions on Software Engineering
%K ieee_tse
%V SE-10
%N 4
%D July 1984
%P 422-431

%A Jacek Jachner
%A Vinod K. Agarwal
%T Data flow anomaly detection
%J IEEE Transactions on Software Engineering
%K ieee_tse
%V SE-10
%N 4
%D July 1984
%P 432-437

%A Joe W. Duran
%A Simeon C. Ntafos
%T An evaluation of random testing
%J IEEE Transactions on Software Engineering
%K ieee_tse
%V SE-10
%N 4
%D July 1984
%P 438-444

%A Clement H. Leung
%A Qui Hoon Choo
%T On the execution of large batch programs
in unreliable computing systems
%J IEEE Transactions on Software Engineering
%K ieee_tse
%V SE-10
%N 4
%D July 1984
%P 444-450

%A Ramon F. Sarraga
%T Static data flow analysis of PL/I programs with the PROBE system
%J IEEE Transactions on Software Engineering
%K ieee_tse
%V SE-10
%N 4
%D July 1984
%P 451-459

%A Ellis Horowitz
%A John B. Munson
%T An expansive view of reusable software
%J IEEE Transactions on Software Engineering
%K ieee_tse
%V SE-10
%N 5
%D September 1984
%P 477-487

%A T. Capers Jones
%T Reusability in programming: a survey of the state of the art
%J IEEE Transactions on Software Engineering
%K ieee_tse
%V SE-10
%N 5
%D September 1984
%P 488-494

%A Thomas A. Standish
%T An essay on software reuse
%J IEEE Transactions on Software Engineering
%K ieee_tse
%V SE-10
%N 5
%D September 1984
%P 494-497

%A Robert G. Lanergan
%A Charles A. Grasso
%T Software engineering with reusable design and code
%J IEEE Transactions on Software Engineering
%K ieee_tse
%V SE-10
%N 5
%D September 1984
%P 498-501

%A Yochihiro Matsumoto
%T Some experience in promoting reusable software:
presentation in higher abstract levels
%J IEEE Transactions on Software Engineering
%K ieee_tse
%V SE-10
%N 5
%D September 1984
%P 502-513

%A Brian W. Kernighan
%T The Unix system and software reusability
%J IEEE Transactions on Software Engineering
%K ieee_tse
%V SE-10
%N 5
%D September 1984
%P 513-518

%A Gael A. Curry
%A Robert M. Ayers
%T Experience with Traits in the Xerox Star workstation
%J IEEE Transactions on Software Engineering
%K ieee_tse
%V SE-10
%N 5
%D September 1984
%P 519-527

%A Joseph A. Goguen
%T Parameterized programming
%J IEEE Transactions on Software Engineering
%K ieee_tse
%V SE-10
%N 5
%D September 1984
%P 528-543

%A Steven D. Litvintchouk
%A Allen S. Matsumoto
%T Design of Ada systems yielding reusable components:
an approach using structured algebraic specification
%J IEEE Transactions on Software Engineering
%K ieee_tse
%V SE-10
%N 5
%D September 1984
%P 544-551

%A Thomas T. Cheng
%A Evan D. Lock
%A Noah S. Prywes
%T Use of very high level languages
and program generation by management professionals
%J IEEE Transactions on Software Engineering
%K ieee_tse
%V SE-10
%N 5
%D September 1984
%P 552-563

%A James M. Neighbors
%T The Draco approach to constructing software from reusable components
%J IEEE Transactions on Software Engineering
%K ieee_tse
%V SE-10
%N 5
%D September 1984
%P 564-574

%A James M. Boyle
%A Monagur N. Muralidharan
%T Program reusability through program transformation
%J IEEE Transactions on Software Engineering
%K ieee_tse
%V SE-10
%N 5
%D September 1984
%P 574-588

%A Thomas E. Cheatham,\ Jr.
%T Reusability through program transformations
%J IEEE Transactions on Software Engineering
%K ieee_tse
%V SE-10
%N 5
%D September 1984
%P 589-594

%A Elliot Soloway
%A Kate Ehrlich
%T Empirical studies of programming knowledge
%J IEEE Transactions on Software Engineering
%K ieee_tse
%V SE-10
%N 5
%D September 1984
%P 595-609

%A Sushil Jajodia
%A Peter A. Ng
%T Representative instances and gamma-acyclic relational schemes
%J IEEE Transactions on Software Engineering
%K ieee_tse
%V SE-10
%N 6
%D November 1984
%P 614-618

%A Daniel R. Dolk
%A Benn R. Konsyncki
%T Knowledge representation for model management systems
%J IEEE Transactions on Software Engineering
%K ieee_tse
%V SE-10
%N 6
%D November 1984
%P 619-628

%A Umeshwar Dayal
%A Hai-Yann Hwang
%T View definition and generalization
for database integration in a multidatabase system
%J IEEE Transactions on Software Engineering
%K ieee_tse
%V SE-10
%N 6
%D November 1984
%P 628-645

%A Rony Attar
%A Philip A. Bernstein
%A Nathan Goodman
%T Site initialization, recovery, and backup
in a distributed database system
%J IEEE Transactions on Software Engineering
%K ieee_tse
%V SE-10
%N 6
%D November 1984
%P 645-649

%A Carlo Batini
%A Maurizio Lenzerini
%T A methodology for data schema integration
in the entity relationship model
%J IEEE Transactions on Software Engineering
%K ieee_tse
%V SE-10
%N 6
%D November 1984
%P 650-664

%A Leszek Lilien
%A Bharat Bhargava
%T A scheme for batch verification of integrity assertions
in a database system
%J IEEE Transactions on Software Engineering
%K ieee_tse
%V SE-10
%N 6
%D November 1984
%P 664-680

%A Michael Hatzopoulos
%A Yiannis G. Kollias
%T On the optimal selection of multilist database structures
%J IEEE Transactions on Software Engineering
%K ieee_tse
%V SE-10
%N 6
%D November 1984
%P 681-687

%A Anthony Iannino
%A John D. Musa
%A Kazuhiro Okumoto
%A Bev Littlewood
%T Criteria for software reliability model comparisons
%J IEEE Transactions on Software Engineering
%K ieee_tse
%V SE-10
%N 6
%D November 1984
%P 687-691

%A Kang G. Shin
%A Yann-Hang Lee
%T Evaluation of error recovery blocks used for cooperating processes
%J IEEE Transactions on Software Engineering
%K ieee_tse
%V SE-10
%N 6
%D November 1984
%P 692-700

%A Jean-Claude Laprie
%T Dependability evaluation of software systems in operation
%J IEEE Transactions on Software Engineering
%K ieee_tse
%V SE-10
%N 6
%D November 1984
%P 701-714

%A Carolyn Wong
%T A successful software development
%J IEEE Transactions on Software Engineering
%K ieee_tse
%V SE-10
%N 6
%D November 1984
%P 714-727

%A Victor R. Basili
%A David M. Weiss
%T A methodology for collecting valid software engineering data
%J IEEE Transactions on Software Engineering
%K ieee_tse
%V SE-10
%N 6
%D November 1984
%P 728-738

%A Neil B. Corrigan
%A J. Denbigh Starkey
%T A concurrent general purpose operator interface
%J IEEE Transactions on Software Engineering
%K ieee_tse
%V SE-10
%N 6
%D November 1984
%P 738-748

%A Amram Ben-David
%A Moshe I. Ben-Porath
%A Jonah Z. Loeb
%A Michael Rich
%T An industrial software engineering retraining course:
development considerations and lessons learned
%J IEEE Transactions on Software Engineering
%K ieee_tse
%V SE-10
%N 6
%D November 1984
%P 748-755

%A Bernhard Plattner
%T Real-time execution monitoring
%J IEEE Transactions on Software Engineering
%K ieee_tse
%V SE-10
%N 6
%D November 1984
%P 756-764

%A Steven M. German
%T Monitoring for deadlock and blocking in Ada tasking
%J IEEE Transactions on Software Engineering
%K ieee_tse
%V SE-10
%N 6
%D November 1984
%P 764-777

%A Udi Manber
%T Concurrent maintenance of binary search trees
%J IEEE Transactions on Software Engineering
%K ieee_tse
%V SE-10
%N 6
%D November 1984
%P 777-784

%A David B. Benson
%T Counting paths: nondeterminism as linear algebra
%J IEEE Transactions on Software Engineering
%K ieee_tse
%V SE-10
%N 6
%D November 1984
%P 785-794

%A Simeon C. Ntafos
%T On required element testing
%J IEEE Transactions on Software Engineering
%K ieee_tse
%V SE-10
%N 6
%D November 1984
%P 795-803

%A Mohammad G. Khayat
%T A concurrency measure
%J IEEE Transactions on Software Engineering
%K ieee_tse
%V SE-10
%N 6
%D November 1984
%P 804-810

%A Dennis W. Leinbaugh
%T Selectors: high-level resource schedulers
%J IEEE Transactions on Software Engineering
%K ieee_tse
%V SE-10
%N 6
%D November 1984
%P 810-825

%A Teuo Higashino
%A Masaaki Mori
%A Yuji Sugiyama
%A Kenichi Taniguchi
%A Tadao Kasami
%T An algebraic specification of HDLC procedures and its verification
%J IEEE Transactions on Software Engineering
%K ieee_tse
%V SE-10
%N 6
%D November 1984
%P 825-836

%A Giuseppe Serazzi
%A Mari Calzarossa
%T Adaptive optimization of a system's load
%J IEEE Transactions on Software Engineering
%K ieee_tse
%V SE-10
%N 6
%D November 1984
%P 837-846

%A Mohamed G. Gouda
%T Closed covers: to verify progress
for communicating finite state machines
%J IEEE Transactions on Software Engineering
%K ieee_tse
%V SE-10
%N 6
%D November 1984
%P 846-855

%A B.G. Claybrook
%A A.M. Claybrook
%A J. Williams
%T Defining database views as data abstractions
%J IEEE Transactions on Software Engineering
%K ieee_tse
%V SE-11
%N 1
%D January 1985
%P 3-14

%A C. Mohan
%A D. Fassell
%A Z.M. Kedem
%A A. Silberschatz
%T Lock conversion in non-two-phase locking protocols
%J IEEE Transactions on Software Engineering
%K ieee_tse
%V SE-11
%N 1
%D January 1985
%P 15-22

%A F. Cristian
%T A rigourous approach to fault tolerant programming
%J IEEE Transactions on Software Engineering
%K ieee_tse
%V SE-11
%N 1
%D January 1985
%P 23-31

%A R.A. Kemmerer
%T Testing formal specifications to detect design errors
%J IEEE Transactions on Software Engineering
%K ieee_tse
%V SE-11
%N 1
%D January 1985
%P 32-42

%A G.T. Almes
%A A.P. Black
%A E.D. Lazowska
%A J.D. Noe
%T The Eden system: a technical review
%J IEEE Transactions on Software Engineering
%K ieee_tse
%V SE-11
%N 1
%D January 1985
%P 43-58

%A M. Ahamad
%A A.J. Bernstein
%T An application of name based addressing to low level distributed algorithms
%J IEEE Transactions on Software Engineering
%K ieee_tse
%V SE-11
%N 1
%D January 1985
%P 59-66

%A M.K. Sinha
%A N. Natarajan
%T A priority based distributed deadlock detection algorithm
%J IEEE Transactions on Software Engineering
%K ieee_tse
%V SE-11
%N 1
%D January 1985
%P 67-79

%A B. Dassarathy
%T Timing constraints of real time systems:
constructs for expressing them, methods of validating them
%J IEEE Transactions on Software Engineering
%K ieee_tse
%V SE-11
%N 1
%D January 1985
%P 80-86

%A D.B. Lomet
%T Making pointers safe in system programming languages
%J IEEE Transactions on Software Engineering
%K ieee_tse
%V SE-11
%N 1
%D January 1985
%P 87-96

%A M. Jarke
%A J.A. Turner
%A E.A. Stohr
%A Y. Vassiliou
%A N.H. White
%A K. Michielson
%T A field evaluation of natural language for data retrieval
%J IEEE Transactions on Software Engineering
%K ieee_tse
%V SE-11
%N 1
%D January 1985
%P 97-113

%A J. Cohen
%A S. Kolodner
%T Estimating the speedup in parallel parsing
%J IEEE Transactions on Software Engineering
%K ieee_tse
%V SE-11
%N 1
%D January 1985
%P 114-124

%A M.O. Fryer
%T Risk assessment of computer controlled systems
%J IEEE Transactions on Software Engineering
%K ieee_tse
%V SE-11
%N 1
%D January 1985
%P 125-129

%A G. Harrus
%T A model for the basic block protocol of the Cambridge ring
%J IEEE Transactions on Software Engineering
%K ieee_tse
%V SE-11
%N 1
%D January 1985
%P 130-135

%A A. Pashtan
%T Operating system models in a Concurrent Pascal environment:
complexity and performance considerations
%J IEEE Transactions on Software Engineering
%K ieee_tse
%V SE-11
%N 1
%D January 1985
%P 136-146

%A David Lee Toumenoksa
%A Howard Jay Siegel
%T Task scheduling on the PASM parallel processing system
%J IEEE Transactions on Software Engineering
%K ieee_tse
%V SE-11
%N 2
%D February 1985
%P 145-157

%A David M. Weiss
%A Victor R. Basili
%T Evaluating software development by analysis of changes:
some data from the software engineering laboratory
%J IEEE Transactions on Software Engineering
%K ieee_tse
%V SE-11
%N 2
%D February 1985
%P 157-168

%A Ian J. Hayes
%T Applying formal specification to software development in industry
%J IEEE Transactions on Software Engineering
%K ieee_tse
%V SE-11
%N 2
%D February 1985
%P 169-178

%A Taiichi Yuasa
%A Reiji Nakajima
%T IOTA: a modular programming system
%J IEEE Transactions on Software Engineering
%K ieee_tse
%V SE-11
%N 2
%D February 1985
%P 179-187

%A Judith B. Peachey
%A Richard B. Bunt
%A Charles J. Colbourn
%T Some empirical observations on program behaviour
with applications to program restructuring
%J IEEE Transactions on Software Engineering
%K ieee_tse
%V SE-11
%N 2
%D February 1985
%P 188-193

%A Simonetta Balsamo
%A Giuseppe Iazeolla
%T Product-form synthesis of queueing networks
%J IEEE Transactions on Software Engineering
%K ieee_tse
%V SE-11
%N 2
%D February 1985
%P 194-199

%A Shojiro Muro
%A Toshihide Ibaraki
%A Hidehiro Miyajima
%A Toshiharu Hasegawa
%T Evaluation of the file redundancy in distributed database systems
%J IEEE Transactions on Software Engineering
%K ieee_tse
%V SE-11
%N 2
%D February 1985
%P 199-205

%A Arvola Chan
%A Robert Gray
%T Implementing distributed read-only transactions
%J IEEE Transactions on Software Engineering
%K ieee_tse
%V SE-11
%N 2
%D February 1985
%P 205-212

%A Hung-Chang Du
%T On the file design problem for partial-match retrieval
%J IEEE Transactions on Software Engineering
%K ieee_tse
%V SE-11
%N 2
%D February 1985
%P 213-222

%A Ravishankar K. Iyer
%A Paola Velardi
%T Hardware-related software errors: measurement and analysis
%J IEEE Transactions on Software Engineering
%K ieee_tse
%V SE-11
%N 2
%D February 1985
%P 223-231

%A Howard A. Jensen
%A K. Vairavan
%T An experimental study of software metrics for real-time software
%J IEEE Transactions on Software Engineering
%K ieee_tse
%V SE-11
%N 2
%D February 1985
%P 231-234

%A Michel Bidoit
%A Brigitte Biebow
%A Marie-Claude Gaudel
%A Christian Gresse
%A Gerard D. Guiho
%T Exception handling: formal specification
and systematic program construction
%J IEEE Transactions on Software Engineering
%K ieee_tse
%V SE-11
%N 3
%D March 1985
%P 242-252

%A Stephen W. Draper
%A Donald A. Norman
%T Software engineering for user interfaces
%J IEEE Transactions on Software Engineering
%K ieee_tse
%V SE-11
%N 3
%D March 1985
%P 252-258

%A David Lorge Parnas
%A Paul C. Clements
%A David M. Weiss
%T The modular structure of complex systems
%J IEEE Transactions on Software Engineering
%K ieee_tse
%V SE-11
%N 3
%D March 1985
%P 259-2266

%A W. Lewis Johnson
%A Elliot Soloway
%T PROUST: knowledge-based program understanding
%J IEEE Transactions on Software Engineering
%K ieee_tse
%V SE-11
%N 3
%D March 1985
%P 267-275

%A Steven P. Reiss
%T PECAN: program development systems that support multiple views
%J IEEE Transactions on Software Engineering
%K ieee_tse
%V SE-11
%N 3
%D March 1985
%P 276-285

%A Warren Teitelman
%T A tour through Cedar
%J IEEE Transactions on Software Engineering
%K ieee_tse
%V SE-11
%N 3
%D March 1985
%P 285-302

%A Richard N. Taylor
%A Thomas A. Standish
%T Steps to an advanced Ada programming environment
%J IEEE Transactions on Software Engineering
%K ieee_tse
%V SE-11
%N 3
%D March 1985
%P 302-310

%A V.Y. Shen
%A T.J. Yu
%A S.M. Thebaut
%A L.R. Pausen
%T Identifying error-prone software - an empirical study
%J IEEE Transactions on Software Engineering
%K ieee_tse
%V SE-11
%N 4
%D April 1985
%P 317-323

%A S. Ceri
%A G. Gottlob
%T Translating SQL into relational algebra:
optimization, semantics, and equivalence of SQL queries
%J IEEE Transactions on Software Engineering
%K ieee_tse
%V SE-11
%N 4
%D April 1985
%P 324-345

%A A. Thomasian
%T Performance evaluation of centralised databases with static locking
%J IEEE Transactions on Software Engineering
%K ieee_tse
%V SE-11
%N 4
%D April 1985
%P 346-354

%A N. Roussopoulos
%A R.T. Yeh
%T SEES - a software testing environment support system
%J IEEE Transactions on Software Engineering
%K ieee_tse
%V SE-11
%N 4
%D April 1985
%P 355-366

%A S. Rapps
%A E.J. Weyuker
%T Selecting software test data using data flow information
%J IEEE Transactions on Software Engineering
%K ieee_tse
%V SE-11
%N 4
%D April 1985
%P 367-374

%A T. Downs
%T An approach to the modeling of software testing with some applications
%J IEEE Transactions on Software Engineering
%K ieee_tse
%V SE-11
%N 4
%D April 1985
%P 375-386

%A D.E. Comer
%A N.H. Gehani
%T Flex: a high level language for specifying customized microprocessors
%J IEEE Transactions on Software Engineering
%K ieee_tse
%V SE-11
%N 4
%D April 1985
%P 387-395

%A N. Natarajan
%T Communication and synchronization primitives for distributed programs
%J IEEE Transactions on Software Engineering
%K ieee_tse
%V SE-11
%N 4
%D April 1985
%P 396-416

%A M.K. Molloy
%T Discrete time stochastic Petri nets
%J IEEE Transactions on Software Engineering
%K ieee_tse
%V SE-11
%N 4
%D April 1985
%P 417-423

%A J. Kramer
%A J. Magee
%T Dynamic configuration for distributed systems
%J IEEE Transactions on Software Engineering
%K ieee_tse
%V SE-11
%N 4
%D April 1985
%P 424-436

%A C.C. Wang
%A M.L. Soffa
%T Eager reclamation
%J IEEE Transactions on Software Engineering
%K ieee_tse
%V SE-11
%N 4
%D April 1985
%P 437-438

%A F. Luccio
%T Variations on a method for representing data items of unlimited length
%J IEEE Transactions on Software Engineering
%K ieee_tse
%V SE-11
%N 4
%D April 1985
%P 439-441

%A Arthur J. Bernstein
%T A loosely coupled system for reliably storing data
%J IEEE Transactions on Software Engineering
%K ieee_tse
%V SE-11
%N 5
%D May 1985
%P 446-454

%A David B. MacQueen
%A Donald T. Sannella
%T Completeness of proof systems for equational specifications
%J IEEE Transactions on Software Engineering
%K ieee_tse
%V SE-11
%N 5
%D May 1985
%P 454-461

%A Mukul K. Sinha
%T Atomic action and resource coordination problems
having unique solutions
%J IEEE Transactions on Software Engineering
%K ieee_tse
%V SE-11
%N 5
%D May 1985
%P 461-471

%A Ronald H. Perrott
%A Danny Crookes
%A Peter Milligan
%A W.R. Martin Purdy
%T A compiler for an array and vector processing language
%J IEEE Transactions on Software Engineering
%K ieee_tse
%V SE-11
%N 5
%D May 1985
%P 471-478

%A Sheldon M. Ross
%T Statistical estimation of software reliability
%J IEEE Transactions on Software Engineering
%K ieee_tse
%V SE-11
%N 5
%D May 1985
%P 479-483

%A Giancarlo Martella
%A Barbara Pernici
%A Fabio A. Schreiber
%T An availability model for distributed transaction systems
%J IEEE Transactions on Software Engineering
%K ieee_tse
%V SE-11
%N 5
%D May 1985
%P 483-491

%A Lionel M. Ni
%A Kai Hwang
%T Optimal load balancing in a multiple processor system
with many job classes
%J IEEE Transactions on Software Engineering
%K ieee_tse
%V SE-11
%N 5
%D May 1985
%P 491-496

%A K.P. Birman
%A T. A. Jospeh
%A T. Raeuchle
%A A.E. Abbadi
%T Implementing fault tolerant distributed objects
%J IEEE Transactions on Software Engineering
%K ieee_tse
%V SE-11
%N 6
%D June 1985
%P 502-508

%A M.S. McKendry
%T Ordering actions for visibility
%J IEEE Transactions on Software Engineering
%K ieee_tse
%V SE-11
%N 6
%D June 1985
%P 509-519

%A A. Z. Spector
%A J. Butcher
%A D.S. Daniels
%A D.J. Duchamp
%A J.L. Eppinger
%A C.E. Fineman
%A A. Heddaya
%A P.M. Schwarz
%T Support for distributed transactions in the TABS prototype
%J IEEE Transactions on Software Engineering
%K ieee_tse
%V SE-11
%N 6
%D June 1985
%P 520-530

%A B. Chor
%A B.A. Coan
%T A simple and efficient randomized Byzantine agreement algorithm
%J IEEE Transactions on Software Engineering
%K ieee_tse
%V SE-11
%N 6
%D June 1985
%P 531-538

%A K.J. Perry
%T Randomized Byzantine agreement
%J IEEE Transactions on Software Engineering
%K ieee_tse
%V SE-11
%N 6
%D June 1985
%P 539-545

%A O. Bahaogla
%A R. Drummond
%T Streets of Byzantium: network architectures for fast reliable broadcasts
%J IEEE Transactions on Software Engineering
%K ieee_tse
%V SE-11
%N 6
%D June 1985
%P 546-554

%A R.D. Schlichting
%T A technique for estimating performance of fault tolerant programs
%J IEEE Transactions on Software Engineering
%K ieee_tse
%V SE-11
%N 6
%D June 1985
%P 555-563

%A N. Griffeth
%A J.A. Miller
%T Performance modeling of database recovery protocols
%J IEEE Transactions on Software Engineering
%K ieee_tse
%V SE-11
%N 6
%D June 1985
%P 564-571

%A P.B. Berra
%T Computers come and go but data go on forever
%J IEEE Transactions on Software Engineering
%K ieee_tse
%V SE-11
%N 7
%D July 1985
%P 573

%A R.P. Braegger
%A A.M. Dudler
%A J. Rebsamen
%A C.A. Zehnder
%T Gambit: an interactive database design tool
for data structures, integrity constraints, and transactions
%J IEEE Transactions on Software Engineering
%K ieee_tse
%V SE-11
%N 7
%D July 1985
%P 574-582

%A D.B. Farmer
%A R. King
%A D.A. Myers
%T The semantic database constructor
%J IEEE Transactions on Software Engineering
%K ieee_tse
%V SE-11
%N 7
%D July 1985
%P 583-590

%A S.P. Ghosh
%T An application of statistical databases in manufacturing testing
%J IEEE Transactions on Software Engineering
%K ieee_tse
%V SE-11
%N 7
%D July 1985
%P 591-597

%A S.D. Urban
%A J.E. Urban
%A W.D. Dominick
%T Utilizing an executable specification language for an information system
%J IEEE Transactions on Software Engineering
%K ieee_tse
%V SE-11
%N 7
%D July 1985
%P 598-605

%A B.W. Wah
%A Y.-N. Lien
%T Design of distributed databases
on local computer systems with multiaccess network
%J IEEE Transactions on Software Engineering
%K ieee_tse
%V SE-11
%N 7
%D July 1985
%P 606-619

%A A.M. Keller
%A M.W. Wilkins
%T On the use of an extended relational model
to handle changing incomplete information
%J IEEE Transactions on Software Engineering
%K ieee_tse
%V SE-11
%N 7
%D July 1985
%P 620-633

%A C. Parent
%A S. Spaccapietra
%T An algebra for a general entity-relationship model
%J IEEE Transactions on Software Engineering
%K ieee_tse
%V SE-11
%N 7
%D July 1985
%P 634-643

%A D. Maier
%A D. Rozenshtein
%A J. Stein
%T Representing roles in universal scheme interfaces
%J IEEE Transactions on Software Engineering
%K ieee_tse
%V SE-11
%N 7
%D July 1985
%P 644-652

%A V. Berzins
%A M. Gray
%T Analysis and design in MSG84: formalizing functional specifications
%J IEEE Transactions on Software Engineering
%K ieee_tse
%V SE-11
%N 8
%D August 1985
%P 657-670

%A U.H. Chi
%T Formal specification of user interfaces:
a comparison and evaluation of four axiomatic approaches
%J IEEE Transactions on Software Engineering
%K ieee_tse
%V SE-11
%N 8
%D August 1985
%P 671-685

%A L.J. Bass
%T An approach to user specification of interactive display interfaces
%J IEEE Transactions on Software Engineering
%K ieee_tse
%V SE-11
%N 8
%D August 1985
%P 685-698

%A A.I. Wasserman
%T Extending state transition diagrams
for the specification of human computer interfaces
%J IEEE Transactions on Software Engineering
%K ieee_tse
%V SE-11
%N 8
%D August 1985
%P 699-713

%A J. Gait
%T An aspect of aesthetics in human computer communication: pretty windows
%J IEEE Transactions on Software Engineering
%K ieee_tse
%V SE-11
%N 8
%D August 1985
%P 714-717

%A F.B. Bastani
%T Experiences with a feedback version development methodology
%J IEEE Transactions on Software Engineering
%K ieee_tse
%V SE-11
%N 8
%D August 1985
%P 718-723

%A S.-K. Chang
%A W.-L. Chan
%T Transformation and verification of office procedures
%J IEEE Transactions on Software Engineering
%K ieee_tse
%V SE-11
%N 8
%D August 1985
%P 724-734

%A A. Mili
%T Towards a theory of forward error recovery
%J IEEE Transactions on Software Engineering
%K ieee_tse
%V SE-11
%N 8
%D August 1985
%P 735-748

%A D.H. Hutchens
%A V.R. Basili
%T System structure analysis: clustering with data bindings
%J IEEE Transactions on Software Engineering
%K ieee_tse
%V SE-11
%N 8
%D August 1985
%P 749-757

%A A. Gabrielian
%A L.P. McNamee
%A D.J. Trawick
%T The qualified function approach
to analysis of program behavior and performance
%J IEEE Transactions on Software Engineering
%K ieee_tse
%V SE-11
%N 8
%D August 1985
%P 758-773

%A K. Ramamritham
%T Synthesizing code for resource controllers
%J IEEE Transactions on Software Engineering
%K ieee_tse
%V SE-11
%N 8
%D August 1985
%P 774-783

%A V. Ambriola
%A F. Giannotti
%A D. Pedreschi
%A F. Turini
%T Symbolic semantics and program reduction
%J IEEE Transactions on Software Engineering
%K ieee_tse
%V SE-11
%N 8
%D August 1985
%P 784-794

%A C.T. Yu
%A C.C. Chang
%A M. Templeton
%A D. Brill
%A K. Lund
%T Query processing in a fragmented relational distributed system: Mermaid
%J IEEE Transactions on Software Engineering
%K ieee_tse
%V SE-11
%N 8
%D August 1985
%P 795-810

%A S.-K. Chang
%A E. Jungert
%A S. Levialdi
%A G. Tortora
%A T. Ichikawa
%T An image processing language with icon-assisted navigation
%J IEEE Transactions on Software Engineering
%K ieee_tse
%V SE-11
%N 8
%D August 1985
%P 811-819

%A C. Wilson
%A L.J. Osterweil
%T Omega - a data flow analysis tool for the C programming language
%J IEEE Transactions on Software Engineering
%K ieee_tse
%V SE-11
%N 9
%D September 1985
%P 832-838

%A R. Troy
%A R. Moawad
%T Assessment of software reliability models
%J IEEE Transactions on Software Engineering
%K ieee_tse
%V SE-11
%N 9
%D September 1985
%P 839-848

%A S.S. Yau
%A J.S. Collofello
%T Design stability measures for software maintenance
%J IEEE Transactions on Software Engineering
%K ieee_tse
%V SE-11
%N 9
%D September 1985
%P 849-856

%A F.B. Bastani
%T On the uncertainty in the correctness of computer programs
%J IEEE Transactions on Software Engineering
%K ieee_tse
%V SE-11
%N 9
%D September 1985
%P 857-864

%A L. Lilien
%A B. Bhargava
%T Database integrity block construct: concepts and design issues
%J IEEE Transactions on Software Engineering
%K ieee_tse
%V SE-11
%N 9
%D September 1985
%P 865-885

%A C.V. Ramamoorthy
%A S.T. Dong
%A Y. Usuda
%T An implementation of an automated protocol synthesizer (APS)
and its application to the X.21 protocol
%J IEEE Transactions on Software Engineering
%K ieee_tse
%V SE-11
%N 9
%D September 1985
%P 886-908

%A H.M. Sneed
%A A. Merey
%T Automated software quality assurance
%J IEEE Transactions on Software Engineering
%K ieee_tse
%V SE-11
%N 9
%D September 1985
%P 909-916

%A T.J. McCabe
%A G.G. Schulmeyer
%T System testing aided by structured analysis: a practical experience
%J IEEE Transactions on Software Engineering
%K ieee_tse
%V SE-11
%N 9
%D September 1985
%P 917-921

%A B.W. Wah
%A C.F. Yu
%T Stochastic modeling of branch-and-bound algorithms with best-first search
%J IEEE Transactions on Software Engineering
%K ieee_tse
%V SE-11
%N 9
%D September 1985
%P 922-933

%A M.S. Karasik
%T Environmental testing techniques for software certification
%J IEEE Transactions on Software Engineering
%K ieee_tse
%V SE-11
%N 9
%D September 1985
%P 934-938

%A B.P. McCune
%A R.M. Tong
%A J.S. Dean
%A D.G. Shapiro
%T RUBRIC: a system for rule-based information retrieval
%J IEEE Transactions on Software Engineering
%K ieee_tse
%V SE-11
%N 9
%D September 1985
%P 939-944

%A M. Azuma
%A T. Tabata
%A Y. Oki
%A S. Kamiya
%T SPD: a humanized documentation technology
%J IEEE Transactions on Software Engineering
%K ieee_tse
%V SE-11
%N 9
%D September 1985
%P 945-953

%A M. Yoshida
%A K. Mizumachi
%A A. Wakino
%A I. Oyake
%A Y. Matsushita
%T Time and cost evaluation schemes of multiple copies of data
in distributed database systems
%J IEEE Transactions on Software Engineering
%K ieee_tse
%V SE-11
%N 9
%D September 1985
%P 954-958

%A C.T. Yu
%A M.-K. Siu
%A K. Lam
%A C.H. Chen
%T Adpative file allocation in star computer network
%J IEEE Transactions on Software Engineering
%K ieee_tse
%V SE-11
%N 9
%D September 1985
%P 959-965

%A C.R. Carlson
%A A.K. Arora
%T Toward the next generation of data modeling tools
%J IEEE Transactions on Software Engineering
%K ieee_tse
%V SE-11
%N 9
%D September 1985
%P 966-969

%A C.L. Cline
%A H.J. Siegel
%T Augmenting Ada for SIMD parallel processing
%J IEEE Transactions on Software Engineering
%K ieee_tse
%V SE-11
%N 9
%D September 1985
%P 970-977

%A C.W. Doerflinger
%A V.R. Basili
%T Monitoring software development through dynamic variables
%J IEEE Transactions on Software Engineering
%K ieee_tse
%V SE-11
%N 9
%D September 1985
%P 978-985

%A D. Keirsey
%A J. Mitchell
%A B. Bullock
%A T. Nussmeier
%A D.V. Tseng
%T Autonomous vehicle control using AI techniques
%J IEEE Transactions on Software Engineering
%K ieee_tse
%V SE-11
%N 9
%D September 1985
%P 986-991

%A A.H. Konstam
%A D.E. Wood
%T Software science applied to APL
%J IEEE Transactions on Software Engineering
%K ieee_tse
%V SE-11
%N 10
%D October 1985
%P 994-1000

%A C.P. Kruskal
%A A. Wesiss
%T Allocating independent subtasks on parallel processors
%J IEEE Transactions on Software Engineering
%K ieee_tse
%V SE-11
%N 10
%D October 1985
%P 1001-1015

%A F. Panzieri
%A B. Randell
%T Interfacing Unix to data communications networks
%J IEEE Transactions on Software Engineering
%K ieee_tse
%V SE-11
%N 10
%D October 1985
%P 1016-1032

%A R. Ford
%A K. Miller
%T Abstract data type development and implementation: an example
%J IEEE Transactions on Software Engineering
%K ieee_tse
%V SE-11
%N 10
%D October 1985
%P 1033-1037

%A A. Shoshani
%A H.K.T. Wong
%T Statistical and scientific database issues
%J IEEE Transactions on Software Engineering
%K ieee_tse
%V SE-11
%N 10
%D October 1985
%P 1040-1046

%A M.A. Bassiouni
%T Data compression in scientific and statistical databases
%J IEEE Transactions on Software Engineering
%K ieee_tse
%V SE-11
%N 10
%D October 1985
%P 1047-1057

%A S.N. Khoshafian
%A D.M. Bates
%A D.J. DeWitt
%T Efficient support of statistical operations
%J IEEE Transactions on Software Engineering
%K ieee_tse
%V SE-11
%N 10
%D October 1985
%P 1058-1070

%A G. Ozsoyoglu
%A Z.M. Ozsoyoglu
%T Statistical database query languages
%J IEEE Transactions on Software Engineering
%K ieee_tse
%V SE-11
%N 10
%D October 1985
%P 1071-1080

%A N.C. Rowe
%T Antisampling for estimation: an overview
%J IEEE Transactions on Software Engineering
%K ieee_tse
%V SE-11
%N 10
%D October 1985
%P 1081-1091

%A S.F. Lindstrom
%A E.E. Swartzlander,\ Jr.
%T Advances in distributed computing systems
%J IEEE Transactions on Software Engineering
%K ieee_tse
%V SE-11
%N 10
%D October 1985
%P 1092-1096

%A A.L.P. Chen
%A V.O.K. Li
%T An optimal algorithm for processing distributed star queries
%J IEEE Transactions on Software Engineering
%K ieee_tse
%V SE-11
%N 10
%D October 1985
%P 1097-1106

%A D.M. Topkis
%T Concurrent broadcast for information dissemination
%J IEEE Transactions on Software Engineering
%K ieee_tse
%V SE-11
%N 10
%D October 1985
%P 1107-1112

%A J.P. Huang
%T Modeling of software partition for distributed real-time applications
%J IEEE Transactions on Software Engineering
%K ieee_tse
%V SE-11
%N 10
%D October 1985
%P 1113-1125

%A K.-J. Lin
%A J.D. Gannon
%T Atomic remote procedure call
%J IEEE Transactions on Software Engineering
%K ieee_tse
%V SE-11
%N 10
%D October 1985
%P 1126-1135

%A B. Szymanski
%A Y. Shi
%A N.S. Prywes
%T Synchronized distributed termination
%J IEEE Transactions on Software Engineering
%K ieee_tse
%V SE-11
%N 10
%D October 1985
%P 1136-1140

%A J.A. Stankovic
%T Stability and distributed scheduling algorithms
%J IEEE Transactions on Software Engineering
%K ieee_tse
%V SE-11
%N 10
%D October 1985
%P 1141-1152

%A L.M. Ni
%A C.-W. Xu
%A T.B. Gendreau
%T A distributed drafting algorithm for load balancing
%J IEEE Transactions on Software Engineering
%K ieee_tse
%V SE-11
%N 10
%D October 1985
%P 1153-1161

%A K.A. Lantz
%A W.I. Nowicki
%A M.M. Theimer
%T An empirical study of distributed application performance
%J IEEE Transactions on Software Engineering
%K ieee_tse
%V SE-11
%N 10
%D October 1985
%P 1162-1173

%A A.P. Sheth
%A A. Singhal
%A M.T. Liu
%T An analysis of the effect of network parameters
on the performance of distributed database systems
%J IEEE Transactions on Software Engineering
%K ieee_tse
%V SE-11
%N 10
%D October 1985
%P 1174-1183

%A C.S. Raghavendra
%A S. Hariri
%T Reliability optimization in the design of distributed systems
%J IEEE Transactions on Software Engineering
%K ieee_tse
%V SE-11
%N 10
%D October 1985
%P 1184-1192

%A S.M. Shatz
%T Post-failure reconfiguration of CSP programs
%J IEEE Transactions on Software Engineering
%K ieee_tse
%V SE-11
%N 10
%D October 1985
%P 1193-1202

%A A. Thomasian
%A P.F. Bay
%T Integrated performance models for distributed processing
in computer communication networks
%J IEEE Transactions on Software Engineering
%K ieee_tse
%V SE-11
%N 10
%D October 1985
%P 1203-1215

%A K. Garg
%T An approach to performance specification of communication protocols
using timed Petri nets
%J IEEE Transactions on Software Engineering
%K ieee_tse
%V SE-11
%N 10
%D October 1985
%P 1216-1224

%A M.T. Ozsu
%T Modeling and analysis of distributed database concurrency control
algorithms using an extended Petri net formalism
%J IEEE Transactions on Software Engineering
%K ieee_tse
%V SE-11
%N 10
%D October 1985
%P 1225-1239

%A M.G. Gouda
%A H.-S. Lee
%T Proving liveness and termination of systolic arrays
using communicating finite state machines
%J IEEE Transactions on Software Engineering
%K ieee_tse
%V SE-11
%N 10
%D October 1985
%P 1240-1251

%A J. Mostow
%T What is AI ? and what does it have to do with software engineering ?
%J IEEE Transactions on Software Engineering
%K ieee_tse
%V SE-11
%N 11
%D November 1985
%P 1253-1256

%A R. Balzer
%T A 15 year perspective on automatic programming
%J IEEE Transactions on Software Engineering
%K ieee_tse
%V SE-11
%N 11
%D November 1985
%P 1257-1267

%A S.F. Fickas
%T Automating the transformational development of software
%J IEEE Transactions on Software Engineering
%K ieee_tse
%V SE-11
%N 11
%D November 1985
%P 1268-1277

%A D.R. Smith
%A G.B. Kotik
%A S.J. Westfold
%T Research on knowledge-based software environments at Kestrel Insitute
%J IEEE Transactions on Software Engineering
%K ieee_tse
%V SE-11
%N 11
%D November 1985
%P 1278-1295

%A R.C. Waters
%T The programmer's apprentice: a session with KBEmacs
%J IEEE Transactions on Software Engineering
%K ieee_tse
%V SE-11
%N 11
%D November 1985
%P 1296-1320

%A D.R. Barstow
%T Domain-specific automatic programming
%J IEEE Transactions on Software Engineering
%K ieee_tse
%V SE-11
%N 11
%D November 1985
%P 1321-1336

%A R. Neches
%A W.R. Swartout
%A J.D. Moore
%T Enhanced maintenance and explanation of expert systems
through explicit models of their development
%J IEEE Transactions on Software Engineering
%K ieee_tse
%V SE-11
%N 11
%D November 1985
%P 1337-1350

%A B. Adelson
%A E. Soloway
%T The role of domain experience in software design
%J IEEE Transactions on Software Engineering
%K ieee_tse
%V SE-11
%N 11
%D November 1985
%P 1351-1360

%A E. Kant
%T Understanding and automating algorithm design
%J IEEE Transactions on Software Engineering
%K ieee_tse
%V SE-11
%N 11
%D November 1985
%P 1361-1374

%A D.M. Steier
%A E. Kant
%T The roles of execution and analysis in algorithm design
%J IEEE Transactions on Software Engineering
%K ieee_tse
%V SE-11
%N 11
%D November 1985
%P 1375-1385

%A J. Doyle
%T Expert systems and the "myth" of symbolic reasoning
%J IEEE Transactions on Software Engineering
%K ieee_tse
%V SE-11
%N 11
%D November 1985
%P 1386-1390

%A P.A. Subrahmanyan
%T The "software engineering" of expert systems: is Prolog appropriate ?
%J IEEE Transactions on Software Engineering
%K ieee_tse
%V SE-11
%N 11
%D November 1985
%P 1391-1400

%A D.G. Bobrow
%T If Prolog is the answer, what is the question ?
or what it takes to support AI programming paradigms
%J IEEE Transactions on Software Engineering
%K ieee_tse
%V SE-11
%N 11
%D November 1985
%P 1401

%A A.L. Goel
%T Software reliability models:
assumptions, limitations, and applicability
%J IEEE Transactions on Software Engineering
%K ieee_tse
%V SE-11
%N 12
%D December 1985
%P 1411-1423

%A K. Okumoto
%T A statistical method for software quality control
%J IEEE Transactions on Software Engineering
%K ieee_tse
%V SE-11
%N 12
%D December 1985
%P 1424-1430

%A S. Yamada
%A S. Osaki
%T Software reliability growth modeling: models and applications
%J IEEE Transactions on Software Engineering
%K ieee_tse
%V SE-11
%N 12
%D December 1985
%P 1431-1437

%A R.K. Iyer
%A D.J. Rossetti
%T Effect of system workload on operating system reliability:
a study on IBM 3081
%J IEEE Transactions on Software Engineering
%K ieee_tse
%V SE-11
%N 12
%D December 1985
%P 1438-1448

%A J.P. Cavano
%T Toward high confidence software
%J IEEE Transactions on Software Engineering
%K ieee_tse
%V SE-11
%N 12
%D December 1985
%P 1449-1455

%A N.D. Singpurwalla
%A R. Soyer
%T Assessing (software) reliability growth
using a random coefficient autoregressive process an its ramifications
%J IEEE Transactions on Software Engineering
%K ieee_tse
%V SE-11
%N 12
%D December 1985
%P 1456-1464

%A W.S. Jewell
%T Bayesian extensions to a basic model of software reliability
%J IEEE Transactions on Software Engineering
%K ieee_tse
%V SE-11
%N 12
%D December 1985
%P 1465-1471

%A S.M. Ross
%T Software reliability: the stopping rule problem
%J IEEE Transactions on Software Engineering
%K ieee_tse
%V SE-11
%N 12
%D December 1985
%P 1472-1476

%A D.J. Richardson
%A L.A. Clarke
%T Partition analysis: a method combining testing and verification
%J IEEE Transactions on Software Engineering
%K ieee_tse
%V SE-11
%N 12
%D December 1985
%P 1477-1490

%A A. Avizienis
%T The N-version approach to fault-tolerant software
%J IEEE Transactions on Software Engineering
%K ieee_tse
%V SE-11
%N 12
%D December 1985
%P 1491-1501

%A T. Anderson
%A P.A. Barrett
%A D.N. Halliwell
%A M.R. Moulding
%T Software fault tolerance: an evaluation
%J IEEE Transactions on Software Engineering
%K ieee_tse
%V SE-11
%N 12
%D December 1985
%P 1502-1510

%A D.E. Eckhardt,\ Jr.
%A L.D. Lee
%T A theoretical basis for the analysis of multiversion software
subject to coincident errors
%J IEEE Transactions on Software Engineering
%K ieee_tse
%V SE-11
%N 12
%D December 1985
%P 1511-1516

%A P.A. Currit
%A M. Dyer
%A H.D. Mills
%T Certifying the reliability of software
%J IEEE Transactions on Software Engineering
%K ieee_tse
%V SE-12
%N 1
%D January 1986
%P 3-11

%A D.R. Miller
%T Exponential order statistic models of software reliability growth
%J IEEE Transactions on Software Engineering
%K ieee_tse
%V SE-12
%N 1
%D January 1986
%P 12-24

%A F.W. Scholz
%T Software reliability modeling and analysis
%J IEEE Transactions on Software Engineering
%K ieee_tse
%V SE-12
%N 1
%D January 1986
%P 25-31

%A U. Sumita
%A Y. Masuda
%T Analysis of software availability/reliability
under the influence of hardware failures
%J IEEE Transactions on Software Engineering
%K ieee_tse
%V SE-12
%N 1
%D January 1986
%P 32-41

%A V.K.P. Kumar
%A S. Hariri
%A C.S. Raghavendra
%T Distributed program reliability analysis
%J IEEE Transactions on Software Engineering
%K ieee_tse
%V SE-12
%N 1
%D January 1986
%P 42-50

%A H. Hecht
%A M. Hecht
%T Software reliability in the system context
%J IEEE Transactions on Software Engineering
%K ieee_tse
%V SE-12
%N 1
%D January 1986
%P 51-58

%A P. Jalote
%A R.H. Campbell
%T Atomic actions for fault-tolerance using CSP
%J IEEE Transactions on Software Engineering
%K ieee_tse
%V SE-12
%N 1
%D January 1986
%P 59-68

%A D.J. Taylor
%T Concurrency and forward recovery in atomic actions
%J IEEE Transactions on Software Engineering
%K ieee_tse
%V SE-12
%N 1
%D January 1986
%P 69-78

%A L. Mancini
%T Modular redundancy in a message passing system
%J IEEE Transactions on Software Engineering
%K ieee_tse
%V SE-12
%N 1
%D January 1986
%P 79-86

%A J.S. Upadkyaya
%A K.K. Saluja
%T A watchdog processor based general rollback technique with multiple retries
%J IEEE Transactions on Software Engineering
%K ieee_tse
%V SE-12
%N 1
%D January 1986
%P 87-95

%A J.C. Knight
%A N.G. Leveson
%T An experimental evaluation of the assumption of independence
in multiversion programming
%J IEEE Transactions on Software Engineering
%K ieee_tse
%V SE-12
%N 1
%D January 1986
%P 96-109

%A J.R. Durham
%T Experiments in software reliability: life-critical applications
%J IEEE Transactions on Software Engineering
%K ieee_tse
%V SE-12
%N 1
%D January 1986
%P 110-123

%A I.J. Hayes
%T Specification directed module testing
%J IEEE Transactions on Software Engineering
%K ieee_tse
%V SE-12
%N 1
%D January 1986
%P 124-133

%A H. Tsubotani
%A N. Monden
%A M. Tanaka
%A T. Ichikawa
%T A high level language-based computing environment
to support production and execution of reliable programs
%J IEEE Transactions on Software Engineering
%K ieee_tse
%V SE-12
%N 1
%D January 1986
%P 134-146

%A A.I. Wasserman
%A P.A. Pircher
%A D.T. Shewmake
%T Building reliable interactive information systems
%J IEEE Transactions on Software Engineering
%K ieee_tse
%V SE-12
%N 1
%D January 1986
%P 147-156

%A R.E. Strom
%A S. Yemini
%T Typestate: a programming language concept for enhancing software reliability
%J IEEE Transactions on Software Engineering
%K ieee_tse
%V SE-12
%N 1
%D January 1986
%P 157-171

%A Z.L. Lichtman
%T Generation and consistency checking of design and program structures
%J IEEE Transactions on Software Engineering
%K ieee_tse
%V SE-12
%N 1
%D January 1986
%P 172-181

%A H.D. Mills
%A R.C. Linger
%T Data structured programming: program design without arrays and pointers
%J IEEE Transactions on Software Engineering
%K ieee_tse
%V SE-12
%N 2
%D February 1986
%P 192-197

%A P.T. Ward
%T The transformation schema:
an extension of the data flow diagram to represent control and timing
%J IEEE Transactions on Software Engineering
%K ieee_tse
%V SE-12
%N 2
%D February 1986
%P 198-210

%A G. Booch
%T Object-oriented development
%J IEEE Transactions on Software Engineering
%K ieee_tse
%V SE-12
%N 2
%D February 1986
%P 211-221

%A J.R. Cameron
%T An overview of JSD
%J IEEE Transactions on Software Engineering
%K ieee_tse
%V SE-12
%N 2
%D February 1986
%P 222-240

%A P. Henderson
%T Functional programming, formal specification, and rapid prototyping
%J IEEE Transactions on Software Engineering
%K ieee_tse
%V SE-12
%N 2
%D February 1986
%P 241-250

%A D.L. Parnas
%A P.C. Clements
%T A rational design process: how and why to fake it
%J IEEE Transactions on Software Engineering
%K ieee_tse
%V SE-12
%N 2
%D February 1986
%P 251-257

%A H.J. Barnard
%A R.F. Metz
%A A.L. Price
%T A recommended practice for describing software designs:
IEEE standards project 1016
%J IEEE Transactions on Software Engineering
%K ieee_tse
%V SE-12
%N 2
%D February 1986
%P 258-263

%A D.N. Card
%A V.E. Church
%A W.W. Agresti
%T An empirical study of software design practices
%J IEEE Transactions on Software Engineering
%K ieee_tse
%V SE-12
%N 2
%D February 1986
%P 264-271

%A L.S. Levy
%T A metaprogramming method and its economic justification
%J IEEE Transactions on Software Engineering
%K ieee_tse
%V SE-12
%N 2
%D February 1986
%P 272-277

%A G.S. Avrunin
%A L.K. Dillon
%A J.C. Wileden
%A W.E. Riddle
%T Constrained expressions:
adding analysis capabilities to design methods for concurrent systems
%J IEEE Transactions on Software Engineering
%K ieee_tse
%V SE-12
%N 2
%D February 1986
%P 278-292

%A G. Estrin
%A R.S. Fenchel
%A R.R. Razouk
%A M.K. Vernon
%T SARA (System ARchitects Apprentice):
modeling, analysis and simulation support for design of concurrent systems
%J IEEE Transactions on Software Engineering
%K ieee_tse
%V SE-12
%N 2
%D February 1986
%P 293-311

%A P. Zave
%A W. Schell
%T Salient features of an executable specification language and its environment
%J IEEE Transactions on Software Engineering
%K ieee_tse
%V SE-12
%N 2
%D February 1986
%P 312-325

%A A.I. Wasserman
%A P.A. Pircher
%A D.T. Shewmake
%A M.L. Kersten
%T Developing interactive information systems
with the user software engineering methodology
%J IEEE Transactions on Software Engineering
%K ieee_tse
%V SE-12
%N 2
%D February 1986
%P 326-345

%A G. Bruno
%A G. Marchetta
%T Process-translatable Petri nets
for the rapid prototyping of process control systems
%J IEEE Transactions on Software Engineering
%K ieee_tse
%V SE-12
%N 2
%D February 1986
%P 346-357

%A J.S. Tseng
%A B. Szymanski
%A Y. Shi
%A N.S. Prywes
%T Real-time software life cycle with the model system
%J IEEE Transactions on Software Engineering
%K ieee_tse
%V SE-12
%N 2
%D February 1986
%P 358-373

%A S. Rotenstreich
%A W.E. Howden
%T Two-dimensional program design
%J IEEE Transactions on Software Engineering
%K ieee_tse
%V SE-12
%N 3
%D March 1986
%P 377-384

%A K. Schwan
%A A.K. Jones
%T Flexible software development for multiple computer systems
%J IEEE Transactions on Software Engineering
%K ieee_tse
%V SE-12
%N 3
%D March 1986
%P 385-401

%A F.J. Polster
%T Reuse of software through generation of partial systems
%J IEEE Transactions on Software Engineering
%K ieee_tse
%V SE-12
%N 3
%D March 1986
%P 402-416

%A G.D. Kimura
%T A structure editor for abstract document objects
%J IEEE Transactions on Software Engineering
%K ieee_tse
%V SE-12
%N 3
%D March 1986
%P 417-435

%A C.H.C. Leung
%T Dynamic storage fragmentation and file deterioration
%J IEEE Transactions on Software Engineering
%K ieee_tse
%V SE-12
%N 3
%D March 1986
%P 436-441

%A A. Moitra
%A S.S. Iyengar
%T Derivation of a parallel algorithm for balancing binary trees
%J IEEE Transactions on Software Engineering
%K ieee_tse
%V SE-12
%N 3
%D March 1986
%P 442-449

%A H.G. Perros
%A T. Altiole
%T Approximate analysis of open networks of queues with blocking:
tandem configurations
%J IEEE Transactions on Software Engineering
%K ieee_tse
%V SE-12
%N 3
%D March 1986
%P 450-461

%A M.K. Sinha
%T Commutable transactions
and the time_pad synchronization mechanism for distributed systems
%J IEEE Transactions on Software Engineering
%K ieee_tse
%V SE-12
%N 3
%D March 1986
%P 462-476

%A K.J. Perry
%A S. Toueg
%T Distributed agreement in the presence of processor and communication faults
%J IEEE Transactions on Software Engineering
%K ieee_tse
%V SE-12
%N 3
%D March 1986
%P 477-482

%A B. Indurkhya
%A H.S. Stone
%A L. Xi-Cheng
%T Optimal partitioning of randomly generated distributed programs
%J IEEE Transactions on Software Engineering
%K ieee_tse
%V SE-12
%N 3
%D March 1986
%P 483-495

%A J.E. Gaffney,\ Jr.
%T The impact on software development costs of using HOL's
%J IEEE Transactions on Software Engineering
%K ieee_tse
%V SE-12
%N 3
%D March 1986
%P 496-499

%A G.S. Hura
%A H. Singh
%A N.K. Nanda
%T Some design apsects of databases through Petri net modeling
%J IEEE Transactions on Software Engineering
%K ieee_tse
%V SE-12
%N 4
%D April 1986
%P 505-510

%A M. Tsuchiya
%A M.P. Mariani
%A J.D. Brom
%T Distributed database management model and validation
%J IEEE Transactions on Software Engineering
%K ieee_tse
%V SE-12
%N 4
%D April 1986
%P 511-520

%A A. Hac
%T A decomposition solution to a queieng model
of a distributed file system with dynamic locking
%J IEEE Transactions on Software Engineering
%K ieee_tse
%V SE-12
%N 4
%D April 1986
%P 521-537

%A C. Batini
%A E. Nardelli
%A R. Tamassia
%T A layout algorithm for data flow diagrams
%J IEEE Transactions on Software Engineering
%K ieee_tse
%V SE-12
%N 4
%D April 1986
%P 538-546

%A F. Baiardi
%A N. DeFrancesco
%A G. Vaglini
%T Development of a debugger for a concurrent language
%J IEEE Transactions on Software Engineering
%K ieee_tse
%V SE-12
%N 4
%D April 1986
%P 547-553

%A L.M. Patnaik
%A K.V. Iyer
%T Load-leveling in fault-tolerant distributed computing systems
%J IEEE Transactions on Software Engineering
%K ieee_tse
%V SE-12
%N 4
%D April 1986
%P 554-560

%A G. Balbo
%A S.C. Bruell
%A S. Ghanta
%T Combining queueing network and generalized stochastic Petri net models
for the analysis of some software blocking phenomena
%J IEEE Transactions on Software Engineering
%K ieee_tse
%V SE-12
%N 4
%D April 1986
%P 561-576

%A B.K. Hillyer
%A D.E. Shaw
%A A. Nigam
%T NON-VON's performance on certain database benchmarks
%J IEEE Transactions on Software Engineering
%K ieee_tse
%V SE-12
%N 4
%D April 1986
%P 577-583

%A Daniel M. Yellin
%A Eva-Maria M. Mueckstein
%T The automatic inversion of attribute grammars
%J IEEE Transactions on Software Engineering
%K ieee_tse
%V SE-12
%N 5
%D May 1986
%P 590-599

%A T.V. Lakshman
%A Ashok K. Agrawala
%T Efficient decentralized consensus protocols
%J IEEE Transactions on Software Engineering
%K ieee_tse
%V SE-12
%N 5
%D May 1986
%P 600-607

%A William E. Hall
%A Stuart H. Zweben
%T The cloze procedure and software comprehensibility measurement
%J IEEE Transactions on Software Engineering
%K ieee_tse
%V SE-12
%N 5
%D May 1986
%P 608-623

%A Tadao Ichikawa
%A Masahito Hirakawa
%T ARES: a relational database
with the capability of performing flexible interrpetation of queries
%J IEEE Transactions on Software Engineering
%K ieee_tse
%V SE-12
%N 5
%D May 1986
%P 624-634

%A Krithivasan Ramamritham
%A David Stemple
%A David A. Briggs
%A Stephen Vinter
%T Privilege transfer and revocation in a port-based system
%J IEEE Transactions on Software Engineering
%K ieee_tse
%V SE-12
%N 5
%D May 1986
%P 635-648
%K Gutenberg; protection

%A Buomediene Belkhouche
%A Joseph E. Urban
%T Direct implementation of abstract data types from abstract specifications
%J IEEE Transactions on Software Engineering
%K ieee_tse
%V SE-12
%N 5
%D May 1986
%P 649-661

%A Derek L. Eager
%A Edward D. Lazowska
%A John Zahorjan
%T Adaptive load sharing in homogeneous distributed systems
%J IEEE Transactions on Software Engineering
%K ieee_tse
%V SE-12
%N 5
%D May 1986
%P 662-675

%A D. Ferrari
%T Considerations on the insularity of performance evaluation
%J IEEE Transactions on Software Engineering
%K ieee_tse
%V SE-12
%N 6
%D June 1986
%P 678-683

%A J.N. Gray
%T An approach to decentralized computer systems
%J IEEE Transactions on Software Engineering
%K ieee_tse
%V SE-12
%N 6
%D June 1986
%P 684-689

%A E.W. Martin
%A R.A. DeMillo
%T Operational survivability
in gracefully degrading distributed processing systems
%J IEEE Transactions on Software Engineering
%K ieee_tse
%V SE-12
%N 6
%D June 1986
%P 690-704

%A R.F. Mathis
%T The last 10 percent
%J IEEE Transactions on Software Engineering
%K ieee_tse
%V SE-12
%N 6
%D June 1986
%P 705-712

%A S.S. Yau
%A J.J.-P. Tsai
%T A survey of software design techniques
%J IEEE Transactions on Software Engineering
%K ieee_tse
%V SE-12
%N 6
%D June 1986
%P 713-721

%A H.A. Simon
%T Whether software engineering needs to be artificially intelligent
%J IEEE Transactions on Software Engineering
%K ieee_tse
%V SE-12
%N 7
%D July 1986
%P 726-732

%A V.R. Basili
%A R.W. Selby
%A D.H. Hutchens
%T Experimentation in software engineering
%J IEEE Transactions on Software Engineering
%K ieee_tse
%V SE-12
%N 7
%D July 1986
%P 733-743

%A M.E. Fagon
%T Advances in software inspections
%J IEEE Transactions on Software Engineering
%K ieee_tse
%V SE-12
%N 7
%D July 1986
%P 744-751

%A A.T. Goldberg
%T Knowledge-based programming:
a survey of program design and construction techniques
%J IEEE Transactions on Software Engineering
%K ieee_tse
%V SE-12
%N 7
%D July 1986
%P 752-768

%A C.V. Ramamoorthy
%A V. Garg
%A A. Prakash
%T Programming in the large
%J IEEE Transactions on Software Engineering
%K ieee_tse
%V SE-12
%N 7
%D July 1986
%P 769-783

%A H. Weber
%A H. Ehrig
%T Specification of modular systems
%J IEEE Transactions on Software Engineering
%K ieee_tse
%V SE-12
%N 7
%D July 1986
%P 784-798

%A Tak-Sun Yuen
%A David Hung-Chang Du
%T Dynamic file structure for partial match retrieval
based on overflow bucket sharing
%J IEEE Transactions on Software Engineering
%K ieee_tse
%V SE-12
%N 8
%D August 1986
%P 801-810

%A Roy H. Campbell
%T Error recovery in asynchronous systems
%J IEEE Transactions on Software Engineering
%K ieee_tse
%V SE-12
%N 8
%D August 1986
%P 811-826

%A Thomas P. Blumer
%A Deepinder P. Sidhu
%T Mechanical verification and automatic implementation
of communication protocols
%J IEEE Transactions on Software Engineering
%K ieee_tse
%V SE-12
%N 8
%D August 1986
%P 827-843

%A C. Murray Woodside
%A Satish K. Tripathi
%T Optimal allocation of file servers in a local network environment
%J IEEE Transactions on Software Engineering
%K ieee_tse
%V SE-12
%N 8
%D August 1986
%P 844-848

%A Ellis Horowitz
%A Ronald C. Williamson
%T SODOS: a software documentation support environment - its definition
%J IEEE Transactions on Software Engineering
%K ieee_tse
%V SE-12
%N 8
%D August 1986
%P 849-859

%A Branislav Meandzija
%T A formal method for composing a network command language
%J IEEE Transactions on Software Engineering
%K ieee_tse
%V SE-12
%N 8
%D August 1986
%P 860-865

%A B. Auernheimer
%A R.A. Kemmerer
%T RT-ASLAN: a specification language for real-time systems
%J IEEE Transactions on Software Engineering
%K ieee_tse
%V SE-12
%N 9
%D September 1986
%P 879-889

%A F. Jahanian
%A A.K. Mok
%T Safety analysis of timing properties in real-time systems
%J IEEE Transactions on Software Engineering
%K ieee_tse
%V SE-12
%N 9
%D September 1986
%P 890-904

%A P.G. Neumann
%T On hierarchical design of computer systems for critical applications
%J IEEE Transactions on Software Engineering
%K ieee_tse
%V SE-12
%N 9
%D September 1986
%P 905-920

%A A.M. Tyrrell
%A D.J. Holding
%T Design of reliable software in distributed systems
using the conversation scheme
%J IEEE Transactions on Software Engineering
%K ieee_tse
%V SE-12
%N 9
%D September 1986
%P 921-928

%A P.G. Bishop
%A D.G. Esp
%A M. Barnes
%A P. Humphreys
%A G. Dahll
%A J. Lahti
%T PODS - a project on diverse software
%J IEEE Transactions on Software Engineering
%K ieee_tse
%V SE-12
%N 9
%D September 1986
%P 929-940

%A E. Kligerman
%A A.D. Stoyenko
%T Real-time Euclid: a language for reliable real-time systems
%J IEEE Transactions on Software Engineering
%K ieee_tse
%V SE-12
%N 9
%D September 1986
%P 941-949

%A A.A. Abdel-Ghaly
%A P.Y. Chan
%A B. Littlewood
%T Evaluation of competing software reliability predictions
%J IEEE Transactions on Software Engineering
%K ieee_tse
%V SE-12
%N 9
%D September 1986
%P 950-967

%A R. Troy
%A Y. Romain
%T A statistical methodology for the study of the software failure process
and its application to the ARGOS center
%J IEEE Transactions on Software Engineering
%K ieee_tse
%V SE-12
%N 9
%D September 1986
%P 968-978

%A T. Downs
%T Extensions to an approach to the modeling of software testing
with some performance comparisons
%J IEEE Transactions on Software Engineering
%K ieee_tse
%V SE-12
%N 9
%D September 1986
%P 979-987

%A W.E. Howden
%T A functional approach to program testing and analysis
%J IEEE Transactions on Software Engineering
%K ieee_tse
%V SE-12
%N 10
%D October 1986
%P 997-1005

%A D.W. Cornell
%A D.M. Dias
%A P.S. Yu
%T On multisystem coupling through function request shipping
%J IEEE Transactions on Software Engineering
%K ieee_tse
%V SE-12
%N 10
%D October 1986
%P 1006-1017

%A D. Towsley
%T Alloctaing programs containing branches and loops
within a multiple processor system
%J IEEE Transactions on Software Engineering
%K ieee_tse
%V SE-12
%N 10
%D October 1986
%P 1018-1024

%A A.E. Conway
%A N.D. Georganas
%T Decomposition and aggregation by class in closed queueing networks
%J IEEE Transactions on Software Engineering
%K ieee_tse
%V SE-12
%N 10
%D October 1986
%P 1025-1040

%A C.M. Woodside
%T Controllability of computer performance tradeoffs
obtained using controlled-share queue schedulers
%J IEEE Transactions on Software Engineering
%K ieee_tse
%V SE-12
%N 10
%D October 1986
%P 1041

%A H. Kameda
%T The gains from computer communication
%J IEEE Transactions on Software Engineering
%K ieee_tse
%V SE-12
%N 11
%D November 1986
%P 1049-1055

%A D.W. Stemple
%A S.T. Vinter
%A K. ramamritham
%T Functional addressing in Gutenberg:
interprocess communication without process identifiers
%J IEEE Transactions on Software Engineering
%K ieee_tse
%V SE-12
%N 11
%D November 1986
%P 1056-1066

%A A.B. Sheltzer
%A G.J. Popek
%T Internet Locus: extending transparency to an internet environment
%J IEEE Transactions on Software Engineering
%K ieee_tse
%V SE-12
%N 11
%D November 1986
%P 1067-1075

%A E. Horowitz
%A R.C. Williamson
%T SODOS: a software documentation environment - its use
%J IEEE Transactions on Software Engineering
%K ieee_tse
%V SE-12
%N 11
%D November 1986
%P 1076-1087

%A T.-Y. Cheung
%T On the projection method for protocol verification
%J IEEE Transactions on Software Engineering
%K ieee_tse
%V SE-12
%N 11
%D November 1986
%P 1088

%A A.L. Liestman
%A R.H. Campbell
%T A fault-tolerant scheduling problem
%J IEEE Transactions on Software Engineering
%K ieee_tse
%V SE-12
%N 11
%D November 1986
%P 1089-1095

%A S.P. Ghosh
%T Statistical relational tables for statistical database management
%J IEEE Transactions on Software Engineering
%K ieee_tse
%V SE-12
%N 12
%D December 1986
%P 1106-1116

%A A.N. Habermann
%A D. Notkin
%T Gandalf: software development environments
%J IEEE Transactions on Software Engineering
%K ieee_tse
%V SE-12
%N 12
%D December 1986
%P 1117-1127

%A E.J. Weyuker
%T Axiomatizing software test data adequacy
%J IEEE Transactions on Software Engineering
%K ieee_tse
%V SE-12
%N 12
%D December 1986
%P 1128-1138

%A D.W. Leinbeugh
%A M.-R. Yamini
%T Guaranteed response times in a distributed hard-real-time environment
%J IEEE Transactions on Software Engineering
%K ieee_tse
%V SE-12
%N 12
%D December 1986
%P 1139-1144