1168 search results - page 43 / 234 » Influencing Software Usage |
CADE
2004
Springer
14 years 9 months ago
2004
Springer
Abstract. We describe a system for the automated certification of safety properties of NASA software. The system uses Hoare-style program verification technology to generate proof ...
HICSS
2000
IEEE
14 years 1 months ago
2000
IEEE
By conducting simulations, we show that the structure of the personal networks significantly influences the diffusion processes in network effect markets like the software market....
CAI
2006
Springer
13 years 9 months ago
2006
Springer
This paper addresses the conflicting dimension of groupware, seeking the reconciliation of two very different assumptions about the users' attitudes using groupware tools: use...
HCI
2007
13 years 10 months ago
2007
Within the eEurope2010 initiative “An Information Society for All”, development methods which enable the inclusion of the end-user become essential in order to ensure the parad...
IASTEDSE
2004
13 years 10 months ago
2004
Inspections are an established quality assurance technique. In order to optimize the inspection approach, different reading techniques, such as checklist-based reading and scenari...