COMPSAC
2007
IEEE
13 years 10 months ago
2007
IEEE
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...
COMPSAC
2007
IEEE
13 years 10 months ago
2007
IEEE
Algebraic testing is an automated software testing method based on algebraic formal specifications. It has the advantages of highly automated testing process and independence of t...
COMPSAC
2007
IEEE
13 years 10 months ago
2007
IEEE
Personnel risk is an issue which has not been researched well but plays an important role to determine whether a software project succeeds or fails. Most existing work focuses on ...
COMPSAC
2007
IEEE
13 years 10 months ago
2007
IEEE
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 ...
COMPSAC
2007
IEEE
13 years 10 months ago
2007
IEEE
Although many of the software engineering activities can now be model-supported, the model is often missing in software development. We are interested in retrieving statemachine m...
COMPSAC
2007
IEEE
13 years 10 months ago
2007
IEEE
We present in this paper an adaptive security model for Multi-agent systems. A security meta-model has been developed in which the traditional role concept has been extended. The ...
COMPSAC
2007
IEEE
13 years 10 months ago
2007
IEEE
In recent years, TinyOS and nesC are gradually becoming the de facto software development platform for implementing sensor applications. However, developing sensor applications is...
COMPSAC
2007
IEEE
13 years 10 months ago
2007
IEEE
Today, we are seeing an increasing number of software applications that users want to use anywhere, anytime. Such mobile applications often deliver their user interfaces (UIs) to ...
COMPSAC
2007
IEEE
13 years 10 months ago
2007
IEEE
Software that runs in the network environment is facing with many challenges. One of them is the dynamic feature of the network. To keep the quality of service, the service entity...
COMPSAC
2007
IEEE
13 years 10 months ago
2007
IEEE
Various program analysis techniques are efficient at discovering failures and properties. However, it is often difficult to evaluate results, such as program traces. ls for abst...