A framework for specification and analysis of software architectures

Software architecture is the abstract design of a software system. It plays a key role as a bridge between requirements and implementation, and is a blueprint for development. The architecture represents a set of early design decisions that are crucial to a system. Mistakes in those decisions are very costly if they remain undetected until the system is implemented and deployed. This is where formal specification and analysis fits in. Formal specification makes sure that an architecture design is represented in a rigorous and unambiguous way. Furthermore, a formally specified model allows the use of different analysis techniques for verifying the correctness of those crucial design decisions. ^ This dissertation presented a framework, called SAM, for formal specification and analysis of software architectures. In terms of specification, formalisms and mechanisms were identified and chosen to specify software architecture based on different analysis needs. Formalisms for specifying properties were also explored, especially in the case of non-functional properties. In terms of analysis, the dissertation explored both the verification of functional properties and the evaluation of non-functional properties of software architecture. For the verification of functional property, methodologies were presented on how to apply existing model checking techniques on a SAM model. For the evaluation of non-functional properties, the dissertation first showed how to incorporate stochastic information into a SAM model, and then explained how to translate the model to existing tools and conducts the analysis using those tools. ^ To alleviate the analysis work, we also provided a tool to automatically translate a SAM model for model checking. All the techniques and methods described in the dissertation were illustrated by examples or case studies, which also served a purpose of advocating the use of formal methods in practice. ^

Rebirth of a neighborhood: In streetscape design

This study involves one of the eight neighborhoods in the City of Miami named Little Havana. Little Havana, once a flourishing Hispanic community during the 1960s through the 1980s, is now experiencing housing deterioration, economic disinvestment, and increased social needs. ^ Although the City developed a Community Development Plan for the neighborhood addressing the neighborhood problems, needs, and objectives, it failed to address and take advantage of the area's prominent commercial street, Calle Ocho, as a cultural catalyst for the revitalization of the neighborhood. With an urban study and understanding of the area's needs for transit system improvements, program analysis, and a valuable architectural inventory, an intervention project can be developed. The project will capitalize on the area's historical and cultural assets and serve as a step towards altering the area's decline and revitalizing the street and community to recapture the energy present during the early years of the massive Cuban migration. ^

Use of conjoint analysis to examine beliefs related to the practice of early literacy instruction

The purpose of the study was to examine the relationship between teacher beliefs and actual classroom practice in early literacy instruction. Conjoint analysis was used to measure teachers' beliefs on four early literacy factors—phonological awareness, print awareness, graphophonic awareness, and structural awareness. A collective case study format was then used to measure the correspondence of teachers' beliefs with their actual classroom practice. ^ Ninety Project READS participants were given twelve cards in an orthogonal experimental design describing students that either met or did not meet criteria on the four early literacy factors. Conjoint measurements of whether the student is an efficient reader were taken. These measurements provided relative importance scores for each respondent. Based on the relative important scores, four teachers were chosen to participate in a collective case study. ^ The conjoint results enabled the clustering of teachers into four distinct groups, each aligned with one of the four early literacy factors. K-means cluster analysis of the relative importance measurements showed commonalities among the ninety respondents' beliefs. The collective case study results were mixed. Implications for researchers and practitioners include the use of conjoint analysis in measuring teacher beliefs on the four early literacy factors. Further, the understanding of teacher preferences on these beliefs may assist in the development of curriculum design and therefore increase educational effectiveness. Finally, comparisons between teachers' beliefs on the four early literacy factors and actual instructional practices may facilitate teacher self-reflection thus encouraging positive teacher change. ^

An integrated framework for ensuring the quality of software design

Software development is an extremely complex process, during which human errors are introduced and result in faulty software systems. It is highly desirable and important that these errors can be prevented and detected as early as possible. Software architecture design is a high-level system description, which embodies many system features and properties that are eventually implemented in the final operational system. Therefore, methods for modeling and analyzing software architecture descriptions can help prevent and reveal human errors and thus improve software quality. Furthermore, if an analyzed software architecture description can be used to derive a partial software implementation, especially when the derivation can be automated, significant benefits can be gained with regard to both the system quality and productivity. This dissertation proposes a framework for an integrated analysis on both of the design and implementation. To ensure the desirable properties of the architecture model, we apply formal verification by using the model checking technique. To ensure the desirable properties of the implementation, we develop a methodology and the associated tool to translate an architecture specification into an implementation written in the combination of Arch-Java/Java/AspectJ programming languages. The translation is semi-automatic so that many manual programming errors can be prevented. Furthermore, the translation inserting monitoring code into the implementation such that runtime verification can be performed, this provides additional assurance for the quality of the implementation. Moreover, validations for the translations from architecture model to program are provided. Finally, several case studies are experimented and presented.

