Storming Media: Pentagon Reports and DocumentsPentagon Reports: Fast. Definitive. Complete.     
New Account »
Forgot Password?
Advanced Search »

Newsletter
Unsubscribe »
Reports by Author

Joshua J Bloch


Click on the titles below to find US government-authored or -collected reports written by Joshua J Bloch

Total Results: 1 Results per page:
Sort by: Title Date Desc Pages Display:
Analysis-Based Verification: A Programmer-Oriented Approach to the Assurance of Mechanical Program Properties 27 May 2010 248 pages
Authors:  T J Halloran; William L Scherlis; James D Herbsleb; Mary Shaw; Joshua J Bloch; CARNEGIE-MELLON UNIV PITTSBURGH PA SCHOOL OF COMPUTER SCIENCE
The full text of this report is available for sale.There is a constant and insidious loss of design intent throughout the software lifecycle. Developers make design decisions but fail to record these decisions or their rationale. As a consequence, quality and maintainability of software suffer, since additional effort must be expended to recover and verify lost design intent prior to implementing even minor changes in the code. This is particularly challenging for concurrent code. Our vision is to capture ...


Total Results: 1 Results per page: