期刊


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

2013, vol.78, no.10 2013, vol.78, no.11 2013, vol.78, no.12 2013, vol.78, no.2 2013, vol.78, no.3 2013, vol.78, no.4
2013, vol.78, no.5 2013, vol.78, no.6 2013, vol.78, no.7 2013, vol.78, no.8

题名作者出版年年卷期
From extended feature models to constraint logic programmingAhmet Serkan Karatas; Halit Oguztuzun; Ali Dogru20132013, vol.78, no.12
Using MDA for integration of heterogeneous components in software supply chainsHerman Hartmann; Mila Keren; Aart Matsinger; Julia Rubin; Tim Trew; Tali Yatzkar-Haham20132013, vol.78, no.12
Context-dependent product line engineering with lightweight formal approachesNaoyasu Ubayashi; Shin Nakajima; Masayuki Hirayama20132013, vol.78, no.12
Architecting automotive product lines: Industrial practiceUlrik Eklund; Hakan Gustavsson20132013, vol.78, no.12
An analysis of unit tests of a flight software product lineDharmalingam Ganesan; Mikael Lindvall; David McComas; Maureen Bartholomew; Steve Slegel; Barbara Medina; Rene Krikhaar; Chris Verhoef; Lisa P. Montgomery20132013, vol.78, no.12
MobiLine: A Nested Software Product Line for the domain of mobile and context-aware applicationsFabiana G. Marinho; Rossana M. C. Andrade; Claudia Werner; Windson Viana; Marcio E. F. Maia; Lincoln S. Rocha; Eldanae Teixeira; Joao B. Ferreira Filho; Valeria L. L. Dantas; Fabricio Lima; Saulo Aguiar20132013, vol.78, no.12
Prototyping Dynamic Software Product Lines to evaluate run-time reconfigurationsCarlos Cetina; Pau Giner; Joan Fons; Vicente Pelechano20132013, vol.78, no.12
Defining variability in activity diagrams and Petri netsAndre Heuer; Vanessa Stricker; Christof J. Budnik; Sascha Konrad; Kim Lauenroth; Klaus Pohl20132013, vol.78, no.12
Formalising and analysing the control software of the Compact Muon Solenoid Experiment at the Large Hadron ColliderYi Ling Hwong; Jeroen J. A. Keiren; Vincent J. J. Kusters; Sander Leemans; Tim A. C. Willemse20132013, vol.78, no.12
A distributed logic for Networked Cyber-Physical SystemsMinyoung Kim; Mark-Oliver Stehr; Carolyn Talcott20132013, vol.78, no.12
12