Managing conflict in user-oriented development environments: Effects on information systems success

Today, many organizations are turning to new approaches to building and maintaining information systems (I/S) to cope with a highly competitive business environment. Current anecdotal evidence indicates that the approaches being used improve the effectiveness of software development by encouraging active user participation throughout the development process. Unfortunately, very little is known about how the use of such approaches enhances the ability of team members to develop I/S that are responsive to changing business conditions.^ Drawing from predominant theories of organizational conflict, this study develops and tests a model of conflict among members of a development team. The model proposes that development approaches provide the relevant context conditioning the management and resolution of conflict in software development which, in turn, are crucial for the success of the development process.^ Empirical testing of the model was conducted using data collected through a combination of interviews with I/S executives and surveys of team members and business users at nine organizations. Results of path analysis provide support for the model's main prediction that integrative conflict management and distributive conflict management can contribute to I/S success by influencing differently the manifestation and resolution of conflict in software development. Further, analyses of variance indicate that object-oriented development, when compared to rapid and structured development, appears to produce the lowest levels of conflict management, conflict resolution, and I/S success.^ The proposed model and findings suggest academic implications for understanding the effects of different conflict management behaviors on software development outcomes, and practical implications for better managing the software development process, especially in user-oriented development environments. ^

Formal verification and testing of software architectural models

Ensuring the correctness of software has been the major motivation in software research, constituting a Grand Challenge. Due to its impact in the final implementation, one critical aspect of software is its architectural design. By guaranteeing a correct architectural design, major and costly flaws can be caught early on in the development cycle. Software architecture design has received a lot of attention in the past years, with several methods, techniques and tools developed. However, there is still more to be done, such as providing adequate formal analysis of software architectures. On these regards, a framework to ensure system dependability from design to implementation has been developed at FIU (Florida International University). This framework is based on SAM (Software Architecture Model), an ADL (Architecture Description Language), that allows hierarchical compositions of components and connectors, defines an architectural modeling language for the behavior of components and connectors, and provides a specification language for the behavioral properties. The behavioral model of a SAM model is expressed in the form of Petri nets and the properties in first order linear temporal logic.^ This dissertation presents a formal verification and testing approach to guarantee the correctness of Software Architectures. The Software Architectures studied are expressed in SAM. For the formal verification approach, the technique applied was model checking and the model checker of choice was Spin. As part of the approach, a SAM model is formally translated to a model in the input language of Spin and verified for its correctness with respect to temporal properties. In terms of testing, a testing approach for SAM architectures was defined which includes the evaluation of test cases based on Petri net testing theory to be used in the testing process at the design level. Additionally, the information at the design level is used to derive test cases for the implementation level. Finally, a modeling and analysis tool (SAM tool) was implemented to help support the design and analysis of SAM models. The results show the applicability of the approach to testing and verification of SAM models with the aid of the SAM tool.^

The influence of study and travel abroad on the personal and professional development of students in architecture design programs

International travel has significant implications on the study of architecture. This study analyzed ways in which undergraduate and graduate students benefited from the experience of international travel and study abroad. Taken from the perspective of 15 individuals who were currently or had been architecture students at the University of Miami and Florida International University or who were alumni of the University of Florida and Syracuse University, the research explored how international travel and study abroad enhanced their awareness and understanding of architecture, and how it complemented their architecture curricula. This study also addressed a more personal aspect of international travel in order to learn how the experience and exposure to foreign cultures had positively influenced the personal and professional development of the participants.^ Participants’ individual and two-person semi-structured interviews about study abroad experiences were electronically recorded and transcribed for analysis. A second interview was conducted with five of the participants to obtain feedback concerning the accuracy of the transcripts and the interpretation of the data. Sketch journals and design projects were also analyzed from five participants and used as data for the purposes of better understanding what these individuals learned and experienced as part of their study abroad.^ Findings indicated that study abroad experiences helped to broaden student understanding about architecture and urban development. These experiences also opened the possibilities of creative and professional expression. For many, this was the most important aspect of their education as architects because it heightened their interest in architecture. These individuals talked about how they had the opportunity to experience contemporary and ancient buildings that they had learned about in their history and design classes on their home campuses. In terms of personal and professional development, many of the participants remarked that they became more independent and self-reliant because of their study abroad experiences. They also displayed a sense of global awareness and were interested in the cultures of their host nations. The study abroad experiences also had a lasting influence on their professional development.^

Community college faculty commitment to Florida performance -based funding indicators for academic programs

