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
Model Checking
Program Analysis and Type Theory
Software Architecture,
Framework,
and Process
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
Software Testing
Short Paper 2
Logic Systems and Programming
Specification and Requirements
Copyright © Sat May 16 23:43:36 2009
by Michael Ley (ley@uni-trier.de)