default search action

combined dblp search
author search
venue search
publication search

ask others

ACM Transactions on Software Engineering and Methodology, Volume 21

> Home > Journals > ACM Transactions on Software Engineering and Methodology

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

Volume 21, Number 1, December 2011

- view
  authority control:
- export record
  dblp key:
  - journals/tosem/EbnenasirK11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tosem/EbnenasirK11
Ali Ebnenasir, Sandeep S. Kulkarni:
Feasibility of Stepwise Design of Multitolerant Programs. 1:1-1:49
- view
  authority control:
- export record
  dblp key:
  - journals/tosem/ArnoldVY11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tosem/ArnoldVY11
Matthew Arnold, Martin T. Vechev, Eran Yahav:
QVM: An Efficient Runtime for Detecting Defects in Deployed Systems. 2:1-2:35
- view
  authority control:
- export record
  dblp key:
  - journals/tosem/TilevichG11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tosem/TilevichG11
Eli Tilevich, Sriram Gopal:
Expressive and Extensible Parameter Passing for Distributed Object Systems. 3:1-3:26
- view
  authority control:
- export record
  dblp key:
  - journals/tosem/SimURL11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tosem/SimURL11
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
- view
  authority control:
- export record
  dblp key:
  - journals/tosem/DiepDE11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tosem/DiepDE11
Madeline Diep, Matthew B. Dwyer, Sebastian G. Elbaum:
Lattice-Based Sampling for Path Property Monitoring. 5:1-5:43
- view
  authority control:
- export record
  dblp key:
  - journals/tosem/ErwigW11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tosem/ErwigW11
Martin Erwig, Eric Walkingshaw:
The Choice Calculus: A Representation for Software Variation. 6:1-6:27

Volume 21, Number 2, March 2012

- view
  authority control:
- export record
  dblp key:
  - journals/tosem/Notkin12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tosem/Notkin12
David Notkin:
Editorial. 7:1-7:2
- view
  authority control:
- export record
  dblp key:
  - journals/tosem/Al-DallalB12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tosem/Al-DallalB12
Jehad Al-Dallal, Lionel C. Briand:
A Precise Method-Method Interaction-Based Cohesion Metric for Object-Oriented Classes. 8:1-8:34
- view
  authority control:
- export record
  dblp key:
  - journals/tosem/FischbeinDBCU12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tosem/FischbeinDBCU12
Dario Fischbein, Nicolás D'Ippolito, Greg Brunet, Marsha Chechik, Sebastián Uchitel:
Weak Alphabet Merging of Partial Behavior Models. 9:1-9:47
- view
  authority control:
- export record
  dblp key:
  - journals/tosem/MattssonFLL12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tosem/MattssonFLL12
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
- view
  authority control:
- export record
  dblp key:
  - journals/tosem/KulkarniAT12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tosem/KulkarniAT12
Devdatta Kulkarni, Tanvir Ahmed, Anand Tripathi:
A Generative Programming Framework for Context-Aware CSCW Applications. 11:1-11:35
- view
  authority control:
- export record
  dblp key:
  - journals/tosem/RoychoudhuryGS12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tosem/RoychoudhuryGS12
Abhik Roychoudhury, Ankit Goel, Bikram Sengupta:
Symbolic Message Sequence Charts. 12:1-12:44
- view
  authority control:
- export record
  dblp key:
  - journals/tosem/QueraltT12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tosem/QueraltT12
Anna Queralt, Ernest Teniente:
Verification and Validation of UML Conceptual Schemas with OCL Constraints. 13:1-13:41

Volume 21, Number 3, June 2012

- view
  authority control:
- export record
  dblp key:
  - journals/tosem/KastnerATS12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tosem/KastnerATS12
Christian Kästner, Sven Apel, Thomas Thüm, Gunter Saake:
Type checking annotation-based product lines. 14:1-14:39
- view
  authority control:
- export record
  dblp key:
  - journals/tosem/ShonleGL12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tosem/ShonleGL12
Macneil Shonle, William G. Griswold, Sorin Lerner:
A framework for the checking and refactoring of crosscutting concepts. 15:1-15:47
- view
  authority control:
- export record
  dblp key:
  - journals/tosem/FantechiGLMPT12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tosem/FantechiGLMPT12
Alessandro Fantechi, Stefania Gnesi, Alessandro Lapadula, Franco Mazzanti, Rosario Pugliese, Francesco Tiezzi:
A logical verification methodology for service-oriented computing. 16:1-16:46
- view
  authority control:
- export record
  dblp key:
  - journals/tosem/StreckerM12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tosem/StreckerM12
Jaymie Strecker, Atif M. Memon:
Accounting for defect characteristics in evaluations of testing techniques. 17:1-17:43
- view
  authority control:
- export record
  dblp key:
  - journals/tosem/JenningsGB12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tosem/JenningsGB12
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
- view
  authority control:
- export record
  dblp key:
  - journals/tosem/QiRLV12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tosem/QiRLV12
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

- view
  authority control:
- export record
  dblp key:
  - journals/tosem/HolmesW12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tosem/HolmesW12
Reid Holmes, Robert J. Walker:
Systematizing pragmatic software reuse. 20:1-20:44
- view
  authority control:
- export record
  dblp key:
  - journals/tosem/CaiS12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tosem/CaiS12
Yuanfang Cai, Kevin J. Sullivan:
A formal model for automated software modularity and evolvability analysis. 21:1-21:29
- view
  authority control:
- export record
  dblp key:
  - journals/tosem/CimattiRST12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tosem/CimattiRST12
Alessandro Cimatti, Marco Roveri, Angelo Susi, Stefano Tonetta:
Validation of requirements for hybrid systems: A formal approach. 22:1-22:34
- view
  authority control:
- export record
  dblp key:
  - journals/tosem/PoshyvanykGM12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tosem/PoshyvanykGM12
Denys Poshyvanyk, Malcom Gethers, Andrian Marcus:
Concept location using formal concept analysis and information retrieval. 23:1-23:34
- view
  authority control:
- export record
  dblp key:
  - journals/tosem/MeneelySW12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tosem/MeneelySW12
Andrew Meneely, Ben H. Smith, Laurie A. Williams:
Validating software metrics: A spectrum of philosophies. 24:1-24:28
- view
  authority control:
- export record
  dblp key:
  - journals/tosem/KiezunGAGHE12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tosem/KiezunGAGHE12
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

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.