第二届TASE 2008：中国南京
第二届IEEE/IFIP软件工程理论方面国际研讨会，TASE 2008，6月17-19日，中国南京。 IEEE计算机学会 2008 ，国际标准图书编号 978-0-7695-3249-3
主题演讲
Joost-Pieter Katoen公司 
:
概率验证中的观点。 3-10 魏丽 :
软件测试的逻辑框架。 11
模型检查
科琳娜·斯佩曼 , 迈克尔·勒谢尔 :
ProB变得恶心：B和Z模型的有效对称减少。 15-22 孙军（Jun Sun） , 杨柳 , 金松洞 , 孙晶（音译） :
组合过程的有界模型检查。 23-30 杨金吉 , 苏凯乐 , 陈清亮 :
提高有界模型检查的编码效率。 31-38 刘万伟 , Ji Wang（音译） , 火王陈 , 马晓东 :
符号模型检查APSL。 39-46
程序分析与类型理论
王志芳 , 陈依云 , 王振明 , 王伟（音译） , 博天 :
用于验证的指针逻辑的扩展。 49-56 王淑玲（Shuling Wang） , 邱宗岩 :
约束的一般模型及其应用。 57-64 杨钊 , 约翰·博伊兰 :
所有权类型的基本权限解释。 65-72 加内什·M·纳拉扬 , K.戈皮纳斯 , 斯里达尔·瓦拉达拉扬 :
计算机程序的结构和解释。 73-80
软件体系结构、框架和过程
关连伟 , 李兴宇 , 郝虎 :
一种支持面向方面建模的基于Petri网的方法。 83-90 里卡多·A·C·德·苏扎 , 罗伯托·苏托·马约·德·巴罗斯 :
Web应用程序用户交互层开发的模型驱动方法。 91-98 卡加泰卡特尔 , 巴努·迪里 :
集成软件产品线故障预测子过程的概念框架。 99-106
短文1
克里斯托夫·克奈克 , 迈克拉·胡恩 , 马尔特·洛肖 :
可执行需求规范：活动图的形式语义。 109-112 田章 , 弗雷德里克·茹奥 , 让·贝齐文 , 赵建华 :
一种基于MDE的桥接形式模型的方法。 113-116 张敏 , 灵石 , 朱龙飞 , 王一菲 , 李伯峰 , 葛光浦 :
WSBPEL的双图模型。 117-120 大卫·德拉海耶 , Jean-Frédéric Etienne女士 , Véronique Donzeau-Gouge公司 :
从焦点规范生成UML模型：机场安全法规的应用。 121-124 苏德·侯赛尼 , 穆罕默德·阿卜杜拉希·阿兹戈米 :
UML模型重构，强调行为保护。 125-128 李丽 , 明古 , 宋晓宇 , 王建民 :
用于程序验证的有效谓词抽象。 129-132
面向服务的计算
杨红丽 , 蔡超 , 李阳鹏 , 赵向鹏 , 邱宗岩 :
舞蹈编导中关于通道传递的推理。 135-142 安东尼奥·布罗吉 , 拉兹万·波佩斯库 :
对等和服务行为的工作流语义。 143-150 罗晨光 , 秦胜超 , 邱宗岩 :
使用Hoare Logic验证类似BPEL的程序。 151-158 曹晓霞 , 淮口苗族 , 徐庆国 :
建模和细化面向服务的需求。 159-165 海强墩 , 徐海英（Haiying Xu） , 王丽芙 :
BPEL过程到Petri网的转换。 166-173
验证和确认
陈陶璐 , 韩婷婷 , Joost-Pieter Katoen公司 :
概率时间自动机的时间抽象互模拟。 177-184 彭军（Jun Pang） , 罗正琴 , 邓玉欣 :
关于自稳定种群协议的自动验证。 185-192 陈陶璐 , 雅各布·范德波尔 , 燕京王 :
加速标记过渡系统上的PDL。 193-200 北村隆 , 林惠民 :
指定模Pi-Calculus的属性。 201-208
软件测试
短文2
姜瑜 :
在Java中实现高阶控制。 229-232 沈海浩 , 赛张（Sai Zhang） , 赵建军 :
基于耦合度量的面向方面系统演化中维修性的实证研究。 233-236 萨克西特·拉明旺 , A.S.M.萨吉夫 :
离岸外包中妈妈效应的多维模型。 237-240 连瑜 , 苏爽 , 珊罗 , 于素 :
分布式事件驱动系统需求的完整性和一致性分析。 241-244
逻辑系统与程序设计
林连南 , 吴金照 , 向旭 :
基于部分有序划分模型的开放逻辑。 247-254 郭海峰 :
偏好逻辑程序的记忆策略。 255-262 王淑玲（Shuling Wang） , 路易斯·索尔斯·巴博萨 , 何塞·努诺·奥利维拉 :
约束分离逻辑的关系模型。 263-270 段振华 , 张楠（Nan Zhang） :
命题投影时序逻辑的完全公理化。 271-278
规范和要求
郑福 , 格雷姆·史密斯 :
实现Z规范的更灵活开发。 281-288 兰琳 , 杰西·普尔 :
将需求变更推至规范变更。 289-296 阿诺德·拉诺伊斯 :
事件B：态势多智能体系统规范：车辆排研究。 297-304
