Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDIEEE Transactions on Software Engineering (TSE), Volume 11
Volume 11, Number 1, January 1985
- Billy G. Claybrook, Anne-Marie Claybrook, James G. Williams:
Defining Database Views as Data Abstractions. 3-14 - C. Mohan, Donald S. Fussell, Zvi M. Kedem, Abraham Silberschatz:
Lock Conversion in Non-Two-Phase Locking Protocols. 15-22
- Flaviu Cristian:
A Rigorous Approach to Fault-Tolerant Programming. 23-31 - Richard A. Kemmerer:
Testing Formal Specifications to Detect Design Errors. 32-43
- Guy T. Almes, Andrew P. Black
, Edward D. Lazowska, Jerre D. Noe:
The Eden System: A Technical Review. 43-59
- Mustaque Ahamad, Arthur J. Bernstein:
An Application of Name Based Addressing to Low Level Distributed Algorithms. 59-67 - Mukul K. Sinha, N. Natarajan:
A Priority Based Distributed Deadlock Detection Algorithm. 67-80
- B. Dasarathy:
Timing Constraints of Real-Time Systems: Constructs for Expressing Them, Methods of Validating Them. 80-86 - David B. Lomet:
Making Pointers Safe in System Programming Languages. 87-96
- Matthias Jarke, Jon A. Turner, Edward A. Stohr, Yannis Vassiliou, Norman H. White, Ken Michielsen:
A Field Evaluation of Natural Language for Data Retrieval. 97-114
- Jacques Cohen, Stuart Kolodner:
Estimating the Speedup in Parallel Parsing. 114-124
- Michael O. Fryer:
Risk Assessment of Computer Controlled Systems. 125-129
- Gilbert Harrus:
A Model for the Basic Block Protocol of the Cambridge Ring. 130-136
- Ariel Pashtan:
Operating System Models in a Concurrent Pascal Environment: Complexity and Performance Considerations. 136-141
Volume 11, Number 2, February 1985
- David Lee Tuomenoksa, Howard Jay Siegel:
Task Scheduling on the PASM Parallel Processing System. 145-157 - David M. Weiss, Victor R. Basili:
Evaluating Software Development by Analysis of Changes: Some Data from the Software Engineering Laboratory. 157-168 - Ian J. Hayes:
Applying Formal Specification to Software Development in Industry. 169-178 - Taiichi Yuasa, Reiji Nakajima:
IOTA: A Modular Programming System. 179-187 - Judith B. Peachey, Richard B. Bunt, Charles J. Colbourn:
Some Empirical Observations on Program Behavior with Applications to Program Restructuring. 188-193 - Simonetta Balsamo, Giuseppe Iazeolla:
Product-Form Synthesis of Queueing Networks. 194-199 - Shojiro Muro, Toshihide Ibaraki, Hidehiro Miyajima, Toshiharu Hasegawa:
Evaluation of the File Redundancy in Distributed Database Systems. 199-205 - Arvola Chan, Robert Gray:
Implementing Distributed Read-Only Transactions. 205-212 - Hung-Chang Du:
On the File Design Problem for Partial Match Retrieval. 213-222 - Ravishankar K. Iyer, Paola Velardi:
Hardware-Related Software Errors: Measurement and Analysis. 223-231 - Howard A. Jensen, K. Vairavan:
An Experimental Study of Software Metrics for Real-Time Software. 231-234 - Edward G. Coffman Jr., T. T. Kadota, Larry A. Shepp:
On the Asymptotic Optimality of First-Fit Storage Allocation. 235-239
Volume 11, Number 3, March 1985
- Michel Bidoit, Brigitte Biebow, Marie-Claude Gaudel, Christian Gresse, Gérard D. Guiho:
Exception Handling: Formal Specification and Systematic Program Construction. 242-252 - Stephen W. Draper, Donald A. Norman:
Software Engineering for User Interfaces. 252-258 - David Lorge Parnas, Paul C. Clements, David M. Weiss:
The Modular Structure of Complex Systems. 259-266 - W. Lewis Johnson, Elliot Soloway:
PROUST: Knowledge-Based Program Understanding. 267-275 - Steven P. Reiss:
PECAN: Program Development Systems that Support Multiple Views. 276-285 - Warren Teitelman:
A Tour Through Cedar. 285-302 - Richard N. Taylor, Thomas A. Standish:
Steps to an Advanced Ada^1 Programming Environment. 302-310
Volume 11, Number 4, April 1985
- Vincent Y. Shen, Tze-Jie Yu, Stephen M. Thebaut, Lorri R. Paulsen:
Identifying Error-Prone Software - An Empirical Study. 317-324 - Stefano Ceri, Georg Gottlob:
Translating SQL Into Relational Algebra: Optimization, Semantics, and Equivalence of SQL Queries. 324-345 - Alexander Thomasian:
Performance Evaluation of Centralized Databases with Static Locking. 346-355 - Nick Roussopoulos, Raymond T. Yeh:
SEES - A Software Testing Environment Support System. 355-366 - Sandra Rapps, Elaine J. Weyuker:
Selecting Software Test Data Using Data Flow Information. 367-375 - Thomas Downs:
An Approach to the Modeling of Software Testing with Some Applications. 375-386 - Douglas Comer, Narain H. Gehani:
Flex: A High-Level Language for Specifying Customized Microprocessors. 387-396 - N. Natarajan:
Communication and Synchronization Primitives for Distributed Programs. 396-416 - Michael K. Molloy:
Discrete Time Stochastic Petri Nets. 417-423 - Jeff Kramer, Jeff Magee:
Dynamic Configuration for Distributed Systems. 424-436 - Ching-Chy Wang, Mary Lou Soffa:
Eager Reclamation. 437-439 - Fabrizio Luccio:
Variations on a Method for Representing Data Items of Unlimited Length. 439-441
Volume 11, Number 5, May 1985
- Arthur J. Bernstein:
A Loosely Coupled Distributed System for Reliably Storing Data. 446-454 - David B. MacQueen, Donald Sannella:
Completeness of Proof Systems for Equational Specifications. 454-461 - Mukul K. Sinha:
Atomic Actions and Resource Coordination Problems Having Nonunique Solutions. 461-471 - Ronald H. Perrott, Danny Crookes, Peter Milligan, W. R. Martin Purdy:
A Compiler for an Array and Vector Processing Language. 471-478 - Sheldon M. Ross:
Statistical Estimation of Software Reliability. 479-483 - Giancarlo Martella, Barbara Pernici, Fabio Alberto Schreiber:
An Availability Model for Distributed Transaction Systems. 483-491 - Lionel M. Ni, Kai Hwang:
Optimal Load Balancing in a Multiple Processor System with Many Job Classes. 491-496
Volume 11, Number 6, June 1985
- Virgil D. Gligor, Peter A. Ng:
Foreword. 497-501 - Kenneth P. Birman, Thomas A. Joseph, Thomas Räuchle, Amr El Abbadi:
Implementing Fault-Tolerant Distributed Objects. 502-508 - Martin S. McKendry:
Ordering Actions for Visibility. 509-519 - Alfred Z. Spector, Jacob Butcher, Dean S. Daniels, Daniel J. Duchamp, Jeffrey L. Eppinger, Charles E. Fineman, Abdelsalam Heddaya, Peter M. Schwarz:
Support for Distributed Transactions in the TABS Prototype. 520-530 - Benny Chor, Brian A. Coan:
A Simple and Efficient Randomized Byzantine Agreement Algorithm. 531-539 - Kenneth J. Perry:
Randomized Byzantine Agreement. 539-546 - Özalp Babaoglu, Rogério Drummond:
Streets of Byzantium: Network Architectures for Fast Reliable Broadcasts. 546-554 - Richard D. Schlichting:
A Technique for Estimating Performance of Fault-Tolerant Programs. 555-563 - Nancy D. Griffeth, John A. Miller:
Performance Modeling of Database Recovery Protocols. 564-572
Volume 11, Number 7, July 1985
- Richard P. Brägger, Andreas Dudler, Jürg Rebsamen, Carl August Zehnder:
Gambit: An Interactive Database Design Tool for Data Structures, Integrity Constraints, and Transactions. 574-583 - David Farmer, Roger King, David Myers:
The Semantic Database Constructor. 583-591 - Sakti P. Ghosh:
An Application of Statistical Databases in Manufacturing Testing. 591-598 - Susan Darling Urban, Joseph E. Urban, Wayne D. Dominick:
Utilizing an Executable Specification Language for an Information System. 598-605 - Benjamin W. Wah, Yao-Nan Lien:
Design of Distributed Databases on Local Computer Systems with a Multiaccess Network. 606-619 - Arthur M. Keller, Marianne Winslett Wilkins:
On the Use of an Extended Relational Model to Handle Changing Incomplete Information. 620-633 - Christine Parent, Stefano Spaccapietra:
An Algebra for a General Entity-Relation1hip Model. 634-643 - David Maier, David Rozenshtein, Jacob Stein:
Representing Roles in Universal Scheme Interfaces. 644-652
Volume 11, Number 8, August 1985
- Valdis Berzins, Michael Gray:
Analysis and Design in MSG.84: Formalizing Functional Specifications. 657-670 - Uli H. Chi:
Formal Specification of User Interfaces: A Comparison and Evaluation of Four Axiomatic Approaches. 671-685 - Leonard J. Bass:
An Approach to User Specification of Interactive Display Interfaces. 686-698 - Anthony I. Wasserman:
Extending State Transition Diagrams for the Specification of Human-Computer Interaction. 699-713 - Jason Gait:
An Aspect of Aesthetics in Human-Computer Communications: Pretty Windows. 714-717 - Farokh B. Bastani:
Experiences with a Feedback Version Development Methodology. 718-723 - Shi-Kuo Chang, Wu-Lung Chan:
Transformation and Verification of Office Procedures. 724-734 - Ali Mili:
Towards a Theory of Forward Error Recovery. 735-748 - David H. Hutchens, Victor R. Basili:
System Structure Analysis: Clustering with Data Bindings. 749-757 - Armen Gabrielian, Lawrence McNamee, David J. Trawick:
The Qualified Function Approach to Analysis of Program Behavior and Performance. 758-773 - Krithi Ramamritham:
Synthesizing Code for Resource Controllers. 774-783 - Vincenzo Ambriola, Fosca Giannotti, Dino Pedreschi, Franco Turini:
Symbolic Semantics and Program Reduction. 784-794 - Clement T. Yu, Chin-Chen Chang, Marjorie Templeton, David Brill, Eric Lund:
Query Processing in a Fragmented Relational Distributed System: Mermaid. 795-810 - Shi-Kuo Chang, Erland Jungert, Stefano Levialdi, Genoveffa Tortora, Tadao Ichikawa:
An Image Processing Language with Icon-Assisted Navigation. 811-819 - Gene T. J. Wuu, Arthur J. Bernstein:
False Deadlock Detection in Distributed Systems. 820-821 - Edward H. Bersoff:
Comments on "Elements of Software Configuration Management". 822 - Mohammad G. Khayat, W. S. Breger, M. Freiling, Ted G. Lewis:
Correction to "A Concurrency Measure". 822
Volume 11, Number 9, September 1985
- Cindy Wilson, Leon J. Osterweil:
Omega - A Data Flow Analysis Tool for the C Programming Language. 832-838 - Robert Troy, Ramadan Moawad:
Assessment of Software Reliability Models. 839-849 - Stephen S. Yau, James S. Collofello:
Design Stability Measures for Software Maintenance. 849-856 - Farokh B. Bastani:
On the Uncertainty in the Correctness of Computer Programs. 857-864 - Leszek Lilien, Bharat K. Bhargava:
Database Integrity Block Construct: Concepts and Design Issues. 865-885 - C. V. Ramamoorthy, Siyi Terry Dong, Yutaka Usuda:
An Implementation of an Automated Protocol Synthesizer (APS) and Its Application to the X.21 Protocol. 886-908 - Harry M. Sneed, András Mérey:
Automated Software Quality Assurance. 909-916 - Thomas J. McCabe, G. Gordon Schulmeyer:
System Testing Aided by Structured Analysis: A Practical Experience. 917-921 - Benjamin W. Wah, Chee Fen Yu:
Stochastic Modeling of Branch-and-Bound Algorithms with Best-First Search. 923-934 - Myron S. Karasik:
Environmental Testing Techniques for Software Certification. 934-938 - Brian P. McCune, Richard M. Tong, Jeffrey S. Dean, Daniel G. Shapiro:
RUBRIC: A System for Rule-Based Information Retrieval. 939-945 - Motoei Azuma, Tetsu Tabata, Yoshihiro Oki, Susumu Kamiya:
SPD: A Humanized Documentation Technology. 945-953 - Makoto Yoshida, Kyoko Mizumachi, Atsushi Wakino, Ikuo Oyake, Yutaka Matsushita:
Time and Cost Evaluation Schemes of Multiple Copies of Data in Distributet Database Systems. 954-959 - Clement T. Yu, Man-Keung Siu, K. Lam, C. H. Chen:
Adaptive File Allocation in Star Computer Network. 959-965 - C. Robert Carlson, Adarsh K. Arora:
Toward the Next Generation of Data Modeling Tools. 966-970 - Carolyn Cline, Howard Jay Siegel:
Augmenting Ada for SIMD Parallel Processing. 970-977 - Carl W. Doerflinger, Victor R. Basili:
Monitoring Software Development Through Dynamic Variables. 978-985 - David M. Keirsey, J. Mitchell, B. Bullock, T. Nussmeier, David Y. Tseng:
Autonomous Vehicle Control Using Al Techniques. 986-992
Volume 11, Number 10, October 1985
- Aaron H. Konstam, Donald E. Wood:
Software Science Applied to APL. 994-1000 - Clyde P. Kruskal, Alan Weiss:
Allocating Independent Subtasks on Parallel Processors. 1001-1016 - Fabio Panzieri, Brian Randell:
Interfacing UNIX to Data Communications Networks. 1016-1032 - Ray Ford, Keith W. Miller:
Abstract Data Type Development and Implementation: An Example. 1033-1037 - Arie Shoshani, Harry K. T. Wong:
Statistical and Scientific Database Issues. 1040-1047 - Mostafa A. Bassiouni:
Data Compression in Scientific and Statistical Databases. 1047-1058 - Setrag Khoshafian, Douglas M. Bates, David J. DeWitt:
Efficient Support of Statistical Operations. 1058-1070 - Gultekin Özsoyoglu, Z. Meral Özsoyoglu:
Statistical Database Query Languages. 1071-1081 - Neil C. Rowe:
Antisampling for Estimation: An Overview. 1081-1091 - Stephen F. Lundstrom, Earl E. Swartzlander Jr.:
Foreword: Advances in Distributed Computing Systems. 1092-1096 - Arbee L. P. Chen, Victor O. K. Li:
An Optimal Algorithm for Processing Distributed Star Queries. 1097-1107 - Donald M. Topkis:
Concurrent Broadcast for Information Dissemination. 1107-1112 - James P. Huang:
Modeling of Software Partition for Distributed Real-Time Applications. 1113-1126 - Kwei-Jay Lin, John D. Gannon:
Atomic Remote Procedure Call. 1126-1135 - Boleslaw K. Szymanski, Yuan Shi, Noah S. Prywes:
Synchronized Distributed Termination. 1136-1140 - John A. Stankovic:
Stability and Distributed Scheduling Algorithms. 1141-1152 - Lionel M. Ni, Chong-Wei Xu, Thomas B. Gendreau:
A Distributed Drafting Algorithm for Load Balancing. 1153-1161 - Keith A. Lantz, William I. Nowicki, Marvin Theimer:
An Empirical Study of Distributed Application Performance. 1162-1174 - Amit P. Sheth, Anoop Singhal, Ming T. Liu:
An Analysis of the Effect of Network Parameters on the Performance of Distributed Database Systems. 1174-1184 - Cauligi S. Raghavendra, Salim Hariri:
Reliability Optimization in The Design of Distributed Systems. 1184-1193 - Sol M. Shatz:
Post-Failure Reconfiguration of CSP Programs. 1193-1202 - Alexander Thomasian, Paul F. Bay:
Integrated Performance Models for Distributed Processing in Computer Communication Networks. 1203-1216 - Kumkum Garg:
An Approach to Performance Specification of Communication Protocols Using Timed Petri Nets. 1216-1225 - M. Tamer Özsu:
Modeling and Analysis of Distributed Database Concurrency Control Algorithms Using an Extended Petri Net Formalism. 1225-1240 - Mohamed G. Gouda, Hui-Seng Lee:
Proving Liveness and Termination of Systolic Arrays Using Communication Finite State Machines. 1240-1251
Volume 11, Number 11, November 1985
- Jack Mostow:
Foreword What is AI? And what Does It Have to Do with Software Engineering? 1253-1256 - Robert Balzer:
A 15 Year Perspective on Automatic Programming. 1257-1268 - Stephen Fickas:
Automating the Transformational Development of Software. 1268-1277 - Douglas R. Smith, Gordon Kotik, Stephen J. Westfold:
Research on Knowledge-Based Software Environments at Kestrel Institute. 1278-1295 - Richard C. Waters:
The Programmer's Apprentice: A Session with KBEmacs. 1296-1320 - David R. Barstow:
Domain-Specific Automatic Programming. 1321-1336 - Robert Neches, William R. Swartout, Johanna D. Moore:
Enhanced Maintenance and Explanation of Expert Systems Through Explicit Models of Their Development. 1337-1351 - Beth Adelson, Elliot Soloway:
The Role of Domain Experience in Software Design. 1351-1360 - Elaine Kant:
Understanding and Automating Algorithm Design. 1361-1374 - David M. Steier, Elaine Kant:
The Roles of Execution and Analysis in Algorithm Design. 1375-1386 - Jon Doyle:
Expert Systems and the "Myth'' of Symbolic Reasoning. 1386-1390 - P. A. Subrahmanyam:
The "Software Engineering'' of Expert Systems: Is Prolog Appropriate? 1391-1400 - Daniel G. Bobrow:
If Prolog is the Answer, What is the Question? or What it Takes to Support AI Programming Paradigms. 1401-1408
Volume 11, Number 12, December 1985
- Amrit L. Goel, Farokh B. Bastani:
Foreword Software Reliability. 1409-1410 - Amrit L. Goel:
Software Reliability Models: Assumptions, Limitations, and Applicability. 1411-1423 - Kazuhira Okumoto:
A Statistical Method for Software Quality Control. 1424-1430 - Shigeru Yamada, Shunji Osaki:
Software Reliability Growth Modeling: Models and Applications. 1431-1437 - Ravishankar K. Iyer, David J. Rossetti:
Effect of System Workload on Operating System Reliability: A Study on IBM 3081. 1438-1448 - Joseph P. Cavano:
Toward High Confidence Software. 1449-1455 - Nozer D. Singpurwalla, Refik Soyer:
Assessing (Software) Reliability Growth Using a Random Coefficient Autoregressive Process and Its Ramifications. 1456-1464 - William S. Jewell:
Bayesian Extensions to a Basic Model of Software Reliability. 1465-1471 - Sheldon M. Ross:
Software Reliability: The Stopping Rule Problem. 1472-1476 - Debra J. Richardson, Lori A. Clarke:
Partition Analysis: A Method Combining Testing and Verification. 1477-1490 - Algirdas Avizienis:
The N-Version Approach to Fault-Tolerant Software. 1491-1501 - Tom Anderson, Peter A. Barrett, Dave N. Halliwell, Michael R. Moulding:
Software Fault Tolerance: An Evaluation. 1502-1510 - Dave E. Eckhardt, Larry D. Lee:
A Theoretical Basis for the Analysis of Multiversion Software Subject to Coincident Errors. 1511-1517
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-05-06 20:14 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:
