Sciweavers

4290 search results - page 15 / 858
» Formal Approaches to Teamwork
Sort
View
CCE
2007
15 years 1 months ago
Supporting Effective Collaborative Engineering
: Facilitating and managing the development and application of effective shared work practice in distributed teams remain a key challenge for effective collaborative engineering. W...
Jörg M. Haake, Till Schümmer
IADIS
2003
15 years 1 months ago
Requirements for Groupware Calendar Systems (GCS): Addressing Social Relationships
This paper challenges the generic single conceptual viewpoint that designers have of groupware and specifically Groupware Calendar Systems (GCS). From the analysis of interviews, ...
Sungmin Park, Howard Harris, Patricia Crosbie
EXPERT
2000
75views more  EXPERT 2000»
14 years 11 months ago
Integrating Robotics Research with Undergraduate Education
The field of robotics moves so quickly and encompasses such a wide range of disciplines and applications that education in robotics must be adaptive and incorporate a multidiscipl...
Bruce A. Maxwell, Lisa Meeden
DSVIS
1998
Springer
15 years 4 months 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
VSTTE
2010
Springer
14 years 9 months ago
An Approach of Requirements Tracing in Formal Refinement
Formal modeling of computing systems yields models that are intended to be correct with respect to the requirements that have been formalized. The complexity of typical computing s...
Michael Jastram, Stefan Hallerstede, Michael Leusc...