怎么选方向?
请教高人：从以下的角度分析，Informatik 的各个Vertiefungsrichtung都有什么特点啊？
1. 就业前景（哪些范围广一点，哪些缺乏）
2. 德国的大学平均来说在这方面可能达到的深度（可能没法平均说）
3. 相对容易学，容易毕业
4. 学起来相对有趣些
5. 接触实际项目的机会多少
Vertiefungsbezeichnung:
- Computer Graphik und Visualisierung
- Entwicklung eingebetteter Systeme
- Informations- und Kommunikationssysteme
- Intelligent Systems
- Robotik
- Software Engineering
- Verifikation 对什么感兴趣就学什么 可是，除了最后一个我都挺感兴趣的。
[ 本帖最后由 chinesehao 于 2005-10-3 16:59 编辑 ] 那就已经去掉一个了,看看其他几个的课表,有没有自己一点都不感兴趣的 对啊，就是看了课表才发现最后一个不感兴趣，其它的都挺感兴趣。 你有计算机background吗？读硕士还是博士? 最后一个不管读什么都不要选了, 太理论. 2也可能不选.其他的, 每个方向的要求不同, 编程语言也不同, 不同方向也适合不同的人. - Entwicklung eingebetteter Systeme
- Informations- und Kommunikationssysteme
这两个是很好的选择。在德国工业界就业机会比较好。
Computer Graphik und Visualisierung 也行，在大学和研究所比较能够找到工作位置，另外，在这个方向，中国人有很好的口碑。
- Intelligent Systems
- Robotik
- Software Engineering
这三个，目前看来，相对比较难找工作。
另外，编程方面，J2EE目前是最热门的，C语言的嵌入式编程也很好，J2ME发展前景也非常好。 http://dolc.de/forum/viewthread.php?tid=207565&extra=page%3D1%26filter%3Ddigest&page=1
可以去参考一下德国工作精华区里的这个帖子。 另外，请问一下， Verifikation 这个是什么？测试？都有哪些课程设置呢？ 说到难度，个人认为，Entwicklung eingebetteter Systeme和Robotik 都是比较难的，因为都必须同时和硬件软件两方面打交道。而且这两个比较偏向Elektrotechnik方向了。
当然最主要还是看你个人的兴趣，感兴趣的东西，再花多少时间，也不会觉得辛苦，同时也比较容易取得成绩。 原帖由 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，而现在仍然需要大量的应用程序。 楼主也没说Datenbank，这个方向是所有大学计算机专业都应该有的吧？
其实数据库方向还是比较有前途的，只不过这两年在德国不太热而已，以后还是会不错的。 原帖由 xiaobailong 于 2005-10-5 18:30 发表
是有一点奇怪，operating system都是作为基础课学的，好像没有作为专门的专业研究方向。大概现在不需要太多的kernel programming了吧？因为基本的 kernel都已经确定形成了，一般情况下，不再需要新的kernel， ...
kernel programming在美国还不错.呵呵. 因为也涉及到很多编程工作, 所以可以找到遍程的职位.Google可能也要推出新的OS,所以目前在google找工有一定前景. 原帖由 xiaobailong 于 2005-10-5 18:37 发表
楼主也没说Datenbank，这个方向是所有大学计算机专业都应该有的吧？
其实数据库方向还是比较有前途的，只不过这两年在德国不太热而已，以后还是会不错的。
在我们那Datenbank是属于Informationssystem的一部分
页:
[1]