Sciweavers

2163 search results - page 118 / 433
» cases 2004
Sort
View
FASE
2004
Springer
15 years 10 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
141
Voted
ISCIS
2004
Springer
15 years 10 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
155
Voted
COOP
2004
15 years 6 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,...
118
Voted
ECIS
2004
15 years 6 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
130
Voted
ECIS
2004
15 years 6 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