default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDIEEE Transactions on Software Engineering (TSE), Volume 20
Volume 20, Number 1, January 1994
- Peter B. Danzig:
Flow Control for Limited Buffer Multicast. 1-12 - Michael González Harbour
, Mark H. Klein, John P. Lehoczky:
Timing Analysis for Fixed-Priority Scheduling of Hard Real-Time Systems. 13-28 - Teruo Higashino, Gregor von Bochmann:
Automatic Analysis and Test Case Derivation for a Restricted Class of LOTOS Expressions with Data Parameters. 29-42 - Ajay D. Kshemkalyani, Mukesh Singhal:
Efficient Detection and Resolution of Generalized Distributed Deadlocks. 43-54 - Simon S. Lam, A. Udaya Shankar:
A Theory of Interfaces and Modules I-Composition Theorem. 55-71 - Gang Luo, Anindya Das, Gregor von Bochmann:
Software Testing Based on SDL Specifications with Save. 72-87 - Michael D. Rice, Stephen B. Seidman:
A Formal Model for Module Interconnection Languages. 88-101
Volume 20, Number 2, February 1994
- Jong-Deok Choi, Ron Cytron, Jeanne Ferrante:
On the Efficient Engineering of Ambitious Program Analysis. 105-114 - Jianan Li, Ichiro Suzuki, Masafumi Yamashita:
A New Structural Induction Theorem for Rings of Temporal Petri Nets. 115-126 - Miguel Felder, Dino Mandrioli, Angelo Morzenti:
Proving Properties of Real-Time Systems Through Logical Specifications and Petri Net Models. 127-141 - Paul Ammann, Susan S. Brilliant, John C. Knight:
The Effect of Imperfect Error Detection on Reliability Assessment via Life Testing. 142-148 - Gang Luo, Gregor von Bochmann, Alexandre Petrenko:
Test Selection Based on Communicating Nondeterministic Finite-State Machines Using a Generalized WP-Method. 149-162
Volume 20, Number 3, March 1994
- Rajiv D. Banker, Robert J. Kauffman, Charles Wright, Dani Zweig:
Automating Output Size and Reuse Metrics in a Repository-Based Computer-Aided Software Engineering (CASE) Environment. 169-187 - Yen-Min Huang, Chinya V. Ravishankar:
Designing an Agent Synthesis System for Cross-RPC Communication. 188-198 - Norman E. Fenton:
Software Measurement: A Necessary Scientific Basis. 199-206 - François Lustman:
Specifying Transaction-Based Information Systems with Regular Expressions. 207-217 - William G. Griswold:
Comments on "Language Design for Program Manipulation''. 218-219
Volume 20, Number 4, April 1994
- Rajive L. Bagrodia, Wen-Toh Liao:
Maisie: A Language for the Design of Efficient Discrete-Event Simulations. 225-238 - Gruia-Catalin Roman, C. Donald Wilcox:
Architecture-Directed Refinement. 239-258 - Sergio Antoy, John D. Gannon:
Using Term Rewriting to Verify Software. 259-274 - Jack E. Matson, Bruce E. Barrett, Joseph M. Mellichamp:
Software Development Cost Estimation Using Function Points. 275-287 - George W. Ernst, Raymond J. Hookway, William F. Ogden:
Modular Verification of Data Abstractions with Shared Realizations. 288-307 - Steve Vestal:
Fixed-Priority Sensitivity Analysis for Linear Compute Time Models. 308-317 - Siddhartha R. Dalal, Allen A. McIntosh:
When to Stop Testing for Large Software Systems with Changing Code. 318-323
Volume 20, Number 5, May 1994
- Masato Notomi, Tadao Murata:
Hierarchical Reachability Graph of Bounded Petri Nets for Concurrent-Software Analysis. 325-336 - A. Jefferson Offutt, Stephen D. Lee:
An Empirical Evaluation of Weak Mutation. 337-344 - Noé Lopez-Benitez:
Dependability Modeling and Analysis of Distributed Programs. 345-352 - Elaine J. Weyuker, Tarak Goradia, Ashutosh Singh:
Automatically Generating Test Data from a Boolean Specification. 353-363 - Xiping Song, Leon J. Osterweil:
Experience with an Approach to Comparing Software Design Methodologies. 364-384 - Hemant D. Pande, William Landi, Barbara G. Ryder:
Interprocedural Def-Use Associations for C Systems with Single Level Pointers. 385-403
Volume 20, Number 6, June 1994
- Venkatesh Akella, Ganesh Gopalakrishnan:
Specification and Validation of Control-Intensive IC's in hopCP. 405-423 - Nirmal R. Saxena, Edward J. McCluskey:
Linear Complexity Assertions for Sorting. 424-431 - Phillip Krueger, Niranjan G. Shivaratri:
Adaptive Location Policies for Global Scheduling. 432-444 - William E. Howden, Bruce Wieand:
QDA-A Method for Systematic Informal Program Analysis. 445-462 - Santanu Paul, Atul Prakash:
A Framework for Source Code Search Using Program Patterns. 463-475 - Shyam R. Chidamber, Chris F. Kemerer:
A Metrics Suite for Object Oriented Design. 476-493 - Claes Wohlin, Per Runeson:
Certification of Software Components. 494-499 - Mitchell Flatebo, Ajoy Kumar Datta:
Two-State Self-Stabilizing Algorithms for Token Rings. 500-504
Volume 20, Number 7, July 1994
- Guy Juanole:
Petri Net Performance Models. 505 - Gianfranco Ciardo, Reinhard German, Christoph Lindemann:
A Characterization of the Stochastic Process Underlying a Stochastic Petri Net. 506-515 - Giuliana Franceschinis, Richard R. Muntz:
Computing Bounds for the Performance Indices of Quasi-Lumpable Stochastic Well-Formed Nets. 516-525 - Javier Campos, José Manuel Colom, Hauke Jungnitz, Manuel Silva Suárez:
Approximate Throughput Computation of Stochastic Marked Graphs. 526-535 - Richard J. Boucherie:
A Characterization of Independence for Competing Markov Chains with Applications to Stochastic Petri Nets. 536-544
Volume 20, Number 8, August 1994
- Ian Sommerville:
Introduction to the Special Issue. 546-547 - Alberto Coen-Porisini, Richard A. Kemmerer, Dino Mandrioli:
A Formal Framework for ASTRAL Intralevel Proof Obligations. 548-561 - David W. Bustard, Adam C. Winstanley:
Making Changes to Formal Specifications: Requirements and an Example. 562-568 - Anthony Finkelstein, Dov M. Gabbay, Anthony Hunter, Jeff Kramer, Bashar Nuseibeh:
Inconsistency Handling in Multperspective Specifications. 569-578 - Shing-Chi Cheung, Jeff Kramer:
Tractable Dataflow Analysis for Distributed Systems. 579-593 - Alfred Aue, Michael Breu:
Distributed Information Systems: An Advanced Methodology. 594-605 - Flavio De Paoli, Francesco Tisato:
CSDL: A Language for Cooperative Systems Design. 606-616 - William B. Frakes, Thomas P. Pole:
An Empirical Study of Representation Methods for Reusable Software Components. 617-630 - Bruce W. Weide, Stephen H. Edwards, Douglas E. Harms, David Alex Lamb:
Design and Specification of Iterators Using the Swapping Paradigm. 631-643 - James M. Bieman, Linda M. Ott:
Measuring Functional Cohesion. 644-657 - Ing-Ray Chen, Farokh B. Bastani:
Warm Standby in Hierarchically Structured Process-Control Programs. 658-663 - Scott D. Stoller:
Addendum to "Proof Rules for Flush Channels". 664
Volume 20, Number 9, September 1994
- Samaradasa Weerahandi, Robert E. Hausman:
Software Quality Measurement Based on Fault-Detection Data. 665-676 - Sylvia Campodónico, Nozer D. Singpurwalla:
A Bayesian Analysis of the Logarithmic-Poisson Execution Time Model Based on Expert Opinion and Failure Data. 677-683 - Nancy G. Leveson, Mats Per Erik Heimdahl, Holly Hildreth, Jon Damon Reese:
Requirements Specification for Process-Control Systems. 684-707 - George S. Avrunin, James C. Corbett, Laura K. Dillon, Jack C. Wileden:
Automated Derivation of Time Bounds in Uniprocessor Concurrent Systems. 708-719 - Maurizio Tucci, Giuliana Vitiello, Gennaro Costagliola:
Parsing Nonlinear Languages. 720-739 - Karama Kanoun, Jean-Claude Laprie:
Software Reliability Trend Analyses from Theoretical to Practical Considerations. 740-747 - A. Jefferson Offutt, Stephen D. Lee:
Correction to "An Empirical Evaluation of Weak Mutation". 748
Volume 20, Number 10, October 1994
- Richard A. DeMillo:
Introduction to the Special Section. 749 - Yabo Wang, David Lorge Parnas:
Simulating the Behavior of Software Modules by Trace Rewriting. 750-759 - Bashar Nuseibeh, Jeff Kramer, Anthony Finkelstein:
A Framework for Expressing the Relationships Between Multiple Views in Requirements Specification. 760-773 - Mark G. Bradac, Dewayne E. Perry, Lawrence G. Votta:
Prototyping a Process Monitoring Experiment. 774-784 - Les Hatton, Andy Roberts:
How Accurate Is Scientific Software? 785-797 - Daniel L. Kiskis, Kang G. Shin:
SWSL: A Synthetic Workload Specification Language for Real-Time Systems. 798-811 - James A. Whittaker, Michael G. Thomason:
A Markov Chain Model for Statistical Software Testing. 812-824
Volume 20, Number 11, November 1994
- Horst Lichter, Matthias Schneider-Hufschmidt, Heinz Züllighoven:
Prototyping in Industrial Software Projects-Bridging the Gap Between Theory and Practice. 825-832 - Harvey Wohlwend, Susan Rosenbaum:
Schlumberger's Software Improvement Program. 833-839 - Hanns-Helmuth Deubler, Meinhard Koestler:
Introducing Object Orientation into Large and Complex Systems. 840-848 - Shinichi Honiden, Kazuhiko Nishimura, Naoshi Uchihira, Kiyoshi Itoh:
An Application of Artificial Intelligence to Object-Oriented Performance Design for Real-Time Systems. 849-867 - Daniel A. Menascé, Yelena Yesha, Konstantinos Kalpakis:
On a Unified Framework for the Evaluation of Distributed Quorum Attainment Protocols. 868-884
Volume 20, Number 12, December 1994
- Antonia Bertolino, Martina Marré:
Automatic Generation of Path Covers Based on the Control Flow Analysis of Computer Programs. 885-899 - Michel Diaz, Guy Juanole, Jean-Pierre Courtiat:
Observer-A Concept for Formal On-Line Validation of Distributed Systems. 900-913 - Ying Liu, Ambuj K. Singh, Rajive L. Bagrodia:
A Decompositional Approach to the Design of Parallel Programs. 914-932 - Farnam Jahanian, Aloysius K. Mok:
Modechart: A Specification Language for Real-Time Systems. 933-947 - David Lorge Parnas, Jan Madey, Michal Iglewski:
Precise Documentation of Well-Structured Programs. 948-976 - Tsong Yueh Chen, Yuen-Tak Yu:
On the Relationship Between Partition and Random Testing. 977-980
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-09 22:16 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:
