759 search results - page 97 / 152 » Identifying Modeling Errors in Signatures by Model Checking |
143
Voted
ENTCS
2010
15 years 2 months ago
2010
Program debugging is an extremely time-consuming process, and it takes up a large portion of software development time. In practice, debugging is still very much of an art, with t...
104
Voted
ECEASST
2008
15 years 2 months ago
2008
Abstract: In several rule-based applications using graph transformation as underlying modeling technique the following questions arise: How can one be sure that a specific sequence...
146
click to vote
TSE
1998
15 years 2 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...
131
Voted
VLSID
2003
IEEE
16 years 3 months ago
2003
IEEE
Most verification tools and methodologies such as model checking, equivalence checking, hardware verification, software verification, and hardware-software coverification often fl...
134
Voted
TOOLS
2009
IEEE
15 years 9 months ago
2009
IEEE
A software product line (SPL) is a family of related program variants in a well-defined domain, generated from a set of features. A fundamental difference from classical applicati...