5664 search results - page 224 / 1133 » Creativity support tools |
119
Voted
MJ
2006
15 years 4 months ago
2006
In this paper, we describe a hybrid tool for hardware formal verification that links the HOL (higher-order logic) theorem prover and (multiway decision graphs) model checker. Our ...
138
click to vote
ICSE
2004
IEEE-ACM
16 years 4 months ago
2004
IEEE-ACM
In large projects, software developers struggle with two sources of complexity ? the complexity of the code itself, and the complexity of the process of producing it. Both of thes...
113
Voted
CSCW
2010
ACM
16 years 1 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...
142
click to vote
ANSS
2008
IEEE
15 years 11 months ago
2008
IEEE
Functional prototypes and simulations are a well recognised and valued tool for building a shared understanding of requirements between users and developers. However, the developm...
157
click to vote
HICSS
2007
IEEE
15 years 11 months ago
2007
IEEE
This paper presents research on developing a new type of software tool for training and assisting the personnel in emergency response planning. The tool, called Disciple-VPT, will...