中国机械工程学会生产工程分会知识服务平台

期刊


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

2014, vol.79 2014, vol.80, no.Pt.A 2014, vol.80, no.Pt.B 2014, vol.81 2014, vol.82 2014, vol.83
2014, vol.84 2014, vol.85, no.Pt.A 2014, vol.85, no.Pt.B 2014, vol.86 2014, vol.87 2014, vol.88
2014, vol.89, no.Pt.A 2014, vol.89, no.Pt.B 2014, vol.89, no.Pt.C 2014, vol.90, no.Pt.A 2014, vol.90, no.Pt.B 2014, vol.91, no.Pt.A
2014, vol.91, no.Pt.B 2014, vol.92, no.Pt.A 2014, vol.92, no.Pt.B 2014, vol.93, no.Pt.A 2014, vol.93, no.Pt.B 2014, vol.94, no.Pt.1
2014, vol.94, no.Pt.2 2014, vol.94, no.Pt.3 2014, vol.95, no.Pt.1 2014, vol.95, no.Pt.2 2014, vol.95, no.Pt.3 2014, vol.95, no.Pt.4
2014, vol.96, no.Pt.1 2014, vol.96, no.Pt.2 2014, vol.96, no.Pt.3 2014, vol.96, no.Pt.4

题名作者出版年年卷期
Automated verification of design patterns: A case studyJon Nicholson; Amnon H. Eden; Epameinondas Gasparis; Rick Kazman20142014, vol.80, no.Pt.B
Static safety guarantees for a low-level multithreaded language with regionsProdromos Gerakios; Nikolaos Papaspyrou; Konstantinos Sagonas20142014, vol.80, no.Pt.B
Specifying safety-critical systems with a decidable duration logicSavas Konur20142014, vol.80, no.Pt.B
Real-time verification of wireless home networks using bigraphs with sharingMuffy Calder; Alexandros Koliousis; Michele Sevegnani; Joseph Sventek20142014, vol.80, no.Pt.B
Execution levels for aspect-oriented programming: Design; Semantics; Implementations and applicationsEric Tanter; Ismael Figueroa; Nicolas Tabareau20142014, vol.80, no.Pt.B
A practical approach for testing timed deterministic finite state machines with single clockKhaled El-Fakih; Nina Yevtushenko; Adenilso Simao20142014, vol.80, no.Pt.B
Adaptation space exploration for service-oriented applicationsRaffaela Mirandola; Pasqualina Potena; Patrizia Scandurra20142014, vol.80, no.Pt.B
Using conditional trace slicing for improving Maude programsMaria Alpuente; Demis Ballis; Francisco Frechina; Daniel Romero20142014, vol.80, no.Pt.B
Formal semantics, modular specification, and symbolic verification of product-line behaviourAndreas Classen; Maxime Cordy; Patrick Heymans; Axel Legay; Pierre-Yves Schobbens20142014, vol.80, no.Pt.B
Recovering memory access patterns of executable programsAlain Ketterlin; Philippe Clauss20142014, vol.80, no.Pt.B
12



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