Search results for: software engineering education

Authors: Cina Mosito, Toyin Mary Adewumi, Charlene Nissen

Abstract:

One of the goals of inclusive education is to provide learners with suitable learning environments and prospects to best attain their potential. This study sought to determine the experiences of studying inclusive education on pre-service teachers’ teaching within the South African education context. A purposeful sample comprising 6 pre-service teachers was selected from a university of technology located in the Western Cape South Africa. Data were collected using open-ended questionnaires, which were exploratory in nature and analyzed thematically. The findings supported significant proportions of experiences as self-reported by pre-service teachers. The pre-service teachers’ experiences of studying inclusive education included inclusive education as an “eye-opener” to the fact that learners experiencing various barriers to learning can be accommodated in the regular classrooms, exposure to some aspects of inclusive education, such as diversity, learners’ rights, and curriculum differentiation. It was also revealed that studying inclusive education made pre-service teachers love and enjoy teaching more. The study shows that awareness of inclusive education has influenced pre-service teachers in South African schools.

Keywords: experience, inclusive education, pre-service teacher, South Africa

Procedia PDF Downloads 187

Authors: Harrison Gideon Maghra

Abstract:

The study was conducted on the challenges in the use of ICT in Agricultural Education and Training in Colleges of Education in Adamawa State. Three objectives guided the study, and the objectives were translated into three research questions and the research questions translated into two null hypotheses. Frequency and percentage were used to answer research question one, mean and standard deviation were used to answer research questions two and three, and t-test statistic was used to test the null hypotheses at 0.05 level of significance. The study was descriptive research and a questionnaire was used to solicit responses from the respondent. The instrument for data collection was subjected to face and content validity by 1 expert in the Department of Vocational Education, Modibbo Adama University, Yola and 3 experts from the Department of Vocational and Technical Education, Adamawa State University, Mubi. Pearson Product Moment Correlation Coefficient was used to test the reliability of the instrument and a reliability coefficient of 0.76 was obtained through the test re-test test method. Results from the study revealed that ICT facilities are not available in state-owned colleges of education. Agricultural Education lecturers have a positive attitude toward the use of ICT in teaching agricultural education and training. Based on the findings of the study, recommendations were made, among which: Colleges of Education in the state should organize training on the use of ICT for all lecturers, including those in the Agricultural Education program.

Keywords: challenges, ICT, agricultural education, colleges of education

Procedia PDF Downloads 60

Authors: Md. Ataur Rahman Bhuiyan, Quazi Mahabubul Hasan, Md. Rifat Ullah

Abstract:

In this research, we did explore the effectiveness of the gaming environment in education and compared it with the traditional education system. We take several workshops in both learning environments. We measured student’s performance by providing a grading score (by professional academics) on their attitude in different criteria. We also collect data from survey questionnaires to understand student’s experiences towards education and study. Finally, we examine the impact of the different learning environments by applying statistical hypothesis tests, the T-test, and the ANOVA test.

Keywords: gamification, game-based learning, education, statistical analysis, human-computer interaction

Procedia PDF Downloads 201

Authors: Ebtehal Aljedaani, Maha Aljohani

Abstract:

Privacy and security patterns are both important for developing software that protects users' data and privacy. Privacy patterns are designed to address common privacy problems, such as unauthorized data collection and disclosure. Security patterns are designed to protect software from attack and ensure reliability and trustworthiness. Using privacy and security patterns, software engineers can implement security and privacy by design principles, which means that security and privacy are considered throughout the software development process. These patterns are available to translate "security & privacy-by-design" into practical advice for software engineering. Previous research on privacy and security patterns has typically focused on one category of patterns at a time. This paper aims to bridge this gap by merging the two categories and identifying their similarities and differences. To do this, the authors conducted a systematic literature review of 25 research papers on privacy and security patterns. The papers were analysed based on the category of the pattern, the classification of the pattern, and the security requirements that the pattern addresses. This paper presents the results of a comprehensive review of privacy and security design patterns. The review is intended to help future IT designers understand the relationship between the two types of patterns and how to use them to design secure and privacy-preserving software. The paper provides a clear classification of privacy and security design patterns, along with examples of each type. The authors found that there is only one widely accepted classification of privacy design patterns, while there are several competing classifications of security design patterns. Three types of security design patterns were found to be the most commonly used.

