原帖由 xiaobailong 于 2005-10-4 18:40 发表
另外，请问一下， Verifikation 这个是什么？测试？都有哪些课程设置呢？
英文是verification.有software verification和hardware verification.Given a system S (e.g. communication protocol, hardware description language) and a property specification (e.g. deadlock) specified using temporal logic F, verification is an automated technique for checking if S possesses F.Big comanies usually have groups on verification, e.g. Intel, HP.Some research labs have, e.g. microsoft, NEC.还有就是军事有关的部门,检查航天飞机什么的软件中是否有bug, e.g. NASA. 在欧洲很多人做这方面的research,很理论, 公式一堆一堆的. 美国一般牛校才有这个方向.Verification 可以看做是software engineering的一种, 可以用在design阶段.
[ 本帖最后由 flyingpig 于 2005-10-5 01:01 编辑 ]
我知道Software Engineer（我的重点方向就是这个）过程中有Verification, 不知道原来另外成了一个专门的方向了。汗！学艺不精。。。。。。
我们学校有一个方向，叫理论计算机，也是公式一大堆。记得刚开始上过的一门课，说任何一个程序，都可以用数学公式加以证明的。当时学得我晕晕乎乎的，感觉和上面的verification有点类似。可能理论计算机更偏重于基础或通用理论，而vefication更具体一些。
原帖由 xiaobailong 于 2005-10-4 19:29 发表
我知道Software Engineer（我的重点方向就是这个）过程中有Verification, 不知道原来另外成了一个专门的方向了。汗！学艺不精。。。。。。
我们学校有一个方向，叫理论计算机，也是公式一大堆。记得刚开始上过 ...
纯理论的verification 也可以算是theoretical computer science的一部分.呵呵.theoretical computer science journal里有不少verification的paper.欧洲的verification偏重理论, 美国的偏重实践.我是做过一阵这个, 后来不喜欢, 转security了. 呵呵.
security是比verification应用领域宽广多了，前途也很好。这个方向也有很多理论呢。前些日子，国人破解的那个加密算法，替中国在这个领域争了不少分呢吧？
哦，这么多！$感人$$欢迎$
先感谢一下flyingpig和xiaobailong！
另外，xiaobailong提到的J2EE，是不是基本上在Software Engineering和Kommunikation才能有正常的应用？Datenbank可能也会用一些？
我不知道，情况怎样？
原帖由 xiaobailong 于 2005-10-4 20:20 发表
security是比verification应用领域宽广多了，前途也很好。这个方向也有很多理论呢。前些日子，国人破解的那个加密算法，替中国在这个领域争了不少分呢吧？
有不少理论, 比如我现在做的, 和算法, 复杂度有关, 但和verification是不同的理论, 也需要实现算法.Verification的理论和Theory of computation, logic比较象.那个加密的主要是security的一个分支:cryptography
[ 本帖最后由 flyingpig 于 2005-10-4 22:05 编辑 ]
为什么没有operating system?Kernal programming好象也不错.
原帖由 chinesehao 于 2005-10-4 21:47 发表
另外，xiaobailong提到的J2EE，是不是基本上在Software Engineering和Kommunikation才能有正常的应用？Datenbank可能也会用一些？
我不知道，情况怎样？
J2EE， 全称是Java Enterprise Edition, 在企业级的软件上有广泛的应用，特别是那写N-Tier的多层次的应用软件，通常数据库会是其中的一个层次。
据统计，Java在所有编程语言中占了超过40%的使用率，几乎占了半壁江山，是所有语言中最高的。 其次C/C++也不错。在德国的话，ABAP也不得不提一下。
原帖由 flyingpig 于 2005-10-4 22:06 发表
为什么没有operating system?Kernal programming好象也不错.
是有一点奇怪，operating system都是作为基础课学的，好像没有作为专门的专业研究方向。大概现在不需要太多的kernel programming了吧？因为基本的 kernel都已经确定形成了，一般情况下，不再需要新的kernel，而现在仍然需要大量的应用程序。