3147 search results - page 36 / 630 » Open-Source Model Checking |
ICST
2009
IEEE
14 years 2 months ago
2009
IEEE
Automated static analysis can identify potential source code anomalies early in the software process that could lead to field failures. However, only a small portion of static ana...
APSCC
2006
IEEE
13 years 11 months ago
2006
IEEE
Service-Oriented Architecture (SOA) plays an important role in the next generation computing models for scientific and commercial applications. But difficulties in the development...
ISCC
2008
IEEE
14 years 2 months ago
2008
IEEE
: Owing to the recent technical advances in the computing and mobile communications domain, the world of online virtual communities is experiencing a phenomenal growth and ever-inc...
ICSM
2009
IEEE
14 years 2 months ago
2009
IEEE
The paper proposes a new measure for the cohesion of classes in Object-Oriented software systems. It is based on the analysis of latent topics embedded in comments and identifiers...
ECTEL
2007
Springer
14 years 1 months ago
2007
Springer
The success of the e-learning paradigm observed in recent times created a growing demand for e-learning systems in universities and other educational institutions, that itself led ...