2335 search results - page 137 / 467 » Type Checking Type Classes |
FUIN
2000
13 years 9 months ago
2000
In semantic and object-oriented data models, each class has one or more typing properties that associate it to other classes, and carry type information about all instances of the ...
ICSE
1999
IEEE-ACM
14 years 1 months ago
1999
IEEE-ACM
Formal verification methods are used only sparingly in software development. The most successful methods to date are based on the use of model checking tools. To use such he user ...
ICST
2009
IEEE
13 years 6 months ago
2009
IEEE
Under certain constraints the test case generation problem can be represented as a model checking problem, thus enabling the use of powerful model checking tools to perform the te...
SOFTVIS
2003
ACM
14 years 2 months ago
2003
ACM
UML diagrams have become increasingly important in the engineering and reengineering processes for software systems. Of particular interest are UML class diagrams whose purpose is...
AAI
2006
13 years 9 months ago
2006
Classification problems with uneven class distributions present several difficulties during the training as well as during the evaluation process of classifiers. A classification ...