Abstract. This paper describes recent work concerned with the speci cation of requirements on interactive systems and the de nition of user-level properties of such systems. A form...
In this paper we present an overview of the capabilities of the Systems Modeling Language (SysML.) SysML is a standard from the Object Management Group. It is geared toward increm...
Movement patterns of individual entities at the geographic scale are becoming a prominent research focus in spatial sciences. One pertinent question is how cognitive and formal cha...
Drawing on existing design approaches, this paper argues for the experiential desirability and critical importance--in terms of environmental sustainability-of designing for refle...
The lodestones and leylines interaction technique simplifies navigation in electronic spaces by coordinating physical and conceptual movementgently constraining motion to follow a...