In 1996, the State of Florida implemented a performance-based funding program for the Associate in Arts degree offered by community colleges. Additional funds are allocated for distribution among public community colleges based on performance indicators. The indicators are comprised of 10 performance goals that refer to productivity indexed by overall degree completions as well as subgroups: special disadvantaged populations, transfers, job placements, and education acceleration. ^ This study examined the level of self-reported commitment of community college faculty to the 10 Florida performance-based funding indicators for academic programs. Also examined were the relationships between commitment and (a) self-efficacy in contributing to the achievement of the indicators and (b) personal financial reward expectation for contributing to the achievement of the indicators. The relationships between commitment and (a) gender, (b) academic rank, and (c) types of courses taught were analyzed based on secondary analyses. ^ The participants were 303 full-time faculty members of Miami-Dade Community College who taught courses taken by students pursuing the Associate in Arts degree. A questionnaire was developed to measure commitment, self-efficacy, and expectation of financial reward for each of the 10 indicators. ^ The mean composite commitment score for faculty members who responded to the survey was 4.07 in a scale of 1 to 5. Greater commitment was reported for indicators closely related to the traditional mission of community colleges (i.e., facilitating progress of special groups in earning the AA degree in preparation for transferring to a four-year university). Lower commitment was reported for indicators oriented to State priorities such as education acceleration mechanisms and job placements. Commitment was correlated with three variables: self-efficacy, expectation of financial reward, and types of courses taught. However, commitment was not related to gender and academic rank. Although a cause-effect relationship cannot be inferred from this study, the findings depict a positive relationship between faculty commitment to performance-based funding indicators and faculty self-efficacy to contribute to the achievement of the indicators. ^

Formal verification and testing of software architectural models

Ensuring the correctness of software has been the major motivation in software research, constituting a Grand Challenge. Due to its impact in the final implementation, one critical aspect of software is its architectural design. By guaranteeing a correct architectural design, major and costly flaws can be caught early on in the development cycle. Software architecture design has received a lot of attention in the past years, with several methods, techniques and tools developed. However, there is still more to be done, such as providing adequate formal analysis of software architectures. On these regards, a framework to ensure system dependability from design to implementation has been developed at FIU (Florida International University). This framework is based on SAM (Software Architecture Model), an ADL (Architecture Description Language), that allows hierarchical compositions of components and connectors, defines an architectural modeling language for the behavior of components and connectors, and provides a specification language for the behavioral properties. The behavioral model of a SAM model is expressed in the form of Petri nets and the properties in first order linear temporal logic. This dissertation presents a formal verification and testing approach to guarantee the correctness of Software Architectures. The Software Architectures studied are expressed in SAM. For the formal verification approach, the technique applied was model checking and the model checker of choice was Spin. As part of the approach, a SAM model is formally translated to a model in the input language of Spin and verified for its correctness with respect to temporal properties. In terms of testing, a testing approach for SAM architectures was defined which includes the evaluation of test cases based on Petri net testing theory to be used in the testing process at the design level. Additionally, the information at the design level is used to derive test cases for the implementation level. Finally, a modeling and analysis tool (SAM tool) was implemented to help support the design and analysis of SAM models. The results show the applicability of the approach to testing and verification of SAM models with the aid of the SAM tool.

Demonstration against Channel 13 for not having more women-oriented programming

General note: Title and date provided by Bettye Lane.

The association of HIV counseling and testing with HIV risk behaviors in a random population-based survey in Kisumu, Kenya.

HIV testing has been promoted as a key HIV prevention strategy in low-resource settings, despite studies showing variable impact on risk behavior. We sought to examine rates of HIV testing and the association between testing and sexual risk behaviors in Kisumu, Kenya. Participants were interviewed about HIV testing and sexual risk behaviors. They then underwent HIV serologic testing. We found that 47% of women and 36% of men reported prior testing. Two-thirds of participants who tested HIV-positive in this study reported no prior HIV test. Women who had undergone recent testing were less likely to report high-risk behaviors than women who had never been tested; this was not seen among men. Although rates of HIV testing were higher than seen in previous studies, the majority of HIV-infected people were unaware of their status. Efforts should be made to increase HIV testing among this population.

Transiting Exoplanet Studies and Community Targets for JWST's Early Release Science Program

