978 resultados para Formal development


Relevância:

30.00% 30.00%

Publicador:

Resumo:

Leadership is essential for the effectiveness of the teams and organizations they are part of. The challenges facing organizations today require an exhaustive review of the strategic role of leadership. In this context, it is necessary to explore new types of leadership capable of providing an effective response to new needs. The presentday situations, characterized by complexity and ambiguity, make it difficult for an external leader to perform all leadership functions successfully. Likewise, knowledge-based work requires providing professional groups with sufficient autonomy to perform leadership functions. This study focuses on shared leadership in the team context. Shared leadership is seen as an emergent team property resulting from the distribution of leadership influence across multiple team members. Shared leadership entails sharing power and influence broadly among the team members rather than centralizing it in the hands of a single individual who acts in the clear role of a leader. By identifying the team itself as a key source of influence, this study points to the relational nature of leadership as a social construct where leadership is seen as social process of relating processes that are co-constructed by several team members. Based on recent theoretical developments concerned with relational, practice-based and constructionist approaches to the study of leadership processes, this thesis proposes the study of leadership interactions, working processes and practices to focus on the construction of direction, alignment and commitment. During the research process, critical events, activities, working processes and practices of a case team have been examined and analyzed with the grounded theory –approach in the terms of shared leadership. There are a variety of components to this complex process and a multitude of factors that may influence the development of shared leadership. The study suggests that the development process of shared leadership is a common sense -making process and consists of four overlapping dimensions (individual, social, structural, and developmental) to work with as a team. For shared leadership to emerge, the members of the team must offer leadership services, and the team as a whole must be willing to rely on leadership by multiple team members. For these individual and collective behaviors to occur, the team members must believe that offering influence to and accepting it from fellow team members are welcome and constructive actions. Leadership emerges when people with differing world views use dialogue and collaborative learning to create spaces where a shared common purpose can be achieved while a diversity of perspectives is preserved and valued. This study also suggests that this process can be supported by different kinds of meaning-making and process tools. Leadership, then, does not reside in a person or in a role, but in the social system. The built framework integrates the different dimensions of shared leadership and describes their relationships. This way, the findings of this study can be seen as a contribution to the understanding of what constitutes essential aspects of shared leadership in the team context that can be of theoretical value in terms of advancing the adoption and development process of shared leadership. In the real world, teams and organizations can create conditions to foster and facilitate the process. We should encourage leaders and team members to approach leadership as a collective effort that the team can be prepared for, so that the response is rapid and efficient.

Relevância:

30.00% 30.00%

Publicador:

Resumo:

Software systems are expanding and becoming increasingly present in everyday activities. The constantly evolving society demands that they deliver more functionality, are easy to use and work as expected. All these challenges increase the size and complexity of a system. People may not be aware of a presence of a software system, until it malfunctions or even fails to perform. The concept of being able to depend on the software is particularly significant when it comes to the critical systems. At this point quality of a system is regarded as an essential issue, since any deficiencies may lead to considerable money loss or life endangerment. Traditional development methods may not ensure a sufficiently high level of quality. Formal methods, on the other hand, allow us to achieve a high level of rigour and can be applied to develop a complete system or only a critical part of it. Such techniques, applied during system development starting at early design stages, increase the likelihood of obtaining a system that works as required. However, formal methods are sometimes considered difficult to utilise in traditional developments. Therefore, it is important to make them more accessible and reduce the gap between the formal and traditional development methods. This thesis explores the usability of rigorous approaches by giving an insight into formal designs with the use of graphical notation. The understandability of formal modelling is increased due to a compact representation of the development and related design decisions. The central objective of the thesis is to investigate the impact that rigorous approaches have on quality of developments. This means that it is necessary to establish certain techniques for evaluation of rigorous developments. Since we are studying various development settings and methods, specific measurement plans and a set of metrics need to be created for each setting. Our goal is to provide methods for collecting data and record evidence of the applicability of rigorous approaches. This would support the organisations in making decisions about integration of formal methods into their development processes. It is important to control the software development, especially in its initial stages. Therefore, we focus on the specification and modelling phases, as well as related artefacts, e.g. models. These have significant influence on the quality of a final system. Since application of formal methods may increase the complexity of a system, it may impact its maintainability, and thus quality. Our goal is to leverage quality of a system via metrics and measurements, as well as generic refinement patterns, which are applied to a model and a specification. We argue that they can facilitate the process of creating software systems, by e.g. controlling complexity and providing the modelling guidelines. Moreover, we find them as additional mechanisms for quality control and improvement, also for rigorous approaches. The main contribution of this thesis is to provide the metrics and measurements that help in assessing the impact of rigorous approaches on developments. We establish the techniques for the evaluation of certain aspects of quality, which are based on structural, syntactical and process related characteristics of an early-stage development artefacts, i.e. specifications and models. The presented approaches are applied to various case studies. The results of the investigation are juxtaposed with the perception of domain experts. It is our aspiration to promote measurements as an indispensable part of quality control process and a strategy towards the quality improvement.

