1782 search results - page 118 / 357 » Tool Support for Proof Engineering |
151
click to vote
WETICE
2000
IEEE
15 years 10 months ago
2000
IEEE
The CollabLogger is a visual tool that supports usability analyses of human-computer interaction in a team environment. Participants in our computer-mediated activity were engaged...
138
click to vote
TEI
2009
ACM
16 years 1 months ago
2009
ACM
Today a growing community of DIY-practitioners, artists and designers are using microcontroller-based toolkits to express their concepts for digital artifacts by building them. Ho...
190
click to vote
SEKE
2004
Springer
15 years 11 months ago
2004
Springer
The development of class models using the Rational Unified Process (RUP) requires complete, correct and unambiguous use case specification documents. The Use Case Driven Developmen...
197
click to vote
EUROPAR
2010
Springer
15 years 4 months ago
2010
Springer
Star Superscalar is a task-based programming model. The programmer starts with an ordinary C program, and adds pragmas to mark functions as tasks, identifying their inputs and outp...
139
click to vote
CSCW
2010
ACM
16 years 3 months ago
2010
ACM
An important dimension of success in development projects is the quality of the new product. Researchers have primarily concentrated on developing and evaluating processes to redu...