The James Webb Space Telescope (JWST) will likely revolutionize transiting exoplanet atmospheric science, due to a combination of its capability for continuous, long duration observations and its larger collecting area, spectral coverage, and spectral resolution compared to existing space-based facilities. However, it is unclear precisely how well JWST will perform and which of its myriad instruments and observing modes will be best suited for transiting exoplanet studies. In this article, we describe a prefatory JWST Early Release Science (ERS) Cycle 1 program that focuses on testing specific observing modes to quickly give the community the data and experience it needs to plan more efficient and successful transiting exoplanet characterization programs in later cycles. We propose a multi-pronged approach wherein one aspect of the program focuses on observing transits of a single target with all of the recommended observing modes to identify and understand potential systematics, compare transmission spectra at overlapping and neighboring wavelength regions, confirm throughputs, and determine overall performances. In our search for transiting exoplanets that are well suited to achieving these goals, we identify 12 objects (dubbed “community targets”) that meet our defined criteria. Currently, the most favorable target is WASP-62b because of its large predicted signal size, relatively bright host star, and location in JWST's continuous viewing zone. Since most of the community targets do not have well-characterized atmospheres, we recommend initiating preparatory observing programs to determine the presence of obscuring clouds/hazes within their atmospheres. Measurable spectroscopic features are needed to establish the optimal resolution and wavelength regions for exoplanet characterization. Other initiatives from our proposed ERS program include testing the instrument brightness limits and performing phase-curve observations. The latter are a unique challenge compared to transit observations because of their significantly longer durations. Using only a single mode, we propose to observe a full-orbit phase curve of one of the previously characterized, short-orbital-period planets to evaluate the facility-level aspects of long, uninterrupted time-series observations.

“It’s the People That Drive It”: Motivating and Supporting Collaborative Data Use Practices in Three Teacher Education Programs

Thesis (Ph.D.)--University of Washington, 2016-08

Integrating a mobile accessible electronic system into dockside monitoring: How can small-scale fisheries data collection programs transition from paper-based to digital data collection?

