5228 search results - page 456 / 1046 » Case Studies for Software Engineers |
243
Voted
MIDDLEWARE
2005
Springer
16 years 28 days ago
2005
Springer
Pervasive and ad hoc computing applications are frequently deployed in dynamic networks. Due to mobility of the computing nodes, their unreliability, or a limited communication ra...
203
Voted
HICSS
2008
IEEE
16 years 1 months ago
2008
IEEE
The conversion of a legacy system to a system based on a commercial-off-the-shelf (COTS) package demands a dedicated guidance. The assumption that it is just a matter of adopting ...
171
click to vote
ICSE
2007
IEEE-ACM
2007
IEEE-ACM
Design and Evaluation of a Diagrammatic Notation to Aid in the Understanding of Concurrency Concepts
16 years 7 months ago
It is generally accepted that concurrency can be difficult for students to reason about and to manage. While some studies provide insight into the nature of these difficulties[6],...
236
click to vote
JACM
2002
15 years 7 months ago
2002
We show how to use an interactive theorem prover, HOL, together with a model checker, SPIN, to prove key properties of distance vector routing protocols. We do three case studies: ...
176
Voted
FATES
2003
Springer
16 years 19 days ago
2003
Springer
Most efforts to combine formal methods and software testing go in the direction of exploiting formal methods to solve testing problems, most commonly test case generation. Here we ...