487 search results - page 65 / 98 » Integral Invariant Signatures |
ECTEL
2008
Springer
13 years 11 months ago
2008
Springer
Abstract. Expressing generality, recognising and analysing patterns and articulating structure is a complex task and one that is invariably problematic for students. Nonetheless, v...
CORR
2007
Springer
13 years 10 months ago
2007
Springer
The design and development of complex products invariably involves many actors who have different points of view on the problem they are addressing, the product being developed, a...
CVIU
1999
13 years 9 months ago
1999
In this paper we consider the task of matching patterns, as occur in hand-drawn symbols and schematic diagrams, by their parts and relationships. Of particular interest for comput...
TCS
2002
13 years 9 months ago
2002
We show how formal specifications can be integrated into one of the current pragmatic object-oriented software development methods. Jacobson's "Object-Oriented Software ...
PTS
2010
13 years 7 months ago
2010
We present a novel algorithm for test data generation that is based on techniques used in formal software verification. Prominent examples of such formal techniques are symbolic ex...