Thesis (Master's)--University of Washington, 2016-06

Perceptions of New Principal Mentoring Programs in a Large Urban School District

The principalship has changed significantly over the past 20 years. Today’s principals must be effective instructional leaders, managers of large facilities, and experts at analyzing data to successfully meet the accountability demands of high-stakes testing, along with state, and federal mandates. The primary purpose of this quantitative study was to examine how 43 first- and second-year sitting school principals perceived their mentoring experiences and the degree to which a principal mentoring program—offered by their large urban school district—was effective in building their leadership capacity. A second purpose of this inquiry was to understand these principals’ perceptions of the most beneficial aspects of the mentoring program. The study used quantitative data gathered via an online questionnaire distributed during Fall 2015. The results indicated that respondents perceived that the components of the large urban school-mentoring program were generally effective in training principal mentees to become highly-effective school leaders. This study enriches the literature on mentoring by providing the voices of first and second year school leaders to add depth to the characteristics of successful mentoring programs.

Councellors' Experience During Training and Home Based HIV Councelling and Testing in Zomba District, Malawi

Introduction In 2007, St Luke’s Mission Hospital initiated a district-wide Door to Door HIV counselling and testing (HCT) programme in Zomba district. The intent of the programme was to provide quality HCT services to people in their homes and effectively those found to be HIV positive referred to appropriate services. Methodology This was a cross sectional study using a questionnaire consecutively administered to a sample of 105 counsellors who had resided in the community for a period of over one year. The questionnaire sought to establish, knowledge gained, experiences and recommendations on how the programme has been implemented and assist running of similar future programmes. Data analysis was done manually using both qualitative and quantitative methodologies. Results We report that nearly 23% of the counsellors thought that during their training as a door to door HTC councelor they had benefited in learning to working with communities; an aspect they found to be highly applicable in discharge of their duties. The major setbacks during the training were lack daily allowances, less amount of time spent on understanding child councelling and the manual used was diffucult to follow. Over 32% of the councellors were satisfied with the participation of their clients during pre-test counselling sessions, however, the major challenge they had was the misconception that they were blood suckers, a view reported by nearly 17% of the counsellors. Close to 72% reported not to have met any problems during post-test counselling compared to 24% who reported to have found challenges. Conclusion The study has revealed that there is a need to re-look child children counselling especially in training door to door HCT counsellors. It has also revealed the prevalent allowance culture despite the benefits of training. The common challenges were refusal of test Results and failure to understand discordance. Misconceptions may still exist in the community regarding anything dealing with removing blood. There is still need for more information regarding discordance especially among couples in the community.

Systems 1 and 2 thinking processes and cognitive reflection testing in medical students

Background: Diagnostic decision-making is made through a combination of Systems 1 (intuition or pattern-recognition) and Systems 2 (analytic) thinking. The purpose of this study was to use the Cognitive Reflection Test (CRT) to evaluate and compare the level of Systems 1 and 2 thinking among medical students in pre-clinical and clinical programs. Methods: The CRT is a three-question test designed to measure the ability of respondents to activate metacognitive processes and switch to System 2 (analytic) thinking where System 1 (intuitive) thinking would lead them astray. Each CRT question has a correct analytical (System 2) answer and an incorrect intuitive (System 1) answer. A group of medical students in Years 2 & 3 (pre-clinical) and Years 4 (in clinical practice) of a 5-year medical degree were studied. Results: Ten percent (13/128) of students had the intuitive answers to the three questions (suggesting they generally relied on System 1 thinking) while almost half (44%) answered all three correctly (indicating full analytical, System 2 thinking). Only 3-13% had incorrect answers (i.e. that were neither the analytical nor the intuitive responses). Non-native English speaking students (n = 11) had a lower mean number of correct answers compared to native English speakers (n = 117: 1.0 s 2.12 respectfully: p < 0.01). As students progressed through questions 1 to 3, the percentage of correct System 2 answers increased and the percentage of intuitive answers decreased in both the pre-clinical and clinical students. Conclusions: Up to half of the medical students demonstrated full or partial reliance on System 1 (intuitive) thinking in response to these analytical questions. While their CRT performance has no claims to make as to their future expertise as clinicians, the test may be used in helping students to understand the importance of awareness and regulation of their thinking processes in clinical practice.

Effects of dry-land strength and conditioning programs in age group swimmers

Context: Even though dry-land S&C training is a common practice in swimming, there are countless uncertainties over it effects in performance of age group swimmers. Objective: To investigate the effects of dry-land S&C programs in swimming performance of age group swimmers. Participants: A total of 21 male competitive swimmers (12.7±0.7 years) were randomly assigned to the Control Group (n=7) and experimental GR1 and GR2 (n=7 for each group). Intervention: Control group performed a 10-week training period of swim training alone, GR1 followed a 6-week dry-land S&C program based on sets/repetitions plus a 4-week swim training program alone and GR2 followed a 6-week dry-land S&C program focused on explosiveness, plus a 4-week program of swim training alone. Results: For the dry-land tests a time effect was observed between week 0 and week 6 for vertical jump (p<0.01) in both experimental groups, and for the GR2 ball throwing (p<0.01), with moderate-strong effect sizes. The time*group analyses showed that for performance in 50 m, differences were significant, with the GR2 presenting higher improvements than their counterparts (F=4.156; ƿ=0.007; η2=0.316) at week 10. Conclusions: The results suggest that 6 weeks of a complementary dry-land S&C training may lead to improvements in dry-land strength. Furthermore, a 4-week adaptation period was mandatory to achieve beneficial transfer for aquatic performance. Additional benefits may occur if coaches plan the dry-land S&C training focusing on explosiveness.

Development and testing of innovative methodologies for modelling and control of normal and knocking combustion and implementation of novel rapid prototyping solutions

The thesis work deals with topics that led to the development of innovative control-oriented models and control algorithms for modern gasoline engines. Knock in boosted spark ignition engines is the widest topic discussed in this document because it remains one of the most limiting factors for maximizing combustion efficiency in this kind of engine. First chapter is thus focused on knock and a wide literature review is proposed to summarize the preliminary knowledge that even represents the background and the reference for discussed activities. Most relevant results achieved during PhD course in the field of knock modelling and control are then presented, describing every control-oriented model that led to the development of an adaptive model-based combustion control system. The complete controller has been developed in the context of the collaboration with Ferrari GT and it allowed to completely redefine the knock intensity evaluation as well as the combustion phase control. The second chapter is focused on the activity related to a prototyping Port Water Injection system that has been developed and tested on a turbocharged spark ignition engine, within the collaboration with Magneti Marelli. Such system and the effects of injected water on the combustion process were then modeled in a 1-D simulation environment (GT Power). Third chapter shows the development and validation of a control-oriented model for the real-time calculation of exhaust gas temperature that represents another important limitation to the performance increase in modern boosted engines. Indeed, modelling of exhaust gas temperature and thermocouple behavior are themes that play a key role in the optimization of combustion and catalyst efficiency.