![](https://dblp.uni-trier.de/img/logo.ua.320x120.png)
![](https://dblp.uni-trier.de/img/dropdown.dark.16x16.png)
![](https://dblp.uni-trier.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
![search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
default search action
ACM Transactions on Software Engineering and Methodology, Volume 21
Volume 21, Number 1, December 2011
- Ali Ebnenasir, Sandeep S. Kulkarni:
Feasibility of Stepwise Design of Multitolerant Programs. 1:1-1:49 - Matthew Arnold, Martin T. Vechev, Eran Yahav:
QVM: An Efficient Runtime for Detecting Defects in Deployed Systems. 2:1-2:35 - Eli Tilevich
, Sriram Gopal:
Expressive and Extensible Parameter Passing for Distributed Object Systems. 3:1-3:26 - Susan Elliott Sim, Medha Umarji, Sukanya Ratanotayanon, Cristina V. Lopes:
How Well Do Search Engines Support Code Retrieval on the Web? 4:1-4:25 - Madeline Diep, Matthew B. Dwyer
, Sebastian G. Elbaum:
Lattice-Based Sampling for Path Property Monitoring. 5:1-5:43 - Martin Erwig, Eric Walkingshaw:
The Choice Calculus: A Representation for Software Variation. 6:1-6:27
Volume 21, Number 2, March 2012
- David Notkin:
Editorial. 7:1-7:2 - Jehad Al-Dallal
, Lionel C. Briand:
A Precise Method-Method Interaction-Based Cohesion Metric for Object-Oriented Classes. 8:1-8:34 - Dario Fischbein, Nicolás D'Ippolito
, Greg Brunet, Marsha Chechik, Sebastián Uchitel
:
Weak Alphabet Merging of Partial Behavior Models. 9:1-9:47 - Anders Mattsson, Brian Fitzgerald
, Björn Lundell, Brian Lings:
An Approach for Modeling Architectural Design Rules in UML and its Application to Embedded Software. 10:1-10:29 - Devdatta Kulkarni, Tanvir Ahmed, Anand Tripathi:
A Generative Programming Framework for Context-Aware CSCW Applications. 11:1-11:35 - Abhik Roychoudhury
, Ankit Goel, Bikram Sengupta:
Symbolic Message Sequence Charts. 12:1-12:44 - Anna Queralt
, Ernest Teniente:
Verification and Validation of UML Conceptual Schemas with OCL Constraints. 13:1-13:41
Volume 21, Number 3, June 2012
- Christian Kästner
, Sven Apel
, Thomas Thüm, Gunter Saake:
Type checking annotation-based product lines. 14:1-14:39 - Macneil Shonle, William G. Griswold
, Sorin Lerner:
A framework for the checking and refactoring of crosscutting concepts. 15:1-15:47 - Alessandro Fantechi, Stefania Gnesi
, Alessandro Lapadula, Franco Mazzanti
, Rosario Pugliese
, Francesco Tiezzi:
A logical verification methodology for service-oriented computing. 16:1-16:46 - Jaymie Strecker, Atif M. Memon:
Accounting for defect characteristics in evaluations of testing techniques. 17:1-17:43 - Paul Jennings, Arka P. Ghosh, Samik Basu:
A two-phase approximation for model checking probabilistic unbounded until properties of probabilistic systems. 18:1-18:35 - Dawei Qi, Abhik Roychoudhury
, Zhenkai Liang
, Kapil Vaswani:
DARWIN: An approach to debugging evolving programs. 19:1-19:29
Volume 21, Number 4, November 2012
- Reid Holmes, Robert J. Walker
:
Systematizing pragmatic software reuse. 20:1-20:44 - Yuanfang Cai, Kevin J. Sullivan:
A formal model for automated software modularity and evolvability analysis. 21:1-21:29 - Alessandro Cimatti
, Marco Roveri
, Angelo Susi, Stefano Tonetta:
Validation of requirements for hybrid systems: A formal approach. 22:1-22:34 - Denys Poshyvanyk
, Malcom Gethers, Andrian Marcus
:
Concept location using formal concept analysis and information retrieval. 23:1-23:34 - Andrew Meneely, Ben H. Smith, Laurie A. Williams:
Validating software metrics: A spectrum of philosophies. 24:1-24:28 - Adam Kiezun, Vijay Ganesh
, Shay Artzi, Philip J. Guo, Pieter Hooimeijer, Michael D. Ernst:
HAMPI: A solver for word equations over strings, regular expressions, and context-free grammars. 25:1-25:28
![](https://dblp.uni-trier.de/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.