2008 2nd IFIP/IEEE International Symposium on Theoretical Aspects of Software Engineering
Latest Publications

TOTAL DOCUMENTS

(FIVE YEARS 0)

H-INDEX

(FIVE YEARS 0)

Published By IEEE

9780769532493

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Structure and Interpretation of Computer Programs

2008 2nd IFIP/IEEE International Symposium on Theoretical Aspects of Software Engineering ◽

10.1109/tase.2008.40 ◽

2008 ◽

Author(s):

Ganesh Narayan ◽

K. Gopinath ◽

Sridhar Varadarajan

Keyword(s):

Computer Programs

Download Full-text

A Bigraphical Model of WSBPEL

2008 2nd IFIP/IEEE International Symposium on Theoretical Aspects of Software Engineering ◽

10.1109/tase.2008.47 ◽

2008 ◽

Cited By ~ 3

Author(s):

Min Zhang ◽

Ling Shi ◽

Longfei Zhu ◽

Yifei Wang ◽

Libo Feng ◽

...

Download Full-text

Completeness and Consistency Analysis on Requirements of Distributed Event-Driven Systems

2008 2nd IFIP/IEEE International Symposium on Theoretical Aspects of Software Engineering ◽

10.1109/tase.2008.46 ◽

2008 ◽

Cited By ~ 4

Author(s):

Lian Yu ◽

Shuang Su ◽

Shan Luo ◽

Yu Su

Keyword(s):

Consistency Analysis ◽

Driven Systems ◽

Event Driven

Download Full-text

Symbolic Model Checking APSL

2008 2nd IFIP/IEEE International Symposium on Theoretical Aspects of Software Engineering ◽

10.1109/tase.2008.24 ◽

2008 ◽

Cited By ~ 1

Author(s):

Wanwei Liu ◽

Ji Wang ◽

Huowang Chen ◽

Xiaodong Ma

Keyword(s):

Model Checking ◽

Symbolic Model Checking ◽

Symbolic Model

Download Full-text

Towards More Flexible Development of Z Specifications

2008 2nd IFIP/IEEE International Symposium on Theoretical Aspects of Software Engineering ◽

10.1109/tase.2008.20 ◽

2008 ◽

Cited By ~ 2

Author(s):

Zheng Fu ◽

Graeme Smith

Download Full-text

A Logical Framework for Software Testing

2008 2nd IFIP/IEEE International Symposium on Theoretical Aspects of Software Engineering ◽

10.1109/tase.2008.51 ◽

2008 ◽

Author(s):

Wei Li

Keyword(s):

Software Testing ◽

Logical Framework

Download Full-text

Improving Encoding Efficiency for Bounded Model Checking

2008 2nd IFIP/IEEE International Symposium on Theoretical Aspects of Software Engineering ◽

10.1109/tase.2008.23 ◽

2008 ◽

Cited By ~ 1

Author(s):

Jinji Yang ◽

Kaile Su ◽

Qingliang Chen

Keyword(s):

Model Checking ◽

Bounded Model Checking ◽

Encoding Efficiency

Download Full-text

Modeling and Refining the Service-Oriented Requirement

2008 2nd IFIP/IEEE International Symposium on Theoretical Aspects of Software Engineering ◽

10.1109/tase.2008.30 ◽

2008 ◽

Cited By ~ 3

Author(s):

Xiao-Xia Cao ◽

Huai-Kou Miao ◽

Qing-Guo Xu

Keyword(s):

Service Oriented

Download Full-text

Towards Automatically Generating Test Paths for Web Application Testing

2008 2nd IFIP/IEEE International Symposium on Theoretical Aspects of Software Engineering ◽

10.1109/tase.2008.26 ◽

2008 ◽

Cited By ~ 3

Author(s):

Huaikou Miao ◽

Zhongsheng Qian ◽

Bo Song

Keyword(s):

Web Application ◽

Web Application Testing

Download Full-text

Workflow Semantics of Peer and Service Behaviour

2008 2nd IFIP/IEEE International Symposium on Theoretical Aspects of Software Engineering ◽

10.1109/tase.2008.28 ◽

2008 ◽

Cited By ~ 1

Author(s):

Antonio Brogi ◽

Razvan Popescu

Download Full-text

2008 2nd IFIP/IEEE International Symposium on Theoretical Aspects of Software EngineeringLatest Publications

TOTAL DOCUMENTS

H-INDEX

Published By IEEE

Structure and Interpretation of Computer Programs

A Bigraphical Model of WSBPEL

Completeness and Consistency Analysis on Requirements of Distributed Event-Driven Systems

Symbolic Model Checking APSL

Towards More Flexible Development of Z Specifications

A Logical Framework for Software Testing

Improving Encoding Efficiency for Bounded Model Checking

Modeling and Refining the Service-Oriented Requirement

Towards Automatically Generating Test Paths for Web Application Testing

Workflow Semantics of Peer and Service Behaviour

2008 2nd IFIP/IEEE International Symposium on Theoretical Aspects of Software Engineering
Latest Publications