The Abstract State Machines Method forHighLevel System Design and Analysis
WeexplainthemainingredientsoftheAbstractStateMachines(ASM)methodforhigh-levelsystemdesignandanalysisandsurveysomeofitsapplicationhighlightsinindustrialsoftware-basedsystemengineering.Weillustratethemethodbydefiningmodelsforthreesimplecontrolsystems(sluicegate,trafficlight,packagerouter)
下载地址
用户评论
