Sciweavers

173 search results - page 1 / 35
» Ott: effective tool support for the working semanticist
Sort
View
ICFP
2007
ACM
14 years 5 months ago
Ott: effective tool support for the working semanticist
It is rare to give a semantic definition of a full-scale programming language, despite the many potential benefits. Partly this is because the available metalanguages for expressi...
Peter Sewell, Francesco Zappa Nardelli, Scott Owen...
EXPERT
2002
129views more  EXPERT 2002»
13 years 4 months ago
Modeling and Simulating Work Practice: A Method for Work Systems Design
er than abstracting human behavior as work processes or tasks--functional idealizations of the work to be accomplished--we model people's activities comprehensively and chrono...
Maarten Sierhuis, William J. Clancey
SCS
2004
13 years 6 months ago
A Method and Tool Support for Model-based Semi-automated Failure Modes and Effects Analysis of Engineering Designs
Limitations in scope but also difficulties with the efficiency and scalability of present algorithms seem to have so far limited the industrial uptake of existing automated FMEA t...
Yiannis Papadopoulos, David Parker 0002, Christian...
EHCI
2004
13 years 6 months ago
The Software Design Board: A Tool Supporting Workstyle Transitions in Collaborative Software Design
Software design is a team activity, and designing effective tools to support collaborative software design is a challenging task. Designers work together in a variety of different ...
James Wu, T. C. Nicholas Graham
GROUP
1993
ACM
13 years 9 months ago
ASCW: an assistant for cooperative work
The Assistant for Cooperative Work (ASCW) is a powerful system for the management of distributed work. It consists of the Task Manager, the organizational information system TOSCA...
Thomas Kreifelts, Wolfgang Prinz