Keywords: design patterns, security, privacy, classification of patterns, security patterns, privacy patterns

Procedia PDF Downloads 104

Authors: Arslan Ellahi, Syed Amjad Hussain

Abstract:

Software Testing is a vital process in software development life cycle. We can attain the quality of software after passing it through software testing phase. We have tried to find out automatic test data generation techniques that are a key research area of software testing to achieve test automation that can eventually decrease testing time. In this paper, we review some of the approaches presented in the literature which use evolutionary search based algorithms like Genetic Algorithm, Particle Swarm Optimization (PSO), etc. to validate the test data generation process. We also look into the quality of test data generation which increases or decreases the efficiency of testing. We have proposed test data generation techniques for model-based testing. We have worked on tuning and fitness function of PSO algorithm.

Keywords: search based, evolutionary algorithm, particle swarm optimization, genetic algorithm, test data generation

Procedia PDF Downloads 165

Authors: Mafawez Alharbi, Mahdi Jemmali

Abstract:

E-learning is a developing area especially in education. E-learning can provide several benefits to learners. An intelligent system to collect all components satisfying user preferences is so important. This research presents an approach that it capable to personalize e-information and give the user their needs following their preferences. This proposal can make some knowledge after more evaluations made by the user. In addition, it can learn from the habit from the user. Finally, we show a walk-through to prove how intelligent process work.

Keywords: artificial intelligence, architecture, e-learning, software engineering, processing

Procedia PDF Downloads 171

Authors: O. Vanijajiva, K. Oumaree, N. Ngampak

Abstract:

This research aims to study the level of perception and participation of Phranakhon Rajabhat University staff and to study the relationship between the levels of perception and participation with the score of University evaluation of quality assurance in education. The respondents were composed of 479 staffs. The tool used in this research is perceived and participation questionnaire of quality assurance in education of Phranakhon Rajabhat University. The results found that the most staffs are female with undergraduate education. Most 2 respondents are revealing educational staffs without academic position. The fact of times to gain knowledge of quality assurance in education is 1-3 times. The perception of knowledge about quality assurance in education is moderate (3.74 ± 0.65) with most respondent are more focus on university activity than quality assurance in education activity. The participation of quality assurance in education activities involved in moderate (3.17 ± 0.88), with most respondents more involved in student affair than quality assurance in education motion. For assessment of the relationship of perception and participation of quality assurance in education are average score (4.31 ± 0.16) showed that the level of perception and participation was associated with university evaluation in very low level (r = -0.103 and -0.121, respectively), while perception and participation are correlated with the moderate level (r = 0.691).

Keywords: quality assurance education, awareness, participation, higher education, Thailand

Procedia PDF Downloads 348

Authors: Jinan Laurentia Woo

Abstract:

This paper explores the intersection of technology, music education, and social-emotional learning (SEL) with a focus on Latin America. It delves into the impact of music education on social-emotional skills development, highlighting the universal significance of music across various life stages. The integration of artificial intelligence (AI) in music education is discussed, emphasizing its potential to enhance learning experiences. The paper also examines the implementation of SEL strategies in Latin American public schools, emphasizing the importance of fostering social-emotional well-being in educational settings. Challenges such as unequal access to technology and education in the region are addressed, calling for further research and investment in tech-assisted music education.

Keywords: music education, social emotional learning, educational technology, Latin America, artificial intelligence, music

Procedia PDF Downloads 31

Authors: Ali M. Alakeel

Abstract:

Assertion-based software testing has been shown to be a promising tool for generating test cases that reveal program faults. Because the number of assertions may be very large for industry-size programs, one of the main concerns to the applicability of assertion-based testing is the amount of search time required to explore a large number of assertions. This paper presents a new approach for assertions exploration during the process of Assertion-Based software testing. Our initial exterminations with the proposed approach show that the performance of Assertion-Based testing may be improved, therefore, making this approach more efficient when applied on programs with large number of assertions.

Keywords: software testing, assertion-based testing, program assertions, generating test

Procedia PDF Downloads 432

Authors: Hsien-Wei Kuo

Abstract:

