期刊


ISSN0167-6423
刊名Science of Computer Programming
参考译名计算机程序设计科学
收藏年代2002～2024



全部

2002 2003 2004 2005 2006 2007
2008 2009 2010 2011 2012 2013
2014 2015 2016 2017 2018 2019
2020 2021 2022 2023 2024

2024, vol.232 2024, vol.233 2024, vol.234 2024, vol.235 2024, vol.236 2024, vol.237

题名作者出版年年卷期
Evaluating the effectiveness of size-limited execution trace with near-omniscient debuggingIshio, Takashi; Kanda, Tetsuya; Inoue, Katsuro; Shimari, Kazumasa20242024, vol.236
PX-MBT: A framework for model-based player experience testingAnsari, Saba Gholizadeh; Prasetya, I. S. W. B.; Dastani, Mehdi; Keller, Gabriele; Prandi, Davide; Kifetew, Fitsum Meshesha; Dignum, Frank20242024, vol.236
S2O: A smart objects orchestrator framework based on the web of thingsMezenner, Imene; Bouyakoub, Samia; Bouyakoub, Faycal M. 'hamed20242024, vol.236
STARK : A tool for the analysis of CPSs robustnessCastiglioni, Valentina; Loreti, Michele; Tini, Simone20242024, vol.236
Agile effort estimation in Colombia: An assessment and opportunities for improvementCubillos, Juan; Aponte, Jairo; Gomez, Diana; Rojas, Edwar20242024, vol.236
Toolkit for specification, validation and verification of social, legal, ethical, empathetic and cultural requirements for autonomous agentsYaman, Sinem Getir; Ribeiro, Pedro; Burholt, Charlie; Jones, Maddie; Cavalcanti, Ana; Calinescu, Radu20242024, vol.236
O UT OF STEP : Code clone detection for mobile apps across different language codebasesJimenez, Stephannie; Rakic, Gordana; Takahashi, Silvia; Cardozo, Nicolas20242024, vol.236
Exploring issues of story-based effort estimation in Agile Software Development (ASD)Hamam, Habib; Iqbal, Muhammad; Ijaz, Muhammad; Mazhar, Tehseen; Shahzad, Tariq; Abbas, Qamar; Ghadi, YazeedYasin; Ahmad, Wasim20242024, vol.236
Verifying safety of neural networks from topological perspectivesLiang, Zhen; Ren, Dejin; Xue, Bai; Wang, Ji; Yang, Wenjing; Liu, Wanwei20242024, vol.236
Toward a novel taxonomy to capture code smells caused by refactoringAlkhomsan, Mashail N.; Alshayeb, Mohammad; Baslyman, Malak20242024, vol.236
12



国家科技图书文献中心  全球文献资源网  京ICP备05055788号-26  机械工业信息研究院 2018-2024