期刊


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

2025, vol.239 2025, vol.240 2025, vol.241 2025, vol.242 2025, vol.243 2025, vol.244

题名作者出版年年卷期
Specification of paraconsistent transition systems, revisitedCunha, Juliana; Madeira, Alexandre; Barbosa, Luis SoaresCunha, Juliana; Madeira, Alexandre; Barbosa, Luis Soares20252025, vol.240
OCLVerifer: Automated verification of OCL contracts in requirements modelsYang, Peiye; Zhang, Li; Li, Qin; Gao, Xiang; Yang, YilongYang, Peiye; Zhang, Li; Li, Qin; Gao, Xiang; Yang, Yilong20252025, vol.240
Mi Superpoder es la Programación: A tool for teaching programming to children and youthBeltran, Erika J. Gutierrez; Arias, Juan C. MartinezBeltran, Erika J. Gutierrez; Arias, Juan C. Martinez20252025, vol.240
Report to the readershipDe Lucia, Andrea; Huisman, Marieke; Mousavi, Mohammad Reza; Palomba, FabioDe Lucia, Andrea; Huisman, Marieke; Mousavi, Mohammad Reza; Palomba, Fabio20252025, vol.240
Causal program dependence analysisLee, Seongmin; Binkley, Dave; Feldt, Robert; Gold, Nicolas; Yoo, ShinLee, Seongmin; Binkley, Dave; Feldt, Robert; Gold, Nicolas; Yoo, Shin20252025, vol.240
Baital: Sampling configurable systems with high t-wise coverageBaranov, Eduard; Legay, AxelBaranov, Eduard; Legay, Axel20252025, vol.240
The VariCity ecosystem: City visualization of object-oriented variability in Java and TypeScriptCollet, Philippe; Mortara, Johann; Brault, Yann; Dery-Pinna, Anne-MarieCollet, Philippe; Mortara, Johann; Brault, Yann; Dery-Pinna, Anne-Marie20252025, vol.240
A systematic literature review on dynamic testing of blockchain oriented softwareLahami, Mariam; Maalej, Afef Jmal; Krichen, MoezLahami, Mariam; Maalej, Afef Jmal; Krichen, Moez20252025, vol.240
VAMOS: Middleware for best-effort third-party monitoringChalupa, Marek; Muehlboeck, Fabian; Lei, Stefanie Muroya; Henzinger, Thomas A.Chalupa, Marek; Muehlboeck, Fabian; Lei, Stefanie Muroya; Henzinger, Thomas A.20252025, vol.240
Maximizing reachability probabilities in rectangular automata with random eventsDelicaris, Joanna; Remke, Anne; Abraham, Erika; Schupp, Stefan; Stuebbe, JonasDelicaris, Joanna; Remke, Anne; Abraham, Erika; Schupp, Stefan; Stuebbe, Jonas20252025, vol.240
123



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