10274 search results - page 461 / 2055 » Lean Software Development |
189
click to vote
SAFECOMP
1998
Springer
15 years 11 months ago
1998
Springer
A method is described for the analysis and the verification of safety in software systems. The method offers a formal notation for describing the software structure, the means for ...
185
click to vote
PRDC
2000
IEEE
15 years 11 months ago
2000
IEEE
In this paper, we extend the classical result by Huang, Kintala, Kolettis and Fulton (1995), and in addition propose a modified stochastic model to determine the software rejuvena...
238
click to vote
ATAL
2008
Springer
15 years 9 months ago
2008
Springer
Software maintenance and evolution is arguably a lengthy and expensive phase in the life cycle of a software system. A critical issue at this phase is change propagation: given a ...
247
click to vote
FECS
2008
15 years 9 months ago
2008
Teaching software modeling and software design presents a different and difficult set of problems than teaching some of the other aspects of software engineering such as testing a...
194
click to vote
APPINF
2003
15 years 9 months ago
2003
We describe an approach for building and testing software for ubiquitous computing. The approach provides application-level emulators of ubiquitous devices. Since each emulator is...