default search action
IEEE Transactions on Software Engineering (TSE), Volume 14
Volume 14, Number 1, January 1988
- Charles R. Symons:
Function Point Analysis: Difficulties and Improvements. 2-11 - R. Geoff Dromey:
Systematic Program Development. 12-29 - Fabio Panzieri, Santosh K. Shrivastava:
Rajdoot: A Remote Procedure Call Mechanism Supporting Orphan Detection and Killing. 30-37 - Luis-Felipe Cabrera, Edward Hunter, Michael J. Karels, David A. Mosher:
User-Process Communication Performance in Networks of Computers. 38-53 - Veljko M. Milutinovic, Jakov J. Crnkovic, Catherine E. Houstis:
A Simulation Study of Two Distributed Task Allocation Procedures. 54-61 - Ian F. Akyildiz:
On the Exact and Approximate Throughput Analysis of Closed Queueing Networks with Blocking. 62-70 - Mohammad A. Ketabchi, Valdis Berzins:
Mathematical Model of Composite Objects and Its Application for Organizing Engineering Databases. 71-84 - Nazim H. Madhavji:
Fragtypes: A Basis for Programming Environments. 85-97 - Deepinder P. Sidhu, Carole S. Crall:
Executable Logic Specifications for Protocol Service Interfaces. 98-121 - Pei-Jyun Leu, Bharat K. Bhargava:
Clarification of Two Phase Locking in Concurrent Transaction Processing. 122-125 - J. Bradley:
A Group-Select Operation for Relational Algebra and Implications for Database Machine Design. 126-129
Volume 14, Number 2, February 1988
- Margaret H. Eich:
Graph Directed Locking. 133-140 - Thomas L. Casavant, Jon G. Kuhl:
A Taxonomy of Scheduling in General-Purpose Distributed Computing Systems. 141-154 - Jack Kent, Hector Garcia-Molina:
Optimizing Shadow Recovery Algorithms. 155-168 - Mike Adler:
An Algebra for Data Flow Diagram Process Decomposition. 169-183 - Tony T. Lee, Ming-Yee Lai:
A Relational Algebraic Approach to Protocol Verification. 184-193 - Jahangir Karimi, Benn R. Konsynski:
An Automated Software Design Assistant. 194-210 - Vasant Dhar, Matthias Jarke:
Dependency Directed Reasoning and Learning in Systems Maintenance Support. 211-227 - Arturo I. Concepcion, Bernard P. Zeigler:
DEVS Formalism: A Framework for Hierarchical Model Development. 228-241 - Joobin Choobineh, Michael V. Mannino, Jay F. Nunamaker Jr., Benn R. Konsynski:
An Expert Database Design System Based on Analysis of Forms. 242-253 - C. T. Baker:
Effects of Field Service on Software Reliability. 254-258 - Robert C. B. Cooper, K. G. Hamilton:
Preserving Abstraction in Concurrent Programming. 258-263 - David Gray:
The Formal Specification of a Small Bookshop Information System. 263-272 - Vincenzo Ambriola, David Notkin:
Reasoning About Interactive Systems. 272-276
Volume 14, Number 3, March 1988
- Sudhir Aggarwal, Daniel Barbará, Kalman Z. Meth:
A Software Environment for the Specification and Analysis of Problems of Coordination and Concurrency. 280-290 - David P. Anderson:
Automated Protocol Implementation with RTAG. 291-300 - Jonathan Billington, Geoffrey R. Wheeler, Michael C. Wilbur-Ham:
PROTEAN: A High-Level Petri Net Tool for the Specification and Verification of Communication Protocols. 301-316 - E. Jane Cameron, David M. Cohen, B. Gopinath, William M. Keese II, Linda A. Ness, Prem Uppaluru, John R. Vollaro:
The IC* Model of Parallel Computation and Programming Environment. 317-326 - Ching-Hua Chow, Simon S. Lam:
PROSPEC: An Interactive Programming Environment for Designing and Verifying Communication Protocols. 327-338 - Claude Jard, Jean-François Monin, Roland Groz:
Development of Véda, a Prototyping Tool for Distributed Algorithms. 339-352 - Simon S. Lam:
Protocol Conversion. 353-362 - Robert S. Matthews, K. H. Muralidhar, Steven Sparks:
MAP 2.1 Conformance Testing Tools. 363-374 - Süleyman Sevinc, Bernard P. Zeigler:
Entity Structure Based Design Methodology: A LAN Protocol Example. 375-383 - Son T. Vuong, Allen C. Lau, R. Isaac Chan:
Semiautomatic Implementation of Protocols Using an Estelle-C Compiler. 384-393 - Yaoxue Zhang, Kaoru Takahashi, Norio Shiratori, Shoichi Noguchi:
An Interactive Protocol Synthesis Algorithm Using a Global State Transition Graph. 394-404
Volume 14, Number 4, April 1988
- Stephen S. Yau, Wonmo Hong:
Verification of Concurrent Control Flow in Distributed Computer Systems. 405-417 - Ian F. Akyildiz:
Mean Value Analysis for Blocking Queueing Networks. 418-428 - Klaus R. Dittrich, Raymond A. Lorie:
Version Support for Engineering Database Systems. 429-437 - Heather Alexander:
Comments on "Formal Specification of User Interfaces: A Comparison and Evaluation of Four Axiomatic Approaches". 438-439 - Wojciech Cellary
, Zbyszko Królikowski, Tadeusz Morzy:
Other Comments on "Optimization Algorithms for Distributed Queries". 439-441 - Pei Hsia, Joseph E. Urban:
Guest Editors' Introduction: Computer Languages. 442-443 - Barbara G. Ryder:
Experiments in Optimizing FP. 444-454 - Karsten Schwan, Rajiv Ramnath, Sridhar Vasudevan, David M. Ogle:
A Language and System for the Construction and Tuning of Parallel Programs. 455-471 - Bharat Jayaraman:
Semantics of EqL. 472-480 - Tadao Murata, Du Zhang:
A Predicate-Transition Net Model for Parallel Interpretation of Logic Programs. 481-497 - Teodor Rus:
Parsing Languages by Pattern Matching. 498-511 - Alexander L. Wolf, Lori A. Clarke, Jack C. Wileden:
A Model of Visibility Control. 512-520 - Domenico Ferrari:
Forword to the Special Section on Papers from the 1987 ACM SIMETRICS Conference on Measurement and Modeling of Computer Systems. 521 - Philip Heidelberger, M. Seetha Lakshmi:
A Performance Comparison of Multimicro and Mainframe Database Architectures. 522-531 - Randolph D. Nelson, Donald F. Towsley
Performance Analysis of Parallel Processing Systems. 532-540 - Daniel A. Reed, Allen D. Malony, Bradley D. McCredie:
Parallel Discrete Event Simulation Using Shared Memory. 541-553
Volume 14, Number 5, May 1988
- Willis K. King:
Guest Editor's Introduction: Microprogramming. 558 - Werner Damm:
A Microprogramming Logic. 559-574 - Robert A. Mueller, Michael R. Duda, Philip H. Sweany, Jack S. Walicki:
Horizon: A Retargetable Compiler for Horizontal Microarchitectures. 575-583 - Alexander Aiken, Alexandru Nicolau:
A Development Environment for Horizontal Microcode. 584-594 - Vicki H. Allan, Robert A. Mueller:
Compaction with General Timing. 595-599 - Robert I. Winner:
Naming and Binding in a vertical Migration Environment. 599-607 - S. Sitharama Iyengar, Rangasami L. Kashyap:
Guest Editors' Introduction: Image Databases. 608-610 - Jack A. Orenstein, Frank Manola:
PROBE Spatial Data Modeling and Query Processing in an Image Database Application. 611-629 - Thomas Joseph, Alfonso F. Cardenas:
PICQUERY: A High Level Query Language for Pictorial Database Management. 630-638 - Nick Roussopoulos, Christos Faloutsos
An Efficient Pictorial Database System for PSQL. 639-650 - Ying Cheng, S. Sitharama Iyengar, Rangasami L. Kashyap:
A New Method of Image Compression using Irreducible Covers of Maximum Rectangles. 651-658 - A. Unnikrishnan, Priti Shankar, Y. V. Venkatesh:
Threaded Linear Hierarchical Quadtree for Computation of Geometric Properties of Binary Images. 659-665 - Minoru Tanaka, Tadao Ichikawa:
A Visual User Interface for Map Information Retrieval Based on Semantic Significance. 666-670 - Rangachar Kasturi, Juan Alemany:
Information Extraction of Paper-Based Maps. 671-675 - Lil Mohan, Rangasami L. Kashyap:
An Object-Oriented Knowledge Representation for Spatial Information. 675-681 - Shi-Kuo Chang, C. W. Yan, Donald C. Dimitroff, Timothy Arndt
An Intelligent Image Database System. 681-688
Volume 14, Number 6, June 1988
- Maria Heloisa (Lolo) Penedo, William E. Riddle:
Guest Editors' Introduction Software Engineering Environment Architectures. 689-696 - Michal Young, Richard N. Taylor, Dennis B. Troup:
Software Environment Architectures and User Interface Facilities. 697-708 - Scott E. Hudson, Roger King:
The Cactis Project: Database Support for Software Environment. 709-719 - Axel van Lamsweerde, Bruno Delcourt, Emmanuelle Delor, Marie-Claire Schayes, Robert Champagne:
Generic Lifecycle Support in the ALMA Environment. 720-741 - Patricia A. Oberndorf:
The Common Ada Programming Support Environment (APSE) Interface Set (CAIS). 742-748 - Jayashree Ramanathan, Soumitra Sarkar:
Providing Customized Assistance for Software Lifecycle Approaches. 749-757 - Victor R. Basili, H. Dieter Rombach:
The TAME Project: Towards Improvement-Oriented Software Environments. 758-773 - Gene Fisher:
An Overview of a Graphical Multilanguage Applications Environment. 774-786 - Alessandro Giacalone, Scott A. Smolka:
Integrated Environments for Formally Well-Founded Design and Simulation of Concurrent Systems. 787-802 - Robert M. Herndon Jr., Valdis Berzins:
The Realizable Benefits of a Language Prototyping Language. 803-809 - K. H. Kim:
Programmer-Transparent Coordination of Recovering Concurrent Processes: Philosophy and Rules for Efficient Implementation. 810-821 - Branislav Meandzija:
Archetype: A Unified Method for the Design and Implementation of Protocol Architectures. 822-837 - Krishna P. Mikkilineni, Stanley Y. W. Su:
An Evaluation of Relational Join Algorithms in a Pipelined Query Processing Environment. 838-848 - Thomas G. Moher:
PROVIDE: A Process Visualization and Debugging Environment. 849-857 - Abha Moitra, S. Sitharama Iyengar, Farokh B. Bastani, I-Ling Yen:
Multilevel Data Structures: Models and Performance. 858-867 - Simeon C. Ntafos:
A Comparison of Some Structural Testing Strategies. 868-874
Volume 14, Number 7, July 1988
- Benjamin W. Wah:
Guest Editor's Introduction The Third International Conference on Data Engineering. 877-878 - Rakesh Agrawal:
Alpha: An Extension of Relational Algebra to Express a Class of Recursive Queries. 879-885 - Hector Garcia-Molina, Boris Kogan:
Achieving High Availability in Distributed Databases. 886-896 - Michael Stonebraker, Eric N. Hanson, Spyros Potamianos:
The POSTGRES Rule Manager. 897-907 - Bao-Chyuan Jenq, Walter H. Kohler, Donald F. Towsley
A Queueing Network Model for a Distributed Database Testbed System. 908-921 - Michael Kifer, Eliezer L. Lozinskii:
SYGRAF: Implementing Logic Programs in a Database Style. 922-935 - Calton Pu, Jerre D. Noe, Andrew Proudfoot:
Regeneration of Replicated Objects: A Technique and Its Eden Implementation. 936-945 - Steven A. Demurjian, David K. Hsiao:
Towards a Better Understanding of Data Models Through the Multilingual Database System. 946-958 - Mimi Kao, Nick Cercone, Wo-Shun Luk:
Providing Quality Responses with Natural Language Interfaces: The Null Value Problem. 959-984 - Won Kim, Hong-Tai Chou, Jay Banerjee:
Operations and Implementation of Complex Objects. 985-996 - Toshihide Ibaraki, Tiko Kameda, Naoki Katoh:
Cautious Transaction Schedulers for Database Concurrency Control. 997-1009 - Herman Lam, Stanley Y. W. Su, Nageshwar R. Koganti:
A Physical Database Design Evaluation System for CODASYL Databases. 1010-1022 - Jan Stelovsky, Hirotsugo Sugaya:
A System for Specification and Rapid Prototyping of Application Command Languages. 1023-1032 - Neil C. Rowe:
Absolute Bounds on Set Intersection and Union Sizes from Distribution Information. 1033-1048 - Kyle Siegrist:
Reliability of Systems with Markov Transfer of Control. 1049-1053
Volume 14, Number 8, August 1988
- John R. North:
Guest Editor's Introduction Selected Papers from COMPSAC '86. 1957-1058 - Yoshiaki Kakuda, Yasushi Wakahara, Masamitsu Norigoe:
An Acyclic Expansion Algorithm for Fast Protocol Validation. 1059-1070 - Mostafa A. Bassiouni:
Single-Site and Distributed Optimistic Protocols for Concurrency Control. 1071-1080 - Kathryn C. Kinsley, Charles E. Hughes
Evaluating Database Update Schemes: A Methodology and Its Applications to Distributive Systems. 1081-1089 - Yu Wang:
A Distributed Specification Model and Its Prototyping. 1090-1097 - Takao Tenma, Hideaki Tsubotani, Minoru Tanaka, Tadao Ichikawa:
A System for Generating Language-Oriented Editors. 1098-1109 - Mark Edel:
The Tinkertoy Graphical Programming Environment. 1110-1115 - Bina Ramamurthy, Austin Melton:
A Synthesis of Software Science Measures and the Cyclomatic Number. 1116-1121 - Sol M. Shatz:
Towards Complexity Metrics for Ada Tasking. 1122-1127 - Stephen S. Yau, Robin A. Nicholl, Jeffrey J. P. Tsai, Sying-Syang Liu:
An Integrated Life-Cycle Model for Software Maintenance. 1128-1144 - C. V. Ramamoorthy, Vijay K. Garg, Atul Prakash
Support for Reusability in Genesis. 1145-1154 - Chee Fen Yu, Benjamin W. Wah:
Learning Dominance Relations in Combinatorial Search Problems. 1155-1175 - Stephen J. Hartley:
An Analysis of Some Problems in Managing Virtual Memory Systems with Fast Secondary Storage Devices. 1176-1187 - Scott E. Hudson, Roger King:
Semantic Feedback in the Higgens UIMS. 1188-1206 - Richard C. Waters:
Program Translation via Abstraction and Reimplementation. 1207-1228 - Gregor von Bochmann:
Delay-Independent Design for Distributed Systems. 1229-1237 - Michael L. Scott
A Simple Mechanism for Type Security Across Compilation Units. 1238-1239
Volume 14, Number 9, September 1988
- Daniel Hoffman, Richard T. Snodgrass:
Trace Specifications: Methodology and Models. 1243-1252 - Bogdan Korel:
PELAS - Program Error-Locating Assistant System. 1253-1260 - Tze-Jie Yu, Vincent Y. Shen, Hubert E. Dunsmore:
An Analysis of Several Software Defect Models. 1261-1270 - Ted Tenny:
Program Readability: Procedures Versus Comments. 1271-1279 - Levent V. Orman:
Functional Development of Database Applications. 1280-1292 - Pasquale Rullo, Domenico Saccà
An Automatic Physical Designer for Network Model Databases. 1293-1306 - Philip S. Yu, Simonetta Balsamo, Yann-Hang Lee:
Dynamic Transaction Routing in Distributed Database Systems. 1307-1318 - Sakti Pramanik, David Vineyard:
Optimizing Join Queries in Distributed Databases. 1319-1326 - Songnian Zhou:
A Trace-Driven Simulation Study of Dynamic Load Balancing. 1327-1341 - Chee Fen Yu, Benjamin W. Wah:
Efficient Branch-and-Bound Algorithms on a Two-Level Memory System. 1342-1356 - Elaine J. Weyuker:
Evaluating Software Complexity Measures. 1357-1365 - John Stephen Davis, Richard J. LeBlanc:
A Study of the Applicability of Complexity Measures. 1366-1372 - John T. Nosek, Ruth B. Schwartz:
User Validation of Information System Requirements: Some Empirical Results. 1372-1375 - Simon S. Lam:
Correction to "Protocol Conversion". 1376
Volume 14, Number 10, October 1988
- Christos Faloutsos
Gray Codes for Partial Match and Range Queries. 1381-1393 - Connie U. Smith:
Applying Synthesis Principles to Create Responsive Software Systems. 1394-1408 - Luqi, Valdis Berzins, Raymond T. Yeh:
A Prototyping Language for Real-Time Software. 1409-1423 - Joep L. W. Kessels:
PHILAN: A LAN Providing a Reliable Message Service for Distributed Processing. 1424-1431 - Farokh B. Bastani, I-Ling Yen, Ing-Ray Chen:
A Class of Inherently Fault Tolerant Distributed Programs. 1432-1442 - Ahmed K. Elmagarmid, Neelam Soundararajan, Ming T. Liu:
A Distributed Deadlock Detection and Resolution Algorithm and Its Correctness Proof. 1443-1452 - Alan M. Davis, Edward H. Bersoff, Edward R. Comer:
A Strategy for Comparing Alternative Software Development Life Cycle Models. 1453-1461 - Barry W. Boehm, Philip N. Papaccio:
Understanding and Controlling Software Costs. 1462-1477 - Kyle Siegrist:
Reliability of Systems with Markov Transfer of Control, II. 1478-1481 - Phyllis G. Frankl, Elaine J. Weyuker:
An Applicable Family of Data Flow Testing Criteria. 1483-1498 - Michal Young, Richard N. Taylor:
Combining Static Concurrency Analysis with Symbolic Execution. 1499-1511 - Stewart N. Weiss, Elaine J. Weyuker:
An Extended Domain-Bases Model of Software Reliability. 1512-1524 - Aaron J. Gordon, Raphael A. Finkel:
Handling Timing Errors in Distributed Programs. 1525-1535
Volume 14, Number 11, November 1988
- Ian F. Akyildiz, Albrecht Sieber:
Approximate Analysis of Load Dependent General Queueing Networks. 1537-1545 - Narain H. Gehani, William D. Roome:
Rendezvous Facilities: Concurrent C and the Ada Language. 1546-1553 - Nicoletta De Francesco, Gigliola Vaglini:
Description of a Tool for Specifying and Prototyping Concurrent Programs. 1554-1564 - Deepinder P. Sidhu, Juan Aristizabal:
Constructing Submodule Specifications and Network Protocols. 1565-1577 - Thomas L. Casavant, Jon G. Kuhl:
Effects of Response and Stability on Scheduling in Distributed Computing Systems. 1578-1588 - Carlos Urias Munoz:
An Approach to Software Product Testing. 1589-1596 - Stefano Ceri, Stefano Crespi-Reghizzi, Andrea Di Maio, Luigi Lavazza
Software Prototyping by Relational Techniques: Experiences with Program Construction Systems. 1597-1609 - Georg Lausen:
Modeling and Analysis of the Behavior of Information Systems. 1610-1620 - Andrea Maggiolo-Schettini, Margherita Napoli
Web Structures: A Tool for Representing and Manipulating Programs. 1621-1639 - Stephen J. Hartley:
Compile-Time Program Restructuring in Multiprogrammed Virtual Memory Systems. 1640-1644 - Ken S. Lew, Tharam S. Dillon, Kevin E. Forward:
Software Complexity and Its Impact on Software Reliability. 1645-1655 - Krishna P. Mikkilineni, Yuan-Chieh Chow, Stanley Y. W. Su:
Petri-Net-Based Modeling and Evaluation of Pipelined Processing of Concurrent Database Queries. 1656-1667 - Ghassan Z. Qadah, Keki B. Irani:
The Join Alogorithms on a Shared-Memory Multiprocessor Database Machine. 1668-1683 - Jay Banerjee, Won Kim, Sung-Jo Kim, Jorge F. Garza:
Clustering a DAG for CAD Databases. 1684-1699 - Doron Rotem, Arie Segev:
Algorithms for Multidimensional Partitioning of Static Files. 1700-1710 - Don S. Batory, J. R. Barnett, Jorge F. Garza, K. P. Smith, K. Tsukuda, Brian C. Twichell, T. E. Wise:
GENESIS: An Extensible Database Management System. 1711-1730 - Chao-Chih Yang, Guang Li, Peter A. Ng:
An Improved Algorithm Based on Subset Closures for Synthesizing a Relational Database Scheme. 1731-1738
Volume 14, Number 12, December 1988
- Richard W. Selby, Adam A. Porter:
Learning from Examples: Generation and Evaluation of Decision Trees for Software Resource Analysis. 1743-1757 - Lee D. Erman, Jay S. Lark, Frederick Hayes-Roth:
ABE: An Environment for Engineering Intelligent Systems. 1758-1770 - Eric Schoen, Reid G. Smith, Bruce G. Buchanan:
Design of Knowledge-Based Systems with a Knowledge-Based Assistant. 1771-1791 - Keith L. Clark:
PARLOG and Its Applications. 1792-1804 - Jayantha A. Herath, Yoshinori Yamaguchi, Nobuo Saito, Toshitsugu Yuba:
Dataflow Computing Models, Languages, and Machines for Intelligence Computations. 1805-1828 - Dan I. Moldovan, Chung-I Wu:
A Hierarchical Knowledge Based System for Airplane Classification. 1829-1834
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-11-27 20:17 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: