Prasenjit Banerjee

CL Educate Limited · AKMS

In recent days, component-based software engineering has become popular in the software industry for its reuse property. A suitable component-based software model is crucial for the effective design of the component-based software engineering. Quality assessment, evaluation, and analysis of a component model are highly essential to maintain the eff...

Inclusion of extra-functional properties (EFPs) can enrich the quality of component based system design and development. However, such inclusion is a complex engineering task. Thus, we need to identify valid and formally specified extra-functional properties and their composition mechanism for component based model. This will facilitate the develop...

In Component Based Software Engineering (CBSE), evaluating quality of conceptual level component model helps to designers and as well as users for better understandability of the component model. Quality measurement is also beneficial to any commercial organization to fix up its cost. Once a component model has designed, it is highly important to c...

Implementation of an analytical model of component based software into web based system is an important issue towards the effective software development. The mechanism towards such model implementation also enriches the quality of the model design. Formal specification would help to provide concrete and precise concept of a model. This paper has pr...

Design and analysis of Interactions among Components is crucial factor towards effective design of Component Based Software (CBS). Proper modelling of Component Interaction will facilitate the analysis and design of communications among the components in CBS. The communication among the components are implemented by calling the functions of other c...

Inclusion of Extra-Functional Properties (EFPs) can enrich the quality of component based system design and development. However, such inclusion is a complex engineering task. It is even more complex when reuse possibility of components are high. Formal representation and proper validation mechanism of EFPs can ease the task of inclusion of Extra-f...

Analysis of formally specified Component Based Software (CBS) provides a concrete way to represent the requirements from both system and user. A CASE tool makes a development more powerful and gives a graphical effect by which a user can easily visualize the fact. Powerful CASE tools for CBS are useful to improve the developer productivity and ensu...

The paper focuses on a Z-semantic based conceptual model of component, called ZFormal Specification of Component Model (ZFSCM), to conceptualize the different facts of component model in Component Based Software Engineering (CBSE). This model defines a set of components and their contracts or relationships using Z- notation. It is accompanied with...