[求助]计算机的前辈们帮忙看下课程名

ayuan · 2008-10-8 12:49:48

specification formelle 确实是逻辑相关
可以说是虚拟机吧！用逻辑的机制建立模型，然后用语言表达，类似B
然后通过虚拟机验证其正确性，同时也可以验证由模型对象化出来的实例的正确性，是否和模型符合（conformite）

鼻涕牛牛牛 · 2008-10-8 13:29:13

哎。。。学得越来越累了！！真怕读不下来。

princehahaha · 2008-10-8 16:30:17

累就证明lz还是学到了东西，不愿放弃的。加油吧

鼻涕牛牛牛 · 2008-10-8 17:44:00

多谢大家鼓励！！！！

zidane007 · 2008-10-8 19:30:24

恩，一起加油

鼻涕牛牛牛 · 2008-10-9 11:50:53

恩嘎嘎！！！！

帐号		自动登录	找回密码
密码			注册