Dynamic inference techniques have been demonstrated to provide useful support for
various software engineering tasks including bug finding, test suite evaluation and …

New myths about formal methods are gaining tacit acceptance both outside and inside the
system-development community. The authors address and dispel these myths based on …

Producing correct, reliable software in systems of ever increasing complexity is a problem
with no immediate end in sight. The software industry suffers from a plague of bugs on a …

Informal natural language that describes code functionality, such as code comments or
function documentation, may contain substantial information about a program's intent …

The porting or translation of software applications from one programming language to
another is a common requirement of organisations that utilise software, and the increasing …

Among the different operations in Geographic Information Systems (GIS), changing scale is
crucial for the handling and analysis of multi-scale data. The term multi-scale is used to …

Errata, detected in Taylor's Logarithms. London: 4to, 1792.[sic] 14.18. 3 6 Kk Co-sine of
3398 3298-Nautical Almanac (1832) In the list of ERRATA detected in Taylor's Logarithms …

In this paper we present an approach for software language processing tasks such as code
generation, reverse-engineering and refactoring, based upon text-to-text (T2T) …

In this paper we describe an Agile model-driven engineering (MDE) approach for the re-
engineering of legacy systems. This involves the automated abstraction of systems to UML …

While a compiler produces low-level object code from high-level source code, a decompiler
produces high-level code from low-level code and has applications in the testing and …