Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDIEEE Transactions on Software ngineering (TSE), Volume 6
Volume 6, Number 1, January 1980
- Kathryn L. Heninger:
Specifying Software Requirements for Complex Systems: New Techniques and Their Application. 2-13 - John V. Guttag:
Notes on Type Abstraction (Version 2). 13-23 - David R. Musser:
Abstract Data Type Specification in the AFFIRM System. 24-32 - Sanat K. Basu:
A Note on Synthesis of Inductive Assertions. 32-39 - Moshe Tamir:
ADI: Automatic Derivation of Invariants. 40-48
- Anders P. Ravn:
Device Monitors. 49-53 - Hideyuki Takahashi:
An Automatic-Controller Description Language. 53-64
- Peter J. Denning:
Working Sets Past and Present. 64-84 - Dennis W. Leinbaugh:
Guaranteed Response Times in a Hard-Real-Time Environment. 85-91 - Jayanta Banerjee, David K. Hsiao, Fred K. Ng:
Database Transformation, Query Translation, and Performance Analysis of a New Database Computer in Supporting Hierarchical Database Management. 91-109
Volume 6, Number 2, March 1980
- Roger C. Cheung:
A User-Oriented Software Reliability Model. 118-125 - Stephen S. Yau, Fu-Chung Chen:
An Approach to Concurrent Control Flow Checking. 126-137 - Taylor L. Booth, Cheryl A. Wiecek:
Performance Abstract Data Types as a Tool in Software Performance Analysis and Design. 138-151 - Leland L. Beck:
A Generalized Implementation Method for Relational Data Sublanguages. 152-162 - William E. Howden:
Functional Program Testing. 162-169 - Sanat K. Basu:
On Development of Iterative Programs from Function Specifications. 170-182 - David L. Russell:
State Restoration in Systems of Communicating Processes. 183-194 - T. William Mao, Raymond T. Yeh:
Communication Port: A Language Concept for Concurrent Programming. 194-204 - Shi-Kuo Chang, Wu-Haung Cheng:
A Methodology for Structured Database Decomposition. 205-218 - Pieter S. Kritzinger, Anthony E. Krzesinski, Peter Teunissen:
A Queuing Model of a Time-Sliced Priority-Driven Task Dispatching Algorithm. 219-225 - Pei Hsia, Frederick E. Petry:
A Framework for Discipline in Programming. 226-232
Volume 6, Number 3, May 1980
- B. Chandrasekaran:
Guest Editorial: Special Collection on Program Testing. 233-235 - Elaine J. Weyuker, Thomas J. Ostrand:
Theories of Program Testing and the the Application of Revealing Subdomains. 236-246 - Lee J. White, Edward I. Cohen:
A Domain Strategy for Computer Program Testing. 247-257 - Kenneth A. Foster:
Error Sensitive Test Cases Analysis (ESTCA). 258-264 - Richard N. Taylor, Leon J. Osterweil:
Anomaly Detection in Concurrent Software by Static Data Flow Analysis. 265-278 - Martin R. Woodward, David Hedley, Michael A. Hennell:
Experience with Path Analysis and Testing of Programs. 278-286 - Udo Voges, Lothar Gmeiner, Anneliese von Mayrhauser:
SADAT - An Automated Testing Tool. 286-290 - Francis N. Parr:
An Alternative to the Rayleigh Curve Model for Software Development Effort. 291-296 - David B. Lomet:
Subsystems of Processes with Deadlock Avoidance. 297-304 - Bernhard Walke, W. Rosenbohm:
Deadline-Oriented Servicing: Waiting-Time Distributions. 304-312
Volume 6, Number 4, July 1980
- Charles N. Fischer, Richard J. LeBlanc:
The Implementation of Run-Time Diagnostics in Pascal. 313-319 - Augusto Celentano
, Pierluigi Della Vigna, Carlo Ghezzi, Dino Mandrioli:
Separate Compilation and Partial Specification in Pascal. 320-328 - Michael A. Hennell, J. Alan Prudom:
A Static Analysis of the NAG Library. 329-333 - Karel R. Tavernier, Paul H. Notredame:
Macro-Based Cross Assemblers. 334-340 - Tzay Y. Young, Philip S. Liu:
Overhead Storage Considerations and a Multilinear Method for Data File Compression. 340-347 - Andreas Reuter:
A Fast Transaction-Oriented Logging Scheme for UNDO Recovery. 348-356 - W. Terry Hardgrave:
Ambiguity in Processing Boolean Queries on TDMS Tree Structures: A Study of Four Different Philosophies. 357-372 - Jacques Labetoulle, Guy Pujolle:
Isolation Method in a Network of Queues. 373-381 - Pieter S. Kritzinger, Anthony E. Krzesinski, Peter Teunissen:
Incorporating System Overhead in Queuing Network Models. 381-390 - James E. Allchin:
Modula and a Question of Time. 390-391 - Anthony C. Davies:
The Analogy Between Electrical Networks and Flowcharts. 391-394 - Paul Bourret, Patrice Cros:
Presentation and Correction of Errors in Operating System Measurements. 395-398
Volume 6, Number 5, September 1980
- Yair M. Babad, Jeffrey A. Hoffer:
Data Element Security and Its Effects on File Segmentation. 402-410 - Ehud Gudes:
The Design of a Cryptopgraphy Based Secure File System. 411-420 - Leon J. Mekly, Stephen S. Yau:
Software Design Representation Using Abstract Process Networks. 420-435 - Virgil D. Gligor, Susan H. Shattuck:
On Deadlock Detection in Distributed Systems. 435-440 - C. V. Ramamoorthy, Gary S. Ho:
Performance Evaluation of Asynchronous Concurrent Systems Using Petri Nets. 440-449 - Andrew Birrell, Roger M. Needham:
A Universal File Server. 450-453 - Victor R. Basili, Robert E. Noonan:
A Comparison of the Axiomatic and Functional Models of Structured Programming. 454-465 - James C. King:
Program Correctness: On Inductive Assertion Methods. 465-479 - J. C. Huang:
A New Verification Rule and Its Applications. 480-484 - Wu Hon Leung, C. V. Ramamoorthy:
An Approach to Formal Specification of Control Modules. 485-489 - Bev Littlewood:
Theories of Software Reliability: How Good Are They and How Can They Be Improved? 489-500 - Amrit L. Goel:
A Summary of the Discussion on "An Analysis of Competing Software Reliability Models''. 501-502
Volume 6, Number 6, November 1980
- Albert L. Baker, Stuart H. Zweben:
A Comparison of Measures of Control Flow Complexity. 506-512 - R. Neil Faiman Jr., Alan A. Kortesoja:
An Optimizing Pascal Compiler. 512-519 - Ning-San Chang, King-sun Fu:
Query-by-Pictorial-Example. 519-524 - Tadao Murata:
Synthesis of Decision-Free Concurrent Systems for Prescribed Resources and Performance. 525-530 - Kuo-Chung Tai:
Program Testing Complexity and Test Criteria. 531-538 - Klaus Voss:
Using Predicate/Transition-Nets to Model and Analyze Distributed Database Systems. 539-544 - Stephen S. Yau, James S. Collofello:
Some Stability Measures for Software Maintenance. 545-552 - Ronald F. Brender:
Generation of BLISSes. 553-563 - Robert P. Cook:
*MOD - A Language for Distributed Programming. 563-571 - Jon Louis Bentley, Mary Shaw:
An Alphard Specification of a Correct and Efficient Transformation on Data Structures. 572-584 - David J. Taylor, David E. Morgan, James P. Black:
Redundancy in Data Structures: Improving Software Fault Tolerance. 585-594 - David J. Taylor, David E. Morgan, James P. Black:
Redundancy in Data Structures: Some Theoretical Result. 595-604
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-15 20:33 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:
