473 search results - page 48 / 95 » Aspect Validation Using Model Checking |
SPIN
2007
Springer
14 years 4 months ago
2007
Springer
One of the most exciting and promising approaches to ensure the correctness of critical systems is software model checking, which considers real code, written with standard program...
CSCW
1998
ACM
14 years 2 months ago
1998
ACM
Collaborative filtering systems help address information overload by using the opinions of users in a community to make personal recommendations for documents to each user. Many c...
ER
2005
Springer
14 years 3 months ago
2005
Springer
Abstract. In an ongoing effort to better understand the process of creating conceptual models (in particular formal ones), we present a fundamental view of the process of modeling...
FASE
2007
Springer
14 years 4 months ago
2007
Springer
We use 63 features extracted from sources such as versioning and issue tracking systems to predict defects in short time frames of two months. Our multivariate approach covers aspe...
TPHOL
1998
IEEE
14 years 2 months ago
1998
IEEE
Abstract. Over the last decade, the increasing demand for the validation of safety critical systems lead to the development of domain-specific programming languages (e.g. synchrono...