1949 search results - page 119 / 390 » Protective Interface Specifications |
114
click to vote
SERP
2004
15 years 3 months ago
2004
This paper describes a design specification and analysis framework to support the OO design stage. Structural and behavioral specifications of objects are integrated and formalize...
BIRTHDAY
2010
Springer
15 years 2 months ago
2010
Springer
Abstract. To support model-based development and analysis of embedded systems, the specification language VDM++ has been extended with asynchronous communication and improved timin...
117
click to vote
ENTCS
2006
15 years 1 months ago
2006
In this paper, we describe a system, written in Haskell, for the automated verification of Web sites which can be used to specify (partial) correctness and completeness properties...
CHI
2008
ACM
16 years 2 months ago
2008
ACM
A postcompletion error is a distinct type of procedural error where one fails to complete the final step of a task. While redesigning interfaces and providing explicit cues have b...
100
click to vote
CHI
2004
ACM
16 years 2 months ago
2004
ACM
Connecting people across the Digital Divide is as much a social effort as a technological one. We are developing a community-centered approach to learn how interaction techniques ...