1164 search results - page 17 / 233 » Using CBR for Semantic Analysis of Software Specifications |
SEMWEB
2009
Springer
14 years 2 months ago
2009
Springer
Abstract. Social Network Analysis (SNA) provides graph algorithms to characterize the structure of social networks, strategic positions in these networks, specific sub-networks and...
APWEB
2005
Springer
14 years 1 months ago
2005
Springer
Web users use search engine to find useful information on the Internet. However current web search engines return answer to a query independent of specific user information need. S...
TSE
2010
13 years 6 months ago
2010
—The Verifying Compiler (VC) project is a core component of the Dependable Systems Evolution Grand Challenge. The VC offers the promise of automatically proving that a program or...
AOSD
2009
ACM
13 years 11 months ago
2009
ACM
Most current aspect composition mechanisms rely on syntactic references to the base modules or wildcard mechanisms quantifying over such syntactic references in pointcut expressio...
AGILEDC
2006
IEEE
14 years 1 months ago
2006
IEEE
Underspecified performance requirements can cause performance issues in a software system. However, a complete, upfront analysis of a software system is difficult, and usually not...