Relevância:

30.00% 30.00%

Publicador:

Resumo:

Formal software development processes and well-defined development methodologies are nowadays seen as the definite way to produce high-quality software within time-limits and budgets. The variety of such high-level methodologies is huge ranging from rigorous process frameworks like CMMI and RUP to more lightweight agile methodologies. The need for managing this variety and the fact that practically every software development organization has its own unique set of development processes and methods have created a profession of software process engineers. Different kinds of informal and formal software process modeling languages are essential tools for process engineers. These are used to define processes in a way which allows easy management of processes, for example process dissemination, process tailoring and process enactment. The process modeling languages are usually used as a tool for process engineering where the main focus is on the processes themselves. This dissertation has a different emphasis. The dissertation analyses modern software development process modeling from the software developers’ point of view. The goal of the dissertation is to investigate whether the software process modeling and the software process models aid software developers in their day-to-day work and what are the main mechanisms for this. The focus of the work is on the Software Process Engineering Metamodel (SPEM) framework which is currently one of the most influential process modeling notations in software engineering. The research theme is elaborated through six scientific articles which represent the dissertation research done with process modeling during an approximately five year period. The research follows the classical engineering research discipline where the current situation is analyzed, a potentially better solution is developed and finally its implications are analyzed. The research applies a variety of different research techniques ranging from literature surveys to qualitative studies done amongst software practitioners. The key finding of the dissertation is that software process modeling notations and techniques are usually developed in process engineering terms. As a consequence the connection between the process models and actual development work is loose. In addition, the modeling standards like SPEM are partially incomplete when it comes to pragmatic process modeling needs, like light-weight modeling and combining pre-defined process components. This leads to a situation, where the full potential of process modeling techniques for aiding the daily development activities can not be achieved. Despite these difficulties the dissertation shows that it is possible to use modeling standards like SPEM to aid software developers in their work. The dissertation presents a light-weight modeling technique, which software development teams can use to quickly analyze their work practices in a more objective manner. The dissertation also shows how process modeling can be used to more easily compare different software development situations and to analyze their differences in a systematic way. Models also help to share this knowledge with others. A qualitative study done amongst Finnish software practitioners verifies the conclusions of other studies in the dissertation. Although processes and development methodologies are seen as an essential part of software development, the process modeling techniques are rarely used during the daily development work. However, the potential of these techniques intrigues the practitioners. As a conclusion the dissertation shows that process modeling techniques, most commonly used as tools for process engineers, can also be used as tools for organizing the daily software development work. This work presents theoretical solutions for bringing the process modeling closer to the ground-level software development activities. These theories are proven feasible by presenting several case studies where the modeling techniques are used e.g. to find differences in the work methods of the members of a software team and to share the process knowledge to a wider audience.

Relevância:

30.00% 30.00%

Publicador:

Resumo:

