Sciweavers

433 search results - page 35 / 87
» A computer support tool for the early stages of architectura...
Sort
View
INTERACT
2007
13 years 9 months ago
CubeExplorer: An Evaluation of Interaction Techniques in Architectural Education
During the early stages of architectural training, tangibility plays an important role in developing spatial awareness. In such contexts, tangible user interfaces are believed to p...
Hyunyoung Song, François Guimbretièr...
ECSA
2011
Springer
12 years 7 months ago
Delta-oriented architectural variability using MontiCore
Modeling of software architectures is a fundamental part of software development processes. Reuse of software components and early analysis of software topologies allow the reduct...
Arne Haber, Thomas Kutz, Holger Rendel, Bernhard R...
CONCUR
2003
Springer
14 years 1 months ago
Multi-Valued Model Checking via Classical Model Checking
Multi-valued model-checking is an extension of classical model-checking to reasoning about systems with uncertain information, which are common during early design stages. The addi...
Arie Gurfinkel, Marsha Chechik
DSVIS
1998
Springer
14 years 8 days ago
Pragmatic Formal Design: A Case Study in Integrating Formal Methods into the HCI Development Cycle
Formal modelling, in interactive system design, has received considerably less real use than might have been hoped. Heavy weight formal methods can be expensive to use, with poor c...
Meurig Sage, Chris Johnson
HCI
2009
13 years 5 months ago
Social-Technical Tools for Collaborative Sensemaking and Sketching
Sensemaking is a deliberate effort to understand events or information, and a sketch is an exploratory graphic composition of a concept or observation. Within the architecture doma...
James Sullivan, Meredith Banasiak, Christopher Mes...