Springer.Reverse.Engineering.of.Object.Oriented.Code.[Tonella;.Springer.2005]

《Springer.Reverse.Engineering.of.Object.Oriented.Code.[Tonella;.Springer.2005]》由会员上传分享，免费在线阅读，更多相关内容在学术论文-天天文库。

1、ReverseEngineeringofObjectOrientedCodeMonographsinComputerScienceAbadiandCardelli,ATheoryofObjectsBenosmanandKang[editors],PanoramicVision:Sensors,TheoryandApplicationsBroyandStølen,SpecificationandDevelopmentofInteractiveSystems:FOCUSonStreams,Interfaces,andRefinementBrzozowskiandSeger,Asy

2、nchronousCircuitsCantone,Omodeo,andPolicriti,SetTheoryforComputing:FromDecisionProcedurestoDeclarativeProgrammingwithSetsCastillo,Gutiérrez,andHadi,ExpertSystemsandProbabilisticNetworkModelsDowneyandFellows,ParameterizedComplexityFeijenandvanGasteren,OnaMethodofMultiprogrammingHerbertandSpä

3、rckJones[editors],ComputerSystems:Theory,Technology,andApplicationsLeiss,LanguageEquationsMclverandMorgan[editors],ProgrammingMethodologyMclverandMorgan,Abstraction,RefinementandProofforProbabilisticSystemsMisra,ADisciplineofMultiprogramming:ProgramTheoryforDistributedApplicationsNielson[ed

4、itor],MLwithConcurrencyPaton[editor],ActiveRulesinDatabaseSystemsSelig,GeometricFundamentalsofRobotics,SecondEditionTonellaandPotrich,ReverseEngineeringofObjectOrientedCodePaoloTonellaAlessandraPotrichReverseEngineeringofObjectOrientedCodeSpringereBookISBN:0-387-23803-4PrintISBN:0-387-40295

5、-0©2005SpringerScience+BusinessMedia,Inc.Print©2005SpringerScience+BusinessMedia,Inc.BostonAllrightsreservedNopartofthiseBookmaybereproducedortransmittedinanyformorbyanymeans,electronic,mechanical,recording,orotherwise,withoutwrittenconsentfromthePublisherCreatedintheUnitedStatesofAmericaVi

6、sitSpringer'seBookstoreat:http://ebooks.springerlink.comandtheSpringerGlobalWebsiteOnlineat:http://www.springeronline.comToSilviaandChiaraPaoloToBrunoAlessandraThispageintentionallyleftblankContentsForewordXIPrefaceXIII1Introduction11.1ReverseEngineering11.2TheeLibProgram31.3ClassDiagram51.

7、4ObjectDiagram81.5InteractionDiagrams101.6StateDiagrams141.7OrganizationoftheBook182TheObjectFlowGraph212.1AbstractLanguage212.1.1Declarations222.1.2Statements242.2ObjectFlowGraph252.3Containers272.4FlowPropagationAlgorithm302.5Objectsensitivity322.6Thee