Prerequisites and effects of proactive and preventive psycho-social student welfare activities in Finnish preschool and elementary school were of interest in the present thesis. So far, Finnish student welfare work has mainly focused on interventions and individuals, and the voluminous possibilities to enhance well-being of all students as a part of everyday school work have not been fully exploited. Consequently, in this thesis three goals were set: (1) To present concrete examples of proactive and preventive psycho-social student welfare activities in Finnish basic education; (2) To investigate measurable positive effects of proactive and preventive activities; and (3) To investigate implementation of proactive and preventive activities in ecological contexts. Two prominent phenomena in preschool and elementary school years—transition to formal schooling and school bullying—were chosen as examples of critical situations that are appropriate targets for proactive and preventive psycho-social student welfare activities. Until lately, the procedures concerning both school transitions and school bullying have been rather problem-focused and reactive in nature. Theoretically, we lean on the bioecological model of development by Bronfenbrenner and Morris with concentric micro-, meso-, exo- and macrosystems. Data were drawn from two large-scale research projects, the longitudinal First Steps Study: Interactive Learning in the Child–Parent– Teacher Triangle, and the Evaluation Study of the National Antibullying Program KiVa. In Study I, we found that the academic skills of children from preschool–elementary school pairs that implemented several supportive activities during the preschool year developed more quickly from preschool to Grade 1 compared with the skills of children from pairs that used fewer practices. In Study II, we focused on possible effects of proactive and preventive actions on teachers and found that participation in the KiVa antibullying program influenced teachers‘ self-evaluated competence to tackle bullying. In Studies III and IV, we investigated factors that affect implementation rate of these proactive and preventive actions. In Study III, we found that principal‘s commitment and support for antibullying work has a clear-cut positive effect on implementation adherence of student lessons of the KiVa antibullying program. The more teachers experience support for and commitment to anti-bullying work from their principal, the more they report having covered KiVa student lessons and topics. In Study IV, we wanted to find out why some schools implement several useful and inexpensive transition practices, whereas other schools use only a few of them. We were interested in broadening the scope and looking at local-level (exosystem) qualities, and, in fact, the local-level activities and guidelines, along with teacherreported importance of the transition practices, were the only factors significantly associated with the implementation rate of transition practices between elementary schools and partner preschools. Teacher- and school-level factors available in this study turned out to be mostly not significant. To summarize, the results confirm that school-based promotion and prevention activities may have beneficial effects not only on students but also on teachers. Second, various top-down processes, such as engagement at the level of elementary school principals or local administration may enhance implementation of these beneficial activities. The main message is that when aiming to support the lives of children the primary focus should be on adults. In future, promotion of psychosocial well-being and the intrinsic value of inter- and intrapersonal skills need to be strengthened in the Finnish educational systems. Future research efforts in student welfare and school psychology, as well as focused training for psychologists in educational contexts, should be encouraged in the departments of psychology and education in Finnish universities. Moreover, a specific research centre for school health and well-being should be established.

Relevância:

30.00% 30.00%

Publicador:

Resumo:

More than ever, education organisations are experiencing the need to develop new services and processes to satisfy expanding and changing customer needs and to adapt to the environmental changes and continually tightening economic situation. Innovation has been found in many studies to have a crucial role in the success of an organisation, both in the private and public sectors, in formal education and in manufacturing and services alike. However, studies concerning innovation in non-formal adult education organisations, such as adult education centres (AECs) in Finland, are still lacking. This study investigates innovation in the non-formal adult education organisation context from the perspective of organisational culture types and social networks. The objective is to determine the significant characteristics of an innovative non-formal adult education organisation. The analysis is based on data from interviews with the principals and fulltime staff of four case AECs. Before the case study, a pre-study phase is accomplished in order to obtain a preliminary understanding of innovation at AECs. The research found strong support for the need of innovation in AECs. Innovation is basically needed to accomplish the AEC system’s primary mission mentioned in the ACT on Liberal Adult Education. In addition, innovation is regarded vital to institutes and may prevent their decline. It helps the institutes to be more attractive, to enter new market, to increase customer satisfaction and to be on the cutting edge. Innovation is also seen as a solution to the shortage of resources. Innovative AECs search actively for additional resources for development work through project funding and subsidies, cooperation networks and creating a conversational and joyful atmosphere in the institute. The findings also suggest that the culture type that supports innovation at AECs is multidimensional, with an emphasis on the clan and adhocratic culture types and such values as: dynamism, future orientation, acquiring new resources, mistake tolerance, openness, flexibility, customer orientation, a risk-taking attitude, and community spirit. Active and creative internal and external cooperation also promote innovation at AECs. This study also suggests that the behaviour of a principal is crucial. The way he or she shows appreciation the staff, encouragement and support to the staff and his or her approachability and concrete participation in innovation activities have a strong effect on innovation attitudes and activities in AECs.

