Sciweavers

2163 search results - page 118 / 433
» cases 2004
Sort
View
FASE
2004
Springer
15 years 3 months ago
Systematic Testing of Software Architectures in the C2 Style
The topic of software architecture (SA) based testing has recently raised some interest. Recent work on the topic has used the SA as a reference model for code conformance testing,...
Henry Muccini, Marcio S. Dias, Debra J. Richardson
ISCIS
2004
Springer
15 years 3 months ago
Software Testing via Model Checking
Testing is a necessary, but costly process for user-centric quality control. Moreover, testing is not comprehensive enough to completely detect faults. Many formal methods have bee...
Fevzi Belli, Baris Güldali
COOP
2004
14 years 11 months ago
Model Checking Groupware Protocols
Abstract. The enormous improvements in the efficiency of model-checking techniques in recent years facilitates their application to ever more complex systems of concurrent and dist...
Maurice H. ter Beek, Mieke Massink, Diego Latella,...
ECIS
2004
14 years 11 months ago
Consequences of implementing knowledge management initiatives in different organizational subcultures
Organizations implementing knowledge management (KM) initiatives are concerned with promoting sharing and transferring of knowledge, within and across different organizational uni...
Ravi Shankar Mayasandra, Shan Ling Pan
ECIS
2004
14 years 11 months ago
From intranets to wrestling information infrastructures
This study explores intranets as information infrastructure and this conceptualization is supported by evidence from three interpretive case studies. If an intranet is considered ...
Brian O'Flaherty, Jason Whalley