形式化方法--Z语言在西瓜棋中应用的研究   总被引：1，自引：0，他引：1  

邓达平  王命延 《科技广场》2005,(2):12-15

Z语言是目前广泛使用的一种形式化方法语言。它具有简明、精确、无歧义的优点。本文利用Z语言对一种棋类游戏——西瓜棋进行了描述，并给出了西瓜棋游戏从状态模式到操作模式的需求规格说明。  相似文献   

文武双修章祖安     

邓达平 《武当》2009,(8):23-24

章祖安先生为我国仅有的两位书法博士生导师之一。上世纪七十年代伊始至八十年代中期，我与章祖安先生为邻于杭州市景云村居所十余年，同一大门出入，过从甚密。常听其谈玄论道，机锋叠出，妙语惊人，得益匪浅。先生严谨治学外，于书法更情有独钟，经年累月，寒来暑往，日课不辍。特别是大暑之日，当时连电扇并无，遑论空调，惟洞开门窗，见其解衣磅礴，虽大汗淋漓，而神情自如。兴致好时，常邀我人室同赏，并自行点评，说到高妙处，眉飞色舞，不能自已，得意忘形之状可掬，豪爽天真人也。  相似文献