verifikation reaktiver systeme

咪咪妙 · 发表于 2003-4-19 14:54

您需要登录才可以下载或查看，没有账号？注册

x

哪位前辈知道verifikation reaktiver systeme怎么翻译，在国内学习用的是什么教材，这门课应该是hauptdiplom的课，隶属于Programmierung und Softwareentwurf.

kingd · 发表于 2003-5-4 20:41

:confused:

lf_leon · 发表于 2003-7-19 15:57

一点都没有印象。内容是什么呢？软件设计从未听说过有这么个东西，也许我太固陋吧。

quilinshi · 发表于 2003-8-23 21:18

主要内容是什么？是不是系统的测试？

oasisangel · 发表于 2003-12-11 18:44

我在RWTH AACHEN第一学期，在INFORMATIK里要学这个的。这个东东是一种证明方法，证明PROG的完整性和正确性，很郁闷的。

咪咪妙 · 发表于 2004-1-5 13:07

真的是很郁闷呀

浮云 · 发表于 2004-9-5 18:48

这个关于编程理论方面的课程。

用数学的方法证明对系统的正确性进行验证。

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

萍聚头条