期刊


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


题名作者出版年年卷期
Software architecture decision-making process: The practitioners' view from the Brazilian industryCarvalho, Lucas; Conte, TayanaCarvalho, Lucas; Conte, Tayana20252025, vol.244
Runtime monitoring of complex scenario-based requirements for autonomous driving functionsStemmer, Ralf; Saxena, Ishan; Panneke, Lukas; Grundt, Dominik; Austel, Anna; Moehlmann, Eike; Westphal, BerndStemmer, Ralf; Saxena, Ishan; Panneke, Lukas; Grundt, Dominik; Austel, Anna; Moehlmann, Eike; Westphal, Bernd20252025, vol.244
Model checking with memoisation for fast overtaking planningMiller, Alice; Porr, Bernd; Valkov, Ivaylo; Fraser, Douglas; Pagojus, DaumantasMiller, Alice; Porr, Bernd; Valkov, Ivaylo; Fraser, Douglas; Pagojus, Daumantas20252025, vol.244
Formal specification and validation of the MVM-Adapt system using Compositional I/O Abstract State MachinesBonfanti, Silvia; Riccobene, Elvinia; Scandurra, PatriziaBonfanti, Silvia; Riccobene, Elvinia; Scandurra, Patrizia20252025, vol.244
Applying graph-based knowledge representation to capture insights from discussions forum in software engineeringDa Silva, Patrick Rodrigo; de Souza, Erica Ferreira; Silva, Glaucia Braga e; Meinerz, Giovani Volnei; Felizardo, Katia RomeroDa Silva, Patrick Rodrigo; de Souza, Erica Ferreira; Silva, Glaucia Braga e; Meinerz, Giovani Volnei; Felizardo, Katia Romero20252025, vol.244
What does AI need to know to drive: Testing relevance of knowledgeGrundt, Dominik; Rakow, Astrid; Borchers, Philipp; Moehlmann, EikeGrundt, Dominik; Rakow, Astrid; Borchers, Philipp; Moehlmann, Eike20252025, vol.244
Human-in-the-loop online just-in-time software defect prediction: What have we achieved and what do we still miss?Liu, Xutong; Zhou, Yufei; Tang, Yutian; Qian, Junyan; Zhou, YumingLiu, Xutong; Zhou, Yufei; Tang, Yutian; Qian, Junyan; Zhou, Yuming20252025, vol.244
Trusta: Reasoning about assurance cases with formal methods and large language modelsChen, Zezhong; Deng, Yuxin; Du, WenjieChen, Zezhong; Deng, Yuxin; Du, Wenjie20252025, vol.244
LayoutOptimizer: A layout rendering performance optimizer for Android applicationWu, Yue; He, Zhentao; Wang, Qingnan; Wang, Yihui; Liu, HuaxiaoWu, Yue; He, Zhentao; Wang, Qingnan; Wang, Yihui; Liu, Huaxiao20252025, vol.244
Model checking and verification of a rail-side protection systemSarikoc, FatihSarikoc, Fatih20252025, vol.244
12345678910...



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