2030 search results - page 348 / 406 » Checklists for Software Engineering Case Study Research |
KBSE
2005
IEEE
14 years 1 months ago
2005
IEEE
User-session-based testing of web applications gathers user sessions to create and continually update test suites based on real user input in the field. To support this approach ...
AOSD
2007
ACM
13 years 11 months ago
2007
ACM
Achieving sufficient execution performance is a challenging goal of software development. Unfortunately, violating performance requirements is often revealed at a late stage of th...
XPU
2007
Springer
14 years 1 months ago
2007
Springer
Bringing software process change to an organisation is a real challenge. The authors have shown a sample attempt to carry out a process change and then reflected on its results and...
JACM
2002
13 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: ...
IPSN
2007
Springer
14 years 1 months ago
2007
Springer
TinyOS applications are built with software components that communicate through narrow interfaces. Since components enable finegrained code reuse, this approach has been successf...