2223 search results - page 94 / 445 » Events in Property Patterns |
MSR
2005
ACM
15 years 3 months ago
2005
ACM
Software continually changes due to performance improvements, new requirements, bug fixes, and adaptation to a changing operational environment. Common changes include modificatio...
FOSSACS
2006
Springer
15 years 1 months ago
2006
Springer
We define a new decidable logic for expressing and checking invariants of programs that manipulate dynamically-allocated objects via pointers and destructive pointer updates. The ...
BCSHCI
2008
14 years 11 months ago
2008
This paper explores the impulsion and vibration properties of different tactile patterns (icons). These properties describe the unique movements of the pins with different values ...
VMCAI
2010
Springer
15 years 7 months ago
2010
Springer
We propose Considerate Reasoning, a novel specification and verification technique based on object invariants. This technique supports succinct specifications of implementations wh...
KDID
2004
14 years 11 months ago
2004
Condensed representations of pattern collections have been recognized to be important building blocks of inductive databases, a promising theoretical framework for data mining, and...