2493 search results - page 61 / 499 » Tool Support for Design by Contract |
LAWEB
2005
IEEE
15 years 3 months ago
2005
IEEE
This work addresses the question of supporting web designers in considering usability in their work in order to foster user-centered design of web sites. With the MetroWeb tool th...
ETFA
2005
IEEE
15 years 3 months ago
2005
IEEE
In High Volume Manufacturing (HVM), system control is shared between automation and human workers. The social organisation of workers plays an important role in supporting human d...
CSCW
2010
ACM
15 years 6 months ago
2010
ACM
This paper introduces an interactive tabletop system that enhances creative collaboration across physical and digital artifacts. Pictionaire offers capture, retrieval, annotation,...
IAAI
1993
14 years 11 months ago
1993
This paper describes a large rule-based application called Engineering Standards Distribution System (ESDS). ESDS was built and deployed by Boeing and helps design engineers speci...
IJFCS
1998
14 years 9 months ago
1998
Directed acyclic graphs (dags) are often used to model circuits. Path lengths in such dags represent circuit delays. In the vertex splitting problem, the objective is to determine...