长垣产业园区科技文献服务平台 | cy.gmachineinfo.com

期刊

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

全部

题名	作者	出版年	年卷期
Guest editors' introduction to the 6th issue of Experimental Software and Toolkits (EST-6)	van den Brand, Mark G. J.; Vinju, Jurgen J.; Mens, Kim	2017	2017, vol.134
Implementing record and refinement for debugging timing-dependent communication	Felgentreff, T.; Perscheid, M.; Hirschfeld, R.	2017	2017, vol.134
Continuous quality assessment with inCode	Ganea, George; Verebi, Ioana; Marinescu, Radu	2017	2017, vol.134
Cost-effective evolution of research prototypes into end-user tools: The MACH case study	Storrle, Harald	2017	2017, vol.134
Enabling PHP software engineering research in Rascal	Hills, Mark; Klint, Paul; Vinju, Jurgen J.	2017	2017, vol.134
Mercury: Using the QuPreSS reference model to evaluate predictive services	Martinez-Fernandez, S.; Franch, X.; Bisbal, J.	2017	2017, vol.134
JPC: A library for categorising and applying inter-language conversions between Java and Prolog	Castro, Sergio; Mens, Kim; Moura, Paulo	2017	2017, vol.134
Managing facts and resources with the Pica IDE infrastructure library	Bagge, Anya Helene	2017	2017, vol.134