IEEE Transactions on Software Engineering (TSE), Volume 7

Volume 7, Number 1, January 1981

Robert Balzer, Thomas E. Cheatham Jr.: Editorial: Program Transformations. 1-2 BibTeX
Robert Balzer: Transformational Implementation: An Example. 3-14 BibTeX
Manfred Broy, Peter Pepper: Program Development as a Formal Activity. 14-23 BibTeX
Edith Deak: A Transformational Derivation of a Parsing Algorithm in a High-Level Language. 23-31 BibTeX
David S. Wile: Type Transformations. 32-39 BibTeX

Program Analysis and Verification

James Arthur, Jayashree Ramanathan: Design of Analyzers for Selective Program Analysis. 39-51 BibTeX
Keith L. Clark, Maarten H. van Emden: Consequence Verification of Flowcharts. 52-60 BibTeX
L. Howard Holley, Barry K. Rosen: Qualified Data Flow Problems. 60-78 BibTeX

Database

Edward G. Coffman Jr., Erol Gelenbe, Brigitte Plateau: Optimization of the Number of Copies in a Distributed Data Base. 78-84 BibTeX
Peter A. Ng: Further Analysis of the Entity-Relationship Approach to Database Design. 85-99 BibTeX
Sabah S. Al-Fedaghi, Peter Scheuermann: Mapping Considerations in the Design of Schemas for the Relational Model. 99-111 BibTeX
B. Srinivasan, R. Sankar: Algorithms to Distribute a Database for Parallel Searching. 112 BibTeX

Resource Allocation

Robert L. Budzinski, Edward S. Davidson, Wataru Mayeda, Harold S. Stone: DMIN: An Algorithm for Computing the Optimal Dynamic Allocation in a Virtual Memory Computer. 113-121 BibTeX
Robert L. Budzinski, Edward S. Davidson: A Comparison of Dynamic and Static Virtual Memory Allocation Algorithms. 122-131 BibTeX
Paolo Sipala: Optimum Cell Size for the Storage of Messages. 132-134 BibTeX
Alan Jay Smith: Internal Scheduling and Memory Contention. 135-146 BibTeX

Joe W. Duran, John J. Wiorkowski: Capture-Recaptur Sampling for Estimating Software Error Content. 147-148 BibTeX

Robert L. Glass: Persistent Software Errors. 162-168 BibTeX
Douglas Comer: Principles of Program Design Induced from Experience with Small Public Programs. 169-174 BibTeX
Bernard Lint, Tilak Agerwala: Communication Issues in the Design and Analysis of Parallel Algorithms. 174-188 BibTeX
Derek Coleman, Jane W. Hughes, Malcolm S. Powell: A Method for the Syntax Directed Design of Multiprograms. 189-196 BibTeX
Hamed A. Ellozy: The Determination of Loop Invariants for Programs with Arrays. 197-206 BibTeX
Nachum Dershowitz, Zohar Manna: Inference Rules for Program Annotation. 207-222 BibTeX
Edward M. Reingold, John S. Tilford: Tidier Drawings of Trees. 223-228 BibTeX
Phyllis Reisner: Formal Grammar and Human Factors Design of an Interactive Graphics System. 229-240 BibTeX
Richard Sanford, J. Gibson: simplifld alfu-n2merik fOnetiks (sanf). 241-248 BibTeX
Takeshi Chusho, Toshihiro Hayashi: Performance Analyses of Paging Algorithms for Compilation of a Highly Modularized Program. 248-254 BibTeX
Geoffrey C. Goldbogen: PRIM: A Fast Matrix Transpose Method. 255-257 BibTeX

Perng-Yi Richard Ma, Ted G. Lewis: On the Design of a Microcode Compiler for a Machine-Independent High-Level Language. 261-274 BibTeX
Charles Wetherell, Alfred Shannon: LR - Automatic Parser Generator and LR(1) Parser. 274-278 BibTeX
George K. Papakonstantinou: An Interpreter of Attribute Grammars and Its Application to Waveform Analysis. 279-284 BibTeX
Jo-Mei Chang, King-sun Fu: Extended K-d Tree Database Organization: A Dynamic Multiattribute Clustering Method. 284-290 BibTeX
Raymond M. Bryant: On Homogeneity and On-Line=Off-Line Behavior in M/G/1 Queueing Systems. 291-299 BibTeX
Victor R. Basili, Robert W. Reiter Jr.: A Controlled Experiment Quantitatively Comparing Software Development Approaches. 299-320 BibTeX
Alexandre Brandwajn, Jean-Alain Hernandez: A Study of a Mechanism for Controlling Multiprogammed Memory in an Interactive System. 321-331 BibTeX

