2163 search results - page 20 / 433 » cases 2004 |
ECIS
2004
14 years 11 months ago
2004
Although companies are more and more developing complex networks of connections with their partners and customers and shifting their focus towards expanding the knowledge manageme...
ACSC
2004
IEEE
15 years 1 months ago
2004
IEEE
This paper presents a case study for automatic verification using the Communicating Sequential Processes formalism. The case study concerns the Futurebus+ cache coherency standard...
87
Voted
IASSE
2004
14 years 11 months ago
2004
This paper describes how design information, in our case UML specifications, can be used to evolve a software system and validate the consistency of such an evolution. This work c...
FLAIRS
2004
14 years 11 months ago
2004
Mixed-initiative case replay introduces an active human into the case-based planning process. The goals of this novel technique are to utilize the strengths of machine-based case ...
ECIS
2004
14 years 11 months ago
2004
Requirements engineering is not straightforward for any software development team. Developing software when team members are located in widely distributed geographic locations pos...