Relevância:

30.00% 30.00%

Publicador:

Resumo:

Today's networked systems are becoming increasingly complex and diverse. The current simulation and runtime verification techniques do not provide support for developing such systems efficiently; moreover, the reliability of the simulated/verified systems is not thoroughly ensured. To address these challenges, the use of formal techniques to reason about network system development is growing, while at the same time, the mathematical background necessary for using formal techniques is a barrier for network designers to efficiently employ them. Thus, these techniques are not vastly used for developing networked systems. The objective of this thesis is to propose formal approaches for the development of reliable networked systems, by taking efficiency into account. With respect to reliability, we propose the architectural development of correct-by-construction networked system models. With respect to efficiency, we propose reusable network architectures as well as network development. At the core of our development methodology, we employ the abstraction and refinement techniques for the development and analysis of networked systems. We evaluate our proposal by employing the proposed architectures to a pervasive class of dynamic networks, i.e., wireless sensor network architectures as well as to a pervasive class of static networks, i.e., network-on-chip architectures. The ultimate goal of our research is to put forward the idea of building libraries of pre-proved rules for the efficient modelling, development, and analysis of networked systems. We take into account both qualitative and quantitative analysis of networks via varied formal tool support, using a theorem prover the Rodin platform and a statistical model checker the SMC-Uppaal.

Relevância:

30.00% 30.00%

Publicador:

Resumo:

Nowadays, computer-based systems tend to become more complex and control increasingly critical functions affecting different areas of human activities. Failures of such systems might result in loss of human lives as well as significant damage to the environment. Therefore, their safety needs to be ensured. However, the development of safety-critical systems is not a trivial exercise. Hence, to preclude design faults and guarantee the desired behaviour, different industrial standards prescribe the use of rigorous techniques for development and verification of such systems. The more critical the system is, the more rigorous approach should be undertaken. To ensure safety of a critical computer-based system, satisfaction of the safety requirements imposed on this system should be demonstrated. This task involves a number of activities. In particular, a set of the safety requirements is usually derived by conducting various safety analysis techniques. Strong assurance that the system satisfies the safety requirements can be provided by formal methods, i.e., mathematically-based techniques. At the same time, the evidence that the system under consideration meets the imposed safety requirements might be demonstrated by constructing safety cases. However, the overall safety assurance process of critical computerbased systems remains insufficiently defined due to the following reasons. Firstly, there are semantic differences between safety requirements and formal models. Informally represented safety requirements should be translated into the underlying formal language to enable further veri cation. Secondly, the development of formal models of complex systems can be labour-intensive and time consuming. Thirdly, there are only a few well-defined methods for integration of formal verification results into safety cases. This thesis proposes an integrated approach to the rigorous development and verification of safety-critical systems that (1) facilitates elicitation of safety requirements and their incorporation into formal models, (2) simplifies formal modelling and verification by proposing specification and refinement patterns, and (3) assists in the construction of safety cases from the artefacts generated by formal reasoning. Our chosen formal framework is Event-B. It allows us to tackle the complexity of safety-critical systems as well as to structure safety requirements by applying abstraction and stepwise refinement. The Rodin platform, a tool supporting Event-B, assists in automatic model transformations and proof-based verification of the desired system properties. The proposed approach has been validated by several case studies from different application domains.

Relevância:

30.00% 30.00%

Publicador:

Resumo:

The aim of this master’s thesis is to provide a real life example of how marketing research data is used by different functions in the NPD process. In order to achieve this goal, a case study in a company was implemented where gathering, analysis, distribution and synthesis of marketing research data in NPD were studied. The main research question was formulated as follows: How is marketing research data integrated and used by different company functions in the NPD process? The theory part of the master’s thesis was focused on the discussion of the marketing function role in NPD, use of marketing research particularly in the food industry, as well as issues related to the marketing/R&D interface during the NPD process. The empirical part of the master’s thesis was based on qualitative explanatory case study research. Individual in-depth interviews with company representatives, company documents and online research were used for data collection and analyzed through triangulation method. The empirical findings advocate that the most important marketing data sources at the concept generation stage of NPD are: global trends monitoring, retailing audit and consumers insights. These data sets are crucial for establishing the potential of the product on the market and defining the desired features for the new product to be developed. The findings also suggest the example of successful crossfunctional communication during the NPD process with formal and informal communication patterns. General managerial recommendations are given on the integration in NPD of a strategy, process, continuous improvement, and motivated cross-functional product development teams.

