LEADER 01733nam 2200421 a 450 001 9910694648103321 005 20051208112216.0 035 $a(CKB)5470000002364219 035 $a(OCoLC)62510055 035 $a(EXLCZ)995470000002364219 100 $a20051208d2005 ua 0 101 0 $aeng 135 $aurmn|---||||| 181 $ctxt$2rdacontent 182 $cc$2rdamedia 183 $acr$2rdacarrier 200 10$aMilitary readiness$b[electronic resource] $eDOD needs to identify and address gaps and potential risks in program strategies and funding priorities for selected equipment : report to congressional committees 210 1$a[Washington, D.C.] :$cU.S. Government Accountability Office,$d[2005] 215 $aiv, 142 pages $cdigital, PDF file 300 $aTitle from title screen (viewed on Nov. 16, 2005). 300 $a"October 2005." 300 $aPaper version available from: U.S. Government Accountability Office, 441 G St., NW, Rm. LM, Washington, D.C. 20548. 300 $a"GAO-06-141." 320 $aIncludes bibliographical references. 517 $aMilitary readiness 606 $aVehicles, Military$zUnited States$xMaintenance and repair 606 $aAirplanes, Military$zUnited States$xMaintenance and repair 606 $aMilitary helicopters$zUnited States$xMaintenance and repair 607 $aUnited States$xArmed Forces$xOperational readiness 615 0$aVehicles, Military$xMaintenance and repair. 615 0$aAirplanes, Military$xMaintenance and repair. 615 0$aMilitary helicopters$xMaintenance and repair. 801 0$bGPO 801 1$bGPO 906 $aBOOK 912 $a9910694648103321 996 $aMilitary readiness$93424767 997 $aUNINA LEADER 03527nam 22004815 450 001 9910714153403321 005 20250829144216.0 010 $a3-642-46430-0 024 7 $a10.1007/978-3-642-46430-0 035 $a(CKB)3400000000103202 035 $a(VLeBooks)9783642464300 035 $a(MiAaPQ)EBC3090736 035 $a(MiAaPQ)EBC30766938 035 $a(Au-PeEL)EBL30766938 035 $a(DE-He213)978-3-642-46430-0 035 $a(EXLCZ)993400000000103202 100 $a20121227d1980 u| 0 101 0 $aeng 135 $aurcnu|||||||| 181 $ctxt$2rdacontent 182 $cc$2rdamedia 183 $acr$2rdacarrier 200 10$aSoftware Development Tools /$fby W.E. Riddle, R.E. Fairley 205 $a1st ed. 1980. 210 1$aBerlin, Heidelberg :$cSpringer Berlin Heidelberg :$cImprint: Springer,$d1980. 215 $a1 online resource (1 p.) 311 08$a3-540-10326-0 327 $aI. Introduction -- I. Introduction -- II. Needs -- Tools for Software System Construction -- Issues in the Design of Tools for Distributed Software System Development -- A Critical Look at the Process of Tool Development: An Industrial Perspective -- III. Experiences -- An Experience-based Assessment of Development Systems -- IV. Development Support Systems -- A Software Lifecycle Methodology and Tool Support -- Software Tools and the User Software Engineering Project -- V. Procedural Description Techniques -- The Use of Data Abstraction in Program Design -- Procedural Approaches to Software Design Modelling -- VI. Non-Procedural Description Techniques -- Software Specification Languages Based on Regular Expressions -- A Data Base Approach to Software Specification -- VII. Analysis Tools -- The Role of Verification Tools and Techniques -- Aerospace and Communications Corporation Software Validation and Pre-implementation Issues -- VIII. Summary -- VIII. Summary -- Bibliography and References -- List of Attendees. 330 $aThis text contains the proceedings of a workshop on software develoDment tools, held at Pingree Park, Colorado in May, 1979. The workshop, for which we were co-chair­ men, was primarily, but not exclusively, concerned with a variety of tools supporting pre-implementation phases of software development. The workshop brought together researchers and practitioners from industrial, governmental, and academic sectors to compare and assess current work and to set some directions for future work in this emerging technical area. The fifty participants represented research and development efforts in software tools within the United States, Canada, France, Great Britain, and Japan. (A list of participants appears at the end of the text. ) Sponsorship was provided by the National Aeronautics and Space Administration, the National Bureau of Standards, the National Science Foundation, and Digital Equipment Corporation. The conference consisted of seven formal sessions and numerous organized and impromptu discussions. Each session (except the last) included invited papers, prepared remarks by discussants, and an open discussion. 606 $aSoftware engineering 606 $aSoftware Engineering 615 0$aSoftware engineering. 615 14$aSoftware Engineering. 676 $a005.1 700 $aRiddle$b W. E$0491473 701 $aFairley$b R. E$056821 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a9910714153403321 996 $aSoftware development tools$9333275 997 $aUNINA