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