5433 search results - page 540 / 1087 » Tool Support for Traceability-Adaptation |
190
click to vote
HICSS
1999
IEEE
15 years 11 months ago
1999
IEEE
This paper presents a case study on the use of an alternative method of computer support to that normally used, one that uses voting as a tool for social rather than rational choi...
219
Voted
TPHOL
1998
IEEE
15 years 11 months ago
1998
IEEE
In this paper we illustrate the use of formal methods in the development of a benchmark application we call the Village Telephone System which is characteristic of a class of netwo...
185
click to vote
CANDC
2007
ACM
15 years 11 months ago
2007
ACM
Collaborative creativity is traditionally supported by formal techniques, such as brainstorming. These techniques improve the idea-generation process by creating group synergies, ...
217
Voted
DILS
2006
Springer
15 years 11 months ago
2006
Springer
Abstract. Grid computing has great potential for supporting the integration of complex, fast changing biological data repositories to enable distributed data analysis. One scenario...
205
click to vote
AICCSA
2001
IEEE
15 years 11 months ago
2001
IEEE
: A software process is defined as a description of various steps that must be carried out by process agents to pursue the goals of software engineering. To support a software proc...