Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDIEEE Transactions on Software Engineering (TSE), Volume 35
Volume 35, Number 1, January - February 2009
- Chunyang Ye, Shing-Chi Cheung
, Wing Kwong Chan, Chang Xu:
Atomicity Analysis of Service Composition across Organizations. 2-28 - Sebastian G. Elbaum, Hui Nee Chin, Matthew B. Dwyer, Matthew Jorde:
Carving and Replaying Differential Unit Test Cases from System Test Cases. 29-45 - Pamela Zave, Eric Cheung:
Compositional Control of IP Media. 46-66 - Sarah Spiekermann, Lorrie Faith Cranor:
Engineering Privacy. 67-82 - Anders Mattsson, Björn Lundell, Brian Lings, Brian Fitzgerald:
Linking Model-Driven Development and Software Architecture: A Case Study. 83-93 - Robin Abraham, Martin Erwig:
Mutation Operators for Spreadsheets. 94-108 - An Ngo-The, Günther Ruhe:
Optimized Resource Allocation for Software Release Planning. 109-123 - Peter Stewart Hearty, Norman E. Fenton, David Marquez, Martin Neil:
Predicting Project Velocity in XP Using a Learning Dynamic Bayesian Network Model. 124-137
Volume 35, Number 2, March-April 2009
- Jane Hillston, Marta Z. Kwiatkowska, Miklós Telek:
Guest Editors' Introduction to the Special Issue on Quantitative Evaluation of Computer Systems. 145-147 - Greg Franks, Tariq Omari, C. Murray Woodside, Olivia Das, Salem Derisavi:
Enhanced Modeling and Solution of Layered Queueing Networks. 148-161 - Giuliano Casale:
CoMoM: Efficient Class-Oriented Evaluation of Multiclass Performance Models. 162-177 - Laura Carnevali, Leonardo Grassi, Enrico Vicario:
State-Density Functions over DBM Domains in the Analysis of Non-Markovian Models. 178-194 - Peter Kemper, Carsten Tepper:
Automated Trace Analysis of Discrete-Event System Models. 195-208 - Gethin Norman, Catuscia Palamidessi, David Parker, Peng Wu:
Model Checking Probabilistic and Stochastic Extensions of the pi-Calculus. 209-223 - Susanna Donatelli, Serge Haddad, Jeremy Sproston:
Model Checking Timed and Stochastic Properties with CSL^{TA}. 224-240 - Tingting Han, Joost-Pieter Katoen, Berteun Damman:
Counterexample Generation in Probabilistic Model Checking. 241-257 - Luca de Alfaro, Marco Faella, Mariëlle Stoelinga:
Linear and Branching System Metrics. 258-273 - Eckard Böde, Marc Herbstritt, Holger Hermanns, Sven Johr, Thomas Peikenkamp, Reza Pulungan, Jan-Hendrik Rakow, Ralf Wimmer, Bernd Becker:
Compositional Dependability Evaluation for STATEMATE. 274-292 - Akif Günes Koru, Dongsong Zhang, Khaled El Emam, Hongfang Liu:
An Investigation into the Functional Form of the Size-Defect Relationship for Software Modules. 293-304
Volume 35, Number 3, May-June 2009
- Brian Demsky, Martin C. Rinard:
Automatic Extraction of Heap Reference Properties in Object-Oriented Programs. 305-324 - Patrizio Pelliccione, Paola Inverardi, Henry Muccini:
CHARMY: A Framework for Designing and Verifying Architectural Specifications. 325-346 - Nikolaos Tsantalis, Alexander Chatzigeorgiou:
Identification of Move Method Refactoring Opportunities. 347-367 - Magne Jørgensen, Tanja M. Gruschke:
The Impact of Lessons-Learned Sessions on Effort Estimation and Uncertainty Assessments. 368-383 - Sebastián Uchitel, Greg Brunet, Marsha Chechik:
Synthesis of Partial Behavior Models from Properties and Scenarios. 384-406 - Bente Anda, Dag I. K. Sjøberg, Audris Mockus:
Variability and Reproducibility in Software Engineering: A Study of Four Companies that Developed the Same System. 407-429 - Mika Mäntylä, Casper Lassenius:
What Types of Defects Are Really Discovered in Code Reviews? 430-448
Volume 35, Number 4, July 2009
- Jeff Kramer:
Editorial: New Associate Editors Introduction. 449 - Gerardo Canfora, Ladan Tahvildari, Hausi A. Müller:
Guest Editors' Introduction to the Special Section from the International Conference on Software Maintenance. 450-451 - Pavan Kumar Chittimalli, Mary Jean Harrold:
Recomputing Coverage Information to Assist Regression Testing. 452-469 - Margaret-Anne D. Storey, Jody Ryall, Janice Singer, Del Myers, Li-Te Cheng, Michael J. Muller:
How Software Developers Use Tagging to Support Reminding and Refinding. 470-483 - Margaret Hamill, Katerina Goseva-Popstojanova:
Common Trends in Software Fault and Failure Data. 484-496 - Hamid Abdul Basit, Stan Jarzabek:
A Data Mining Approach for Detecting Higher-Level Clones in Software. 497-514 - Wuwei Shen, Kun Wang, Alexander Egyed:
An Efficient and Scalable Approach to Correct Class Model Refinement. 515-533 - Chris F. Kemerer, Mark C. Paulk:
The Impact of Design and Code Reviews on Software Quality: An Empirical Study Based on PSP Data. 534-550 - Sira Vegas, Natalia Juristo Juzgado, Victor R. Basili:
Maturing Software Engineering Knowledge through Classifications: A Case Study on Unit Testing Techniques. 551-565 - Les Hatton:
Power-Law Distributions of Component Size in General Software Systems. 566-572 - Stéphane Ducasse, Damien Pollet:
Software Architecture Reconstruction: A Process-Oriented Taxonomy. 573-591
Volume 35, Number 5, September 2009
- Nannette P. Napier, Lars Mathiassen, Roy D. Johnson:
Combining Perceptions and Prescriptions in Requirements Engineering Process Assessment: An Industrial Case Study. 593-606 - Yuming Zhou, Hareton K. N. Leung, Baowen Xu:
Examining the Potentially Confounding Effect of Class Size on the Associations between Object-Oriented Metrics and Change-Proneness. 607-623 - Ning Nan, Donald E. Harter:
Impact of Budget and Schedule Pressure on Software Development Cycle Time and Effort. 624-637 - Michel Benaroch, James Goldstein:
An Integrative Economic Optimization Approach to Systems Development Risk Management. 638-653 - Ammar Masood, Rafae Bhatti, Arif Ghafoor, Aditya P. Mathur:
Scalable and Effective Test Generation for Role-Based Access Control Systems. 654-668 - Sylvain Hallé, Roger Villemaire, Omar Cherkaoui:
Specifying and Validating Data-Aware Temporal Web Service Properties. 669-683 - Bas Cornelissen, Andy Zaidman, Arie van Deursen, Leon Moonen, Rainer Koschke:
A Systematic Survey of Program Comprehension through Dynamic Analysis. 684-702 - Enrico Vicario, Luigi Sassoli, Laura Carnevali:
Using Stochastic State Classes in Quantitative Evaluation of Dense-Time Reactive Systems. 703-719 - Marco D'Ambros, Michele Lanza, Mircea Lungu:
Visualizing Co-Change Information with the Evolution Radar. 720-735
Volume 35, Number 6, November 2009
- Jean-Marie Favre, Dragan Gasevic, Ralf Lämmel, Andreas Winter:
Guest Editors' Introduction to the Special Section on Software Language Engineering. 737-741 - Colin Atkinson, Matthias Gutheil, Bastian Kennel:
A Flexible Infrastructure for Multilevel Language Engineering. 742-755 - Daniel L. Moody:
The “Physics” of Notations: Toward a Scientific Basis for Constructing Visual Notations in Software Engineering. 756-779 - Nicholas A. Kraft, Edward B. Duffy, Brian A. Malloy:
Grammar Recovery from Parse Trees and Metrics-Guided Grammar Refactoring. 780-794 - Michal Antkiewicz, Krzysztof Czarnecki, Matthew Stephan:
Engineering of Framework-Specific Modeling Languages. 795-824 - Jesús Sánchez Cuadrado, Jesús García Molina:
A Model-Based Approach to Families of Embedded Domain-Specific Languages. 825-840 - Ghassan Beydoun, Graham C. Low, Brian Henderson-Sellers, Haralambos Mouratidis, Jorge J. Gómez-Sanz, Juan Pavón, Cesar Gonzalez-Perez:
FAML: A Generic Metamodel for MAS Development. 841-863 - Marcelo Cataldo, Audris Mockus, Jeffrey A. Roberts, James D. Herbsleb:
Software Dependencies, Work Dependencies, and Their Impact on Failures. 864-878
a service of 
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-04-22 20:02 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:
