Product Line Engineering Applied to CBTC Systems Development
暂无分享,去创建一个
Alessio Ferrari | Giorgio Oronzo Spagnolo | Simone Menabeni | Giacomo Martelli | Alessio Ferrari | G. Spagnolo | Simone Menabeni | Giacomo Martelli
[1] Antonio Bucchiarone,et al. An experience in using a tool for evaluating a large set of natural language requirements , 2010, SAC '10.
[2] Stefania Gnesi,et al. Formal Modeling for Product Families Engineering , 2008, 2008 12th International Software Product Line Conference.
[3] H. S. Osborne,et al. The international electrotechnical commission , 1953, Electrical Engineering.
[4] E. Schnieder. TECHNICAL ISSUES IN MODELLING THE EUROPEAN TRAIN CONTROL SYSTEM (ETCS) USING COLOURED PETRI NETS AND THE DESIGN/CPN TOOLS , 1998 .
[5] Jacques Julliand,et al. B 2007: Formal Specification and Development in B, 7th International Conference of B Users, Besançon, France, January 17-19, 2007, Proceedings , 2006, B.
[6] Klaus Pohl,et al. Software Product Line Engineering , 2005 .
[7] H. Glickenstein,et al. Transportation systems , 2006, IEEE Vehicular Technology Magazine.
[8] Krzysztof Czarnecki,et al. Generative programming - methods, tools and applications , 2000 .
[9] Patrick Donohoe,et al. Product Line Analysis: A Practical Introduction , 2001 .
[10] Paul Clements,et al. Software product lines - practices and patterns , 2001, SEI series in software engineering.
[11] Haifeng Wang,et al. Modeling Communications-Based Train Control system:A case study , 2010, 2010 The 2nd International Conference on Industrial Mechatronics and Automation.
[12] L. Yuan,et al. Modelling and Verification of the System Requirement Specification of Train Control System Using SDL , 2011, 2011 Tenth International Symposium on Autonomous Decentralized Systems.
[13] Don S. Batory,et al. Feature Models, Grammars, and Propositional Formulas , 2005, SPLC.
[14] R.D. Pascoe,et al. What is communication-based train control? , 2009, IEEE Vehicular Technology Magazine.
[15] Klaus Pohl,et al. Software Product Line Engineering - Foundations, Principles, and Techniques , 2005 .
[16] Kyo Chul Kang,et al. Feature-Oriented Domain Analysis (FODA) Feasibility Study , 1990 .
[17] H. H. Kim,et al. Developing CBTC Software Using Model-Driven Development Approach , 2008 .
[18] Daniel Dollé,et al. B in Large-Scale Projects: The Canarsie Line CBTC Experience , 2007, B.
[19] F. Whitwom. Integration of wireless network technology with signaling in the rail transit industry , 2003 .
[20] W. Rickard,et al. Open standards for CBTC and CCTV radio-based communication , 2004 .