Sciweavers

1017 search results - page 155 / 204
» Conceptual Design
Sort
View
ICST
2009
IEEE
14 years 7 months ago
Putting Formal Specifications under the Magnifying Glass: Model-based Testing for Validation
A software development process is conceptually an abstract form of model transformation, starting from an enduser model of requirements, through to a system model for which code c...
Emine G. Aydal, Richard F. Paige, Mark Utting, Jim...
CHI
2011
ACM
14 years 1 months ago
The information flaneur: a fresh look at information seeking
We introduce the information flaneur as a new human-centred view on information seeking that is grounded in interdisciplinary research. We use the metaphor of the urban flaneur ...
Marian Dörk, Sheelagh Carpendale, Carey Willi...
FASE
2011
Springer
14 years 1 months ago
Type-Safe Evolution of Spreadsheets
Abstract. Spreadsheets are notoriously error-prone. To help avoid the introduction of errors when changing spreadsheets, models that capture the structure and interdependencies of ...
Jácome Cunha, Joost Visser, Tiago L. Alves,...
APSEC
2006
IEEE
15 years 3 months ago
Genericity - a "Missing in Action" Key to Software Simplification and Reuse
We hypothesize that certain program complexities and difficulties to realize reuse potentials have their roots in weak mechanisms for generic design of today’s programming techn...
Stan Jarzabek
CHI
2006
ACM
15 years 10 months ago
Beyond record and play: backpacks: tangible modulators for kinetic behavior
Digital Manipulatives embed computation in familiar children's toys and provide means for children to design behavior. Some systems use "record and play" as a form ...
Hayes Raffle, Amanda J. Parkes, Hiroshi Ishii, Jos...