长垣产业园区科技文献服务平台

期刊


ISSN2047-7473
刊名Journal of Software
参考译名软件杂志:发展和进程
收藏年代2011~2023

关联期刊参考译名收藏年代
Journal of Software Maintenance and Evolution软件维护和发展杂志:研究与实践2010~2010
Software Process Improvement and Practice软件处理的改进与实践2002~2009


全部

2011 2012 2013 2014 2015 2016
2017 2018 2019 2020 2021 2022
2023

2018, vol.30, no.1 2018, vol.30, no.10 2018, vol.30, no.11 2018, vol.30, no.12 2018, vol.30, no.2 2018, vol.30, no.3
2018, vol.30, no.4 2018, vol.30, no.5 2018, vol.30, no.6 2018, vol.30, no.7 2018, vol.30, no.8 2018, vol.30, no.9

题名作者出版年年卷期
Extending Category Partition'sBB aseCC hoice criterion to better support constraintsKhalsa Sunint Kaur; Labiche Yvan20182018, vol.30, no.3
Online verification in cyber‐physical systems: Practical bounds for meaningful temporal costsGarcía‐Valls Marisol; Bersani Marcello M.20182018, vol.30, no.3
Systems‐of‐systems modeling using a comprehensive viewpoint‐based SysML profileMori Marco; Ceccarelli Andrea; Lollini Paolo; Fr?mel Bernhard; Brancati Francesco; Bondavalli Andrea20182018, vol.30, no.3
Issue Information 20182018, vol.30, no.3
Emerging high assurance solutions for safe, secure, and reliable software systemsBabiceanu Radu; Waeselynck Hélène20182018, vol.30, no.3
Protecting Internet users from becoming victimized attackers of click‐fraudIqbal Md Shahrear; Zulkernine Mohammad; Jaafar Fehmi; Gu Yuan20182018, vol.30, no.3
Formal verification of probabilistic SystemC models with statistical model checkingNgo Van Chan; Legay Axel20182018, vol.30, no.3
Managing risk in high assurance systems by optimizing topological resourcesMcGrath Richard G.; Hyden Paul; Moskowitz Ira S.; Russell Stephen20182018, vol.30, no.3
Comparative modelling and verification of Pthreads and DthreadsFei Yuan; Zhu Huibiao; Wu Xi; Fang Huixing; Qin Shengchao20182018, vol.30, no.3
Labelling relevant events to support the crisis management operatorZoppi Tommaso; Ceccarelli Andrea; Lo Piccolo Francesco; Lollini Paolo; Giunta Gabriele; Morreale Vito; Bondavalli Andrea20182018, vol.30, no.3
12