2. TASE 2008: Nanjing, China

Second IEEE/IFIP International Symposium on Theoretical Aspects of Software Engineering, TASE 2008, June 17-19, 2008, Nanjing, China. IEEE Computer Society 2008, ISBN 978-0-7695-3249-3 BibTeX

Keynote Speech

Joost-Pieter Katoen:
Perspectives in Probabilistic Verification. 3-10
Electronic Edition (link) BibTeX
Wei Li:
A Logical Framework for Software Testing. 11
Electronic Edition (link) BibTeX

Model Checking

Corinna Spermann, Michael Leuschel:
ProB gets Nauty: Effective Symmetry Reduction for B and Z Models. 15-22
Electronic Edition (link) BibTeX
Jun Sun, Yang Liu, Jin Song Dong, Jing Sun:
Bounded Model Checking of Compositional Processes. 23-30
Electronic Edition (link) BibTeX
Jinji Yang, Kaile Su, Qingliang Chen:
Improving Encoding Efficiency for Bounded Model Checking. 31-38
Electronic Edition (link) BibTeX
Wanwei Liu, Ji Wang, Huowang Chen, Xiaodong Ma:
Symbolic Model Checking APSL. 39-46
Electronic Edition (link) BibTeX

Program Analysis and Type Theory

Zhifang Wang, Yiyun Chen, Zhenming Wang, Wei Wang, Bo Tian:
An Extension to Pointer Logic for Verification. 49-56
Electronic Edition (link) BibTeX
Shuling Wang, Zongyan Qiu:
A Generic Model for Confinement and its Application. 57-64
Electronic Edition (link) BibTeX
Yang Zhao, John Boyland:
A Fundamental Permission Interpretation for Ownership Types. 65-72
Electronic Edition (link) BibTeX
Ganesh M. Narayan, K. Gopinath, Sridhar Varadarajan:
Structure and Interpretation of Computer Programs. 73-80
Electronic Edition (link) BibTeX

Software Architecture, Framework, and Process

Lianwei Guan, Xingyu Li, Hao Hu:
A Petri Net-Based Approach for Supporting Aspect-Oriented Modeling. 83-90
Electronic Edition (link) BibTeX
Ricardo A. C. de Souza, Roberto Souto Maior de Barros:
A Model-Driven Method for the Development of Web Applications User Interaction Layer. 91-98
Electronic Edition (link) BibTeX
Cagatay Catal, Banu Diri:
A Conceptual Framework to Integrate Fault Prediction Sub-Process for Software Product Lines. 99-106
Electronic Edition (link) BibTeX

Short Paper 1

Christoph Knieke, Michaela Huhn, Malte Lochau:
Executable Requirements Specification: Formal Semantics of Live Activity Diagrams. 109-112
Electronic Edition (link) BibTeX
Tian Zhang, Frédéric Jouault, Jean Bézivin, Jianhua Zhao:
A MDE Based Approach for Bridging Formal Models. 113-116
Electronic Edition (link) BibTeX
Min Zhang, Ling Shi, Longfei Zhu, Yifei Wang, Libo Feng, Geguang Pu:
A Bigraphical Model of WSBPEL. 117-120
Electronic Edition (link) BibTeX
David Delahaye, Jean-Frédéric Étienne, Véronique Donzeau-Gouge:
Producing UML Models from Focal Specifications: An Application to Airport Security Regulations. 121-124
Electronic Edition (link) BibTeX
Soodeh Hosseini, Mohammad Abdollahi Azgomi:
UML Model Refactoring with Emphasis on Behavior Preservation. 125-128
Electronic Edition (link) BibTeX
Li Li, Ming Gu, Xiaoyu Song, Jianmin Wang:
Effective Predicate Abstraction for Program Verification. 129-132
Electronic Edition (link) BibTeX

Service-Oriented Computing

Hongli Yang, Chao Cai, Liyang Peng, Xiangpeng Zhao, Zongyan Qiu:
Reasoning about Channel Passing in Choreography. 135-142
Electronic Edition (link) BibTeX
Antonio Brogi, Razvan Popescu:
Workflow Semantics of Peer and Service Behaviour. 143-150
Electronic Edition (link) BibTeX
Chenguang Luo, Shengchao Qin, Zongyan Qiu:
Verifying BPEL-Like Programs with Hoare Logic. 151-158
Electronic Edition (link) BibTeX
Xiaoxia Cao, Huaikou Miao, Qingguo Xu:
Modeling and Refining the Service-Oriented Requirement. 159-165
Electronic Edition (link) BibTeX
Haiqiang Dun, Haiying Xu, Lifu Wang:
Transformation of BPEL Processes to Petri Nets. 166-173
Electronic Edition (link) BibTeX

Verification and Validation

Taolue Chen, Tingting Han, Joost-Pieter Katoen:
Time-Abstracting Bisimulation for Probabilistic Timed Automata. 177-184
Electronic Edition (link) BibTeX
Jun Pang, Zhengqin Luo, Yuxin Deng:
On Automatic Verification of Self-Stabilizing Population Protocols. 185-192
Electronic Edition (link) BibTeX
Taolue Chen, Jaco van de Pol, Yanjing Wang:
PDL over Accelerated Labeled Transition Systems. 193-200
Electronic Edition (link) BibTeX
Takashi Kitamura, Huimin Lin:
Specifying Properties for Modular Pi-Calculus. 201-208
Electronic Edition (link) BibTeX

Software Testing

Huaikou Miao, Zhong-sheng Qian, Bo Song:
Towards Automatically Generating Test Paths for Web Application Testing. 211-218
Electronic Edition (link) BibTeX
Hui Ruan, Jian Zhang, Jun Yan:
Test Data Generation for C Programs with String-Handling Functions. 219-226
Electronic Edition (link) BibTeX

Short Paper 2

Gang Yu:
Implementing Higher-Order Control in Java. 229-232
Electronic Edition (link) BibTeX
Haihao Shen, Sai Zhang, Jianjun Zhao:
An Empirical Study of Maintainability in Aspect-Oriented System Evolution Using Coupling Metrics. 233-236
Electronic Edition (link) BibTeX
Sakgasit Ramingwong, A. S. M. Sajeev:
A Multidimensional Model for Mum Effect in Offshore Outsourcing. 237-240
Electronic Edition (link) BibTeX
Lian Yu, Shuang Su, Shan Luo, Yu Su:
Completeness and Consistency Analysis on Requirements of Distributed Event-Driven Systems. 241-244
Electronic Edition (link) BibTeX

Logic Systems and Programming

Liannan Lin, Jinzhao Wu, Xiang Xu:
Open Logic Based on Partial-Ordered Partition Model. 247-254
Electronic Edition (link) BibTeX
Hai-Feng Guo:
A Memoized Strategy for Preference Logic Programs. 255-262
Electronic Edition (link) BibTeX
Shuling Wang, Luís Soares Barbosa, José Nuno Oliveira:
A Relational Model for Confined Separation Logic. 263-270
Electronic Edition (link) BibTeX
Zhenhua Duan, Nan Zhang:
A Complete Axiomatization of Propositional Projection Temporal Logic. 271-278
Electronic Edition (link) BibTeX

Specification and Requirements

Zheng Fu, Graeme Smith:
Towards More Flexible Development of Z Specifications. 281-288
Electronic Edition (link) BibTeX
Lan Lin, Jesse H. Poore:
Pushing Requirements Changes through to Changes in Specifications. 289-296
Electronic Edition (link) BibTeX
Arnaud Lanoix:
Event-B Specification of a Situated Multi-Agent System: Study of a Platoon of Vehicles. 297-304
Electronic Edition (link) BibTeX