2015 International Symposium on Theoretical Aspects of Software Engineering
Latest Publications

TOTAL DOCUMENTS

(FIVE YEARS 0)

H-INDEX

(FIVE YEARS 0)

Published By IEEE

9781467376129

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

A Bottom-Up Approach to Check the Correctness of Interorganisational Workflows

2015 International Symposium on Theoretical Aspects of Software Engineering ◽

10.1109/tase.2015.18 ◽

2015 ◽

Author(s):

Kais Klai ◽

Hanen Ochi

Keyword(s):

Bottom Up

Download Full-text

Formal Verification of Plastic User Interfaces Exploiting Domain Ontologies

2015 International Symposium on Theoretical Aspects of Software Engineering ◽

10.1109/tase.2015.25 ◽

2015 ◽

Cited By ~ 5

Author(s):

Abdelkrim Chebieb ◽

Yamine Ait-Ameur

Keyword(s):

Formal Verification ◽

User Interfaces ◽

Domain Ontologies

Download Full-text

[Title page i]

2015 International Symposium on Theoretical Aspects of Software Engineering ◽

10.1109/tase.2015.1 ◽

2015 ◽

Keyword(s):

Title Page

Download Full-text

[Copyright notice]

2015 International Symposium on Theoretical Aspects of Software Engineering ◽

10.1109/tase.2015.3 ◽

2015 ◽

Keyword(s):

Download Full-text

Modeling and Verification of Space-Air-Ground Integrated Networks on Requirement Level Using STeC

2015 International Symposium on Theoretical Aspects of Software Engineering ◽

10.1109/tase.2015.8 ◽

2015 ◽

Cited By ~ 4

Author(s):

Zhihua Yang ◽

Bo Xiao ◽

Yixiang Chen

Keyword(s):

Integrated Networks

Download Full-text

Author Index

2015 International Symposium on Theoretical Aspects of Software Engineering ◽

10.1109/tase.2015.30 ◽

2015 ◽

Download Full-text

A Tool for Supporting Requirements Formalization Based on Specification Pattern Knowledge

2015 International Symposium on Theoretical Aspects of Software Engineering ◽

10.1109/tase.2015.13 ◽

2015 ◽

Cited By ~ 1

Author(s):

Weikai Miao ◽

Xi Wang ◽

Shaoying Liu

Keyword(s):

Requirements Formalization

Download Full-text

Transferable Optimal-size Fair E-cash with Optimal Anonymity

2015 International Symposium on Theoretical Aspects of Software Engineering ◽

10.1109/tase.2015.12 ◽

2015 ◽

Author(s):

Jiangxiao Zhang ◽

Lina Huo ◽

Xia Liu ◽

Chunrong Sui ◽

Zhoujun Li ◽

...

Keyword(s):

Optimal Size

Download Full-text

Software Reliability Forecasting: Singular Spectrum Analysis and ARIMA Hybrid Model

2015 International Symposium on Theoretical Aspects of Software Engineering ◽

10.1109/tase.2015.19 ◽

2015 ◽

Cited By ~ 4

Author(s):

Guoqiang Liu ◽

Deping Zhang ◽

Tingting Zhang

Keyword(s):

Hybrid Model ◽

Spectrum Analysis ◽

Software Reliability ◽

Singular Spectrum Analysis ◽

Singular Spectrum

Download Full-text

Evaluating Initial Inputs for Concolic Testing

2015 International Symposium on Theoretical Aspects of Software Engineering ◽

10.1109/tase.2015.14 ◽

2015 ◽

Author(s):

Weiguang Wang ◽

Qingkai Zeng

Keyword(s):

Concolic Testing

Download Full-text

2015 International Symposium on Theoretical Aspects of Software EngineeringLatest Publications

TOTAL DOCUMENTS

H-INDEX

Published By IEEE

A Bottom-Up Approach to Check the Correctness of Interorganisational Workflows

Formal Verification of Plastic User Interfaces Exploiting Domain Ontologies

[Title page i]

[Copyright notice]

Modeling and Verification of Space-Air-Ground Integrated Networks on Requirement Level Using STeC

Author Index

A Tool for Supporting Requirements Formalization Based on Specification Pattern Knowledge

Transferable Optimal-size Fair E-cash with Optimal Anonymity

Software Reliability Forecasting: Singular Spectrum Analysis and ARIMA Hybrid Model

Evaluating Initial Inputs for Concolic Testing

2015 International Symposium on Theoretical Aspects of Software Engineering
Latest Publications