Sciweavers

1393 search results - page 237 / 279
» From Models to Interactive Systems Tool Support and XIML
Sort
View
160
Voted
CORR
2006
Springer
111views Education» more  CORR 2006»
15 years 6 months ago
Raisonner avec des diagrammes : perspectives cognitives et computationnelles
ABSTRACT. Reasoning with diagrams: cognitive and computational perspectives. Diagrammatic, analogical or iconic representations are often contrasted with linguistic or logical repr...
Catherine Recanati
ISMAR
2008
IEEE
16 years 16 days ago
Virtual redlining for civil engineering in real environments
Field workers of utility companies are regularly engaged in outdoor tasks such as network planning, maintenance and inspection of underground infrastructure. Redlining is the term...
Gerhard Schall, Erick Méndez, Dieter Schmal...
158
Voted
JSS
2006
88views more  JSS 2006»
15 years 6 months ago
A formal representation of functional size measurement methods
Estimating software size is a difficult task that requires a methodological approach. Many different methods that exist today use distinct abstractions to depict a software system...
Marjan Hericko, Ivan Rozman, Ales Zivkovic
ASM
2008
ASM
15 years 8 months ago
A First Attempt to Express KAOS Refinement Patterns with Event B
anguage (Event B), hence staying at the same abstraction level. Thus we take advantage from the Event B method: (i) it is possible to use the method during the whole development pr...
Abderrahman Matoussi, Frédéric Gerva...
126
Voted
ITS
2010
Springer
168views Multimedia» more  ITS 2010»
15 years 11 months ago
Computational Workflows for Assessing Student Learning
The use of technology for instruction, and the enormous amount of information available for consumption, places a considerable burden on instructors who must learn to integrate app...
Jun Ma, Erin Shaw, Jihie Kim