1949 search results - page 119 / 390 » Protective Interface Specifications |
SERP
2004
13 years 11 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
13 years 11 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...
ENTCS
2006
13 years 10 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
14 years 10 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...
CHI
2004
ACM
14 years 10 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 ...