1492 search results - page 93 / 299 » Automatic Software Model Checking Using CLP |
109
Voted
ICST
2010
IEEE
14 years 8 months ago
2010
IEEE
—Markov chains with Labelled Transitions can be used to generate test cases in a model-based approach. These test cases are generated by random walks on the model according to pr...
TSE
1998
14 years 10 months ago
1998
—The main goal of this work is to propose a method to evaluate user interfaces using task models and logs generated from a user test of an application. The method can be incorpor...
87
Voted
WWW
2004
ACM
15 years 11 months ago
2004
ACM
The understanding of Semantic Web documents is built upon ontologies that define concepts and relationships of data. Hence, the correctness of ontologies is vital. Ontology reason...
81
Voted
SERA
2005
Springer
15 years 3 months ago
2005
Springer
The development of a family of applications in a domain can be greatly eased if patterns in the domain are systematically reused. Systematic use of such a pattern can be achieved ...
92
Voted
WER
2004
Springer
15 years 3 months ago
2004
Springer
MDA is a software development framework where the core is a set of automatic transformation of models. One of these models, the CIM, is used to define the business process model. T...