期刊


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



全部

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

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

题名作者出版年年卷期
How accessibility affects other quality attributes of software? A case study of GitHubZhao, Yaxin; Gong, Lina; Yang, Wenhua; Zhou, YuZhao, Yaxin; Gong, Lina; Yang, Wenhua; Zhou, Yu20242024, vol.231
FCPP to aggregate them allAudrito, Giorgio; Torta, GianlucaAudrito, Giorgio; Torta, Gianluca20242024, vol.231
MMINT-A: A framework for model-based safety assuranceDi Sandro, Alessio; Murphy, Logan; Viger, Torin; Chechik, MarshaDi Sandro, Alessio; Murphy, Logan; Viger, Torin; Chechik, Marsha20242024, vol.231
Forward- or reverse-mode automatic differentiation: What's the difference?van den Berg, Birthe; Schrijvers, Tom; Mckinna, James; Vandenbroucke, Alexandervan den Berg, Birthe; Schrijvers, Tom; Mckinna, James; Vandenbroucke, Alexander20242024, vol.231
ModelSet: A labelled dataset of software models for machine learningLopez, Jose Antonio Hernandez; Izquierdo, Javier Luis Canovas; Cuadrado, Jesus SanchezLopez, Jose Antonio Hernandez; Izquierdo, Javier Luis Canovas; Cuadrado, Jesus Sanchez20242024, vol.231
DescribeML: A dataset description tool for machine learningGiner-Miguelez, Joan; Gomez, Abel; Cabot, JordiGiner-Miguelez, Joan; Gomez, Abel; Cabot, Jordi20242024, vol.231
An empirical evaluation of RAIDE: A semi-automated approach for test smells detection and refactoringSantana, Railana; Martins, Luana; Virginio, Tassio; Rocha, Larissa; Costa, Heitor; Machado, IvanSantana, Railana; Martins, Luana; Virginio, Tassio; Rocha, Larissa; Costa, Heitor; Machado, Ivan20242024, vol.231
Generating C: Heterogeneous metaprogramming system descriptionKiselyov, OlegKiselyov, Oleg20242024, vol.231
A method of test case set generation in the commutativity test of reduce functionsMu, Xiangyu; Liu, Lei; Zhang, Peng; Li, Jingyao; Li, HuiMu, Xiangyu; Liu, Lei; Zhang, Peng; Li, Jingyao; Li, Hui20242024, vol.231
The complexity of evaluating nferKauffman, Sean; Zimmermann, MartinKauffman, Sean; Zimmermann, Martin20242024, vol.231
12



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