2009 Third IEEE International Symposium on Theoretical Aspects of Software Engineering
Latest Publications

TOTAL DOCUMENTS

(FIVE YEARS 0)

H-INDEX

(FIVE YEARS 0)

Published By IEEE

9780769537573

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Formal Approaches to Deadlock Analysis in Competitions of Shared Web Resources

2009 Third IEEE International Symposium on Theoretical Aspects of Software Engineering ◽

10.1109/tase.2009.27 ◽

2009 ◽

Author(s):

Jieqi Ding ◽

Han Zhu ◽

Huibiao Zhu ◽

Qin Li

Keyword(s):

Web Resources ◽

Deadlock Analysis

Download Full-text

Semantics for Communicating Actors with Interdependent Real-Time Deadlines

2009 Third IEEE International Symposium on Theoretical Aspects of Software Engineering ◽

10.1109/tase.2009.38 ◽

2009 ◽

Author(s):

István Knoll ◽

Anders P. Ravn ◽

Arne Skou

Keyword(s):

Real Time

Download Full-text

Modeling Fault Tolerant Services in Service-Oriented Architecture

2009 Third IEEE International Symposium on Theoretical Aspects of Software Engineering ◽

10.1109/tase.2009.41 ◽

2009 ◽

Cited By ~ 7

Author(s):

Farzaneh Mahdian ◽

Vahid Rafe ◽

Reza Rafeh ◽

Adel T. Rahmani

Keyword(s):

Service Oriented Architecture ◽

Fault Tolerant ◽

Service Oriented

Download Full-text

Measuring the Survivability of Object-Oriented Software

2009 Third IEEE International Symposium on Theoretical Aspects of Software Engineering ◽

10.1109/tase.2009.42 ◽

2009 ◽

Cited By ~ 1

Author(s):

Jueliang Hu ◽

Zuohua Ding ◽

Jing Liu ◽

Ling Yin

Keyword(s):

Object Oriented

Download Full-text

TASE 2009 Additional Reviewers

2009 Third IEEE International Symposium on Theoretical Aspects of Software Engineering ◽

10.1109/tase.2009.6 ◽

2009 ◽

Download Full-text

Specifying and Verifying PLC Systems with TLA+

2009 Third IEEE International Symposium on Theoretical Aspects of Software Engineering ◽

10.1109/tase.2009.43 ◽

2009 ◽

Cited By ~ 1

Author(s):

Hehua Zhang ◽

Stephan Merz ◽

Ming Gu

Download Full-text

2009 Third IEEE International Symposium on Theoretical Aspects of Software Engineering ◽

10.1109/tase.2009.7 ◽

2009 ◽

Download Full-text

Consistency Checking for LSC Specifications

2009 Third IEEE International Symposium on Theoretical Aspects of Software Engineering ◽

10.1109/tase.2009.8 ◽

2009 ◽

Cited By ~ 3

Author(s):

Hai-Feng Guo ◽

Wen Zheng ◽

Mahadevan Subramaniam

Keyword(s):

Consistency Checking

Download Full-text

[Cover art]

2009 Third IEEE International Symposium on Theoretical Aspects of Software Engineering ◽

10.1109/tase.2009.67 ◽

2009 ◽

Keyword(s):

Cover Art

Download Full-text

Modeling Web Applications and Generating Tests: A Combination and Interactions-guided Approach

2009 Third IEEE International Symposium on Theoretical Aspects of Software Engineering ◽

10.1109/tase.2009.54 ◽

2009 ◽

Cited By ~ 6

Author(s):

Bo Song ◽

Huaikou Miao

Keyword(s):

Web Applications

Download Full-text

2009 Third IEEE International Symposium on Theoretical Aspects of Software Engineering
Latest Publications

TOTAL DOCUMENTS

H-INDEX

Published By IEEE

Formal Approaches to Deadlock Analysis in Competitions of Shared Web Resources

Semantics for Communicating Actors with Interdependent Real-Time Deadlines

Modeling Fault Tolerant Services in Service-Oriented Architecture

Measuring the Survivability of Object-Oriented Software

TASE 2009 Additional Reviewers

Specifying and Verifying PLC Systems with TLA+

Table of Contents

Consistency Checking for LSC Specifications

[Cover art]

Modeling Web Applications and Generating Tests: A Combination and Interactions-guided Approach

Export Citation Format

2009 Third IEEE International Symposium on Theoretical Aspects of Software EngineeringLatest Publications

TOTAL DOCUMENTS

H-INDEX

Published By IEEE

Formal Approaches to Deadlock Analysis in Competitions of Shared Web Resources

Semantics for Communicating Actors with Interdependent Real-Time Deadlines

Modeling Fault Tolerant Services in Service-Oriented Architecture

Measuring the Survivability of Object-Oriented Software

TASE 2009 Additional Reviewers

Specifying and Verifying PLC Systems with TLA+

Table of Contents

Consistency Checking for LSC Specifications

[Cover art]

Modeling Web Applications and Generating Tests: A Combination and Interactions-guided Approach

2009 Third IEEE International Symposium on Theoretical Aspects of Software Engineering
Latest Publications