Home
About Journal
Editorial Board
Guidelines
Content
News
Top papers
Volume 10,Issue 4,2016 Table of Contents
Other Issues:
Vol.11,2021
Vol.10,2016
Vol.9,2015
Vol.8,2014
Vol.7,2013
Vol.6,2012
Vol.5,2011
Vol.4,2010
Vol.3,2009
Vol.2,2008
Vol.1,2007
Contents
Formal Verification of `Programming to Interfaces' Programs
Jianhua Zhao and Xuandong Li
2016,10(4):0 [
Abstract
(2002)
] [
View PDF
170.88 K (1278)
]
AL-SMC: Optimizing Statistical Model Checking by Automatic Abstraction and Learning
Kaiqiang Jiang, Ping Huang, Hui Zan and Dehui Du
2016,10(4):0 [
Abstract
(3000)
] [
View PDF
2.42 M (1291)
]
Second Order Bounded Quantification with If-Expression
Gang Chen
2016,10(4):0 [
Abstract
(3190)
] [
View PDF
156.96 K (1264)
]
Applying Programming Language Evaluation Criteria for Model Transformation Languages
Leila Samimi-Dehkordi, Alireza Khalilian and Bahman Zamani
2016,10(4):0 [
Abstract
(3145)
] [
View PDF
1.73 M (1608)
]
[2021/3/19]
Guidelines for Reviewers
[2021/3/19]
Guidelines for Authors
[2021/3/17]
Former Editorial Board of IJSI
[2021/3/17]
Current Editorial Board of IJSI
[2021/3/17]
Call for Papers--ICICS 2021
more>>
Visitor:3171452
Top Paper
|
E-mail Alert
|
Publication Ethics
|
New Version
© Copyright by Institute of Software, the Chinese Academy of Sciences
京ICP备05046678号-5
京公网安备 11040202500065号