Richard H. Thayer, Arthur B. Pyster, Roger C. Wood: Major Issues in Software Engineering Project Management. 333-342 BibTeX
David E. Peercy: A Software Maintainability Evaluation Methodology. 343-351 BibTeX
Andrew Singer, Henry F. Ledgard, Jon F. Hueras: The Annotated Assistant: A Step Towards Human Engineering. 353-374 BibTeX
Geneviève Jomier: A Mathematical Model for the Comparison of Static and Dynamic Memory Allocation in a Paged System. 375-385 BibTeX
Lionel M. Ni, Kai Hwang: Performance Modeling of Shared-Resource Array Processors. 386-394 BibTeX
Harry G. Perros: A Symmetrical Exponential Open Queue Network with Blocking and Feedback. 395-402 BibTeX
Alan Jay Smith: Analysis of Long Term File Reference Patterns for Application to File Migration Algorithms. 403-417 BibTeX
Jayadev Misra, K. Mani Chandy: Proofs of Networks of Processes. 417-426 BibTeX
Stephen S. Yau, Chen-Chau Yang, Sol M. Shatz: An Approach to Distributed Computing System Software Design. 427-436 BibTeX
Santosh K. Shrivastava: Structuring Distributed Systems for Recoverability and Crash Resistance. 436-447 BibTeX
Paul R. Eggert: Runtime Checking for ISO Standard Pascal. 447-448 BibTeX

David R. Barstow, Howard E. Shrobe: Guest Editorial: Programming Environments. 449-450 BibTeX
James W. Goodwin: Why Programming Environments Need Dynamic Data Types. 451-457 BibTeX
Elaine Kant, David R. Barstow: The Refinement Paradigm: The Interaction of Coding and Efficiency Knowledge in Program Synthesis. 458-471 BibTeX
Raul Medina-Mora, Peter H. Feiler: An Incremental Programming Environment. 472-482 BibTeX
Barry W. Boehm: An Experiment in Small-Scale Application Software Engineering. 482-493 BibTeX
Volkmar H. Haase: Real-Time Behavior of Programs. 494-501 BibTeX
Joep L. W. Kessels: The Soma: A Programming Construct for Distributed Processing. 502-509 BibTeX
Sallie M. Henry, Dennis G. Kafura: Software Structure Metrics Based on Information Flow. 510-518 BibTeX
Andrzej Blikle: On the Development of Correct Specified Programs. 519-527 BibTeX

Stephen W. Smoliar: Operational Requirements Accommodation in Distributed System Design. 531-537 BibTeX
C. V. Ramamoorthy, Yu-King R. Mok, Farokh B. Bastani, Gene H. Chin, Keiichi Suzuki: Application of a Methodology for the Development and Validation of Reliable Process Control Software. 537-555 BibTeX
Stephen S. Yau, Paul C. Grabow: A Model for Representing Programs Using Hierarchical Graphs. 556-574 BibTeX
Kapali P. Eswaran, V. Carl Hamacher, Gerald S. Shedler: Collision-Free Access Control for Computer Communication Bus Networks. 574-582 BibTeX
Shahid H. Bokhari: A Shortest Tree Algorithm for Optimal Assignments Across Space and Time in a Distributed Processor System. 583-589 BibTeX
Robert L. Baber: A Method for Representing Data Items of Unlimited Length in a Computer Memory. 590-593 BibTeX , Comments: IEEE Trans. Software Eng. 8(6): 620-621(1982) BibTeX
Allan L. Mennie, Glenn H. MacEwen: Information Flow Certification Using an Intermediate Code Program Representation. 594-607 BibTeX , Correction: IEEE Trans. Software Eng. 8(4): 446(1982) BibTeX
Peter A. Lee, J. L. Lloyd, Santosh K. Shrivastava: Some Critical Comments on the Paper "An Optimal Approach to Fault Tolerant Software Systems Design" by Gannon and Shapiro. 608-610 BibTeX , ->IEEE Trans. Software Eng. 4(5): 390-409(1978) BibTeX
Thomas F. Gannon, Stephen D. Shapiro: Comments on the Critique of Lee, Lloyd, and Shrivastava. 610-611 BibTeX