Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDIEEE Transactions on Software Engineering (TSE), Volume 5
Volume 5, Number 1, January 1979
- James R. McGraw, Gregory R. Andrews:
Access Control in Parallel Programs. 1-9
- Carl Hewitt, Russell R. Atkinson:
Specification and Proof Techniques for Serializers. 10-23
- John T. Robinson:
Some Analysis Techniques for Asynchronous Multiprocessor Algorithms. 24-31 - Taylor L. Booth:
Performance Optimization of Software Systems Processing Information Sequences Modeled by Probabilistic Languages. 31-44 - Martin R. Woodward, Michael A. Hennell, David Hedley:
A Measure of Control Flow Complexity in Program Text. 45-50 - Douglas W. Clark:
Measurements of Dynamic List Structure Use in Lisp. 51-59
- Janis Bicevskis, Juris Borzovs
, Uldis Straujums, Andris Zarins, Edward F. Miller Jr.:
SMOTL - A System to Construct Samples for Data Processing Program Debugging. 60-66
Volume 5, Number 2, March 1979
- Raymond T. Yeh:
In Memory of Maurice H. Halstead. IEEE Trans. Software Eng. 5(2): 74 (1979) - Maurice H. Halstead:
Guest Editorial on Software Science. 74-75 - Scott N. Woodfield:
An Experiment on Unit Increase in Problem Complexity. 76-79 - Ronald D. Gordon:
Measuring Improvements in Program Clarity. 79-90 - Stuart H. Zweben, Maurice H. Halstead:
The Frequency Distribution of Operators in PL/I Programs. 91-95 - Bill Curtis, Sylvia B. Sheppard, Phil Milliman, M. A. Borst, Tom Love:
Measuring the Psychological Complexity of Software Maintenance Tasks with the Halstead and McCabe Metrics. 96-104 - Douglas Comer, Maurice H. Halstead:
A Simple Experiment in Top-Down Design. 105-109 - Albert L. Baker, Stuart H. Zweben:
The Use of Software Science in Evaluating Modularity Concepts. 110-120 - Ronald D. Gordon:
A Qualitative Justification for a Measure of Program Clarity. 121-128
- David Lorge Parnas:
Designing Software for Ease of Extension and Contraction. 128-138 - Gregory R. Andrews:
The Design of a Message Switching System: An Application and Evaluation of Modula. 138-147 - Maarten H. van Emden:
Programming with Verification Conditions. 148-159
- W. C. Lin, Richard C. T. Lee, David Hung-Chang Du:
Common Properties of Some Multiattribute File Systems. 160-174
Volume 5, Number 3, May 1979
- Alan R. Hevner, S. Bing Yao:
Query Processing in Distributed Database Systems. 177-187 - Michael Stonebraker:
Concurrency Control and Consistency of Multiple Copies of Data in Distributed INGRES. 188-194 - Daniel A. Menascé, Richard R. Muntz:
Locking and Deadlock Detection in Distributed Data Bases. 195-202 - Philip A. Bernstein, David W. Shipman, Wing S. Wong:
Formal Aspects of Serializability in Database Concurrency Control. 203-216 - Barbara G. Ryder:
Constructing the Call Graph of a Program. 216-226 - J. C. Huang:
Detection of Data Flow Anomaly Through Program Instrumentation. 226-236 - Richard C. Waters:
A Method for Analyzing Loop Programs. 237-247 - Henrik A. Schutz:
On the Design of a Language for Programming Real-Time Concurrent Processes. 248-255 - Jacob Katzenelson:
Clusters and Dialogues for Set Implementations. 256-275 - Norman F. Schneidewind, Heinz-Michael Hoffmann:
An Experiment in Software Error Data Collection and Analysis. 276-286 - Jeffrey R. Spirn:
Queuing Networks with Random Selection for Service. 287-289
Volume 5, Number 4, July 1979
- Zohar Manna, Richard J. Waldinger:
Synthesis: Dreams - Programs. 294-328 - Kishor S. Trivedi, Robert A. Wagner:
A Decision Model for Closed Queuing Networks. 328-332 - Jon Louis Bentley:
Multidimensional Binary Search Trees in Database Applications. 333-340 - Shahid H. Bokhari:
Dual Processor Scheduling with Dynamic Reassignment. 341-349 - David K. Hsiao, Douglas S. Kerr, Chen-Jen Nee:
Database Access Control in the Presence of Context Dependent Protection Requirement. 349-358 - David B. Wortman:
On Legality Assertions in Euclid. 359-367 - William H. Harrison:
A New Strategy for Code Generation - the General-Purpose Optimizing Compiler. 367-373 - Edwin Towster:
A Convention for Explicit Declaration of Environments and Top-Down Refinement of Data. 374-386 - Mark Moriconi:
A Designer/Verifiers's Assistant. 387-401 - Thomas E. Cheatham Jr., Glenn H. Holloway, Judy A. Townley:
Symbolic Evaluation and the Analysis of Programs. 402-417 - Ronald F. Boisvert, John R. Rice, Elias N. Houstis:
A System for Performance Evaluation of Partial Differential Equations Software. 418-425 - Richard E. Fairley:
ALADDIN: Assembly Language Assertion Driven Debugging Interpreter. 426-428
Volume 5, Number 5, September 1979
- Gregor von Bochmann, Joachim Tankoano:
Development and Structure of an X.25 Implementation. 429-439 - K. Mani Chandy, Jayadev Misra:
Distributed Simulation: A Case Study in Design and Verification of Distributed Programs. 440-452 - Wolfgang Polak:
An Exercise in Automatic Program Verification. 453-458 - Kattamuri Ekanadham, Arthur J. Bernstein:
Conditional Capabilities. 458-464 - David J. Rypka, Anthony P. Lucido:
Deadlock Detection and Avoidance for Shared Logical Resources. 465-471 - Jacques Cohen, Robin Sitver, David Auty:
Evaluating and Improving Recursive Descent Parsers. 472-480 - Nick Roussopoulos:
CSDL: A Conceptual Schema Definition Language for the Design of Data Base Applications. 481-496 - R. R. Oldehoeft, Leonard J. Bass:
Dynamic Software Science with Applications. 497-504 - Linda M. Ottenstein:
Quantitative Estimates of Debugging Requirements. 504-514 - Charles S. Wetherell, Alfred Shannon:
Tidy Drawings of Trees. 514-520 - Simeon C. Ntafos, S. Louis Hakimi:
On Path Cover Problems in Digraphs and Applications to Program Testing. 520-529 - Raymond A. Marie:
An Approximate Analytical Method for General Queueing Networks. 530-538
Volume 5, Number 6, November 1979
- Abraham Silberschatz:
Communication and Synchronization in Distributed Systems. 542-546 - Barbara H. Liskov, Alan Snyder:
Exception Handling in CLU. 546-558 - Alan F. Babich:
Proving Total Correctness of Parallel Programs. 558-574 - Virgil D. Gligor:
Review and Revocation of Access Privileges Distributed Through Capabilities. 575-586 - Carlos José Pereira de Lucena, Tarcisio H. C. Pequeno:
Program Derivation Using Data Types: A Case Study. 586-592 - Jacques Cohen, Robin Sitver:
A Case Study in Program Transformation: Translation into Polish. 593-606 - Virgil D. Gligor, Bruce G. Lindsay:
Object Migration and Authentication. 607-611 - Paul W. Abrahams, Lori A. Clarke:
Compile-Time Analysis of Data List-Format List Correspondences. 612-617 - Takashi Masuda:
Methods for the Measurement of Memory Utilization and the Improvement of Program Locality. 618-631 - Paul Caseau, Guy Pujolle:
Throughput Capacity of a Sequence of Queues with Blocking Due to Finite Waiting Room. 631-642 - Anthony L. Barrese, Stephen D. Shapiro:
Structuring Programs for Efficient Operation in Virtual Memory Systems. 643-652 - Gaston H. Gonnet, David E. Morgan:
Analysis of Closed Queuing Networks with Periodic Servers. 653-659
a service of 
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-04-19 19:19 CEST 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:
