2011年1月3日
 
用户名:
密码:
 
新闻快递 | 原创文档 | 咨询培训 | 专家顾问 | 个人专栏 | CSDP | 产业报告 | 上海SPIN | 读编往来
首页 | 企业信息化 | 技术新热点 | 成才乐园New! | 软件工程 | 信息安全 | IT教育 | 软件出口 | 网站论坛
软件工程
软件过程管理和改进
轻载过程和敏捷方法
方法学
软件体系结构
项目管理
极限/敏捷项目管理
团队协作
人件
需求工程
软件质量
OO分析和设计技术
编译技术 
软件设计
面向服务架构
面向特征的开发
基于构件的开发
软件模式
开放源开发平台Eclipse
推荐软件工程实践
可用性工程
软件工程标准
常用文档模板和对照表
CASE工具
软件工厂
经验工厂
软件工程中心
技术传播
技术转移
软件产品评估
软件分析和验证
模型驱动开发
时序逻辑和软件工程
Web工程
数据库设计
OO数据库
数据库编程
软件工程信息资源
软件构造
软件维护
 
 
时序逻辑和软件工程
 
唐稚松院士简介
时序逻辑语言XYZ/E 与XYZ系统
http://kaoyan.netbig.com/kaoyan/e1/242/20000331/6022.htm
唐稚松院士著作目录
http://www.library.hn.cn/sxys/yszl/tang%20shenzhi.htm
基于时序逻辑的软件工程系统的研究
http://www.bjpopss.gov.cn/bjpopss/kjsc/kjsc991118c.htm
基于时序逻辑的软件工程环境
http://lcs.ios.ac.cn/concurrency.htm##1
中科院软件研究所计算机科学开放实验室
http://www.ios.ac.cn/jianjie/jichu.htm
中科院软件研究所获奖科技成果
基于时序逻辑的软件工程环境的理论与设计 国家自然科学一等奖
http://lcs.ios.ac.cn/labachievement.htm
50年重大科技成果: 基于时序逻辑的软件工程系统的意义、作用与应用
http://www.cnc.ac.cn/50_years/main02/50_02_06.html
50年中国科学家
http://www.cnc.ac.cn/50_years/main03/50_03.html#唐稚松基于时序逻辑的软件工程系统研究
中国传统文化对计算机技术的一大贡献
http://www.gmdaily.com.cn/0_gm/1999/01/19990127/gb/17950%5EGM9-2702.htm
Logic and Software Engineering, International Workshop in Honor of C.S. Tang, Beijing, pages 43--71, 1995
http://citeseer.nj.nec.com/context/158996/507076
DBLP Bibliography Server: C.S.Tang
http://www.informatik.uni-trier.de/~ley/db/indices/a-tree/t/Tang:C=_S=.html
XYZ: A Program Development Environment Based On Temporal Logic
http://portal.acm.org/citation.cfm?id=158.165&coll;=GUIDE&dl;=GUIDE&CFID;=4282241&CFTOKEN;=2061864
XYZ System and Its Philosophical Background (Abstract)
http://www.iijnet.or.jp/sea/Events/isscts/ZhisongTang_abs.txt
 
 

 友情链接: ACM || CiteSeer || CMU SEI || Construx || Cutter || IEEE-CS || itmWEB
上海市信息委 || 上海市经委 || 上海市软件行业协会 || 上海构件库
TechTarget || 珞珈远望 || 浦华瑞信 || 北京SPIN || CCW聚焦华东 || 软件出口网 更多 
最近更新日 2005.06.28
建议使用IE5.0以上版本(800*600以上) 小字体 浏览
© 2000-2005 软件出口和信息技术传播中心 制作维护: ASTI Shanghai 沪ICP备05025271号
保留所有权益