The W Model for Component-Based Software Development

For general (modular) system development with verification and validation (V&V), the V Model is the industrial standard. For component-based development, there is a well-understood standard process, but it does not specifically address V&V. In this paper, we propose such a model, that we call the W Model. We have implemented it using Model-Driven Engineering.

[1]  Ivica Crnkovic,et al.  Component-based development process and component lifecycle , 2005, 27th International Conference on Information Technology Interfaces, 2005..

[2]  Marcelin Fortes da Cruz,et al.  AMBERS: Improving Requirements Specification Through Assertive Models and SCADE/DOORS Integration , 2007, SSS.

[3]  Kung-Kiu Lau,et al.  A catalogue of component connectors to support development with reuse , 2010, J. Syst. Softw..

[4]  Kung-Kiu Lau,et al.  A Software Component Model and Its Preliminary Formalisation , 2005, FMCO.

[5]  James Davis,et al.  GME: the generic modeling environment , 2003, OOPSLA '03.

[6]  Luiz Fernando Capretz.  Y: A New Component-Based Software Life Cycle Model , 2005 .

[7]  K. Kaur,et al.  Candidate Process Models for Component Based Software Development , 2010 .

[8]  Kung-Kiu Lau,et al.  Software Component Models , 2006, IEEE Transactions on Software Engineering.

[9]  Daniel Kroening,et al.  A Tool for Checking ANSI-C Programs , 2004, TACAS.

[10]  Kung-Kiu Lau,et al.  Domain-Specific Software Component Models , 2009, CBSE.

[11]  Frank Budinsky,et al.  EMF: Eclipse Modeling Framework 2.0 , 2009 .

[12]  Fredrik Törner,et al.  EAST-ADL 2.0 Specification , 2008 .

[13]  Ian Sommerville,et al.  Towards a classification model for component-based software engineering research , 2003, 2003 Proceedings 29th Euromicro Conference.

[14]  Manfred Broy,et al.  What characterizes a (software) component? , 1998, Softw. Concepts Tools.

[15]  Li Qiong,et al.  The W-Model for Testing Software Product Lines , 2008, 2008 International Symposium on Computer Science and Computational Technology.

[16]  Kung-Kiu Lau,et al.  Exogenous connectors for software components , 2005, CBSE'05.