Sciweavers

53302 search results - page 16 / 10661
» Meta-Design: Design for Designers
Sort
View
FMAM
2010
157views Formal Methods» more  FMAM 2010»
13 years 5 months ago
An Experience on Formal Analysis of a High-Level Graphical SOA Design
: In this paper, we present the experience gained with the participation in a case study in which a novel high-level design language (UML4SOA) was used to produce a service-oriente...
Maurice H. ter Beek, Franco Mazzanti, Aldi Sulova
IEEECGIV
2009
IEEE
13 years 5 months ago
General Shape Grammar Interpreter for Intelligent Designs Generations
Shape grammars play an important role in a new generation of tools for the analysis and design of products. In this work we present a general tool named Shape Grammar Interpreter (...
Tomas Trescak, Inmaculada Rodríguez, Marc E...
CHI
2011
ACM
12 years 11 months ago
Fit4life: the design of a persuasive technology promoting healthy behavior and ideal weight
This is a critical design paper offering a possible scenario of use intended to provoke reflection about values and politics of design in persuasive computing. We describe the des...
Stephen Purpura, Victoria Schwanda, Kaiton William...
SIGIR
2002
ACM
13 years 7 months ago
User-centered interface design for cross-language information retrieval
This paper reports on the user-centered design methodology and techniques used for the elicitation of user requirements and how these requirements informed the first phase of the ...
Preben Hansen, Daniela Petrelli, Jussi Karlgren, M...
ISSRE
2010
IEEE
13 years 6 months ago
Detecting Dependences and Interactions in Feature-Oriented Design
—Feature-oriented software development (FOSD) aims at the construction, customization, and synthesis of large-scale software systems. We propose a novel software design paradigm,...
Sven Apel, Wolfgang Scholz, Christian Lengauer, Ch...