Sciweavers

2493 search results - page 153 / 499
» Tool Support for Design by Contract
Sort
View
PSYCHNOLOGY
2008
94views more  PSYCHNOLOGY 2008»
14 years 9 months ago
A Design Framework for Mapping Social Relationships
This paper describes a design framework for representing social-spatial data on maps and diagrams and then illustrates the design approaches for representing social data in two ap...
Alistair G. Sutcliffe
ACMDIS
2000
ACM
15 years 2 months ago
Sitemaps, Storyboards, and Specifications: A Sketch of Web Site Design Practice
Through a study of web site design practice, we observed that web site designers employ multiple representations of web sites as they progress through the design process, and that...
Mark W. Newman, James A. Landay
HCI
2009
14 years 7 months ago
Activity Awareness and Social Sensemaking 2.0: Design of a Task Force Workspace
Task forces of expert knowledge workers would benefit from more advanced web tools supporting activity awareness and social sensemaking. This paper proposes the design of a task fo...
Gregorio Convertino, Lichan Hong, Les Nelson, Pete...
ICFEM
2007
Springer
15 years 1 months ago
Automating Refinement Checking in Probabilistic System Design
Abstract. Refinement plays a crucial role in "top-down" styles of verification, such as the refinement calculus, but for probabilistic systems proof of refinement is a pa...
Carlos Gonzalia, Annabelle McIver
CSSE
2008
IEEE
15 years 4 months ago
Wiki-Based Collaborative Learning Activity Design: A Case Study
As a collaborative social tool in web2.0 ear, wiki has a great potential in supporting learners’ collaborative learning. After analyzing the present wiki research on learning ac...
Binbin Zheng, Xiuli Zhuang