Toward a Formal Model of Software Components

2002 ◽  
pp. 57-68 ◽  
Author(s):  
Maritta Heisel ◽  
Thomas Santen ◽  
Jeanine Souquières
Keyword(s):  
Formal Model ◽  
Software Components

Software components and re-use

1988 ◽  
Vol 3 (5) ◽  
pp. 171 ◽  
Author(s):  
Patrick A.V. Hall
Keyword(s):  
Software Components

Recent trends in Component Based software development and Efficiency analysis of Semantic search based component retrieval Technique

2018 ◽  
pp. 105-113 ◽  
Author(s):  
Vishnu Sharma ◽  
Vijay Singh Rathore
Keyword(s):  
Software Development ◽  
Efficiency Analysis ◽  
Software Components ◽  
High Demand ◽  
Component Retrieval ◽  
Software Developer ◽  
Software Libraries ◽  
Retrieval Technique ◽  
Executable File ◽  
Recent Trends

In these days most of the software development uses preexisting software components. This approach provides plenty of benefits over the traditional development. Most of the software industries uses their own domain based software libraries where components resides in the form of modules, codes, executable file, documentations, test plans which may be used as it is or with minor changes. Due to shrinking time and high demand of software development it is necessary to use pre tested software components to ensure high functionality in software developed. Software components can be used very easily and without having the worries of errors and bugs because these are developed under expert supervision and well tested. What we have to do is just embed these components in our project. In this paper a survey got conducted over 112 software developer,testers and freelancers. In survey several issues in CBSD were identified. An efficient repository along with a component search engine is developed. All the component retrieval techniques were evaluated and compared with precise and recall method.

Framework for Semantic Search Enabled Software Component Repository (SSESCR)

2018 ◽  
Author(s):  
Vishnu Sharma ◽  
Vijay Singh Rathore ◽  
Chandikaditya Kumawat
Keyword(s):  
Software Quality ◽  
Software Reuse ◽  
Development Time ◽  
Software Component ◽  
Semantic Search ◽  
Easy Access ◽  
Software Components ◽  
Efficient Search ◽  
Systematic Reuse ◽  
New System

Software reuse can improve software quality with the reducing cost and development time. Systematic reuse plan enhances cohesion and reduces coupling for better testability and maintainability. Software reuse approach can be adopted at the highest extent if relevant software components can be easily searched, adapted and integrated into new system. Large software industries hold their own well managed component libraries containing well tested software component with the project category based classification .Access to these repositories are very limited. Software reuse is facing so many problems and still not so popular. This is due to issues of general access, efficient search and adoption of software component. This paper propose a framework which resolves all of the above issues with providing easy access to components, efficient incremental semantics based search, repository management, versioning of components.

DEVELOPMENT OF A METHOD FOR DESIGNING INFORMATION SYSTEMS FOR ENERGY COMPANIES

2020 ◽  
Vol 5 (333) ◽  
pp. 53-57
Author(s):  
T.B. Aldongar ◽  
◽  
F.U. Malikova ◽  
G.B. Issayeva ◽  
B.R. Absatarova ◽  
...  
Keyword(s):  
Information Systems ◽  
Business Processes ◽  
Design Research ◽  
Graphical Model ◽  
Formal Model ◽  
Workflow Management ◽  
Research Process ◽  
Information Models ◽  
The Creation ◽  
Concept Of Information

The creation of information models requires the use of known methods and the development of new methods of formalizing the pre-design research process. The modeling process consists of four stages: data collection on the object of management - pre-project research; creation of a graphical model of business processes taking place in the enterprise; development of a formal model of business processes; business research by optimizing the formal model. To support the creation of workflow management services and systems, the complex offers methodologies, standards and specialized software that make up the developer's tools. This can be ensured only by modern automated methods based on information systems. It is important that the information collected is structured to meet the needs of potential users and stored in a form that allows the use of modern access technologies. Before discussing the effectiveness of FIM, it should be noted that the basic concept of information itself is still not the same. In a pragmatic way, it is a set of messages in the form of an important document for the system. Information can be evaluated not only by volume, but also by various parameters, the most important of which are: timeliness, relevance, value, aging, accuracy, etc. in addition, the information may be clear, probable and accurate. The methods of its reception and processing are different in each case.

An Information-theoretical Model for Breast Cancer Detection

2008 ◽  
Vol 47 (04) ◽  
pp. 322-327 ◽  
Author(s):  
D. Blokh ◽  
N. Zurgil ◽  
I. Stambler ◽  
E. Afrimzon ◽  
Y. Shafran ◽  
...  
Keyword(s):  
Breast Cancer ◽  
Cancer Detection ◽  
Hamming Distance ◽  
Formal Model ◽  
Methodological Approach ◽  
Breast Cancer Detection ◽  
Receptor Expression ◽  
Diagnostic Model ◽  
Model Parameters ◽  
Two Stages

Summary Objectives: Formal diagnostic modeling is an important line of modern biological and medical research. The construction of a formal diagnostic model consists of two stages: first, the estimation of correlation between model parameters and the disease under consideration; and second, the construction of a diagnostic decision rule using these correlation estimates. A serious drawback of current diagnostic models is the absence of a unified mathematical methodological approach to implementing these two stages. The absence of aunified approach makesthe theoretical/biomedical substantiation of diagnostic rules difficult and reduces the efficacyofactual diagnostic model application. Methods: The present study constructs a formal model for breast cancer detection. The diagnostic model is based on information theory. Normalized mutual information is chosen as the measure of relevance between parameters and the patterns studied. The “nearest neighbor” rule is utilized for diagnosis, while the distance between elements is the weighted Hamming distance. The model concomitantly employs cellular fluorescence polarization as the quantitative input parameter and cell receptor expression as qualitative parameters. Results: Twenty-four healthy individuals and 34 patients (not including the subjects analyzed for the model construction) were tested by the model. Twenty-three healthy subjects and 34 patients were correctly diagnosed. Conclusions: The proposed diagnostic model is an open one,i.e.it can accommodate new additional parameters, which may increase its effectiveness.

Sign in / Sign up

Export Citation Format

Share Document