🚀 go-pugleaf

RetroBBS NetNews Server

Inspired by RockSolid Light RIP Retro Guy

Article View: cn.bbs.comp.lang.java
Article #13059

2004��7��7��Bertrand Meyer-"��������������"���

#13059
From: ���|{�����ɱ�}
Date: Tue, 06 Jul 2004 14:15
47 lines
2942 bytes
2004��7��7��Bertrand Meyer--"��������������"����



ʱ�䣺2004��7��7�գ���������16:00-18:00

�ص㣺�˴ν���ͨ������Զ����Ƶ��Ƶ���С�����������������ľ���֪ͨ��

����100�ˣ�������Ա���˳��Ϊ׼���У���

������

���ݣ�
*��������������
*����Լ���


�ݽ��ˣ�

Bertrand Meyer����������ʦ��������Eiffel ���ԺͰ���Լ��ƣ�Design by Contract�����
Ժʿ��Ŀǰ������˵���Eiffel�����͹��߿�����˾ISE��CTO֮�⣬���ǰ���˹̹��ĸУ������
��ͬʱ���ڰĴ�����Monash��ѧ�ν̡���������������⣬�����������Z��ʽ��Լ���Ե��
������trusted component����

Ԥ��ѧϰ��
*���������������졷


����
����http://www.umlchina.com/News/seminar040707.doc���ر���?�ĵ�seminar@umlchina.c
ע�⣺
*�뾡����Ҫ��163�����sina���䱨����Щ�����umlchina���乵ͨ������
*ÿ�ν���ı����Ƕ����ġ���ʹ������ǰ�Ľ����������Ҫ�ٱ���



--

�� ��Դ:��BBS ˮľ�廪վ http://smth.org��[FROM: 61.141.198.*]                                                          

--
http://bbs.tju.edu.cn/TJUBBS/attach/bbscon/user688.jpg?B=Pictures&F=M.1088776759.A&attachpos=168&attachname=/user688.jpg
����˵������˵�߾��ߣ�ֻ���������������....


�� ��Դ:�������ʵBBS bbs.tju.edu.cn��[FROM: 202.113.13.188]
Technical Details
Message-ID: <4D85bi$A0U@bbs.tju.edu.cn>
Path: arc1-ca.pugleaf.net!g2news1.google.com!news1.google.com!news.glorb.com!news2.euro.net!216.196.110.149.MISMATCH!border2.nntp.ams.giganews.com!nntp.giganews.com!news-out2.kabelfoon.nl!83.128.0.10.MISMATCH!newsfeed.kabelfoon.nl!news.bylinux.net!maily.cic.tsinghua.edu.cn!news.happynet.org!news2.happynet.org!TJUBBS

Show Full Headers
Complete Article Headers
X-Google-Thread: f6cb0,10d83b8ba5ae6d1b,start
X-Google-Attributes: gidf6cb0,public
X-Google-Language: Chinese,GB
Path: arc1-ca.pugleaf.net!g2news1.google.com!news1.google.com!news.glorb.com!news2.euro.net!216.196.110.149.MISMATCH!border2.nntp.ams.giganews.com!nntp.giganews.com!news-out2.kabelfoon.nl!83.128.0.10.MISMATCH!newsfeed.kabelfoon.nl!news.bylinux.net!maily.cic.tsinghua.edu.cn!news.happynet.org!news2.happynet.org!TJUBBS
From: bigbug.bbs@bbs.tju.edu.cn.no.spam (���|{�����ɱ�})
Newsgroups: cn.bbs.comp.lang.java
Subject: 2004��7��7��Bertrand Meyer-"��������������"���
Date: 06 Jul 2004 14:15:56 GMT
Organization: �����ʵBBSվ
Message-ID: <4D85bi$A0U@bbs.tju.edu.cn>
Mime-Version: 1.0
Content-Type: text/plain; charset="gb2312"
Content-Transfer-Encoding: 8bit
X-Filename: Java/M.1089123356.A
Lines: 47