Searching...
Advanced Search
T
TASE
2008
2008 2nd IFIP/IEEE International Symposium on Theoretical Aspects of Software Engineering
This Publication
Digital Library
Advanced Search
This Publication
Subscribe to this Publication
Login to access your subscribed content
Bibliographic References
ASCII Text
BibTex
Refworks Procite/RefMan
2008 2nd IFIP/IEEE International Symposium on Theoretical Aspects of Software Engineering
June 17-June 19
ISBN: 978-0-7695-3249-3
Table of Contents
Papers
Cover Art
(PDF)
pp. C4,C1
ABSTRACT
PDF
Title Page i
(PDF)
pp. i
ABSTRACT
PDF
Title Page iii
(PDF)
pp. iii
ABSTRACT
PDF
Copyright Page
(PDF)
pp. iv
ABSTRACT
PDF
Table of Contents
(PDF)
pp. v-vii
ABSTRACT
PDF
Message from General Chair(s)
(PDF)
pp. viii
ABSTRACT
PDF
Committee Organization
(PDF)
pp. ix
ABSTRACT
PDF
Conference Committees
(PDF)
pp. x
ABSTRACT
PDF
Reviewers
(PDF)
pp. xi
ABSTRACT
PDF
Perspectives in Probabilistic Verification
(Abstract)
Joost-Pieter Katoen
pp. 3-10
ABSTRACT
PDF
PURCHASE ARTICLE: $19
IEEE
Xplore
Subscribers
A Logical Framework for Software Testing
(Abstract)
Wei Li
pp. 11
ABSTRACT
PDF
PURCHASE ARTICLE: $19
IEEE
Xplore
Subscribers
ProB gets Nauty: Effective Symmetry Reduction for B and Z Models
(Abstract)
Corinna Spermann
Michael Leuschel
pp. 15-22
ABSTRACT
PDF
PURCHASE ARTICLE: $19
IEEE
Xplore
Subscribers
Bounded Model Checking of Compositional Processes
(Abstract)
Jun Sun
Yang Liu
Jin Song Dong
Jing Sun
pp. 23-30
ABSTRACT
PDF
PURCHASE ARTICLE: $19
IEEE
Xplore
Subscribers
Improving Encoding Efficiency for Bounded Model Checking
(Abstract)
Jinji Yang
Kaile Su
Qingliang Chen
pp. 31-38
ABSTRACT
PDF
PURCHASE ARTICLE: $19
IEEE
Xplore
Subscribers
Symbolic Model Checking APSL
(Abstract)
Wanwei Liu
Ji Wang
Huowang Chen
Xiaodong Ma
pp. 39-46
ABSTRACT
PDF
PURCHASE ARTICLE: $19
IEEE
Xplore
Subscribers
An Extension to Pointer Logic for Verification
(Abstract)
Zhifang Wang
Yiyun Chen
Zhenming Wang
Wei Wang
Bo Tian
pp. 49-56
ABSTRACT
PDF
PURCHASE ARTICLE: $19
IEEE
Xplore
Subscribers
A Generic Model for Confinement and its Application
(Abstract)
Shuling Wang
Zongyan Qiu
pp. 57-64
ABSTRACT
PDF
PURCHASE ARTICLE: $19
IEEE
Xplore
Subscribers
A Fundamental Permission Interpretation for Ownership Types
(Abstract)
Yang Zhao
John Boyland
pp. 65-72
ABSTRACT
PDF
PURCHASE ARTICLE: $19
IEEE
Xplore
Subscribers
Structure and Interpretation of Computer Programs
(Abstract)
Ganesh Narayan
K. Gopinath
Sridhar Varadarajan
pp. 73-80
ABSTRACT
PDF
PURCHASE ARTICLE: $19
IEEE
Xplore
Subscribers
A Petri Net-Based Approach for Supporting Aspect-Oriented Modeling
(Abstract)
Lianwei Guan
Xingyu Li
Hao Hu
pp. 83-90
ABSTRACT
PDF
PURCHASE ARTICLE: $19
IEEE
Xplore
Subscribers
A Model-Driven Method for the Development of Web Applications User Interaction Layer
(Abstract)
Ricardo A.C. de Souza
Roberto S.M. de Barros
pp. 91-98
ABSTRACT
PDF
PURCHASE ARTICLE: $19
IEEE
Xplore
Subscribers
A Conceptual Framework to Integrate Fault Prediction Sub-Process for Software Product Lines
(Abstract)
Cagatay Catal
Banu Diri
pp. 99-106
ABSTRACT
PDF
PURCHASE ARTICLE: $19
IEEE
Xplore
Subscribers
Executable Requirements Specification: Formal Semantics of Live Activity Diagrams
(Abstract)
Christoph Knieke
Michaela Huhn
Malte Lochau
pp. 109-112
ABSTRACT
PDF
PURCHASE ARTICLE: $19
IEEE
Xplore
Subscribers
A MDE Based Approach for Bridging Formal Models
(Abstract)
Tian Zhang
Fr?d?ric Jouault
Jean B?zivin
Jianhua Zhao
pp. 113-116
ABSTRACT
PDF
PURCHASE ARTICLE: $19
IEEE
Xplore
Subscribers
A Bigraphical Model of WSBPEL
(Abstract)
Min Zhang
Ling Shi
Longfei Zhu
Yifei Wang
Libo Feng
Geguang Pu
pp. 117-120
ABSTRACT
PDF
PURCHASE ARTICLE: $19
IEEE
Xplore
Subscribers
Producing UML Models from Focal Specifications: An Application to Airport Security Regulations
(Abstract)
David Delahaye
Jean-Fr?d?ric ?tienne
V?ronique Vigui? Donzeau-Gouge
pp. 121-124
ABSTRACT
PDF
PURCHASE ARTICLE: $19
IEEE
Xplore
Subscribers
UML Model Refactoring with Emphasis on Behavior Preservation
(Abstract)
Soodeh Hosseini
Mohammad Abdollahi Azgomi
pp. 125-128
ABSTRACT
PDF
PURCHASE ARTICLE: $19
IEEE
Xplore
Subscribers
Effective Predicate Abstraction for Program Verification
(Abstract)
Li Li
Ming Gu
Xiaoyu Song
Jianmin Wang
pp. 129-132
ABSTRACT
PDF
PURCHASE ARTICLE: $19
IEEE
Xplore
Subscribers
Reasoning about Channel Passing in Choreography
(Abstract)
Hongli Yang
Chao Cai
Liyang Peng
Xiangpeng Zhao
Zongyan Qiu
pp. 135-142
ABSTRACT
PDF
PURCHASE ARTICLE: $19
IEEE
Xplore
Subscribers
Workflow Semantics of Peer and Service Behaviour
(Abstract)
Antonio Brogi
Razvan Popescu
pp. 143-150
ABSTRACT
PDF
PURCHASE ARTICLE: $19
IEEE
Xplore
Subscribers
Verifying BPEL-Like Programs with Hoare Logic
(Abstract)
Chenguang Luo
Shengchao Qin
Zongyan Qiu
pp. 151-158
ABSTRACT
PDF
PURCHASE ARTICLE: $19
IEEE
Xplore
Subscribers
Modeling and Refining the Service-Oriented Requirement
(Abstract)
Xiao-Xia Cao
Huai-Kou Miao
Qing-Guo Xu
pp. 159-165
ABSTRACT
PDF
PURCHASE ARTICLE: $19
IEEE
Xplore
Subscribers
Transformation of BPEL Processes to Petri Nets
(Abstract)
Haiqiang Dun
Haiying Xu
Lifu Wang
pp. 166-173
ABSTRACT
PDF
PURCHASE ARTICLE: $19
IEEE
Xplore
Subscribers
Time-Abstracting Bisimulation for Probabilistic Timed Automata
(Abstract)
Taolue Chen
Tingting Han
Joost-Pieter Katoen
pp. 177-184
ABSTRACT
PDF
PURCHASE ARTICLE: $19
IEEE
Xplore
Subscribers
On Automatic Verification of Self-Stabilizing Population Protocols
(Abstract)
Jun Pang
Zhengqin Luo
Yuxin Deng
pp. 185-192
ABSTRACT
PDF
PURCHASE ARTICLE: $19
IEEE
Xplore
Subscribers
PDL over Accelerated Labeled Transition Systems
(Abstract)
Taolue Chen
Jaco van de Pol
Yanjing Wang
pp. 193-200
ABSTRACT
PDF
PURCHASE ARTICLE: $19
IEEE
Xplore
Subscribers
Specifying Properties for Modular Pi-Calculus
(Abstract)
Takashi Kitamura
Huimin Lin
pp. 201-208
ABSTRACT
PDF
PURCHASE ARTICLE: $19
IEEE
Xplore
Subscribers
Towards Automatically Generating Test Paths for Web Application Testing
(Abstract)
Huaikou Miao
Zhongsheng Qian
Bo Song
pp. 211-218
ABSTRACT
PDF
PURCHASE ARTICLE: $19
IEEE
Xplore
Subscribers
Test Data Generation for C Programs with String-Handling Functions
(Abstract)
Hui Ruan
Jian Zhang
Jun Yan
pp. 219-226
ABSTRACT
PDF
PURCHASE ARTICLE: $19
IEEE
Xplore
Subscribers
Implementing Higher-Order Control in Java
(Abstract)
Gang Yu
pp. 229-232
ABSTRACT
PDF
PURCHASE ARTICLE: $19
IEEE
Xplore
Subscribers
An Empirical Study of Maintainability in Aspect-Oriented System Evolution Using Coupling Metrics
(Abstract)
Haihao Shen
Sai Zhang
Jianjun Zhao
pp. 233-236
ABSTRACT
PDF
PURCHASE ARTICLE: $19
IEEE
Xplore
Subscribers
A Multidimensional Model for Mum Effect in Offshore Outsourcing
(Abstract)
Sakgasit Ramingwong
A.S.M. Sajeev
pp. 237-240
ABSTRACT
PDF
PURCHASE ARTICLE: $19
IEEE
Xplore
Subscribers
Completeness and Consistency Analysis on Requirements of Distributed Event-Driven Systems
(Abstract)
Lian Yu
Shuang Su
Shan Luo
Yu Su
pp. 241-244
ABSTRACT
PDF
PURCHASE ARTICLE: $19
IEEE
Xplore
Subscribers
Open Logic Based on Partial-Ordered Partition Model
(Abstract)
Liannan Lin
Jinzhao Wu
Xiang Xu
pp. 247-254
ABSTRACT
PDF
PURCHASE ARTICLE: $19
IEEE
Xplore
Subscribers
A Memoized Strategy for Preference Logic Programs
(Abstract)
Hai-Feng Guo
pp. 255-262
ABSTRACT
PDF
PURCHASE ARTICLE: $19
IEEE
Xplore
Subscribers
A Relational Model for Confined Separation Logic
(Abstract)
Shuling Wang
L.S. Barbosa
J.N. Oliveira
pp. 263-270
ABSTRACT
PDF
PURCHASE ARTICLE: $19
IEEE
Xplore
Subscribers
A Complete Axiomatization of Propositional Projection Temporal Logic
(Abstract)
Zhenhua Duan
Nan Zhang
pp. 271-278
ABSTRACT
PDF
PURCHASE ARTICLE: $19
IEEE
Xplore
Subscribers
Towards More Flexible Development of Z Specifications
(Abstract)
Zheng Fu
Graeme Smith
pp. 281-288
ABSTRACT
PDF
PURCHASE ARTICLE: $19
IEEE
Xplore
Subscribers
Pushing Requirements Changes through to Changes in Specifications
(Abstract)
Lan Lin
Jesse H. Poore
pp. 289-296
ABSTRACT
PDF
PURCHASE ARTICLE: $19
IEEE
Xplore
Subscribers
Event-B Specification of a Situated Multi-Agent System: Study of a Platoon of Vehicles
(Abstract)
Arnaud Lanoix
pp. 297-304
ABSTRACT
PDF
PURCHASE ARTICLE: $19
IEEE
Xplore
Subscribers
Author Index
(PDF)
pp. 305-306
ABSTRACT
PDF
Roster
(PDF)
pp. 308
ABSTRACT
PDF
Peer Review Notice
|
Give Us Feedback
Usage of this product signifies your acceptance of the
Terms of Use
.
Open
Download
