Author:
Lau Kung-Kiu,Pantel Marc,Chen DeJiu,Persson Magnus,Törngren Martin,Tran Cuong
Reference31 articles.
1. E. Böde, W. Damm, J. Hoyem, B. Josko, J. Niehaus, M. Segelken, Adding value to automotive models, in Automotive Software – Connected Services in Mobile Networks. volume 4147 Lecture Notes in Computer Science. ARTIST and NSF Workshop on Automotive Software Development (Springer, Berlin, 2006), pp. 86–102
2. M. Broy, A. Deimel, J. Henn, K. Koskimies, F. Plasil, G. Pomberger, W. Pree, M. Stal, C. Szyperski, What characterizes a software component? Softw. Concepts Tools 19(1), 49–56 (1998)
3. L. Capretz, Y: A new component-based software lifecycle model. J. Comput. Sci. 1(1), 76–82 (2005)
4. B. Christiansson, L. Jakobsson, I. Crnkovic, CBD process, in Building Reliable Component-Based Software Systems, ed. by I. Crnkovic, M. Larsson (Artech House, Boston, 2002), pp. 89–113
5. E. Clarke, D. Kroening, F. Lerda, A tool for checking ANSI-C programs, in Tools and Algorithms for the Construction and Analysis of Systems (TACAS 2004), ed. by K. Jensen, A. Podelski. Lecture Notes in Computer Science, vol. 2988 (Springer, Berlin/New York, 2004), pp. 168–176