The thoughts of the military citizens, pragmatism, naturalism and nationalism related to physical education were developed during the warring period of the Republic of China. Moreover, the development of martial art formed by nationalism and political party was to utilize to save the nation, the people and the world. The martial art was also promoted in the system of school physical education gradually at the same time. The aim of this study is to explore the role, duty and position of the martial art education with the political color and advocacy in the system of school physical education. This study focuses on the practice, course hours, selective materials and competitive rules of physical education in the school system in modern China. Therefore, the methods of the historical research and content analysis were used to collect the historical materials and documents for going into them. The results will give a detailed account of the developed model of institutionalization, unification and regularization of martial art, and its growing, golden and stagnant periods in the school physical education system under the impact of western sport and physical education. It may sum up the meaning relationships among the politics, education practice and sport for all.

Keywords: martial art education, national martial arts institution, sick man of East Asia, the may 4th movement

Procedia PDF Downloads 356

Authors: Yoon Suh Song

Abstract:

Though music education can broaden one’s capacity for mathematical performance, many countries lag behind in music education. Little empirical evidence is found to identify the connection between math and music. Therefore, this research was set out to explore what music-related variables are associated with mathematical performance. The result of our analysis is as follows: A Pearson's Correlation analysis revealed that PISA math score is strongly correlated with students' Intelligence Quotient (IQ). This lays the foundation for further research as to what factors in students’ IQ lead to a better performance in math.

Keywords: music education, mathematical performance, education, IQ

Procedia PDF Downloads 194

Authors: Jehad Al Dallal

Abstract:

Software engineers apply different measures to quantify the quality of software design. These measures consider artifacts developed at low or high level software design phases. The results are used to point to design weaknesses and to indicate design points that have to be restructured. Understanding the relationship among the quality measures and among the design quality aspects considered by these measures is important to interpreting the impact of a measure for a quality aspect on other potentially related aspects. In addition, exploring the relationship between quality measures helps to explain the impact of different quality measures on external quality aspects, such as reliability and maintainability. In this paper, we report a replication study that empirically explores the correlation between six well known and commonly applied design quality measures. These measures consider several quality aspects, including complexity, cohesion, coupling, and inheritance. The results indicate that inheritance measures are weakly correlated to other measures, whereas complexity, coupling, and cohesion measures are mostly strongly correlated.  

Keywords: quality attribute, quality measure, software design quality, Spearman correlation

Procedia PDF Downloads 278

Authors: Fati̇h Apaydin

Abstract:

Education technology is an area which constantly changes and creates innovations. As an inevitable part of the changing circumstances, the societies who have a tendency to the improvements keep up with these innovations by using the methods and strategies which have been designed for education technology. At this point, education technology has taken the responsibility to help the individuals improve themselves and teach the effective teaching methods by filling the airs in theoretical information, information security and the practice. The technology which comes to the core of our lives by raising the importance of it day by day and it enforced its position in computer- based environments. As a result, ‘being ready for technological innovations, improvement on computer-based talent, information, ability and attitude’ doctrines have to be given. However, it is today quite hard to deal with the security and reinforcement of this information. The information which is got illegally gives harm to society from every aspect, especially education. This study includes how and to what extent to use these innovative appliances such as computers and the factor of information security of these appliances in computer-based education. As the use of computer is constantly becoming prevalent in our country, both education and computer will never become out of date, so how computer-based education affects our lives and the study of information security for this type of education are important topics.

Keywords: computer, information security, education, technology, development

Procedia PDF Downloads 575

Authors: Mark Omu

Abstract:

Education has remained the greatest fulcrum on which the developmental aspirations of societies and the world over is Anchored. This has been the case from the antiquity. As a result of recognition of this fact, education occupies a crucial and centripetal position at different epochs of societal formation and transformation. This paper recognized the all-embracing role of education to society and it utilized the literary research and review of literature to espouse on the role of alternative sources of financing education. This position was borne out of the dwindling resources available to education. Especially to finance teaching, learning, research and retraining of staffers. This paper found among other things that alternative funding of education is possible and it can be achieved through selling of its research products like entrepreneurial skills, collaborative ventures in public private partnership, philanthropic of endowments, etc. These are capable of bridging the financial gap currently bedevilling the educational sectors.

Keywords: alternative sources, funding, tertiary, education, society, partnership, Nigeria

Procedia PDF Downloads 393

Authors: N. Didiş Körhasan, D. Kaltakçı Gürel

