default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDIEEE Transactions on Software Engineering (TSE), Volume 19
Volume 19, Number 1, January 1993
- Nancy G. Leveson, Peter G. Neumann:
Introduction to Special Issue on Software for Critical Systems. 1-2 - Ricky W. Butler, George B. Finelli:
The Infeasibility of Quantifying the Reliability of Life-Critical Real-Time Software. 3-12 - John M. Rushby, Friedrich W. von Henke:
Formal Verification of Algorithms for Critical Systems. 13-23 - Joanne M. Atlee, John D. Gannon:
State-Based Model Checking of Event-Driven System Requirements. 24-40 - Anders P. Ravn, Hans Rischel, Kirsten Mark Hansen:
Specifying and Verifying Requirements of Real-Time Systems. 41-55 - Reino Kurki-Suonio:
Stepwise Design of Real-Time Systems. 56-69 - Jia Xu, David Lorge Parnas:
On Satisfying Timing Constraints in Hard-Real-Time Systems. 70-84
Volume 19, Number 2, February 1993
- Giovanni Chiola, Marco Ajmone Marsan, Gianfranco Balbo, Gianni Conte:
Generalized Stochastic Petri Nets: A Definition at the Net Level and Its Implications. 89-107 - Yennun Huang
, Satish K. Tripathi:
Resource Allocation for Primary-Site Fault-Tolerant Systems. 108-119 - Alex Delis, Nick Roussopoulos:
Performance Comparison of Three Modern DBMS Architectures. 120-138 - Jia Xu:
Multiprocessor Scheduling of Processes with Release Times, Deadlines, Precedence, and Exclusion Relations. 139-154 - Kun-Lung Wu, W. Kent Fuchs:
Rapid Transaction-Undo Recovery Using Twin-Page Storage Management. 155-164 - Gernot Richter, Bruno Maffeo:
Toward a Rigorous Interpretation of ESML-Extended Systems Modeling Language. 165-180 - P. Venkat Rangan:
Trust Requirements and Performance of a Fast Subtransprot-Level Protocol for Secure Communication. 181-186 - Ashok K. Agrawala, Bijendra N. Jain:
Deterministic Model and Transient Analysis of Virtual Circuits. 187-197 - Michael Young, David L. Levine, Richard N. Taylor:
Comments on "Temporal Logic-Based Deadlock Analysis for Ada''. 198-200
Volume 19, Number 3, March 1993
- Phyllis G. Frankl, Elaine J. Weyuker:
A Formal Analysis of the Fault-Detecting Ability of Testing Methods. 202-213 - Emden R. Gansner, Eleftherios Koutsofios, Stephen C. North, Kiem-Phong Vo:
A Technique for Drawing Directed Graphs. 214-230 - Josephine Micallef, Gail E. Kaiser:
Support Algorithms for Incremental Attribute Evaluation of Asynchronous Subtree Replacements. 231-252 - Dar-Tzen Peng, Kang G. Shin:
Optimal Scheduling of Cooperative Tasks in a Distributed System Using an Enumerative Method. 253-267 - John Plaice, William W. Wadge:
A New Approach to Version Control. 268-276 - Gruia-Catalin Roman, Rose F. Gamble, William E. Ball:
Formal Derivation of Rule-Based Programs. 277-296 - Jacob P. Ukelson, John D. Gould, Stephen J. Boies:
User Navigation in Computer Applications. 297-306 - Norman Y. Foo:
Comments on "Defining Software by Continuous Smooth Functions''. 307-309 - Jia Xu, David Lorge Parnas:
Correction to "On Satisfying Timing Constraints in Hard-Real-Time Systems''. 310
Volume 19, Number 4, April 1993
- Karl J. Lieberherr, Cun Xiao:
Object-Oriented Software Evolution. 313-343 - Carlo Batini, Giuseppe Di Battista, Giuseppe Santucci:
Structuring Primitives for a Dictionary of Entity Relationship Data Schemas. 344-365 - Tracy Camp, Phil Kearns, Mohan Ahuja:
Proof Rules for Flush Channels. 366-378 - Rajiv D. Banker, Robert J. Kauffman, Dani Zweig:
Repository Evaluation of Software Reuse. 379-389 - Minnie Yi-Miin Yen, Richard W. Scamell:
A Human Factors Experimental Comparison of SQL and QBE. 390-409 - Linda A. Ness:
L.0: A Truly Concurrent Executable Temporal Logic Language for Protocols. 410-423
Volume 19, Number 5, May 1993
- Takeshige Miyoshi, Motoei Azuma:
An Empirical Study of Evaluating Software Development Environment Quality. 425-435 - Valdis Berzins, Luqi, Amiram Yehudai:
Using Transformations in Specification-Based Prototyping. 436-452 - Bernd J. Krämer, Luqi, Valdis Berzins:
Compositional Semantics of a Real-Time Prototyping Language. 543-477 - Robert E. Strom, Daniel M. Yellin:
Extending Typestate Checking Using Conditional Liveness Analysis. 478-485 - Giuseppe Iazeolla, Francesco Marinuzzi:
LISPACK-A Methodology and Tool for the Performance Analysis of Parallel Systems and Algorithms. 486-502 - Mark G. Staskauskas:
Formal Derivation of Concurrent Programs: An Example from Industry. 503-528 - D. Ross Jeffery, Graham C. Low, Michael Barnes:
A Comparison of Function Point Counting Techniques. 529-532
Volume 19, Number 6, June 1993
- Debra J. Richardson, Margaret C. Thompson:
An Analysis of Test Data Selection Criteria Using the RELAY Model of Fault Detection. 533-553 - Erling Vagn Sørensen, Jens Nordahl, Niels Herman Hansen:
From CSP Models to Markov Models. 554-570 - Parameswaran Ramanathan, Kang G. Shin:
Use of Common Time Base for Checkpointing and Rollback Recovery in a Distributed System. 571-583 - Mary Jean Harrold, Brian A. Malloy:
A Unified Interprocedural Program Representation for a Maintenance Environment. 584-593 - Nabil R. Adam, Rajiv Tewari:
Regeneration with Virtual Copies for Distributed Computing Systems. 594-602 - Tarek K. Abdel-Hamid, Kishore Sengupta, Daniel Ronan:
Software Project Control: An Experimental Investigation of Judgment with Fallible Information. 603-612 - Herman C. Rao, Larry L. Peterson:
Accessing Files in an Internet: The Jade File System. 613-624 - Andrew Kay, Joy N. Reed:
A Rely and Guarantee Method for Timed CSP: A Specification and Design of a Telephone Exchange. 625-639 - Moheb R. Girgis:
Corrigendum for "Constraint-Based Automatic Test Data Generation". (R. A. De Millo and A. J. Offutt, IEEE Trans. Software Eng. vol. 17. no. pp 900-910, Sept. 1991.). 640 - Gerardo Canfora, Aniello Cimitile, Ugo de Carlini:
Correction to "A Logic-Based Approach to Reverse Engineering Tools Production". 640
Volume 19, Number 7, July 1993
- Fabio Grandi, Maria Rita Scalas:
Block Access Estimation for Clustered Data Using a Finite LRU Buffer. 641-660 - Raimo Rask, Petteri Laamanen, Kalle Lyytinen:
Simulation and Comparison of Albrecht's Function Point and DeMarco's Function Bang Metrics in a CASE Environment. 661-671 - Jit Biswas, James C. Browne:
Data Structures for Parallel Resource Management. 672-686 - Markos Z. Tsoukalas, Joe W. Duran, Simeon C. Ntafos:
On Some Reliability Estimation Problems in Random and Partition Testing. 687-697 - Sampath Rangarajan, Pankaj Jalote, Satish K. Tripathi:
Capacity of Voting Systems. 698-706 - Andrew Sears:
Layout Appropriateness: A Metric for Evaluating User Interface Widget Layout. 707-719 - Connie U. Smith, Lloyd G. Williams:
Software Performance Engineering: A Case Study Including Performance Comparison with Design Alternatives. 720-741 - Allen S. Parrish, Stuart H. Zweben:
Clarifying Some Fundamental Concepts in Software Testing. 742-746
Volume 19, Number 8, August 1993
- Goetz Graefe, Diane L. Davison:
Encapsulation of Parallelism and Architecture-Independence in Extensible Database Query Execution. 749-764 - Takeshi Nakajo, Isao Azuma, Masato Tada:
A Case History Development of a Foolproofing Interface Documentation System. 765-773 - Phyllis G. Frankl, Stewart N. Weiss:
An Experimental Comparison of the Effectiveness of Branch Testing and Data Flow Testing. 774-787 - Babak Hamidzadeh, Shashi Shekhar:
Specification and Analysis of Real-time Problem Solvers. 788-803 - Wesley W. Chu, Ion Tim Ieong:
A Transaction-Based Approach to Vertical Partitioning for Relational Database Systems. 804-812 - Joseph L. Hellerstein:
Achieving Service Rate Objectives with Decay Usage Scheduling. 813-825 - R. Govindarajan:
Exception Handlers in Functional Programming Languages. 826-834 - Paolino Di Felice:
Reusability of Mathematical Software: A Contribution. 835-843
Volume 19, Number 9, September 1993
- Mohan Ahuja, Timothy Carlson, Ashwani Gahlot:
Passive-space and Time View: Vector Clocks for Achieving Higher Performance, Program Correction, and Distributed Computing. 845-855 - David Lorge Parnas:
Predicate Logic for Software Engineering. 856-862 - Albert Mo Kim Cheng, James C. Browne, Aloysius K. Mok, Rwo-Hsi Wang:
Analysis of Real-Time Rule-Based Systems with Bahavioral Constraint Assertions Specified in Estella. 863-885 - Paul Helman, Gunar E. Liepins:
Statistical Foundations of Audit Trail Analysis for the Detection of Computer Misuse. 886-901 - Ing-Ray Chen, Sayed Atef Banawan:
Modeling and Analysis of Concurrent Maintenance Policies for Data Structures Using Pointers. 902-911 - Elaine J. Weyuker:
More Experience with Data Flow Testing. 912-919 - Daniel I. Katcher, Hiroshi Arakawa, Jay K. Strosnider:
Engineering and Analysis of Fixed Priority Schedulers. 920-934 - John J. Shilling:
Incremental LL(1) Parsing in Language-Based Editors. 935-940
Volume 19, Number 10, October 1993
- Jeffery A. Solheim, John H. Rowland:
An Empirical Study of Testing and Integration Strategies Using Artificial Software Systems. 941-949 - Luis-Felipe Cabrera, John McPherson, Peter M. Schwarz, James C. Wyllie:
Implementing Atomicity in Two Systems: Techniques, Tradeoffs, and Experience. 950-961 - Phyllis G. Frankl, Elaine J. Weyuker:
Provable Improvements on Branch Testing. 962-975 - Bin Qin:
Meet Real-Time Requirements of Parallel Programs and Maximally Utilize System Resources. 976-981 - Philip S. Yu, Daniel M. Dias:
Performance Analysis of Concurrency Control Using Locking with Deferred Blocking. 982-996 - Alberto Del Bimbo, Maurizio Campanai, Paolo Nesi:
A Three-Dimensional Iconic Environment for Image Database Querying. 997-1011
Volume 19, Number 11, November 1993
- Farokh B. Bastani:
Forword: Software Reliability. 1013-1014 - Anish Arora, Mohamed G. Gouda:
Closure and Convergence: A Foundation of Fault-Tolerant Computing. 1015-1027 - Lionel C. Briand, Victor R. Basili, Christopher J. Hetmanski:
Developing Interpretable Models with Optimized Set Reduction for Identifying High-Risk Software Components. 1028-1044 - Scott A. Vander Wiel, Lawrence G. Votta:
Assessing Software Designs Using Capture-Recapture Methods. 1045-1054 - Jarir K. Chaar, Michael J. Halliday, Inderpal S. Bhandari, Ram Chillarege:
In-Process Evaluation for Software Inspection and Test. 1055-1070 - Lorrie A. Tomek, Jogesh K. Muppala, Kishor S. Trivedi:
Modeling Correlation in Software Recovery Blocks. 1071-1086 - Yashwant K. Malaiya, Anneliese von Mayrhauser, Pradip K. Srimani:
An Examination of Fault Exposure Ratio. 1087-1094 - Norman F. Schneidewind:
Software Reliability Model with Optimal Selection of Failure Data. 1095-1104 - Wei-lun Kao, Ravishankar K. Iyer, Dong Tang:
FINE: A Fault Injection and Monitoring Environment for Tracing the UNIX System Behavior under Faults. 1105-1118 - Oded Berman, Noushin Ashrafi:
Optimization Models for Reliability of Modular Software Systems. 1119-1123
Volume 19, Number 12, December 1993
- Sergio Bandinelli, Alfonso Fuggetta, Carlo Ghezzi:
Process Model Evolution in the SPADE Environment. 1128-1144 - Maria Letizia Jaccheri, Reidar Conradi:
Techniques for Process Model Evolution in EPOS. 1145-1156 - Inderpal S. Bhandari, Michael J. Halliday, Eric Tarver, David Brown, Jarir K. Chaar, Ram Chillarege:
A Case Study of Software Process Improvement During Development. 1157-1170 - Wei-Kuan Shih, Jane W.-S. Liu, C. L. Liu:
Modified Rate-Monotonic Algorithm for Scheduling Periodic Jobs with Deferred Deadlines. 1171-1179
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-12-30 19:29 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:
