default search action
IEEE Transactions on Software Engineering (TSE), Volume 16
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 - Elena Barcucci, Renzo Pinzani, Renzo Sprugnoli:
Optimal Selection of Secondary Indexes. 32-38 - 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 A. 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 - 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
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
- 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
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
- Dilip Sarkar, Narsingh Deo:
Estimating the Speedup in Parallel Parsing. 677-683 - 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 - James W. Stamos, David K. Gifford:
Implementing Remote Evaluation. 710-722 - 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 - Simon S. Lam, A. Udaya Shankar:
A Relational Notation for State Transition Systems. 755-775
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
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
Automating Visual Language Generation. 1122-1135 - Shi-Kuo Chang:
A Visual Language Compiler for Information Retrieval by Visual Reasoning. 1136-1149 - Michele Angelaccio
QBD*: A Graphical Query Language with Recursion. 1150-1163 - Marc Eisenstadt, John Domingue
Visual Knowledge Engineering. 1164-1177 - Masahito Hirakawa, Minoru Tanaka, Tadao Ichikawa:
An Iconic Programming System, HI-VISUAL. 1178-1184 - Allan Heydon, Mark W. Maimone
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
The Evolution Support Environment System. 1225-1234 - Michela Degl'Innocenti, Gian-Luigi Ferrari
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ünter Becker, Leonidas Camarinopoulos:
A Bayesian Estimation Method for the Failure Rate a Possibly Correct Program. 1307-1310 - Valmir Carneiro 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 - Jan Heering, Paul Klint, J. Rekers:
Incremental Generation of Parsers. 1344-1351 - 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 - Richard G. Hamlet, Ross Taylor:
Partition Testing Does Not Inspire Confidence. 1402-1411 - 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 - Carole M. McNamee, Ronald A. Olsson:
Comments on "Critical Races in Ada Programs''. 1439 - Larry L. Constantine:
Comments on "On Criteria for Module Interfaces. 1440
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-18 20:33 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: