A Formal Approach to Specify the Reflective Design of Software Components with Timing Constraints

2009 ◽  
Author(s):  
Jing Huang ◽  
Wei Zhang
Keyword(s):  
Software Components ◽  
Timing Constraints ◽  
Formal Approach ◽  
Reflective Design

Software components and re-use

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

Towards Systematization

1977 ◽  
Vol 16 (03) ◽  
pp. 125-130 ◽  
Author(s):  
P. L. Reichertz
Keyword(s):  
Clinical Medicine ◽  
Medical Science ◽  
User Involvement ◽  
Empirical Science ◽  
Target System ◽  
General Strategy ◽  
System Construction ◽  
Formal Approach ◽  
Methodology Development ◽  
Planning Development

Data processing has become an important tool in theoretical and clinical medicine. The main categories of applications are : information analysis, (bio)signal processing and the field of information logistics (information systems).The problems encountered lie in the discrepancy of the basic methods of a formal approach to an empirical science, the complexity of the target system and the system ecology, i.e. the involvement of the user and the system environment during system construction and utilization.Possible solutions to these problems are the application of system techniques, inductive planning, development of medical methodology, development of methods and techniques for user involvement and assessment of motivation and education and educational planning.The necessary general strategy in the development in medical informatics is seen in the continuing systematization of the theoretical and practical approach. It is estimated that this will eventually contribute to the systematization of medical science and practice.

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.

THE CHALLENGES OF TEACHING FOREIGN LANGUAGES TO STUDENTS WITH SPECIAL EDUCATIONAL NEEDS

2020 ◽  
pp. 115-122
Author(s):  
Elena N. Gur'yanova ◽  
Keyword(s):  
Learned Helplessness ◽  
Educational Needs ◽  
Point Of View ◽  
Teaching Staff ◽  
Technical Equipment ◽  
Special Educational Needs ◽  
Right To Education ◽  
Formal Approach ◽  
Program Compliance ◽  
Special Health

A modern university answering the challenges of the society does not remain aloof to introduce certain inclusive practices. Currently, the legislation of the Russian Federation clearly distinguishes between the concepts of “Disability”, “Special health opportunities “and” Special educational needs”. However, there is a demand to combine all three terms into one, that is “Special educational needs”. The author considers this substitution to be unlawful. The article attempts to analyze each term from the point of view of prospects for each group of students to get higher education, taking into account the peculiarities of their psychophysical development. In addition, the author reviews some difficulties (insufficient technical equipment of the classrooms, learned helplessness of students, lack of knowledge about various nosological groups of disabled people, etc.) and ways to overcome these and other problems such as development of an adapted educational program, compliance with the principles of health conservation, psychological readiness of the teaching staff to work with such students. The author draws the conclusion that only training of teachers and the creation of a special educational space, the inadmissibility of a formal approach to the integration of students with special educational needs can contribute to the successful provision of their right to education.

Sign in / Sign up

Export Citation Format

Share Document