Abstract:

Many students have difficulty in learning physics from elementary to university level. In addition, students' expectancy, attitude, and motivation may be influenced negatively with their experience (failure) and prejudice about physics learning. For this reason, physics educators, who are also physics teachers, search for the best ways to make students' learning of physics easier by considering cognitive, affective, and psychomotor issues in learning. This research critically discusses the history of physics education, fundamental pedagogical approaches, and models to teach physics, and transformation of physics education with recent research.

Keywords: pedagogy, physics, physics education, science education

Procedia PDF Downloads 242

Authors: Reyhaneh Soltanshah, Hamid R. Zarandi

Abstract:

In order to be more efficient in industries that are related to computer systems, software testing is necessary despite spending time and money. In the embedded system software test, complete knowledge of the embedded system architecture is necessary to avoid significant costs and damages. Software tests increase the price of the final product. The aim of this article is to provide a method to reduce time and cost in tests based on program structure. First, a complete review of eleven white box test methods based on ISO/IEC/IEEE 29119 2015 and 2021 versions has been done. The proposed algorithm is designed using two versions of the 29119 standards, and some white-box testing methods that are expensive or have little coverage have been removed. On each of the functions, white box test methods were applied according to the 29119 standard and then the proposed algorithm was implemented on the functions. To speed up the implementation of the proposed method, the Unity framework has been used with some changes. Unity framework can be used in embedded software testing due to its open source and ability to implement white box test methods. The test items obtained from these two approaches were evaluated using a mathematical ratio, which in various software mining reduced between 50% and 80% of the test cost and reached the desired result with the minimum number of test items.

Keywords: embedded software, reduce costs, software testing, white-box testing

Procedia PDF Downloads 23

Authors: R. Ranjith Kumar

Abstract:

Computer modeling and simulation of human movement is playing an important role in sports and rehabilitation. Accurate modeling and analysis of human knee join is more complex because of complicated structure whose geometry is not easily to represent by a solid model. As part of this project, from the number of CT scan images of human knee join surface reconstruction is carried out using 3D slicer software, an open source software. From this surface reconstruction model, using mesh lab (another open source software) triangular meshes are created on reconstructed surface. This final triangular mesh model is imported to Solid Works, 3D mechanical CAD modeling software. Finally this CAD model is imported to ABAQUS, finite element analysis software for analyzing the knee joints. The results obtained are encouraging and provides an accurate way of modeling and analysis of biological parts without human intervention.

Keywords: solid works, CATIA, Pro-e, CAD

Procedia PDF Downloads 106

Authors: Dahiru Bawa Muhammad

Abstract:

Mathematics is accorded a prime position in basic education curriculum because it is envisaged to be an important tool in preparing children for life after school as well as equipping them with skills needed for secondary and higher education. As a result of this, the subject is made compulsory from primary through secondary school and candidates are expected to offer it and pass before fulfilling the requirement for higher education. Against this backdrop, this paper overviewed the basic education programme, context of teaching and learning mathematics at basic education level in Katsina State of Nigeria, relevance of the subject to different fields of human endeavours, challenges threatening the utility of the subject as a tool for the achievement of the goals of basic education programme and concluded by recommending how teaching and learning of mathematics can be improved for even development of citizens within nation states and enhanced/mutual sustainable development of nations in the global village.

Keywords: basic education, junior secondary school education, mathematical centre

Procedia PDF Downloads 436

Authors: Sekou Kangoye, Alexis Todoskoff, Mihaela Barreau

Abstract:

Modified Condition/Decision Coverage (MC/DC) is a structural coverage criterion that is highly recommended or required for safety-critical software coverage. Therefore, many testing standards include this criterion and require it to be satisfied at a particular level of testing (e.g. validation and unit levels). However, an important amount of time is needed to meet those requirements. In this paper we propose to automate MC/DC test data generation. Thus, we present an approach to automatically generate MC/DC test data, from software module description written over a dedicated language. We introduce a new merging approach that provides high MC/DC coverage for the description, with only a little number of test cases.

Keywords: domain-specific language, MC/DC, test data generation, safety-critical software coverage

Procedia PDF Downloads 417

Authors: Guangzhuang Yu, Chun-Chu Liu

Abstract:

