126 search results - page 8 / 26 » Employing the Object Constraint Language in Model-Based Engi... |
APSEC
2005
IEEE
15 years 4 months ago
2005
IEEE
Several kinds of call-ordering problems have been identified, all of which present subtle difficulties in ensuring the correctness of a sequential program. They include object pro...
AMAST
2004
Springer
15 years 3 months ago
2004
Springer
Abstract. Software applications are inevitably concerned with data integrity, whether the data is stored in a database, files, or program memory. An integrity guard is code execut...
117
click to vote
ISSTA
1998
ACM
15 years 2 months ago
1998
ACM
Automatic test data generation leads to identify input values on which a selected point in a procedure is executed. This paper introduces a new method for this problem based on co...
DEBS
2008
ACM
15 years 7 days ago
2008
ACM
We propose a sensornet programming model based on declarative spatio-temporal constraints on events only, not sensors. Where previous approaches conflate events and sensors becaus...
IUI
2000
ACM
15 years 2 months ago
2000
ACM
Thanks to recent scientific advances, it is now possible to design multimodal interfaces allowing the use of speech and pointing out gestures on a touchscreen. However, present sp...