000 | 03386nam a22005415i 4500 | ||
---|---|---|---|
001 | 978-3-540-71878-9 | ||
003 | DE-He213 | ||
005 | 20240730201352.0 | ||
007 | cr nn 008mamaa | ||
008 | 100301s2007 gw | s |||| 0|eng d | ||
020 |
_a9783540718789 _9978-3-540-71878-9 |
||
024 | 7 |
_a10.1007/978-3-540-71878-9 _2doi |
|
050 | 4 | _aQA76.758 | |
072 | 7 |
_aUMZ _2bicssc |
|
072 | 7 |
_aCOM051230 _2bisacsh |
|
072 | 7 |
_aUMZ _2thema |
|
082 | 0 | 4 |
_a005.1 _223 |
100 | 1 |
_aLiblit, Ben. _eauthor. _4aut _4http://id.loc.gov/vocabulary/relators/aut _9166879 |
|
245 | 1 | 0 |
_aCooperative Bug Isolation _h[electronic resource] : _bWinning Thesis of the 2005 ACM Doctoral Dissertation Competition / _cby Ben Liblit. |
250 | _a1st ed. 2007. | ||
264 | 1 |
_aBerlin, Heidelberg : _bSpringer Berlin Heidelberg : _bImprint: Springer, _c2007. |
|
300 |
_aXV, 101 p. _bonline resource. |
||
336 |
_atext _btxt _2rdacontent |
||
337 |
_acomputer _bc _2rdamedia |
||
338 |
_aonline resource _bcr _2rdacarrier |
||
347 |
_atext file _bPDF _2rda |
||
490 | 1 |
_aProgramming and Software Engineering, _x2945-9168 ; _v4440 |
|
505 | 0 | _aInstrumentation Framework -- Practical Considerations -- Techniques for Statistical Debugging -- Related Work -- Conclusion. | |
520 | _aEfforts to understand and predict the behavior of software date back to the earliest days of computer programming,over half a century ago. In the intervening decades, the need for effective methods of understanding software has only increased; so- ware has spread to become the underpinning of much of modern society, and the potentially disastrous consequences of broken or poorly understood software have become all too apparent. Ben Liblit's work reconsiders two common assumptions about how we should analyze software and it arrives at some striking new results. Inprinciple,understandingsoftware is not such a hardproblem. Certainlya c- puter scientist studying programs appears to be in a much stronger position than, say, a biologist trying to understand a living organism or an economist trying to understand the behavior of markets, because the biologist and the economist must rely on indirect observation of the basic processes they wish to understand. A c- puterscientist, however,starts with a complete,precise descriptionof the behaviorof software-the program itself! Of course, the story turns out not to be so straightf- ward, because despite having a perfect description, programs are suf ciently c- plex that it is usually dif cult or even impossible to answer many simple questions about them. | ||
650 | 0 |
_aSoftware engineering. _94138 |
|
650 | 0 |
_aComputer science. _99832 |
|
650 | 0 |
_aAlgorithms. _93390 |
|
650 | 1 | 4 |
_aSoftware Engineering. _94138 |
650 | 2 | 4 |
_aComputer Science Logic and Foundations of Programming. _942203 |
650 | 2 | 4 |
_aAlgorithms. _93390 |
710 | 2 |
_aSpringerLink (Online service) _9166880 |
|
773 | 0 | _tSpringer Nature eBook | |
776 | 0 | 8 |
_iPrinted edition: _z9783540718772 |
776 | 0 | 8 |
_iPrinted edition: _z9783540837244 |
830 | 0 |
_aProgramming and Software Engineering, _x2945-9168 ; _v4440 _9166881 |
|
856 | 4 | 0 | _uhttps://doi.org/10.1007/978-3-540-71878-9 |
912 | _aZDB-2-SCS | ||
912 | _aZDB-2-SXCS | ||
912 | _aZDB-2-LNC | ||
942 | _cELN | ||
999 |
_c96490 _d96490 |