Relevância:

30.00% 30.00%

Publicador:

Resumo:

Decisive factors affecting the recent increase in formal employment in Brazil. This paper gives a general overview of the evolution of labour market indicators between 1995 and 2005 in Brazil. It shows an overall increase in formal employment rates from 2001 to 2005, as opposite to what had happened from 1995 to 1999. It is argued that such recent trends might indicate the reconfiguration of the labour market in better terms, with potential positive consequences to the finance performance of the Social Security sector. The paper also examines some of the major factors associated with this new trend and their chances to maintain such tendency in the near future. It's important to notice that all of them may be subject to some kind of political management by the State. In other words, we suggest that there are suficient instruments and operative skills in the Brazilian State to make these and others factors work in favour of a more persistent strategy of development with social inclusion through labour.

Relevância:

30.00% 30.00%

Publicador:

Resumo:

A study of intergovernmental relations in the area of the environment will determine whether the current Canadian federal structure represents a dangerous impediment to the promotion of sustainable development. This paper examines the interjurisdictional quagmire that has developed from the fact that authority over the environment is a functionally concurrent field for the two orders of government. A history of federal-provincial relations in the area of environmental protection is followed by an analysis of the advantages and disadvantages associated with competitive and cooperative federalism. For the purpose of this paper, cooperative federalism is characterized by the presence of a formal institutional system to facilitate interaction between politicians and bureaucrats from both orders of government. Competitive federalism is defined as a system that lacks a formal institutional structure to promote discussion and coordination between federal and provincial officials in a specific field of interest. Last, I examine thirty sustainable development issues following the structure established in Agenda 21 to determine the impact of the present federal system on the development of these objectives. This study concludes that Canadian federalism is not a dangerous impediment to the promotion of sustainable development. Cooperative federalism in a form that does not eliminate the ability of governments to revert to competition promotes the emergence of an institutional system that facilitates information-sharing and discussion between the two orders of government, thus leading to coordinated efforts in the field of the environment. Respect for the current division of powers in this area is also essential to the cohesiveness of Canadian society. Policy-makers and advocates for a sustainable society should focus on working within the present system.

Relevância:

30.00% 30.00%

Publicador:

Resumo:

This study explores how new university teachers develop a teaching identity. Despite the significance ofteaching, which usually comprises 40% of a Canadian academic's workload, few new professors have any formal preparation for that aspect of their role. Discipline-specific education for postsecondary professors is a well-defined path; graduates applying for faculty positions will have the terminal degree to attest to their knowledge and skill conducting research in the discipline. While teaching is usually given the same workload balance as research, it is not clear how professors create themselves as teaching professionals. Drawing on Kelly's (1955) personal construct theory and Kegan's (1982, 1994) model ofdevelopmental constructivism through differentiation and integration, this study used a phenomenographic framework~(Marton, 1986, 1994; Trigwell & Prosser, 1996) to investigate the question of how new faculty members construe their identity as university teachers. Further, my own role development as researcher was used as an additional lens through which to view the study results. The study focused particularly on the challenges and supports to teaching role development and outlines recommendations the participants made for supporting other newcomers. In addition, the variations and similarities in the results suggest a developmental model to conceptions ofteaching roles, one in which teaching, research, and service roles are viewed as more integrated over time. Developing a teacher identity was seen as a progression on a hierarchical model similar to Maslow's (1968) hierarchy of needs.

Relevância:

30.00% 30.00%

Publicador:

Resumo:

The purpose of this study was to examine processes and interactions that characterized positive developmental experiences in sport. A highly competitive and reputable U-17 girls' soccer team was chosen for the study through purposeful sampling, providing an information rich case from which data could be derived (Patton, 2002). Seventeen players and three coaches participated in this study. Based on an ethnographic methodology data were collected via observations and both informal and formal semi-structured interviews. Tlie data were coded according to the three procedures outlined by Seidel and Kelle (1995): a) noticing relevant phenomena, b) collecting examples of those phenomena, and c) analyzing those phenomena in order to find commonalities, differences, patterns and structures. Significant events and underlying themes were recounted chronologically through a collection of vignettes, aimed to provide a contextual lens for the reader. Results revolved around two prominent themes: Teamwork and leadership. These were closely related concepts that required players to demonstrate a wide range of developmental skills for the team to move collectively towards their end goal. Furthermore, teamwork and leadership experiences took both desirable and undesirable forms. For example, at the beginning of the season competition existed amongst the players at the expense of teamwork and leadership. As the season progressed the pursuit of a shared goal allowed the players to view each other as collaborators and teamwork and leadership skills became increasingly evident. At times, however, success on the field was prioritized above maintaining relationships off the field, requiring the coaches to intervene and re-establish equilibrium.

Relevância:

30.00% 30.00%

Publicador:

Resumo:

Two Grade 3 classes were used to study the effects of a formal social skills training program. Specifically, comparisons were made on self-esteem, classroom environment, and moral development to see whether changes occurred as a direct result of social skills training. One group participated in the social skills program, while the other group did not. It was hypothesized that formal social skills training would improve students' selfesteem, moral development, and the classroom environment. At the end of the program, however, data from class observations, teacher interviews, journal of the social skills training group teacher, and measures of self-esteem, classroom environment and moral development did not support this hypothesis. Although the social skills training group scored significantly higher in class cohesiveness, they did not show marked improvement in the other measures. In fact, in some measures (e.g., friction and competitiveness), they demonstrated greater scores at both pretest and posttests. The social skills training group was, however, able to vocalize and utilize the strategies of several skills which had been a focus of the program, suggesting that formal social skills training is a useful tool for presenting and reinforcing some specific behaviours.

Relevância:

30.00% 30.00%

Publicador:

Resumo:

This study explored experiences in relation to the impact of the College of Nurses of Ontario's (CNO's) mandatory Quality Assurance (QA) program on registered nurses (RNs) working in a clinical setting of an acute care hospital. A qualitative descriptive research design was used and data collection was done in 2 stages. First, a survey with open-ended questions was given to 45 nurses. Second, 8 respondents from the survey were interviewed using a semistructured format. Data were obtained from 2 groups-diploma-prepared and post diploma-prepared RNs. Findings demonstrated that the CNO's QA program had varying influences on the RNs' learning paths, and these differences appeared to be related to the educational background of the individual. The diploma-prepared nurses reported that their commitment to professional development was influenced by their level of internal motivation, the pressures associated with time, and the need for a strong external motivator, namely the obligation of management to conduct formal performance appraisals. They further reported that the QA program played a part in positively altering their commitment to continuing education. The post-diploma baccalaureate nurses reported that the QA program played a positive role in influencing their ongoing learning, along with their level of internal motivation, the work and health care environment, and the element of professionalism. Several implications for nursing practice, theory, and fiirther research also became evident.

Relevância:

30.00% 30.00%

Publicador:

Resumo:

This mixed-methods research study sought to determine the impact of an informal science camp—the Youth Science Inquiry Development Camp (YSIDC)—on participants’ science inquiry skills, through self-assessment, as well as their views and attitudes towards science and scientific inquiry. Pre and post data were collected using quantitative surveys (SPSI, CARS), a qualitative survey (VOSI-E), interviews, and researcher’s observations. Paired sample t-tests from the quantitative surveys revealed that the YSIDC positively impacted participants’ science inquiry skills and attitudes towards science. Interviews supported these findings and provided contextual reasons for these impacts. Implications from this research would suggest that informal and formal educational institutions can increase science inquiry skills and promote positive views and attitudes towards science and scientific inquiry by using non-competitive cooperative learning strategies with a mixture of guided and open inquiry. Suggested directions for further research include measuring science inquiry skills directly and conducting longitudinal studies to determine the lasting effects of informal and formal science programs.