The perceptions of best mentoring practices in an early literacy intervention project: A case study of nine coaches

There is significant national evidence the language development of four year-olds is a critical area for later school success (Brooks-Gunn, Fuligni, & Berlin, 2003; Cunningham, & Stanovich, 1998). This study originated as part of Literacy Intervention X (LIX), a larger national study conducted to examine the effectiveness of early literacy curricula implemented in subsidized childcare centers. The professional development of childcare center providers is key to improving the quality of subsidized care. In exploring the mentoring practices of nine LIX literacy coaches, the researcher investigated the perceptions of what best mentoring practices facilitated the implementation of literacy curricula by childcare providers. A qualitative case study was conducted using a combination of participant observer notes, document analysis, and focus group semi-structured interviews. The researcher is a participant observer, one of the nine Literacy Coaches. The best mentoring practices from the perspective of the literacy coaches are related to building relationships including trust, mutual respect, support, empathy, and encouragement with the childcare providers, the center directors, and with fellow literacy coaches. Clear, constant, and consistent communication with the childcare providers was a vital mentoring practice in building a relationship between the literacy coach and childcare provider. Another best mentoring practice in building a relationship with the childcare provider was the perceptions of the literacy coaches as co-learners in the mentoring process. The best mentoring practices highlighted in this study exemplified the kind of effective professional development that builds on the strengths of the childcare providers and does not disrupt the childcare centers or the services provided by the subsidized childcare programs that meet the needs of children and families. The experience of these nine literacy coaches, including their perceptions of effective mentoring practices, along with lesson learned about relationships, mentoring team structures, and general project design sheds light on the challenge of mentoring subsidized childcare providers in future literacy intervention projects.

Early career special education teachers' perceptions of school site induction support

Research highlights teacher attrition as one of the biggest challenges facing public schools and their attempts to provide a quality teacher for every student (Ingersoll & Smith, 2003). The teacher shortage is particularly daunting in special education where teachers are over twice as likely to leave the field. The first few years of teaching are the most critical in determining whether or not a beginning teacher will stay in the teaching profession (Whitaker, 2000). ^ A mixed-methods sequential explanatory design was utilized to examine research questions focused on the components of induction support that early career teachers received at their school site, including what they considered most valuable to their long-term retention in the classroom and their development as a quality teacher. Eighty seven early career special education teachers were surveyed during the first phase of the study and six participants were interviewed during the second phase. ^ Data analysis of the Likert-scale survey used in the study revealed that the majority of the respondents received at least 21 of the 25 listed induction components. Moreover, early career special education teachers indicated that they valued all 25 induction components. In addition, findings revealed that over two thirds of the respondents indicated a desire to remain a special education teacher. Overall, early career special education teachers felt confident in their abilities to teach students with disabilities; however, nearly half of the respondents did not feel satisfied with the induction they received. Independent t-tests showed a statistically significant difference between teachers who indicated a desire to remain in special education and those that did not on the level of satisfaction with their induction experience. ^ The six interviews provided elaboration and clarification of the survey responses. The participants expressed their passion for the art of teaching, their dedication to students with disabilities, and their frustration with being a beginning teacher. Furthermore, it was reported that the overall school culture was not very supportive. Participants offered relevant ideas for additional or alternate induction components that would be more effective.^

An examination of the effects of a summer book-reading program on the language and early literacy outcomes of toddlers from high risk environments

