艾伯特Artificial Intelligence and Software Engineering

《艾伯特Artificial Intelligence and Software Engineering》由会员上传分享，免费在线阅读，更多相关内容在行业资料-天天文库。

1、123456789101112131415161718www.aibbt.com让未来触手可及www.aibbt.com让未来触手可及ARTIFICIALINTELLIGENCEandSOFTWAREENGINEERINGUnderstandingthePromiseoftheFutureDerekPartridgeGlenlakePublishingCompany,Ltd.Chicago•London•NewDelhiAMACOMAmericanManagementAssociationNewYork•Atlanta•Boston

2、•Chicago•KansasCity•SanFrancisco•Washington,D.C.Brussels•MexicoCity•Tokyo•Toronto©1998IntellectLtd.ISBN:0-8144-0441-3Allrightsreserved.Nopartofthisbookmaybereproducedinanyformorbyanymeans,electronic,mechanicalphotocopying,recording,orotherwisewithoutthepriorwrittenperm

3、issionofthepublisher.PrintedintheUnitedStatesofAmerica.AMACOMAmericanManagementAssociation1601BroadwayNewYork,NewYork10019VisittheAmericanManagementAssociationandAMACOMon-lineathttp:\www.amanet.orgwww.aibbt.com让未来触手可及PageiiiContents1IntroductiontoComputerSoftware1Comp

4、utersandsoftwaresystems1Anintroductiontosoftwareengineering2Bridgesandbuildingsversussoftwaresystems4Thesoftwarecrisis26Ademandformoresoftwarepower29Responsivenesstohumanusers29Softwaresystemsinnewtypesofdomains30Responsivenesstodynamicusageenvironments31Softwaresystem

5、swithself-maintenancecapabilities32AneedforAlsystems322AIProblemsandConventionalSEProblems33WhatisanAIproblem?33Ill-definedspecifications35Correctversus'goodenough'solutions37It'stheHOWnottheWHAT38www.aibbt.com让未来触手可及Theproblemofdynamics40Thequalityofmodularapproximati

6、ons40Context-freeproblems423SoftwareEngineeringMethodology45Specifyandverify—theSAVmethodology46Themythofcompletespecification47Whatisverifiable?54Specifyandtest—theSATmethodology55PageivTestingforreliability56Thestrengths57Theweaknesses58Whataretherequirementsfortesti

7、ng?59What'sinaspecification?61Prototypingasalink644AnIncrementalandExploratoryMethodology71ClassicalmethodologyandAIproblems71www.aibbt.com让未来触手可及TheRUDEcycle72Howdowestart?74Malleablesoftware75AImusclesonaconventionalskeleton79Howdoweproceed?80Howdowefinish?85Thequest

8、ionofhacking91Conventionalparadigms935NewParadigmsforSystemEngineering101Automaticprogramming103Transformationalimple