Volume 16,
Number 1,
January 1990
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
- Jean-Luc Gaudiot, Andrew Sohn:
Data-Driven Parallel Production Systems.
281-293
- 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
- Saumya K. Debray, David Scott Warren:
Towards Banishing the Cut from Prolog.
335-349
- 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
- Leo Yuhsiang Liu, R. K. Shyamasundar:
Static Analysis of Real-Time Distributed Systems.
373-388
- 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
->TSE 12:
1018-1024 (1986)
- Robin A. Nicholl:
Unreachable States in Model-Oriented Specifications.
472-477
- Margaret H. Eich, Sharon M. Garard:
The Performance of Flow Graph Locking.
477-483
- David Callahan, Alan Carle, Mary W. Hall, Ken Kennedy:
Constructing the Procedure Call Multigraph.
483-487
Volume 16,
Number 5,
May 1990
Volume 16,
Number 6,
June 1990
- Thomas A. Berson, Steven B. Lipner:
Guest Editors' Introduction Security and Privacy.
561-562
- 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
- Steve R. White, Liam Comerford:
ABYSS: An Architecture for Software Protection.
619-629
- David Hildum, Jacques Cohen:
A Language for Specifying Program Transformations.
630-638
- 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
- Wen-Pai Lu, Malur K. Sundareshan:
A Model for Multilevel Security in Computer Networks.
647-659
- Michel Dubois, Christoph Scheurich:
Memory Access Dependencies in Shared-Memory Multiprocessors.
660-673
Volume 16,
Number 7,
July 1990
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
- Valeria De Antonellis, Bruna Zonta:
A Disciplined Approach to Office Analysis.
822-828
- Gerald M. Karam, Raymond J. A. Buhr:
Starvation and Critical Race Analyzers for Ada.
829-843
- 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
- David Guaspari, Carla Marceau, Wolfgang Polak:
Formal Verification of Ada Programs.
1058-1075
- Jeannette M. Wing:
Using Larch to Specify Avalon/C++ Objects.
1076-1088
- K. T. Narayana, Sanjeev Dharap:
Formal Specification of a Look Manager.
1089-1103
Volume 16,
Number 10,
October 1990
- Tadao Ichikawa, Shi-Kuo Chang:
Guest Editors' Introduction Visual Programming.
1105-1106
- 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
- Marc Eisenstadt, John Domingue, Tim Rajan, Enrico Motta:
Visual Knowledge Engineering.
1164-1177
- 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
- Gerald W. Neufeld, Yueli Yang:
The Design and Implementation of an ASN.1-C Compiler.
1209-1220
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
- Yair Wand, Ron Weber:
An Ontological Model of an Information System.
1282-1292
- Jeff Kramer, Jeff Magee:
The Evolving Philosophers Problem: Dynamic Change Management.
1293-1306
- 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
Last update Wed Feb 15 05:46:27 2012
CET by the DBLP Team — 
Data released under the ODC-BY 1.0 license — See also our legal information page
