enter search term and/or author name
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
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
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
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
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
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...