The current study examined the impact of an early summer literacy program and the mediating effects of the home literacy environment on the language and literacy outcomes of a group of children at-risk for long-term developmental and academic delays. Participating children (n=54) were exposed to an intensive book-reading intervention each summer (June through mid August) over a 3-year period. The current study implemented an ex post facto, quasi-experimental design. This nonequivalent group design involved a pretest and posttest over three time points for a non-randomized treatment group and a matched non-treatment comparison group. Results indicated that literacy scores did improve for the children over the 3-year period; however, language scores did not experience the same rate of change over time. Receptive language was significantly impacted by attendance, and race/ethnicity. Expressive language was impacted significantly by gestational age and attendance. Results also indicated that language outcomes for young children who are exposed to a literacy program were higher than those who did not participate; however, only receptive language yielded significance at the p<.05 level. These study results also found that activities in the home that support literacy and learning do indeed impact language and literacy outcomes for these children, specifically, the age at which a child is read to, the number of books in the home, a child’s enjoyment of reading, and whether a child looks at books on his or her own impact language scores. This study concluded that at-risk young children do benefit from center-based literacy intervention. This literacy experience, however, is also driven by the children's home environment, their attendance to the program, whether they were premature or not and the type of caregiver.

The early development and pilot -testing of a case management intervention with victims of stalking: An evaluation study

This study evaluated the early development and pilot-testing of Project IMPACT, a case management intervention for victims of stalking. The Design and Development framework (Rothman & Thomas, 1994) was used as a guide for program development and evaluation. Nine research questions examined the processes and outcomes associated with program implementation. ^ The sample included all 36 clients who participated in Project IMPACT between February of 2000 and June of 2001, as well as the victim advocates who provided them with services. Quantitative and qualitative data were drawn from client case files, participant observation field notes and interview transcriptions. Quantitative data were entered into three databases where: (1) clients were the units of analysis (n = 36), (2) services were the units of analysis (n = 1146), and (3) goals were the units of analysis (n = 149). These data were analyzed using descriptive statistics, Pearson's Chi-square, Spearman's Rho, Phi, Cramer's V, Wilcoxon's Matched Pairs Signed-Ranked Test and McNemar's Test Statistic. Qualitative data were reduced via open, axial and selective coding methods. Grounded theory and case study frameworks were utilized to analyze these data. ^ Results showed that most clients noted an improved sense of well-being and safety, although residual symptoms of trauma remained for numerous individuals. Stalkers appeared to respond to criminal and civil justice-based interventions by reducing violent and threatening behaviors; however, covert behaviors continued. The study produced findings that provided preliminary support for the use of several intervention components including support services, psycho-education, safety planning, and boundary spanning. The psycho-education and safety planning in particular seemed to help clients cognitively reframe their perceptions of the stalking experience and gain a sense of increased safety and well-being. A 65% level of satisfactory goal achievement was observed overall, although goals involving justice-based organizations were associated with lower achievement. High service usage was related to low-income clients and those lacking in social support. Numerous inconsistencies in program implementation were found to be associated with the skills and experiences of victim advocates. Thus, recommendations were made to further refine, develop and evaluate the intervention. ^

The role of *language in early childhood mathematics

Math literacy is imperative to succeed in society. Experience is key for acquiring math literacy. A preschooler's world is full of mathematical experiences. Children are continually counting, sorting and comparing as they play. As children are engaged in these activities they are using language as a tool to express their mathematical thinking. If teachers are aware of these teachable moments and help children bridge their daily experiences to mathematical concepts, math literacy may be enhanced. This study described the interactions between teachers and preschoolers, determining the extent to which teachers scaffold children's everyday language into expressions of mathematical concepts. Of primary concern were the teachers' responsive interactions to children's expressions of an implicit mathematical utterance made while engaged in block play. The parallel mixed methods research design consisted of two strands. Strand 1 of the study focused on preschoolers' use of everyday language and the teachers' responses after a child made a mathematical utterance. Twelve teachers and 60 students were observed and videotaped while engaged in block play. Each teacher worked with five children for 20 minutes, yielding 240 minutes of observation. Interaction analysis was used to deductively analyze the recorded observations and field notes. Using a priori codes for the five mathematical concepts, it was found children produced 2,831 mathematical utterances. Teachers ignored 60% of these utterances and responded to, but did not mediate 30% of them. Only 10% of the mathematical utterances were mediated to a mathematical concept. Strand 2 focused on the teacher's view of the role of language in early childhood mathematics. The 12 teachers who had been observed as part of the first strand of the study were interviewed. Based on a thematic analysis of these interviews three themes emerged: (a) the importance of a child's environment, (b) the importance of an education in society, and (c) the role of math in early childhood. Finally, based on a meta-inference of both strands, three themes emerged: (a) teacher conception of math, (b) teacher practice, and (c) teacher sensitivity. Implications based on the findings involve policy, curriculum, and professional development.