With the advent of the Internet era in recent years, social music education has gradually shifted from the original entity education mode to the mode of entity plus network teaching. No matter for school music education, professional music education or social music education, the teaching quality is the most important evaluation index. Regarding the research on teaching quality evaluation, scholars at home and abroad have contributed a lot of research results on the basis of multiple methods and evaluation subjects. However, to our best knowledge the complete evaluation model for the virtual teaching interaction mode of the emerging network music education Application (APP) has not been established. This research firstly found out the basic dimensions that accord with the teaching quality required by the three parties, constructing the quality evaluation index system; and then, on the basis of expounding the connotation of each index, it determined the weight of each index by using method of fuzzy analytic hierarchy process, providing ideas and methods for scientific, objective and comprehensive evaluation of the teaching quality of network education APP.

Keywords: network music education APP, teaching quality evaluation, index and connotation

Procedia PDF Downloads 102

Authors: Sara Blanc, José V. Benlloch-Dualde, Laura Grindei, Ana C. Torres, Angélica Monteiro

Abstract:

This paper presents a study that leads a new experience by introducing digital learning applied to a case study focused on primary and secondary school garden-based education. The approach represents an example of interaction among different education and research agents at different countries and levels, such as universities, public and private research, and schools, to get involved in the implementation of education for sustainable development that will make students become more sensible to natural environment, more responsible for their consumption, more aware about waste reduction and recycling, more conscious of the sustainable use of natural resources and, at the same time, more ‘digitally competent’. The experience was designed attending to the European digital education context and OECD directives in transversal skills education. The paper presents the methodology carried out in the study as well as outcomes obtained from experience.

Keywords: school gardens, primary education, secondary education, science technology and innovation in education, digital learning, sustainable development goals, university, knowledge transference

Procedia PDF Downloads 91

Authors: Mohammad Anwar, Hamid Ullah Khan, Shah Waliullah

Abstract:

Recently, environmental education is an essential element in avoiding environmental degradation around the globe that needs new articles and policymakers’ emphasis. Hence, the present article examines the impact of environmental education on environmental knowledge, environmental behavior, and environmental attitudes in Indonesia. The present research also investigated the moderating role of government support in environmental education, environmental knowledge, environmental behavior, and environmental attitude in Indonesia. A questionnaire was used as the primary data collection method. The smart PLS was utilized to test the association among variables and the hypotheses of the study. The results revealed that environmental education had a significant and positive linkage with environmental knowledge, environmental behavior, and environmental attitude in Indonesia. The findings also exposed that government support significantly moderated environmental education, environmental knowledge, and environmental behavior in Indonesia. The findings of this research would provide help to the policymakers in establishing the policies related to environmental education and reducing environmental degradation.

Keywords: environmental education, environmental knowledge, environmental behavior, environmental attitude, government support

Procedia PDF Downloads 74

Authors: Raquel Pérez Estébanez

Abstract:

Context: The study focuses on the importance of informed and engaged university students in relation to sustainable development goals (SDGs). It explores existing literature on students' perceptions, knowledge, and actions regarding these goals. Research Aim: The aim of this research is to assess the level of commitment and knowledge about the SDGs among university students, specifically within their university environment. The study was conducted during the 2022-2023 academic year. Methodology: The methodology used in this study is empirical. A questionnaire was prepared and administered to university students from a public university in Spain. The response rate was 80%. The questionnaire was then validated using a Cronbach test, which resulted in a reliability coefficient of 88%. The data collected was analyzed using SPSS software. Confirmatory factor analysis (CPA) was initially conducted to strengthen the factors, followed by multivariate analysis to delve deeper into the topic and identify the factors that explain the SDG model. Findings: The primary results of the study revealed that factors such as cooperative learning, action statements, perceived functions for universities, sources of information about sustainable development that students use, actions taken by students for sustainable development reasons in the past month, and attitudes towards education for sustainable development (ESD) contribute to an understanding of the awareness of university students regarding the SDGs. Theoretical Importance: The findings highlight the importance of further research and collaborative efforts to enhance SDG education. It emphasizes the role of higher education institutions (HEIs) in fostering the learning of skills and values, preparing students for decision-making, and promoting pluralistic development and sustainable societies. The study also emphasizes the need to link sustainability not only to environmental aspects but also to social and economic considerations. Data Collection and Analysis Procedures: The questionnaire was administered to university students, resulting in an 80% response rate. The collected data was validated using a Cronbach test to ensure reliability. SPSS software was used for data analysis, starting with confirmatory factor analysis (CPA) and followed by multivariate analysis. Questions Addressed: The research aimed to address the level of commitment and knowledge about the SDGs among university students, specifically within their university environment. It also sought to identify factors that contribute to the understanding of awareness among university students regarding the SDGs. Conclusion: The study highlights the importance of informed and engaged university students in relation to the SDGs. It emphasizes the role of higher education institutions in fostering sustainable development education and preparing students for decision-making. The findings suggest the need for further research and collaborative efforts to enhance SDG education and foster a sustainable future.

