default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDIEEE Transactions on Software Engineering (TSE), Volume 21
Volume 21, Number 1, January 1995
- Peter Triantafillou, David J. Taylor:
The Location Based Paradigm for Replication: Achieving Efficiency and Availability in Distributed Systems. 1-18 - David S. Rosenblum:
A Practical Approach to Programming With Assertions. 19-31 - Jeffrey J. P. Tsai, Steve Jennhwa Yang, Yao-Hsiung Chang:
Timing Constraint Petri Nets and Their Application to Schedulability Analysis of Real-Time System Specifications. 32-49 - Salim Hariri, Hasan B. Mutlu:
Hierarchical Modeling of Availability in Distributed Systems. 50-56
Volume 21, Number 2, February 1995
- Jim Woodcock
, Peter Gorm Larsen:
Introduction to Special Section (Guest Editorial). 61-62 - Anthony Boswell:
Specification and Validation of a Security Policy Model. 63-68 - Geoff Barrett:
Model Checking in Practice: The T9000 Virtual Channel Processor. 69-78 - Juan Bicarregui, Brian Ritchie:
Invariants, Frames, and Postconditions: A Comparison of the VDM and B Notations. 79-89 - Dan Craigen, Susan L. Gerhart, Ted Ralston:
Formal Methods Reality Check: Industrial Usage. 90-98 - Jonathan Jacky:
Specifying a Safety-Critical Control System in Z. 99-106 - Sam Owre, John M. Rushby, Natarajan Shankar, Friedrich W. von Henke:
Formal Verification for Fault-Tolerant Architectures: Prolegomena to the Design of PVS. 107-125 - Krishnamoorthy Srinivasan, Douglas Fisher:
Machine Learning Approaches to Estimating Software Development Effort. 126-137 - Kasper Østerbye:
Literate Smalltalk Programming Using Hypertext. 138-145 - R. Geoff Dromey:
A Model for Software Product Quality. 146-162 - S. Venkatesan, Brahma Dathan:
Testing and Debugging Distributed Programs Using Global Predicates. 163-177
Volume 21, Number 3, March 1995
- Koral Ilgun, Richard A. Kemmerer, Phillip A. Porras:
State Transition Analysis: A Rule-Based Intrusion Detection Approach. 181-199 - Stuart H. Zweben, Stephen H. Edwards, Bruce W. Weide, Joseph E. Hollingsworth:
The Effects of Layering and Encapsulation on Software Development Cost and Quality. 200-208 - Theodore Johnson:
Approximate Analysis of Reader/Writer Queues. 209-218 - Walter J. Gutjahr:
Optimal Test Distributions for Software Failure Cost Estimation. 219-228 - Donald D. Cowan, Carlos José Pereira de Lucena:
Abstract Data Views: An Interface Specification Concept to Enhance Design for Reuse. 229-243 - Sanja Vranes, Mladen Stanojevic:
Integrating Multiple Paradigms within the Blackboard Framework. 244-262 - Neville I. Churcher, Martin J. Shepperd:
Comments on "A Metrics Suite for Object Oriented Design". 263-265 - Shyam R. Chidamber, Chris F. Kemerer:
Authors' Reply. 265 - David S. Rosenblum:
Correction to "A Practical Approach to Programming with Assertions". 265
Volume 21, Number 4, April 1995
- David Garlan, Dewayne E. Perry:
Introduction to the Special Issue on Software Architecture. 269-274 - William G. Griswold, David Notkin:
Architectural Tradeoffs for a Meaning-Preserving Program Restructuring Tool. 275-287 - Barbara Hayes-Roth, Karl Pfleger, Philippe Lalanda, Philippe Morignot, Marko Balabanovic:
A Domain-Specific Software Architecture for Adaptive Intelligent Systems. 288-301 - Thomas R. Dean, James R. Cordy:
A Syntactic Theory of Software Architecture. 302-313 - Mary Shaw, Robert DeLine, Daniel V. Klein, Theodore L. Ross, David M. Young, Gregory Zelesnik:
Abstractions for Software Architecture and Tools to Support Them. 314-335 - David C. Luckham, John J. Kenney, Larry M. Augustin, James Vera, Doug Bryan, Walter Mann:
Specification and Analysis of System Architecture Using Rapide. 336-355 - Mark Moriconi, Xiaolei Qian, Robert A. Riemenschneider:
Correct Architecture Refinement. 356-372 - Paola Inverardi, Alexander L. Wolf:
Formal Specification and Analysis of Software Architectures Using the Chemical Abstract Machine Model. 373-386
Volume 21, Number 5, May 1995
- Richard Gerber, Seongsoo Hong:
Compiling Real-Time Programs With Timing Constraint Refinement and Structural Code Motion. 389-404 - Jeff Tian, Peng Lu, Joe Palma:
Test-Execution-Based Reliability Measurement and Modeling for Large Commercial Software. 405-414 - Frank Ng, Gregory Butler, Judy Kay:
An Intelligent Tutoring System for the Dijkstra-Gries Methodology. 415-428 - Shlomi Dolev, Amos Israeli, Shlomo Moran:
Analyzing Expected Time by Scheduler-Luck Games. 429-439 - Sergio Bandinelli, Alfonso Fuggetta, Luigi Lavazza, Maurizio Loi, Gian Pietro Picco:
Modeling and Improving an Industrial Software Process. 440-454 - Inhwan Lee, Ravishankar K. Iyer:
Software Dependability in the Tandem GUARDIAN System. 455-467 - M. G. Sriram, Mukesh Singhal:
Measures of the Potential for Load Sharing in Distributed Computing Systems. 468-475 - Alan Burns, Ken Tindell, Andy J. Wellings:
Effective Analysis for Engineering Real-Time Fixed Priority Schedulers. 475-480
Volume 21, Number 6, June 1995
- Robert J. Hall:
Call Path Refinement Profiles. 481-498 - Madalene Spezialetti, Rajiv Gupta:
Loop Monotonic Statements. 497-505 - Allan M. Stavely:
Verifying Definite Iteration Over Data Structures. 506-514 - Thomas Kunz, James P. Black:
Using Automatic Process Clustering for Design Recovery and Distributed Debugging. 515-527 - Hafedh Mili, Fatma Mili, Ali Mili:
Reusing Software: Issues and Research Directions. 528-562 - Adam A. Porter, Lawrence G. Votta, Victor R. Basili:
Comparing Detection Methods for Software Requirements Inspections: A Replicated Experiment. 563-575 - William G. Griswold, David Notkin:
Correction to "Architectural Tradeoffs for a Meaning-Preserving Program Restructuring Tool". 576 - David C. Luckham, John J. Kenney, Larry M. Augustin, James Vera, Doug Bryan, Walter Mann:
Correction to "Specification and Analysis of System Architecture Using Rapide". 576
Volume 21, Number 7, July 1995
- Krithi Ramamritham:
Guest Editor's Introduction. 577-578 - Richard Gerber, Seongsoo Hong, Manas Saksena:
Guaranteeing Real-Time Requirements With Resource-Based Calibration of Periodic Processes. 579-592 - Sung-Soo Lim, Young Hyun Bae, Gyu Tae Jang, Byung-Do Rhee, Sang Lyul Min, Chang Yun Park, Heonshik Shin, Kunsoo Park, Soo-Mook Moon, Chong-Sang Kim:
An Accurate Worst Case Timing Analysis for RISC Processors. 593-604 - Rwo-Hsi Wang, Aloysius K. Mok:
Response-Time Bounds of EQL Rule-Based Programs Under Rule Priority Structure. 605-614 - Rafael H. Saavedra, Alan Jay Smith:
Performance Characterization of Optimizing Compilers. 615-628 - Andrew M. Tyrrell, Geof F. Carpenter:
CSP Methods for Identifying Atomic Actions in the Design of Fault Tolerant Concurrent Systems. 629-639
Volume 21, Number 8, August 1995
- Jeff Tian, Marvin V. Zelkowitz:
Complexity Measure Evaluation and Selection. 641-650 - Gordon S. Novak:
Conversion of Units of Measurement. 651-661 - Paola Bertolazzi, Giuseppe Di Battista, Giuseppe Liotta:
Parametric Graph Drawing. 662-673 - Magne Jørgensen:
Experience With the Accuracy of Software Maintenance Task Effort Prediction Models. 674-681 - Hanoch Levy, Robert J. T. Morris:
Exact Analysis of Bernoulli Superposition of Streams Into a Least Recently Used Cache. 682-687 - Jerome A. Rolia, Kenneth C. Sevcik:
The Method of Layers. 689-700 - Hüseyin Sarper:
No Special Schemes Are Needed for Solving Software Reliability Optimization Models. 701-702
Volume 21, Number 9, September 1995
- Alberto Avritzer, Elaine J. Weyuker:
The Automatic Generation of Load Test Suites and the Assessment of the Resulting Software. 705-716 - David C. Luckham, James Vera:
An Event-Based Architecture Definition Language. 717-734 - Kenneth J. Goldman, Bala Swaminathan, Paul McCartney, Michael D. Anderson, Ram Sethuraman:
The Programmers' Playground: I/O Abstraction for User-Configurable Distributed Applications. 735-746 - John H. R. May, A. D. Lunn:
A Model of Code Sharing for Estimating Software Failure on Demand Probabilities. 747-753 - C. Murray Woodside:
A Three-View Model for Performance Engineering of Concurrent Software. 754-767 - Leslie Lamport:
TLA in Pictures. 768-775 - John E. Neilson, C. Murray Woodside, Dorina C. Petriu, Shikharesh Majumdar:
Software Bootlenecking in Client-Server Systems and Rendezvous Networks. 776-782
Volume 21, Number 10, October 1995
- Alexander Borgida, John Mylopoulos, Raymond Reiter:
On the Frame Problem in Procedure Specifications. 785-798 - Robert H. Bourdeau, Betty H. C. Cheng:
A Formal Semantics for Object Model Diagrams. 799-821 - Mark D. Aagaard, Miriam Leeser:
Verifying a Logic-Synthesis Algorithm and Implementation: A Case Study in Software Verification. 822-833 - Victor B. Lortz, Kang G. Shin:
Semaphore Queue Priority Assignment for Real-Time Multiprocessor Synchronization. 834-844 - Balachander Krishnamurthy, David S. Rosenblum:
Yeast: A General Purpose Event-Action System. 845-857 - Richard A. DeMillo, Aditya P. Mathur, W. Eric Wong:
Some Critical Remarks on a Hierarchy of Fault-Detecting Abilities of Test Methods. 858-861 - Phyllis G. Frankl, Elaine J. Weyuker:
Reply to "Some Critical Remarks on a Hierarchy of Fault-Detecting Abilities of Test Methods". 861-863
Volume 21, Number 11, November 1995
- Salvatore Cavalieri, Antonella Di Stefano, Orazio Mirabella:
Pre-Run-Time Scheduling to Reduce Schedule Length in the FieldBus Environment. 865-880 - Henri E. Bal, Boumediene Belkhouche, Mary Lou Soffa:
Introduction to the Special Section. 881-882 - Arthur H. Lee, Joseph L. Zachary:
Reflections on Metaprogramming. 883-893 - David A. Ladd, J. Christopher Ramming:
A*: A Language for Implementing Language Processors. 894-901 - Kazuki Yasumatsu, Norihisa Doi:
SPiCE: A System for Translating Smalltalk Programs Into a C Environment. 902-912 - Yong-Fong Lee, Barbara G. Ryder, Marc E. Fiuczynski:
Region Analysis: A Parallel Elimination Method for Data Flow Analysis. 913-926 - Alberto Avritzer, Elaine J. Weyuker:
Correction: "The Automatic Generation of Load Test Suites and the Assessment of the Resulting Software". 927
Volume 21, Number 12, December 1995
- Barbara A. Kitchenham, Shari Lawrence Pfleeger, Norman E. Fenton:
Towards a Framework for Software Measurement Validation. 929-943 - Jeff Tian:
Integrating Time Domain and Input Domain Analyses of Software Reliability Using Tree-Based Models. 945-958 - Jia Liang Han:
Program Partition and Logic Program Analysis. 959-968 - Giacomo Bucci, Enrico Vicario:
Compositional Validation of Time-Critical Systems Using Communicating Time Petri Nets. 969-992 - Gordon S. Novak:
Creation of Views for Reuse of Software with Different Data Representations. 993-1005 - Allen S. Parrish, Stuart H. Zweben:
On the Relationships Among the All-Uses, All-DU-Paths, and All-Edges Testing Criteria. 1006-1009 - Premkumar T. Devanbu:
On "A Framework for Source Code Search Using Program Patterns". 1009-1010
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 2025-04-03 00:03 CEST 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:
