ACM DL

Software Engineering and Methodology (TOSEM)

Menu

Search Issue
enter search term and/or author name

Archive


ACM Transactions on Software Engineering and Methodology (TOSEM), Volume 21 Issue 4, November 2012

Systematizing pragmatic software reuse
Reid Holmes, Robert J. Walker
Article No.: 20
DOI: 10.1145/2377656.2377657

Many software reuse tasks involve reusing source code that was not designed in a manner conducive to those tasks, requiring that ad hoc modifications be applied. Such pragmatic reuse tasks are a reality in disciplined industrial...

A formal model for automated software modularity and evolvability analysis
Yuanfang Cai, Kevin Sullivan
Article No.: 21
DOI: 10.1145/2377656.2377658

Neither the nature of modularity in software design, characterized as a property of the structure of dependencies among design decisions, or its economic value are adequately well understood. One basic problem is that we do not even have a...

Validation of requirements for hybrid systems: A formal approach
Alessandro Cimatti, Marco Roveri, Angelo Susi, Stefano Tonetta
Article No.: 22
DOI: 10.1145/2377656.2377659

Flaws in requirements may have unacceptable consequences in the development of safety-critical applications. Formal approaches may help with a deep analysis that takes care of the precise semantics of the requirements. However, the proposed...

Concept location using formal concept analysis and information retrieval
Denys Poshyvanyk, Malcom Gethers, Andrian Marcus
Article No.: 23
DOI: 10.1145/2377656.2377660

The article addresses the problem of concept location in source code by proposing an approach that combines Formal Concept Analysis and Information Retrieval. In the proposed approach, Latent Semantic Indexing, an advanced Information Retrieval...

Validating software metrics: A spectrum of philosophies
Andrew Meneely, Ben Smith, Laurie Williams
Article No.: 24
DOI: 10.1145/2377656.2377661

Context. Researchers proposing a new metric have the burden of proof to demonstrate to the research community that the metric is acceptable in its intended use. This burden of proof is provided through the multi-faceted, scientific, and...

HAMPI: A solver for word equations over strings, regular expressions, and context-free grammars
Adam Kiezun, Vijay Ganesh, Shay Artzi, Philip J. Guo, Pieter Hooimeijer, Michael D. Ernst
Article No.: 25
DOI: 10.1145/2377656.2377662

Many automatic testing, analysis, and verification techniques for programs can be effectively reduced to a constraint-generation phase followed by a constraint-solving phase. This separation of concerns often leads to more effective and...