3424 search results - page 84 / 685 » Automated Testing of Classes |
169
click to vote
CADE
2008
Springer
15 years 8 months ago
2008
Springer
Recent studies have provided many characterisations of the class of polynomial time computable functions through term rewriting techniques. In this paper we describe a (fully autom...
167
click to vote
EWCBR
2004
Springer
15 years 11 months ago
2004
Springer
In industrial manufacturing rigorous testing is used to ensure that the delivered products meet their specifications. Mechanical maladjustment or faults often show their presence t...
146
click to vote
CSL
2003
Springer
15 years 11 months ago
2003
Springer
The semantics of class-based languages can be deļ¬ned in terms of objects only [8, 7, 1] if classes are viewed as objects with a constructor method. One obtains a store in which m...
174
click to vote
ER
2010
Springer
15 years 4 months ago
2010
Springer
UML class diagrams (UCDs) are the de-facto standard formalism for the analysis and design of information systems. By adopting formal language techniques to capture constraints expr...
155
click to vote
LICS
2005
IEEE
15 years 11 months ago
2005
IEEE
We investigate model theoretic characterisations of the expressive power of modal logics in terms of bisimulation invariance. The paradigmatic result of this kind is van Benthemā...