Keywords: SDG, awareness, higher education, ESD

Procedia PDF Downloads 48

Authors: Małgorzata Anna Karczmarzyk

Abstract:

Who is the contemporary child? What are his/her distinctive features making him/her different from earlier generations? And how to teach in the dissimilar social reality? These questions will constitute the key to my reflections on contemporary early school education. For, to my mind, games have become highly significant for the modern model of education. There arise publications and research employing games to increase competence both in business, tutoring, or coaching, as well as in academic education . Thanks to games students and subordinates can be taught such abilities as problem thinking, creativity, consistent fulfillment of goals, resourcefulness and skills of communication.

Keywords: games, art, children, school education, integration

Procedia PDF Downloads 837

Authors: Adrian Forca, Simeon Cainday III

Abstract:

The Electronic Payment Recording with Payment History Retrieval Module is developed intendedly for the College of Science and Technology. This system software innovates the manual process of recording the payments done in the department through the development of electronic payment recording system software shifting from the slow and time-consuming procedure to quick yet reliable and accurate way of recording payments because it immediately generates receipts for every transaction. As an added feature to its software process, generation of recorded payment report is integrated eliminating the manual reporting to a more easy and consolidated report. As an added feature to the system, all recorded payments of the students can be retrieved immediately making the system transparent and reliable payment recording software. Viewing the whole process, the system software will shift from the manual process to an organized software technology because the information will be stored in a logically correct and normalized database. Further, the software will be developed using the modern programming language and implement strict programming methods to validate all users accessing the system, evaluate all data passed into the system and information retrieved to ensure data accuracy and reliability. In addition, the system will identify the user and limit its access privilege to establish boundaries of the specific access to information allowed for the store, modify, and update making the information secure against unauthorized data manipulation. As a result, the System software will eliminate the manual procedure and replace with an innovative modern information technology resulting to the improvement of the whole process of payment recording fast, secure, accurate and reliable software innovations.

Keywords: collection, information system, manual procedure, payment

Procedia PDF Downloads 148

Authors: Aliakbar Alijarahi, Ali Khaleghi, Azadehe Afrasiyabi

Abstract:

One of the emerging technologies in the field of education that can be effectively profitable, called augmented reality, where the combination of real world and virtual images in real time produces new concepts that can facilitate learning. The paper, providing an introduction to the general concept of augmented reality, aims at surveying its capabitities in different areas, with an emphasis on Education, It seems quite necessary to have comparative study on virtual/e-learning and augmented reality and conclude their differences in education methods. As an review article, the paper is composed, instead of producing new concepts, to sum-up and analayze accomplished works related to the subject.

Keywords: augmented reality, education, virtual learning, e-learning

Procedia PDF Downloads 322

Authors: Antonio Pizzarello, Oris Friesen

Abstract:

Networks, such as the electric power grid, must demonstrate exemplary performance and integrity. Integrity depends on the quality of both the system design model and the deployed software. Integrity of the deployed software is key, for both the original versions and the many that occur throughout numerous maintenance activity. Current software engineering technology and practice do not produce adequate integrity. Distributed systems utilize networks where each node is an independent computer system. The connections between them is realized via a network that is normally redundantly connected to guarantee the presence of a path between two nodes in the case of failure of some branch. Furthermore, at each node, there is software which may fail. Self-stabilizing protocols are usually present that recognize failure in the network and perform a repair action that will bring the node back to a correct state. These protocols first introduced by E. W. Dijkstra are currently present in almost all Ethernets. Super stabilization protocols capable of reacting to a change in the network topology due to the removal or addition of a branch in the network are less common but are theoretically defined and available. This paper describes how to use the Software Integrity Assessment (SIA) methodology to analyze self-stabilizing software. SIA is based on the UNITY formalism for parallel and distributed programming, which allows the analysis of code for verifying the progress property p leads-to q that describes the progress of all computations starting in a state satisfying p to a state satisfying q via the execution of one or more system modules. As opposed to demonstrably inadequate test and evaluation methods SIA allows the analysis and verification of any network self-stabilizing software as well as any other software that is designed to recover from failure without external intervention of maintenance personnel. The model to be analyzed is obtained by automatic translation of the system code to a transition system that is based on the use of the weakest precondition.

