中国机械工程学会生产工程分会知识服务平台 | sc.gmachineinfo.com

期刊

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

全部

题名	作者	出版年	年卷期
A formal approach to modeling and verification of business process collaborations	Corradini, Flavio; Fornari, Fabrizio; Polini, Andrea; Re, Barbara; Tiezzi, Francesco	2018	2018, vol.166
pCSSL: A stochastic extension to MARTE/CCSL for modeling uncertainty in Cyber Physical Systems	Jiang, Kaiqiang; Mallet, Frederic; Huang, Ping; Du, Dehui	2018	2018, vol.166
Formal modeling and analysis of railway operations with active objects	Kamburjan, Eduard; Haehnle, Reiner; Schoen, Sebastian	2018	2018, vol.166
GLL syntax analysers for EBNF grammars	Scott, Elizabeth; Johnstone, Adrian	2018	2018, vol.166
Towards naturalistic programming: Mapping language-independent requirements to constrained language specifications	Mefteh, Mariem; Bouassida, Nadia; Ben-Abdallah, Hanene	2018	2018, vol.166
Workshop on Advances in Knowledge Extraction and Re-engineering of Software (selected and extended papers from WAKERS 2017)	Cleophas, Loek; Schaefer, Ina; Watson, Bruce W.	2018	2018, vol.166
Orchestrating incomplete TOSCA applications with Docker	Brogi, Antonio; Neri, Davide; Rinaldi, Luca; Soldani, Jacopo	2018	2018, vol.166
On checking delta-oriented product lines of statecharts	Lienhardt, Michael; Damiani, Ferruccio; Testa, Lorenzo; Turin, Gianluca	2018	2018, vol.166
Optimal single-path information propagation in gradient-based algorithms	Audrito, Giorgio; Damiani, Ferruccio; Viroli, Mirko	2018	2018, vol.166
A framework for defining coupling metrics	Tempero, Ewan; Ralph, Paul	2018	2018, vol.166