default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDIEEE Transactions on Software Engineering (TSE), Volume 2
Volume 2, Number 1, March 1976
- David Lorge Parnas:
On the Design and Development of Program Families. 1-9 - Margaret H. Hamilton, Saydean Zeldin:
Higher Order Software - A Methodology for Defining Software. 9-32 - Jay M. Spitzen:
The Specification of Assemblers. 33-40 - Calvin C. Elgot:
Structured Programming With and Without GO TO Statements. 41-54
- Jean-Loup Baer, Gary R. Sager:
Dynamic Improvement of Locality in Virtual Memory Systems. 54-62
- Robin Williams, Gary M. Giddings:
A Picture-Building System. 62-66
- Howard E. Tompkins:
Comments on "Structured Programming in a Production Programming Environment''. 67
Volume 2, Number 2, June 1976
- Ben Wegbreit:
Goal-Directed Program Transformation. 69-80 - Frank DeRemer, Hans H. Kron:
Programming-in-the-Large Versus Programming-in-the-Small. 80-86 - Alexander Birman, William H. Joyner Jr.:
A Problem-Reduction Approach to Proving Simulation Between Programs. 87-96 - Sakti P. Ghosh, William G. Tuel Jr.:
A Design of an Experiment to Model Data Base System Performance. 97-106 - Sakti P. Ghosh:
Distributing a Data Base with Logical Associations on a Computer Network for Parallel Searching. 106-113 - James L. Elshoff:
An Analysis of Some Commercial PL/I Programs. 113-120 - Andrew S. Tanenbaum
:
A General-Purpose Macro Processor as a Poor Man's Compiler-Compiler. 121-125 - Yaohan Chu, E. Raymond Cannon:
Interactive High-Level Language Direkt-Execution Microprocessor System. 126-134 - David B. Wortman:
A Study of High-Resolution Timing. 135-137 - Jean-Loup Baer, Gary R. Sager:
Correction to "Dynamic Improvement of Locality in Virtual Memory Systems". 137
Volume 2, Number 3, September 1976
- Alan W. Biermann, Ramachandran Krishnaswamy:
Constructing Programs from Example Computations. 141-153 - Anthony Ralston, Jerrold L. Wagener:
Structured Fortran - An Evolution of Standard Fortran. 154-176 - Lawrence L. Rose, Herbert Hellerman:
Portable Character Processing in Fortran and Fixed Integer Environments. 176-185 - Richard C. T. Lee, Y. H. Chin, S. C. Chang:
Application of Principal Component Analysis to Multikey Searching. 185-193 - Leon G. Stucki:
Guest Editorial - A Case for Software Testing. IEEE Trans. Software Eng. 2(3): 194 (1976) - Susan L. Gerhart, Lawrence Yelowitz:
Observations of Fallibility in Applications of Modern Programming Methodologies. 195-207 - William E. Howden:
Reliability of the Path Analysis Testing Strategy. 208-215 - Lori A. Clarke:
A System to Generate Test Data and Symbolically Execute Programs. 215-222 - Webb Miller, David L. Spooner:
Automatic Generation of Floating-Point Test Data. 223-226 - Harold N. Gabow, Shachindra N. Maheswari, Leon J. Osterweil:
On Two Problems in the Generation of Program Test Paths. 227-231 - Calvin C. Elgot:
Erratum and Corrigendum for "Structured Programming With and Without GO TO Statments". 232
Volume 2, Number 4, December 1976
- David Gries:
An Illustration of Current Ideas on the Derivation of Correctness Proofs and Correct Programs. 238-244 - Charles Reynolds, Raymond T. Yeh:
Induction as the Basis for Program Verification. 244-252 - William A. Wulf, Ralph L. London, Mary Shaw:
An Introduction to the Construction and Verification of Alphard Programs. 253-265 - Harlan D. Mills:
Software Development. 265-273 - Maurice V. Wilkes:
Software Engineering and Structured Programming. 274-276 - Anita K. Jones, Barbara H. Liskov:
A Language Extension for Controlling Access to Shared Data. 277-285 - Susan L. Gerhart, Lawrence Yelowitz:
Control Structure Abstractions of the Backtracking Programming Technique. 285-292 - C. V. Ramamoorthy, Siu-Bun F. Ho, W. T. Chen:
On the Automated Generation of Program Test Data. 293-300 - David Lorge Parnas, Georg Handzel, Harald Würges:
Design and Specification of the Minimal Subset of an Operating System Family. 301-307 - Thomas J. McCabe:
A Complexity Measure. 308-320 - J. Eugene Ball, Jerome A. Feldman, James R. Low, Richard F. Rashid, Paul Rovner:
RIG, Rochester's Intelligent Gateway: System Overview. 321-328
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-12-02 21:29 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
