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

verifikation reaktiver systeme

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

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

:confused:

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

nie gehoert

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

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

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

用数学的方法证明对系统的正确性进行验证。
页: [1]
查看完整版本: verifikation reaktiver systeme