Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDIEEE Transactions on Software Engineering (TSE), Volume 9
Volume 9, Number 1, January 1983
- Richard T. Snodgrass:
An Object-Oriented Command Language. 1-8 - Robert P. Cook, Thomas J. LeBlanc:
A Symbol Table Abstraction to Implement Languages with Explicit Scope Control. 8-12 - David Alex Lamb, Paul N. Hilfinger:
Simulation of Procedure Variables Using Ada Tasks. 13-15 - Paolo Ancilotti, Maurelio Boari, Norma Lijtmaer:
Language Features for Access Control. 16-25 - Jun-ichi Aoe, Yoneo Yamamoto, Ryosaku Shimada:
A Practical Method for Reducing Weak Precedence Parsers. 25-30 - Lawrence A. Rowe, Kurt A. Shoens:
Programming Language Constructs for Screen Definition. 31-39 - Barry E. Jacobs, Cynthia A. Walczak:
A Generalized Query-by-Example Data Manipulation Language Based on Database Logic. 40-57
- Peter M. G. Apers, Alan R. Hevner, S. Bing Yao:
Optimization Algorithms for Distributed Queries. 57-68 - Edwin J. Lau, Domenico Ferrari:
Program Restructuring in a Multilevel Virtual Memory. 69-79 - Tohru Nishigaki:
Experiments on the Knee Criterion in a Multiprogrammed Computer System. 79-86 - Clement H. C. Leung:
Analysis of Secondary Storage Fragmentation. 87-93 - Cary A. Coutant, Ralph E. Griswold, David R. Hanson:
Measuring the Performance and Behavior of Icon Programs. 93-103 - R. R. Oldehoeft:
Program Graphs and Execution Behavior. 103-108 - Raymond A. Marie, Jean M. Pellaumail:
Steady-State Probabilities for a Queue with a General Service Distribution and State-Dependent Arrivals. 109-113 - Carl A. Sunshine, David H. Thompson, Roddy W. Erickson, Susan L. Gerhart, Daniel Schwabe:
Correction to "Specification and Verification of Communication Protocols in AFFIRM Using State Transition Models". 113
Volume 9, Number 2, March 1983
- John D. Musa:
Guest Editorial: COMPSAC '81 Special Section. 118-119 - Lisa F. Rubin:
Syntax-Directed Pretty Printing - A First Step Towards a Syntax-Directed Editor. 119-127 - John P. Kearns, Samuel DeFazio:
Locality of Reference in Hierarchical Database Systems. 128-134 - Maggie Y. L. Ip, Lawrence V. Saxton, Vijay V. Raghavan:
On the Selection of an Optimal Set of Indexes. 135-143 - Duen-Ping Tsay, Ming T. Liu:
MIKE: A Network Operating System for the Distributed Double-Loop Computer Network. 143-154 - Vincent Y. Shen, Samuel D. Conte, Hubert E. Dunsmore:
Software Science Revisited: A Critical Analysis of the Theory and Its Empirical Support. 155-165 - Neal S. Coulter:
Software Science and Cognitive Psychology. 166-171 - Roberto M. Negrini, Mariagiovanna Sami:
Some Properties Derived from Structural Analysis of Program Graph Models. 172-178 - Sidney L. Getz, George Kalligiannis, Stephen R. Schach:
A Very High-Level Interactive Graphical Trace for the Pascal Heap. 179-185 - Peter Schulthess, Christian Jacobi:
Anatomy of a Small Pascal Compiler. 191 - Samuel T. Redwine Jr.:
An Engineering Approach to Software Test Data Design. 191-200 - Jean René Ménand, Monique Becker:
Modeling a Multiprocessor Architecture. 201-210 - Vincent Hayward
, A. Osorio:
A System to Automatically Analyze Assembled Programs. 210-213
Volume 9, Number 3, May 1983
- Patricia G. Selinger:
State-of-the-Art Issues in Distributed Databases. IEEE Trans. Software Eng. 9(3): 218 (1983) - Dale Skeen, Michael Stonebraker:
A Formal Model of Crash Recovery in a Distributed System. 219-228 - Eugene Wong:
Dynamic Rematerialization: Processing Distributed Queries Using Redundant Data. 228-232 - Philip A. Bernstein, Nathan Goodman, Ming-Yee Lai:
Analyzing Concurrency Control Algorithms When User and System Operations Differ. 233-239 - Douglas Stott Parker Jr., Gerald J. Popek, Gerard Rudisin, Allen Stoughton, Bruce J. Walker, Evelyn Walton, Johanna M. Chow, David A. Edwards, Stephen Kiser, Charles S. Kline:
Detection of Mutual Inconsistency in Distributed Systems. 240-247 - Jan van den Bos, Marinus J. Plasmeijer, Pieter H. Hartel:
Input-Output Tools: A Language Facility for Interactive and Real-Time Systems. 247-259 - Luigi Logrippo, Douglas R. Skuce:
File Structures, Program Structures, and Attributed Grammars. 260-266 - Noah S. Prywes, Amir Pnueli:
Compilation of Nonprocedural Specifications into Computer Programs. 267-279 - Frank G. Pagan:
A Diagrammatic Notation for Abstract Syntax and Abstract Structured Objects. 280-289 - Glenn H. MacEwen:
The Design for a Secure System Based on Program Analysis. 289-299 - Domenico Ferrari, Yiu-Yo Yih:
VSWS: The Variable-Interval Sampled Working Set Policy. 299-305 - M. W. Du, T. M. Hsieh, K. F. Jea, D. W. Shieh:
The Study of a New Perfect Hash Scheme. 305-313 - Mukul K. Sinha:
Nonsensitive Data and Approximate Transactions. 314-322 - Harvey S. Koch, Peter Kubat:
Optimal Release Time of Computer Software. 323-327 - Paul R. McMullin, John D. Gannon:
Combining Testing with Formal Specifications: A Case Study. 328-335 - Steven J. Zeil:
Testing for Perturbations of Program Statements. 335-346 - Janusz W. Laski, Bogdan Korel:
A Data Flow Oriented Program Testing Strategy. 347-354 - Thomas Anderson, John C. Knight:
A Framework for Software Fault Tolerance in Real-Time Systems. 355-364 - Rangasami L. Kashyap, B. John Oommen:
The Noisy Substring Matching Problem. 365-370 - J. R. Jagannathan, R. Vasudevan:
Comments on "Protocols for Deadlock Detection in Distributed Database Systems". 371
Volume 9, Number 4, July 1983
- Igor T. Hawryszkiewycz:
A Semantic Design Method. 373-384 - Eric D. Carlson, James R. Rhyne, Daniel L. Weller:
Software Structure for Display Management Systems. 385-394 - John R. White:
On the Multiple Implementation of Abstract Data Types Within a Computation. 395-411 - I. V. Ramakrishnan, James C. Browne:
A Paradigm for the Design of Parallel Algorithms with Applications. 411-415 - Werner E. Kluge, Heinz Schlütter:
Petri Net Models for the Evaluation of Applicative Programs Based on lambda-Expressions. 415-427 - Jochen Ludewig:
ESPRESO - A System for Process Control Software Specification. 427-436 - Sushil Jajodia, Jian Liu, Peter A. Ng:
A Scheme of Parallel Processing for MIMD Systems. 436-445 - Peter Wegner, Scott A. Smolka:
Processes, Tasks, and Monitors: A Comparative Study of Concurrent Programming Primitives. 446-462 - Guy Bernard:
Interconnection of Local Computer Networks: Modeling and Optimization Problems. 463-470 - Bharat K. Bhargava, Cecil T. Hua:
A Causal Model for Analyzing Distributed Concurrency Control Algorithms. 470-486 - Stefano Ceri, Shamkant B. Navathe, Gio Wiederhold:
Distribution Design of Logical Database Schemas. 487-504 - To-Yat Cheung:
Graph Traversal Techniques and the Maximum Flow Problem in Distributed Computation. 504-512 - Laxmi N. Bhuyan, Dharma P. Agrawal:
Performance Analysis of FFT Algorithms on Multiprocessor Systems. 512-521 - Ronald L. Larsen, Ashok K. Agrawala:
Control of a Heterogeneous Two-Server Exponential Queueing System. 522-526 - Abraham Silberschatz:
Extending CSP to Allow Dynamic Resource Management. 527-531 - Michael J. Ferguson:
Weighted Processor Sharing-Results for Hyperexponential Servers. 531-535 - Abraham Silberschatz:
A Case for Non-Two-Phase Locking Protocols that Ensure Atomicity. 535-538
Volume 9, Number 5, September 1983
- Leland L. Beck, Thomas E. Perkins:
A Survey of Software Engineering Practice: Tools, Methods, and Results. 541-561 - Roger D. H. Warburton:
Managing and Predicting the Costs of Real-Time Software. 562-569 - Nancy G. Leveson, Peter R. Harvey:
Analyzing Software Safety. 569-579 - Constance L. Heitmeyer, John D. McLean:
Abstract Requirements Specification: A New Approach and Its Application. 580-589 - Robert A. Nelson, Lois M. Haibt, Peter B. Sheridan:
Casting Petri Nets into Programs. 590-602 - James E. Coolahan Jr., Nick Roussopoulos:
Timing Requirements for Time-Driven Systems Using Augmented Petri Nets. 603-616 - Sushil Jajodia, Peter A. Ng, Frederick N. Springsteel:
The Problem of Equivalence for Entity-Relationship Diagrams. 617-630 - Iraj Kalantari, Gerard McDonald:
A Data Structure and an Algorithm for the Nearest Point Problem. 631-634
Volume 9, Number 6, November 1983
- Bill Curtis:
Software Metrics: Guest Editor's Introduction. 637-638 - Allan J. Albrecht, John E. Gaffney Jr.:
Software Function, Source Lines of Code, and Development Effort Prediction: A Software Science Validation. 639-648 - Charles A. Behrens:
Measuring the Productivity of Computer Systems Development Activities with Function Points. 648-652 - Victor R. Basili, Richard W. Selby, Tsai-Yun Phillips:
Metric Analysis and Data Validation Across Fortran Projects. 652-663 - Victor R. Basili, David H. Hutchens:
An Empirical Study of a Syntactic Complexity Family. 664-672 - Leon J. Osterweil:
Toolpack - An Experimental Software Development Environment Research Project. 673-685 - John S. Gourlay:
A Mathematical Framework for the Investigation of Testing. 686-709 - Bo-Shoe Chen, Raymond T. Yeh:
Formal Specification and Verification of Distributed Systems. 710-722 - Krithi Ramamritham, Robert M. Keller:
Specification of Synchronizing Processes. 722-733 - Stephen S. Yau, Mehmet Ufuk Çaglayan:
Distributed Software System Design Representation Using Modified Petri Nets. 733-745 - Martin Trachtenberg:
Order and Difficulty of Debugging. 746-747
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-25 05:28 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:
