5228 search results - page 76 / 1046 » Case Studies for Software Engineers |
149
click to vote
IEEESCC
2005
IEEE
15 years 11 months ago
2005
IEEE
In this paper we discuss a case study for the UK Police IT Organisation (PITO) on using a model-based approach to verifying web service composition interactions for a coordinated ...
155
click to vote
COMPSAC
2005
IEEE
15 years 11 months ago
2005
IEEE
Web services and service-oriented architecture are emerging technologies that are changing the way we develop and use computer software. Due to the standardization of web services...
168
click to vote
HICSS
2002
IEEE
15 years 11 months ago
2002
IEEE
This study examined a collaborative tool intervention within a geographically-distributed, engineering-design team in a large manufacturing company. Baseline data collection to de...
157
click to vote
SPIN
1999
Springer
15 years 10 months ago
1999
Springer
In a recent study a series of model checkers, among which Spin [5], SMV [9], and a newer system called XMC [10], were compared on performance. The measurements used for this compar...
189
click to vote
KCAP
2009
ACM
16 years 18 days ago
2009
ACM
Curating information from the literature for storage in databases is a crucial task in biological research, and many groups assign a particular person or team to that process. We ...