Sciweavers

3107 search results - page 432 / 622
» Error-Correcting Source Code
Sort
View
150
Voted
ADAEUROPE
2008
Springer
15 years 9 months ago
A Framework for CFG-Based Static Program Analysis of Ada Programs
Abstract. The control flow graph is the basis for many code optimisation and analysis techniques. We introduce a new framework for the construction of powerful CFG-based represent...
Raul Fechete, Georg Kienesberger, Johann Blieberge...
COMPSAC
2007
IEEE
15 years 9 months ago
Ontologies, JavaBeans and Relational Databases for enabling semantic programming
Knowledge-based software engineering enables a programmer to integrate rich semantics in the software development process. In this work, we show how an OWL/RDF knowledge base can ...
Ioannis N. Athanasiadis, Ferdinando Villa, Andrea ...
COMPSAC
2007
IEEE
15 years 9 months ago
A Combined Concept Location Method for Java Programs
Concept location is one of the fundamental activities during software maintenance which locates the parts of the source code where a specific concept is implemented. The methods f...
Dapeng Liu, Shaochun Xu
CSMR
2007
IEEE
15 years 9 months ago
An approach for mining services in database oriented applications
The diffusion of service oriented architectures is slowed down by the lack of enough services available for satisfying service integrator needs. Nevertheless, many features desire...
Concettina Del Grosso, Massimiliano Di Penta, Igna...
120
Voted
ICSM
2007
IEEE
15 years 9 months ago
Debugging Integrated Systems: An Ethnographic Study of Debugging Practice
This paper explores how software developers debug integrated systems, where they have little or no access to the source code of the third-party software the system is composed of....
Thomas Østerlie, Alf Inge Wang