ScienceGate
Advanced Search
Author Search
Journal Finder
Blog
Sign in / Sign up
ScienceGate
Search
Author Search
Journal Finder
Blog
Sign in / Sign up
2010 4th IEEE International Symposium on Theoretical Aspects of Software Engineering
Latest Publications
TOTAL DOCUMENTS
34
(FIVE YEARS 0)
H-INDEX
4
(FIVE YEARS 0)
Published By IEEE
9781424478477
Latest Documents
Most Cited Documents
Contributed Authors
Related Sources
Related Keywords
Latest Documents
Most Cited Documents
Contributed Authors
Related Sources
Related Keywords
Lazy Decision Diagrams for Word-Level Model Manipulation in Software Verification
2010 4th IEEE International Symposium on Theoretical Aspects of Software Engineering
◽
10.1109/tase.2010.31
◽
2010
◽
Author(s):
Farn Wang
Keyword(s):
Software Verification
◽
Decision Diagrams
◽
Word Level
◽
Level Model
Download Full-text
Copyright Page
2010 4th IEEE International Symposium on Theoretical Aspects of Software Engineering
◽
10.1109/tase.2010.3
◽
2010
◽
Download Full-text
The Art of Developing Autonomic Systems - The ASSL Approach
2010 4th IEEE International Symposium on Theoretical Aspects of Software Engineering
◽
10.1109/tase.2010.33
◽
2010
◽
Author(s):
Mike Hinchey
◽
Emil Vassev
Keyword(s):
Autonomic Systems
Download Full-text
Axiomatic Temporal Logic Programs Verification
2010 4th IEEE International Symposium on Theoretical Aspects of Software Engineering
◽
10.1109/tase.2010.10
◽
2010
◽
Author(s):
Xiaoxiao Yang
◽
Zhenhua Duan
Keyword(s):
Temporal Logic
◽
Logic Programs
Download Full-text
On the Theoretical Foundation of Meta-Modelling in Graphically Extended BNF and First Order Logic
2010 4th IEEE International Symposium on Theoretical Aspects of Software Engineering
◽
10.1109/tase.2010.11
◽
2010
◽
Cited By ~ 4
Author(s):
Hong Zhu
Keyword(s):
Theoretical Foundation
◽
Order Logic
◽
First Order Logic
◽
First Order
Download Full-text
Stack Bound Inference for Abstract Java Bytecode
2010 4th IEEE International Symposium on Theoretical Aspects of Software Engineering
◽
10.1109/tase.2010.24
◽
2010
◽
Cited By ~ 1
Author(s):
Shengyi Wang
◽
Zongyan Qiu
◽
Shengchao Qin
◽
Wei-Ngan Chin
Keyword(s):
Java Bytecode
Download Full-text
An Improved Algorithm for Building the Characterizing Set
2010 4th IEEE International Symposium on Theoretical Aspects of Software Engineering
◽
10.1109/tase.2010.14
◽
2010
◽
Author(s):
Huaikou Miao
◽
Pan Liu
◽
Jia Mei
Keyword(s):
Improved Algorithm
Download Full-text
Foreword
2010 4th IEEE International Symposium on Theoretical Aspects of Software Engineering
◽
10.1109/tase.2010.4
◽
2010
◽
Download Full-text
list-reviewer
2010 4th IEEE International Symposium on Theoretical Aspects of Software Engineering
◽
10.1109/tase.2010.6
◽
2010
◽
Download Full-text
Towards Practical Modeling of Web Applications and Generating Tests
2010 4th IEEE International Symposium on Theoretical Aspects of Software Engineering
◽
10.1109/tase.2010.25
◽
2010
◽
Cited By ~ 1
Author(s):
Shengbo Chen
◽
Huaikou Miao
◽
Bo Song
◽
Yihai Chen
Keyword(s):
Web Applications
Download Full-text
Load More ...
Sign in / Sign up
Close
Export Citation Format
Close
Share Document
Close