加州大学学报,第7卷
第7卷第1期,2001年1月
沃尔夫冈·雷夫 , 格哈德·谢尔霍恩 :
UCS系统设计和验证工具专刊-第1部分。 1-2 蒂莫·阿尔顿 , 米卡·卡塔拉 , 里斯托·皮卡宁 :
DisCo工具集-新一代。 3-18 克莉丝汀·肖比 , 帕斯卡·波扎特 , Jean-Claude Royer女士 :
科尔里根环境。 19-36 海因茨·特雷斯勒 , 奥拉夫·斯特斯伯格 , 保罗·伟兴忠 , 杨双华 :
一种用于工业控制器验证的开放式软件体系结构。 37-53 沃尔夫拉姆·卡尔 , Frank Derichsweiler公司 :
用于程序生成的声明性术语图属性。 54-70 约翰·克罗斯利 , 伊曼·波尔诺莫 :
弗雷德:一种从证明生成真实、正确、可重用程序的方法。 71-88 尤尔根·鲁夫 :
RAVEN:实时分析和验证环境。 89-104
第7卷第2期,2001年2月
沃尔夫冈·雷夫 , 格哈德·谢尔霍恩 :
UCS系统设计和验证工具专刊-第2部分。 105-106 鲁道夫·伯哈默 , 托尔斯滕·霍夫曼 :
在RelView系统中建模序列。 107-123 亚历山德罗·阿曼多 , 西尔维奥·兰伊斯 :
决策过程的实用扩展机制:通用Presburger算法的案例研究。 124-140 凯·鲍库斯 , 亚辛·拉赫内克 , 卡斯滕·斯塔尔 :
参数化协议的验证。 141-158 多米尼克·坎塞尔 , 多米尼克·梅里 , 斯蒂芬·默兹 :
无功系统设计的图表改进。 159-174 简·罗特 , 亨德里克·图斯 , 雅各布施 :
协代数类规范语言CCSL。 175-193 沃尔夫冈·雷夫 , 格哈德·谢尔霍恩 , 托比亚斯·沃尔默 , 尤尔根·鲁夫 :
高效实时模型检查的正确性。 194-209
第7卷第3期,2001年3月
赫尔曼·A·莫勒 :
总编辑专栏。 210 汉字Akahori , 堀谷秀次 , 铃木Katsuaki , 南部Masatoshi :
开发和评估基于网络的在线培训系统,以提高教师的ICT领导力。 211-225 小久智子 , 小川玉石 , 渡边丰雄 :
网络协作学习中面向Agent的支持环境。 226-239 Chin-Hwa Kuo先生 , 卫友贤 , 周嘉林 :
互联网上的同步EFL写作环境。 240-253 丹尼尔·萨瑟斯 :
合作学习语篇表征指导的系统研究。 254-277 卫友贤 , Chin-Hwa Kuo先生 , Nai-Long Tsao先生 , 安妮·李·刘 :
语言教师在线写作平台。 278-289
第7卷第4期,2001年4月
赫尔曼·A·莫勒 :
总编辑专栏。 290 大卫·J·哈格林 , 鲁珀特·福特 :
消息最小化负载重新分发问题。 291-306 汤米·A·琼蒂拉 :
位置/过渡-网络对称约简方法的计算复杂性。 307-326 詹妮弗·列侬 , 赫尔曼·A·莫勒 :
知识管理能否帮助贫困国家和危机局势。 327-334
第7卷第5期,2001年5月
弗兰克·卡普 , 格哈德·佩尔 :
计算机科学的未来:加州大学洛杉矶分校专刊献给赫尔曼·莫勒教授。 335-337 弗兰兹·奥伦哈默 :
计算几何-一些简单的问题及其最新解决方案。 338-354 约翰·布福德 :
电信服务和服务管理挑战。 355-365 吉塔·多米克 :
展望计算机科学教育的未来。 366-378 赫伯特·埃德尔斯布伦纳 :
180个缠绕管。 379-399 迪特尔·费尔纳 :
数字图书馆中的图形内容:老问题,近期解决方案,未来需求。 400-409 格哈德·古斯 :
编译中的问题。 410-419 托比亚斯·劳尔 , 雷纳·米勒 , 托马斯·奥特曼 :
教学动画:现在和明天。 420-433 伯纳德·莫雷特 , 亨利·夏皮罗 :
算法与实验:新(旧)方法论。 434-446 莱因哈德·波什 :
互联网会安全吗? 447-456
第7卷第6期,2001年6月
克劳斯·托赫特曼 , 赫尔曼·A·莫勒 :
加州大学洛杉矶分校专刊:I-Know’01——知识管理国际会议。 456-457 伊万·托梅克 :
知识管理和协作虚拟环境。 458-471 约阿希姆·哈斯布鲁克 :
在学习型组织中学习。 472-487 库尔特·马丁·卢格 , 赫伯特·克劳斯 :
掌握知识管理中的人为障碍。 488-497 彼得·约翰斯顿 :
知识经济中的可持续性和工作。 498-506 弗朗兹·约瑟夫·雷德马赫 :
超生物知识管理。 507-516 詹姆斯·J·托马斯 , Paula J.考利 , 奥尔加·A·库查尔 , 露西·诺威尔 , 朱迪·汤普森 , Pak Chung Wong先生 :
通过视觉分析发现知识。 517-529 哈斯 , 哈拉尔德·梅尔 :
MPEG及其与基于内容的多媒体检索的相关性。 530-547
第7卷第7期,2001年7月
克劳斯·托赫特曼 , 赫尔曼·A·莫勒 :
加州大学洛杉矶分校专刊:I-Know’01——知识管理国际会议。 548-549 大卫·L·希克斯 , 克劳斯·托赫特曼 :
个人数字图书馆和知识管理。 550-565 安德烈亚斯·霍托 , 亚历山大·马德奇 , 斯特芬·斯塔布 , 鲁迪·斯图德 :
SEAL-II——丰富结构化知识和非结构化知识之间的软肋。 566-590 埃里克·杜瓦尔 :
元数据标准:什么、谁和为什么。 591-601 B.蒂利安 :
知识管理更努力-更成功? 602-609 德克·拉姆霍斯特 :
西门子商业服务知识管理框架导览。 610-622 沃尔夫冈·希纳格尔 :
信息与知识社会中成年人的新学习。 623-628
第7卷第8期,2001年8月
伯恩哈德·艾切里尼(Bernhard K.Aichernig) , Brigitte Fröhlich女士 , 安德烈亚斯·科尔斯鲍默 :
软件工程的形式方面——J.UCS特别版,以纪念彼得·卢卡斯教授。 629-630 克利夫·琼斯 :
从VDL到VDM的过渡。 631-640 Dines Björner餐厅 :
基于形式化技术的软件工程教学——思考和计划——一本不同的软件工程教材。 641-667 米歇尔·麦克安·艾奇尼奇 :
从[Lucas 1978年]到[Mac An Airchinnigh 2001年],爱尔兰建构数学学校的折衷观点。 668-691 彼得·戈姆·拉森 :
VDMTools®“引导”十年历史发展。 692-709 伯恩哈德·艾切里尼(Bernhard K.Aichernig) :
通过抽象进行测试设计——一种基于精化演算的系统方法。 710-735 汉斯·P·齐马 :
高性能计算数据分发规范。 736-753 何塞·努诺·奥利维拉 :
“C中的Bagatelle用于VDM SoLo”。 754-781
第7卷第9期,2001年9月
赫尔曼·A·莫勒 :
总编辑专栏。 782 阿德里安·阿塔纳西乌 , 卡洛斯·马丁·维德 , 亚历山德鲁·马泰斯库 :
可编码语言和Parikh矩阵映射。 783-793 桑德拉·丰塔尼 :
高效测量学习。 794-815 桑杰·古普塔 :
决定论、非决定论、交替论和计数。 816-825 海尔格·卡勒 :
不仅仅是Word——字处理器的协作定制。 826-847 乌尔里希·西格蒙德 , 西奥·昂格勒 :
同时多线程处理器中的推测控制。 848-868
第7卷第10期,2001年10月
赫尔曼·A·莫勒 :
总编辑专栏。 869 阿米塔瓦·达塔 , 托马斯·奥特曼 :
走向虚拟大学。 870-885 朱哈·本卡拉 :
DT0L序列等价问题的三个变量。 886-892 刘玉良 , 金瑟院长 , 保罗·泽尔哈特 :
在电脑媒介沟通中,信息传递的频率和持续时间如何影响印象发展? 893-914
第7卷第11期,2001年11月
伊贡·博格尔 , Uwe Glässer公司 :
抽象状态机2001:新发展和应用——加州大学洛杉矶分校专刊。 914-916 尤里·古雷维奇 , 尼古拉·蒂尔曼 :
部分更新:探索。 917-951 格哈德·谢尔霍恩 :
使用广义正向模拟验证ASM改进。 952-979 罗伯特·施塔克 , 斯坦尼斯拉斯·南辰 :
抽象状态机逻辑。 980-1005 伊贡·博格尔 , 迭戈·索纳 :
神经抽象机。 1006-1023 罗伯特·埃什巴赫 , Uwe Glässer公司 , 莱因哈德·戈哲因 , 马丁·冯·洛伊斯 , 安德烈亚斯·普林斯 :
SDL-2000的正式定义-编译和运行SDL规范作为ASM模型。 1024-1049 安吉洛·加甘蒂尼 , 蓖麻Elvinia Riccobene :
基于ASM的测试:覆盖标准和自动测试序列。 1050-1067 专家施密特 :
将抽象状态机编译到C++。 1068-1087 查尔斯·华莱士 , 盖·特伦布雷 , 何塞·纳尔逊·阿马拉尔 :
位置一致性内存模型和缓存协议的抽象状态机规范和验证。 1088-1112
第7卷第12期,2001年12月
赫尔曼·A·莫勒 :
总编辑专栏。 1113 汉斯·博德兰德 :
图着色变量的一般NP-hardeness证明。 1114-1124 哈拉尔德·克罗特迈尔 , 赫尔曼·A·莫勒 :
21世纪的隐逸。 1125-1136