期刊


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


题名作者出版年年卷期
AnimUML: A practical tool for partial model animation and analysisJouault F.; Chhel F.; Clavreul M.; Besnard V.; Delatour J.; Le Calvar T.; Mere M.; Pasquier M.; Teodorov C.; Brun M.20242024, vol.232
Enhancing test reuse with GUI events deduplication and adaptive semantic matchingLiu S.; Zhou Y.; Ji L.; Han T.; Chen T.20242024, vol.232
Web Augmentation: A systematic mapping studyAldalur I.20242024, vol.232
A formal approach for the correct deployment of cloud applicationsMammar A.; Belguidoum M.; Hiba S.H.20242024, vol.232
XACML2mCRL2: Automatic transformation of XACML policies into mCRL2 specifications[Formula presented]Arshad H.; Owe O.; Horne R.; Johansen C.; Willemse T.A.C.20242024, vol.232
Exploring complex models with picto webYohannis A.; Kolovos D.; Garcia-Dominguez A.20242024, vol.232
Stochastic formal model of PI3K/mTOR pathway in Alzheimer's disease for drug repurposing: An evaluation of rapamycin, LY294002, and NVP-BEZ235Rausch Fernandes H.; Campos S.V.A.; Gomes G.F.; Pinheiro de Oliveira A.C.20242024, vol.232
Preface for the special issue on NLBSE’22: Natural Language-based Software to support software engineering processes 20242024, vol.232
An iterative approach for model-based requirements engineering in large collaborative projects: A detailed experience reportSadovykh A.; Said B.; Truscan D.; Bruneliere H.20242024, vol.232
Preface for the special issue on “Fundamental Approaches to Software Engineering” (FASE 2022)Jakobs M.-C.; Johnsen E.B.; Kamburjan E.; Wimmer M.20242024, vol.232
12345678910...



制造业外文文献服务平台