899 search results - page 168 / 180 » A CTL-Based Logic for Program Abstractions |
107
click to vote
KBSE
2005
IEEE
15 years 5 months ago
2005
IEEE
In test generation based on model-checking, white-box test criteria are represented as trap conditions written in a temporal logic. A model checker is used to refute trap conditio...
106
click to vote
DATE
1998
IEEE
15 years 4 months ago
1998
IEEE
As the "system-on-a-chip" concept is rapidly becoming a reality, time-to-market and product complexity push the reuse of complex macromodules. Circuits combining a varie...
115
Voted
KBSE
2000
IEEE
15 years 3 months ago
2000
IEEE
c specifications provide a powerful method for the specification of abstract data types in programming languages and software systems. Completeness and ground confluence are fundam...
106
click to vote
AMAI
2000
Springer
14 years 11 months ago
2000
Springer
This is a prospective on the research in the intersection of mathematics and artificial intelligence that I see as having been the most important over the past 10 years and that I...
189
click to vote
OOPSLA
2009
Springer
15 years 6 months ago
2009
Springer
An object diagram makes explicit the object structures that are only implicit in a class diagram. An object diagram may be missing and must extracted from the code. Alternatively,...