Volume 16, Number 1, January 1990
Christopher Paul Gerrard, Derek Coleman, Robin M. Gallimore: Formal Specification and Design Time Testing. 1-12- Guo-Jie Li, Benjamin W. Wah: Computational Efficiency of Parallel Combinatorial OR-Tree Searches. 13-31
- Reg G. Willson, Bruce H. Krogh: Petri Net Tools for the Specification and Analysis of Discrete Controllers. 39-50
- Laura K. Dillon: Verifying General Safety Properties of Ada Tasking Programs. 51-63
- Graham C. Low, D. Ross Jeffery: Function Points in the Estimation and Evaluation of the Software Process. 64-71
- William E. Howden: Comments Analysis and Programming Errors. 72-81
- Ronald C. de Vries: Reducing Null Messages in Misra's Distributed Discrete Event Simulation Method. 82-91
- Surya B. Yadav: Control and Definition Modularization: An Improved Software Design Technique for Organizing Programs. 92-99
- Chung-Kuo Chang: Bidding Against Competitors. 100-104
Volume 16, Number 2, February 1990
- Ravishankar K. Iyer: Guest Editor's Introduction Experimental Computer Science. 109-110
- James C. Browne, Taejae Lee, John Werth: Experimental Evaluation of a Reusability-Oriented Parallel Programming Environment. 111-120
- Elaine J. Weyuker: The Cost of Data Flow Testing: An Empirical Study. 121-128
- Barbara G. Ryder, William Landi, Hemant D. Pande: Profiling an Incremental Data Flow Analysis Algorithm. 129-140
- Ytzhak H. Levendel: Reliability Analysis of Large Software Systems: Defect Data Modeling. 141-152
- John P. J. Kelly, Susan C. Murphy: Achieving Dependability Throughout the Development Process: A Distributed Software Experiment. 153-165
- Jean Arlat, Martine Aguera, Louis Amat, Yves Crouzet, Jean-Charles Fabre, Jean-Claude Laprie, Eliane Martins, David Powell: Fault Injection for Dependability Validation: A Methodology and Some Applications. 166-182
- Vijay Balasubramanian, Prithviraj Banerjee: Tradeoffs in the Design of Efficient Algorithm-Based Error Detection Schemes for Hypercube Multiprocessors. 183-196
- Dieter Haban, Dieter Wybranietz: A Hybrid Monitor for Behavior and Performance Analysis of Distributed Systems. 197-211
- Michael H. Woodbury, Kang G. Shin: Measurement and Analysis of Workload Effects on Fault Latency in Real-Time Systems. 212-216
- Kyle Gallivan, Dennis Gannon, William Jalby, Allen D. Malony, Harry A. G. Wijshoff: Experimentally Characterizing the Behavior of Multiprocessor Memory Systems. A Case Study. 216-223
- Narasimhaiah Gorla, Alan C. Benander, Barbara A. Benander: Debugging Effort Estimation Using Software Metrics. 223-231
- Behzad Mortazavi: Performance of MAP in the Remote Operation of a CNC. 231-237
- Susan S. Brilliant, John C. Knight, Nancy G. Leveson: Analysis of Faults in an N-Version Software Experiment. 238-247
- Douglas W. Cornell, Philip S. Yu: An Effective Approach to Vertical Partitioning for Physical Design of Relational Databases. 248-258
Volume 16, Number 3, March 1990
- Frank A. Feldman: A New Spectral Test for Nonrandomness and the DES. 261-267
- Kurt M. Olender, Leon J. Osterweil: Cecil: A Sequencing Constraint Language for Automatic Static Analysis Generation. 268-280
- James R. Cordy, Nicholas L. Eliot, Michael G. Robertson: TuringTool: A User Interface to Aid in the Software Maintenance Task. 294-301
- Toshihide Ibaraki, Tiko Kameda, Naoki Katoh: Multiversion Cautious Schedulers for Database Concurrency Control. 302-315
- Wei-Tek Tsai, Dmitry Volovik, Thomas F. Keefe: Automated Test Case Generation for Programs Specified by Relational Algebra Queries. 316-324
- Yih-Farn Chen, Michael Y. Nishimoto, C. V. Ramamoorthy: The C Information Abstraction System. 325-334
- Victor F. Nicola, Ambuj Goyal: Modeling of Correlated Failures and Community Error Recovery in Multiversion Software. 350-359
- Jia Xu, David Lorge Parnas: Scheduling Processes with Release Times, Deadlines, Precedence, and Exclusion Relations. 360-369
- Yutaka Hirakawa: Comments on ``On the Projection Method for Protocol Verification''. 370-371
Volume 16, Number 4, April 1990
- Judy M. Bishop: The Effect of Data Abstraction on Loop Programming Techniques. 389-402
- David Harel, Hagi Lachover, Amnon Naamad, Amir Pnueli, Michal Politi, Rivi Sherman, Aharon Shtull-Trauring, Mark B. Trakhtenbrot: STATEMATE: A Working Environment for the Development of Complex Reactive Systems. 403-414
- Alon Itai, Shay Kutten, Yaron Wolfstahl, Shmuel Zaks: Optimal Distributed t-Resilient Election in Complete Networks. 415-420
- Rajiv Gupta, Mary Lou Soffa: Region Scheduling: An Approach for Detecting and Redistributing Parallelism. 421-431
- Nancy G. Leveson, Stephen S. Cha, John C. Knight, Timothy J. Shimeall: The Use of Self Checks and Voting in Software Error Detection: An Empirical Study. 432-443
- Yuan-Bao Shieh, Dipak Ghosal, Prasad R. Chintamaneni, Satish K. Tripathi: Modeling of Hierarchical Distributed Systems with Fault-Tolerance. 444-457
- Sarah Brocklehurst, P. Y. Chan, Bev Littlewood, John Snell: Recalibrating Software Reliability Models. 458-470
- Fred Kaudel: Comments on "Allocating Programs Containing Branches and Loops Within a Multiple Processor System". 471
- Donald F. Towsley: Correction to "Allocating Programs Containing Branches and Loops Within a Multiple Processor System". 472
- Robin A. Nicholl: Unreachable States in Model-Oriented Specifications. 472-477
- David Callahan, Alan Carle, Mary W. Hall, Ken Kennedy: Constructing the Procedure Call Multigraph. 483-487
Volume 16, Number 5, May 1990
- Gerald M. Karam: Computational Improvements in Prolog Applications by Predicate Variable Pointers. 490-497
- Louise E. Moser: Data Dependency Graphs for Ada Programs. 498-509
- Luiz A. Laranjeira: Software Size Estimation of Object-Oriented Systems. 510-522
- Toshinori Suzuki, Sol M. Shatz, Tadao Murata: A Protocol Modeling and Verification Approach Based on a Specification Language and Petri Nets. 523-536
- Daniel Hoffman: On Criteria for Module Interfaces. 537-542
- Chen Ding, Prabhaker Mateti: A Framework for the Automated Drawing of Data Structure Diagrams. 543-557
- James K. Mullin: Optimal Semijoins for Distributed Database Systems. 558-560
Volume 16, Number 6, June 1990
- Daryl McCullough: A Hookup Theorem for Multilevel Security. 563-568
- Chii-Ren Tsai, Virgil D. Gligor, C. Sekar Chandersekaran: On the Identification of Covert Storage Channels in Secure Systems. 569-580
- Che-Fn Yu, Virgil D. Gligor: A Specification and Verification Method for Preventing Denial of Service. 581-592
- Teresa F. Lunt, Dorothy E. Denning, Roger R. Schell, Mark Heckman, William R. Shockley: The SeaView Security Model. 593-607
- Jeffrey L. Berger, Jeffrey Picciotto, John P. L. Woodward, Paul T. Cummings: Compartmented Mode Workstation: Prototype Highlights. 608-618
- Soklei Leong, Stephen M. Jodis, Kevin J. Sullivan, Oliver Jiang, Paul A. D. de Maine: A Transportable Programming Language (TPL) System-II: The Bifunctional Compiler System. 639-646
- Michel Dubois, Christoph Scheurich: Memory Access Dependencies in Shared-Memory Multiprocessors. 660-673
Volume 16, Number 7, July 1990
- In Kyung Ryu, Alexander Thomasian: Performance Analysis of Dynamic Locking with the No-Waiting Policy. 684-698
- Catherine E. Houstis: Module Allocation of Real-Time Applications to Distributed Systems. 699-709
- Michael G. Burke, Barbara G. Ryder: A Critical Analysis of Incremental Iterative Data Flow Analysis Algorithms. 723-728
- L. J. Chmura, Anthony F. Norcio, T. J. Wicinski: Evaluating Software Design Processes by Analyzing Change Data Over Time. 729-740
- David Hemmendinger: Specifying Ada Server Tasks with Executable Formal Grammars. 741-754
Volume 16, Number 8, August 1990
- Victor M. Markowitz, Johann A. Makowsky: Identifying Extended Entity-Relationship Object Structures in Relational Schemas. 777-790
- Bruno Ciciani, Daniel M. Dias, Balakrishna R. Iyer, Philip S. Yu: A Hybrid Distributed Centralized System Structure for Transaction Processing. 791-806
- Victor F. Nicola, Johannes M. Van Spanje: Comparative Analysis of Different Models of Checkpointing and Recovery. 807-821
- Larry J. Morell: A Theory of Fault-Based Testing. 844-857
- Adriano Valenzano, Paolo Montuschi, Luigi Ciminiera: Some Properties of Timed Token Medium Access Protocols. 858-869
- Bogdan Korel: Automated Software Test Data Generation. 870-879
- J. C. Huang: State Constraints and Pathwise Decomposition of Programs. 880-896
- Jeffrey J. P. Tsai, Kwang-Ya Fang, Horng-Yuan Chen, Yao-Dong Bi: A Noninterference Monitoring and Replay Mechanism for Real-Time Software Testing and Debugging. 897-916
- Luqi: A Graph Model for Software Evolution. 917-927
Volume 16, Number 9, September 1990
- Nancy G. Leveson: Guest Editor's Introduction Formal Methods in Software Engineering. 929-931
- Andrew P. Moore: The Specification and Verified Decomposition of System Requirements Using CSP. 932-948
- F. Keith Hanna, Neil Daeche, Mark Longley: Specification and Verification Using Dependent Types. 949-964
- Andy Podgurski, Lori A. Clarke: A Formal Model of Program Dependences and Its Implications for Software Testing, Debugging, and Maintenance. 965-979
- Mark Moriconi, Timothy C. Winkler: Approximate Reasoning About the Semantic Effects of Program Changes. 980-992
- Albert John Camilleri: Mechanizing CSP Trace Theory in Higher Order Logic. 993-1004
- David M. Goldschlag: Mechanically Verifying Concurrent Programs with the Boyer-Moore Prover. 1005-1023
- Douglas R. Smith: KIDS: A Semiautomatic Program Development System. 1024-1043
- Stephen J. Garland, John V. Guttag, James J. Horning: Debugging Larch Shared Language Specifications. 1044-1057
- Jeannette M. Wing: Using Larch to Specify Avalon/C++ Objects. 1076-1088
Volume 16, Number 10, October 1990
- Robert V. Rubin, James Walker II, Eric J. Golin: Early Experience with the Visual Programmer's WorkBench. 1107-1121
- Claudia Crimi, Angela Guercio, Giuliano Pacini, Genoveffa Tortora, Maurizio Tucci: Automating Visual Language Generation. 1122-1135
- Shi-Kuo Chang: A Visual Language Compiler for Information Retrieval by Visual Reasoning. 1136-1149
- Michele Angelaccio, Tiziana Catarci, Giuseppe Santucci: QBD*: A Graphical Query Language with Recursion. 1150-1163
- Masahito Hirakawa, Minoru Tanaka, Tadao Ichikawa: An Iconic Programming System, HI-VISUAL. 1178-1184
- Allan Heydon, Mark W. Maimone, J. D. Tygar, Jeannette M. Wing, Amy Moormann Zaremski: Miró: Visual Specification of Security. 1185-1197
- David W. Craig, C. Murray Woodside: The Rejection Rate for Tasks with Random Arrivals, Deadlines, and Preemptive Scheduling. 1198-1208
Volume 16, Number 11, November 1990
- C. V. Ramamoorthy, Yutaka Usuda, Atul Prakash, Wei-Tek Tsai: The Evolution Support Environment System. 1225-1234
- Michela Degl'Innocenti, Gian Luigi Ferrari, Giuliano Pacini, Franco Turini: RSF: A Formalism for Executable Requirement Specifications. 1235-1246
- Brent Hailpern, Harold Ossher: Extending Objects to Support Multiple Interfaces and Access Control. 1247-1257
- Michael V. Mannino, Injun Choi, Don S. Batory: The Object-Oriented Functional Data Language. 1258-1272
- Ichiro Suzuki: Formal Analysis of the Alternating Bit Protocol by Temporal Petri Nets. 1273-1281
- G. Becker, L. Camarinopoulos: A Bayesian Estimation Method for the Failure Rate a Possibly Correct Program. 1307-1310
- Valmir C. Barbosa: Strategies for the Prevention of Communication Deadlocks in Distributed Parallel Programs. 1311-1316
Volume 16, Number 12, December 1990
- Mukesh Singhal: Update Transport: A New Technique for Update Synchronization in Replicated Database Systems. 1325-1336
- David H. Pitt, David Freestone: The Derivation of Conformance Tests from LOTOS Specifications. 1337-1343
- David Alex Lamb: Specification of Iterators. 1352-1360
- Gruia-Catalin Roman, H. Conrad Cunningham: Mixed Programming Mataphors in a Shared Dataspace Model of Concurrency. 1361-1373
- Dieter Haban, Kang G. Shin: Application of Real-Time Monitoring to Scheduling Tasks with Random Execution Times. 1374-1389
- Mayez A. Al-Mouhamed: Lower Bound on the Number of Processors and Time for Scheduling Precedence Graphs with Communication Costs. 1390-1401
- M. Hakan Erdogmus, Robert Johnston: On the Specification and Synthesis of Communicating Processes. 1412-1426
- Jaroslaw Milewski: Functional Data Structures as Updatable Objects. 1427-1432
- Sheau-Dong Lang, Yannis Manolopoulos: Efficient Expressions for Completely and Partly Unsuccessful Batched Search of Tree-Structured Files. 1433-1435
- Gerald M. Karam: Comments on ``Measurement of Ada Overhead in OSI-Style Communications Systems''. 1435-1439
- Larry L. Constantine: Comments on ``On Criteria for Module Interfaces. 1440
data released under the ODC-BY 1.0 license. See also our legal information page
last updated on 2013-06-19T203413 by the dblp team