![](https://dblp1.uni-trier.de/img/logo.ua.320x120.png)
![](https://dblp1.uni-trier.de/img/dropdown.dark.16x16.png)
![](https://dblp1.uni-trier.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp1.uni-trier.de/img/search.dark.16x16.png)
![search dblp](https://dblp1.uni-trier.de/img/search.dark.16x16.png)
default search action
Advances in Computers, Volume 58
Volume 58, 2003
- Katrina Maxwell:
Software development productivity. 1-46 - Victor L. Winter, Steve Roach, Gregory L. Wickstrom:
Transformation-oriented programming: A development methodology for high assurance software. 47-116 - Armin Biere
, Alessandro Cimatti
, Edmund M. Clarke, Ofer Strichman
, Yunshan Zhu:
Bounded model checking. 117-148 - Atif M. Memon:
Advances in GUI testing. 149-201 - Marc Roper, Alastair Dunsmore, Murray Wood:
Software inspections. 203-238 - Lawrence Bernstein:
Software fault tolerance forestalls crashes: To err is human; to forgive is fault tolerant. 239-286 - Rayford B. Vaughn:
Advances in the provisions of system and software security - Thirty years of progress. 287-340
![](https://dblp1.uni-trier.de/img/cog.dark.24x24.png)
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.