5228 search results - page 440 / 1046 » Case Studies for Software Engineers |
207
click to vote
WSE
2006
IEEE
16 years 1 months ago
2006
IEEE
A challenge of existing program comprehension approaches is to provide consistent and flexible representations for software systems. Maintainers have to match their mental models ...
229
click to vote
SAFECOMP
1998
Springer
15 years 11 months ago
1998
Springer
Abstract. We present a method to specify software for a special kind of safetycritical embedded systems, where sensors deliver low-level values that must be abstracted and pre-proc...
174
click to vote
AGILEDC
2007
IEEE
16 years 1 months ago
2007
IEEE
Using Bruce Tuckman’s [1] “Forming – Storming – Norming – Performing” model of team development we review the effects of change on our team through each stage. We go o...
185
click to vote
VMCAI
2007
Springer
16 years 1 months ago
2007
Springer
Abstract. This paper explores a way to apply model checking techniques to parallel programs that use the nonblocking primitives of the Message Passing Interface (MPI). The method h...
199
click to vote
ADAEUROPE
2001
Springer
15 years 12 months ago
2001
Springer
: ASIS has proven to be an effective platform for developing various program analysis tools. However, in many cases ASIS, as defined in the ASIS dard, appears to be at a very low-l...