Keywords: network, power grid, self-stabilization, software integrity assessment, UNITY, weakest precondition

Procedia PDF Downloads 205

Authors: Ameema Mahroof, Muhammad Saeed

Abstract:

The purpose of this study was to analyze the papers of computer science conducted by Board of Intermediate and Secondary Education with reference to Bloom’s taxonomy. The present study has two parts. First, the analysis is done on the papers conducted by Board of Intermediate of Secondary Education on the basis of basic rules of item construction especially Bloom’s (1956). And the item analysis is done to improve the psychometric properties of a test. The sample included the question papers of computer science of higher secondary classes (XI-XII) for the years 2011 and 2012. For item analysis, the data was collected from 60 students through convenient sampling. Findings of the study revealed that in the papers by Board of intermediate and secondary education the maximum focus was on knowledge and understanding level and very less focus was on the application, analysis, and synthesis. Furthermore, the item analysis on the question paper reveals that item difficulty of most of the questions did not show a balanced paper, the items were either very difficult while most of the items were too easy (measuring knowledge and understanding abilities). Likewise, most of the items were not truly discriminating the high and low achievers; four items were even negatively discriminating. The researchers also analyzed the items of the paper through software Conquest. These results show that the papers conducted by Board of Intermediate and Secondary Education were not well constructed. It was recommended that paper setters should be trained in developing the question papers that can measure various cognitive abilities of students so that a good paper in computer science should assess all cognitive abilities of students.

Keywords: Bloom’s taxonomy, question paper, item analysis, cognitive domain, computer science

Procedia PDF Downloads 131

Authors: André M. Senna, Mary L. G. S. Senna, Rosa M. Machado-de-Sena

Abstract:

One of the great challenges presented in educational practice is how to ensure the students not only acquire knowledge of training courses throughout their academic life, but also how to apply it in their current professional activities. Consequently, aiming to incite changes in the education system of healthcare professionals noticed the inadequacy of the training providers to solve the social problems related to health, the education related to these procedures should initiate in the earliest years of process. Following that idea, there is another question that needs an answer: If the change in the education should start sooner, in the period of basic training of healthcare professionals, what guidelines should a permanent education program incorporate to promote changes in an already established system? For this reason, the objective of this paper is to present different views of the teaching-learning process, with the purpose of better understanding the behavior adopted by healthcare professionals, through bibliographic study. The conclusion was that more than imparting knowledge to the individual, a larger approach is necessary on permanent education programs concerning the performance of professional health services in order to foment significant changes in education.

Keywords: Health Education, continuing education, training, behavior

Procedia PDF Downloads 251

Authors: K. Indra Gandhi

Abstract:

Wireless Sensor Networks (WSNs) have always been characterized for application-specific sensing, relaying and collection of information for further analysis. However, software development was not considered as a separate entity in this process of data collection which has posed severe limitations on the software development for WSN. Software development for WSN is a complex process since the components involved are data-driven, network-driven and application-driven in nature. This implies that there is a tremendous need for the separation of concern from the software development perspective. A layered approach for developing data acquisition design based on Model Driven Development (MDD) has been proposed as the sensed data collection process itself varies depending upon the application taken into consideration. This work focuses on the layered view of the data acquisition process so as to ease the software point of development. A metamodel has been proposed that enables reusability and realization of the software development as an adaptable component for WSN systems. Further, observing users perception indicates that proposed model helps in improving the programmer's productivity by realizing the collaborative system involved.

Keywords: data acquisition, model-driven development, separation of concern, wireless sensor networks

Procedia PDF Downloads 416