![](https://dblp.org/img/logo.ua.320x120.png)
![](https://dblp.org/img/dropdown.dark.16x16.png)
![](https://dblp.org/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.org/img/search.dark.16x16.png)
![search dblp](https://dblp.org/img/search.dark.16x16.png)
default search action
IEEE Transactions on Software Engineering (TSE), Volume 27
Volume 27, Number 1, January 2001
- Stephen G. Eick, Todd L. Graves, Alan F. Karr, J. S. Marron, Audris Mockus:
Does Code Decay? Assessing the Evidence from Change Management Data. 1-12 - Dwight J. Makaroff, Gerald W. Neufeld, Norman C. Hutchinson:
Design and Implementation of a VBR Continuous Media File Server. 13-28 - Rachid Guerraoui
, André Schiper:
The Generic Consensus Service. 29-41 - Manfred Broy:
Toward a Mathematical Foundation of Software Engineering Methods. 42-57 - Balasubramaniam Ramesh
, Matthias Jarke:
Toward Reference Models of Requirements Traceability. 58-93
Volume 27, Number 2, February 2001
- Jeff Kramer, David Garlan, David S. Rosenblum:
Guest Editors' Introduction: 1999 International Conference on Software Engineering. 97-98 - Michael D. Ernst, Jake Cockrell, William G. Griswold
, David Notkin:
Dynamically Discovering Likely Program Invariants to Support Program Evolution. 99-123 - Robert DeLine:
Avoiding Packaging Mismatch with Flexible Packaging. 124-143 - Atif M. Memon, Martha E. Pollack, Mary Lou Soffa:
Hierarchical GUI Test Case Generation Using Automated Planning. 144-155 - Daniel Jackson, Allison Waingold:
Lightweight Extraction of Object Models from Bytecode. 156-169 - William Chan, Richard J. Anderson, Paul Beame, David H. Jones, David Notkin, William E. Warner:
Optimizing Symbolic Model Checking for Statecharts. 170-190
Volume 27, Number 3, March 2001
- I-Ling Yen, Farokh B. Bastani, David J. Taylor:
Design of Multi-Invariant Data Structures for Robust Shared Accesses in Multiprocessor Systems. 193-207 - Riccardo Mattolini, Paolo Nesi
:
An Interval Logic for Real-Time System Specification. 208-227 - Márcio Eduardo Delamaro, José Carlos Maldonado, Aditya P. Mathur:
Interface Mutation: An Approach for Integration Testing. 228-247 - Mary Jean Harrold, David S. Rosenblum, Gregg Rothermel, Elaine J. Weyuker:
Empirical Studies of a Prediction Model for Regression Test Selection. 248-263 - Randy K. Smith, Joanne E. Hale, Allen S. Parrish:
An Empirical Study Using Task Assignment Patterns to Improve the Accuracy of Software Effort Estimation. 264-271 - L. Jean Camp:
An Atomicity-Generating Protocol for Anonymous Currencies. 272-278
- Surya B. Yadav, Neal G. Shaw, Linda Webb, Canan Sutcu:
Comments on 'Factors that Impact Implementing a System Development Methodology'. 279-281 - Tom L. Roberts Jr., Michael L. Gibson, R. Kelly Rainer Jr., Kent T. Fields:
Response to 'Comments on Factors that Impact the Implementation of a Systems Development Methodology'. 282-286
Volume 27, Number 4, April 2001
- Kang Zhang, Da-Qian Zhang, Jiannong Cao
:
Design, Construction, and Application of a Generic Visual Language Generation Environment. 289-307 - Özalp Babaoglu
, Renzo Davoli
, Alberto Montresor
:
Group Communication in Partitionable Systems: Specification and Algorithms. 308-336 - T. E. Hastings, A. S. M. Sajeev:
A Vector-Based Approach to Software Size Measurement and Effort Estimation. 337-350 - Paolo Tonella
:
Concept Analysis for Module Restructuring. 351-363 - Gail C. Murphy, David Notkin, Kevin J. Sullivan:
Software Reflexion Models: Bridging the Gap between Design and Implementation. 364-380
- Gursaran, Gurdev Roy:
On the Applicability of Weyuker Property 9 to Object-Oriented Structural Inheritance Complexity Metrics. 381-384
Volume 27, Number 5, May 2001
- Anneliese Amschler Andrews:
Editorial. 385-386
- Oliver Laitenberger, Khaled El Emam, Thomas G. Harbich
:
An Internally Replicated Quasi-Experimental Comparison of Checklist and Perspective-Based Reading of Code Documents. 387-421 - Eric Y. T. Juan
, Jeffrey J. P. Tsai, Tadao Murata, Yi Zhou:
Reduction Methods for Real-Time Systems Using Delay Time Petri Nets. 422-448 - Stephen Gilmore, Jane Hillston, Marina Ribaudo:
An Efficient Algorithm for Aggregating PEPA Models. 449-464 - Lutz Prechelt, Barbara Unger:
An Experiment Measuring the Effects of Personal Software Process (PSP) Training. 465-472
- Giancarlo Succi
, Luigi Benedicenti, Tullio Vernazza:
Analysis of the Effects of Software Reuse on Customer Satisfaction in an RPG Environment. 473-479
Volume 27, Number 6, June 2001
- Ramkrishna Chatterjee, Barbara G. Ryder, William Landi:
Complexity of Points-To Analysis of Java in the Presence of Exceptions. 481-512 - Lionel C. Briand, Christian Bunse, John W. Daly:
A Controlled Experiment for Evaluating Quality Guidelines on the Maintainability of Object-Oriented Designs. 513-530 - Dilma Da Silva, Karsten Schwan, Greg Eisenhauer:
CTK: Configurable Object Abstractions for Multiprocessors. 531-549 - Paloma Díaz
, Ignacio Aedo
, Fivos Panetsos
:
Modeling the Dynamic Behavior of Hypermedia Applications. 550-572
- Ki-Seok Bang, Jin-Young Choi
, Chuck Yoo:
Comments on 'The Model Checker SPIN'. 573-576
- Robert DeLine:
Corrections to 'Avoiding Packaging Mismatch with Flexible Packaging'. 576
Volume 27, Number 7, July 2001
- Ryszard Janicki, Emil Sekerinski:
Foundations of the Trace Assertion Method of Module Interface Specification. 577-598 - Douglas A. Stuart, Monica Brockmeyer, Aloysius K. Mok, Farnam Jahanian:
Simulation-Verification: Biting at the State Explosion Problem. 599-617 - Hyeonsang Eom, Jeffrey K. Hollingsworth:
A Tool to Help Tune where Computation Is Performed. 618-629 - Khaled El Emam, Saïda Benlarbi, Nishith Goel, Shesh N. Rai:
The Confounding Effect of Class Size on the Validity of Object-Oriented Metrics. 630-650 - Marsha Chechik, John D. Gannon:
Automatic Analysis of Consistency between Requirements and Designs. 651-672
Volume 27, Number 8, August 2001
- Lamia Labed Jilani, Jules Desharnais, Ali Mili:
Defining and Applying Measures of Distance Between Specifications. 673-703 - Sridhar Alagar, Subbarayan Venkatesan:
Techniques to Tackle State Explosion in Global Predicate Detection. 704-714 - Shyh-Kwei Chen, W. Kent Fuchs, Jen-Yao Chung:
Reversible Debugging Using Program Instrumentation. 715-727 - Enrico Vicario
:
Static Analysis and Dynamic Steering of Time-Dependent Systems. 728-748 - Klaus Havelund, Michael R. Lowry, John Penix:
Formal Analysis of a Space-Craft Controller Using SPIN. 749-765
- Paloma Díaz
, Ignacio Aedo
, Fivos Panetsos
:
Erratum Corrections to 'Modeling the Dynamic Behavior of Hypermedia Applications'. 766-767
Volume 27, Number 9, September 2001
- Israel Ben-Shaul, Ophir Holder, Boris Lavva:
Dynamic Adaptation and Deployment of Distributed Components In Hadas. 769-787 - Barbara A. Kitchenham
, Robert T. Hughes, Stephen G. Linkman:
Modeling Software Measurement Data. 788-804 - Chang-Gun Lee, Kwangpo Lee, Joosun Hahn, Yang-Min Seo, Sang Lyul Min, Rhan Ha, Seongsoo Hong, Chang Yun Park, Minsuk Lee, Chong-Sang Kim:
Bounding Cache-Related Preemption Delay for Real-Time Systems. 805-826 - Gianpaolo Cugola, Elisabetta Di Nitto
, Alfonso Fuggetta:
The JEDI Event-Based Infrastructure and Its Application to the Development of the OPSS WFMS. 827-850 - Khaled El Emam, Oliver Laitenberger:
Evaluating Capture-Recapture Models with Two Inspectors. 851-864
Volume 27, Number 10, October 2001
- Anneliese Amschler Andrews:
Editorial. 865-866 - Chiara Nottegar, Corrado Priami, Pierpaolo Degano:
Performance Evaluation of Mobile Processes via Abstract Machines. 867-889 - Kevin Strike, Khaled El Emam, Nazim H. Madhavji:
Software Cost Estimation with Incomplete Data. 890-908 - Khawar M. Zuberi, Kang G. Shin:
EMERALDS: A Small-Memory Real-Time Microkernel. 909-928 - Gregg Rothermel, Roland H. Untch, Chengyun Chu, Mary Jean Harrold:
Prioritizing Test Cases For Regression Testing. 929-948 - Simeon C. Ntafos:
On Comparisons of Random, Partition, and Proportional Partition Testing. 949-960
Volume 27, Number 11, November 2001
- Claes Wohlin
:
Guest Editor's Introduction: Seventh International Software Metrics Symposium. 961-962 - Lionel C. Briand, Jürgen Wüst:
Modeling Development Effort in Object-Oriented Systems Using Design Properties. 963-986 - Martin J. Shepperd
, Michelle Cartwright:
Predicting with Sparse Data. 987-998 - Ingunn Myrtveit, Erik Stensrud, Ulf H. Olsson:
Analyzing Data Sets with Missing Data: An Empirical Evaluation of Imputation Methods and Likelihood-Based Methods. 999-1013 - Martin J. Shepperd
, Gada F. Kadoda:
Comparing Software Prediction Techniques Using Simulation. 1014-1022 - Chaitanya Kallepalli, Jeff Tian:
Measuring and Modeling Usage and Reliability for Statistical Web Testing. 1023-1036
- Sridhar Iyer, S. Ramesh:
Apportioning: A Technique for Efficient Reachability Analysis of Concurrent Object-Oriented Programs. 1037-1056
Volume 27, Number 12, December 2001
- Nancy E. Rallis, Zachary F. Lansdowne:
Reliability Estimation for a Software System with Sequential Independent Reviews. 1057-1061 - Fabrizio Fioravanti
, Paolo Nesi
:
Estimation and Prediction Metrics for Adaptive Maintenance Effort of Object-Oriented Systems. 1062-1084 - Christoph C. Michael, Gary McGraw, Michael Schatz:
Generating Software Test Data by Evolution. 1085-1110 - Bernhard Westfechtel, Bjørn P. Munch, Reidar Conradi:
A Layered Architecture for Uniform Version Management. 1111-1133 - Lutz Prechelt, Barbara Unger, Walter F. Tichy, Peter Brössler, Lawrence G. Votta:
A Controlled Experiment in Maintenance Comparing Design Patterns to Simpler Solutions. 1134-1144
![](https://dblp.org/img/cog.dark.24x24.png)
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.