Sciweavers

602 search results - page 31 / 121
» Supporting Program Comprehension Using Semantic and Structur...
Sort
View
ECOWS
2009
Springer
14 years 2 months ago
A Framework for the Evaluation of Semantics-Based Service Composition Approaches
—The benefits of service composition are being largely acknowledged in the literature nowadays. However, as the amount of available services increases, it becomes difficult to ...
Eduardo Silva, Luís Ferreira Pires, Marten ...
OOPSLA
2005
Springer
14 years 1 months ago
Finding application errors and security flaws using PQL: a program query language
A number of effective error detection tools have been built in recent years to check if a program conforms to certain design rules. An important class of design rules deals with s...
Michael C. Martin, V. Benjamin Livshits, Monica S....
EKAW
1999
Springer
13 years 12 months ago
Knowledge Acquisition from Multiple Experts Based on Semantics of Concepts
Abstract. This paper presents one approach to acquire knowledge from multiple experts. The experts are grouped into multilevel hierarchical structure, according to the type of know...
Seppo Puuronen, Vagan Y. Terziyan
UTP
2010
13 years 5 months ago
Specification Coverage for Testing in Circus
Abstract. The Unifying Theories of Programming underpins the development of Circus, a state-rich process algebra for refinement. We have previously presented a theory of testing fo...
Ana Cavalcanti, Marie-Claude Gaudel
WWW
2006
ACM
14 years 8 months ago
Bringing communities to the semantic web and the semantic web to communities
In this paper we consider the types of community networks that are most often codified within the Semantic Web. We propose the recognition of a new structure which fulfils the def...
K. Faith Lawrence, Monica M. C. Schraefel