Tool-supported invariant-based programming

The development of correct programs is a core problem in computer science. Although formal verification methods for establishing correctness with mathematical rigor are available, programmers often find these difficult to put into practice. One hurdle is deriving the loop invariants and proving that the code maintains them. So called correct-by-construction methods aim to alleviate this issue by integrating verification into the programming workflow. Invariant-based programming is a practical correct-by-construction method in which the programmer first establishes the invariant structure, and then incrementally extends the program in steps of adding code and proving after each addition that the code is consistent with the invariants. In this way, the program is kept internally consistent throughout its development, and the construction of the correctness arguments (proofs) becomes an integral part of the programming workflow. A characteristic of the approach is that programs are described as invariant diagrams, a graphical notation similar to the state charts familiar to programmers. Invariant-based programming is a new method that has not been evaluated in large scale studies yet. The most important prerequisite for feasibility on a larger scale is a high degree of automation. The goal of the Socos project has been to build tools to assist the construction and verification of programs using the method. This thesis describes the implementation and evaluation of a prototype tool in the context of the Socos project. The tool supports the drawing of the diagrams, automatic derivation and discharging of verification conditions, and interactive proofs. It is used to develop programs that are correct by construction. The tool consists of a diagrammatic environment connected to a verification condition generator and an existing state-of-the-art theorem prover. Its core is a semantics for translating diagrams into verification conditions, which are sent to the underlying theorem prover. We describe a concrete method for 1) deriving sufficient conditions for total correctness of an invariant diagram; 2) sending the conditions to the theorem prover for simplification; and 3) reporting the results of the simplification to the programmer in a way that is consistent with the invariantbased programming workflow and that allows errors in the program specification to be efficiently detected. The tool uses an efficient automatic proof strategy to prove as many conditions as possible automatically and lets the remaining conditions be proved interactively. The tool is based on the verification system PVS and i uses the SMT (Satisfiability Modulo Theories) solver Yices as a catch-all decision procedure. Conditions that were not discharged automatically may be proved interactively using the PVS proof assistant. The programming workflow is very similar to the process by which a mathematical theory is developed inside a computer supported theorem prover environment such as PVS. The programmer reduces a large verification problem with the aid of the tool into a set of smaller problems (lemmas), and he can substantially improve the degree of proof automation by developing specialized background theories and proof strategies to support the specification and verification of a specific class of programs. We demonstrate this workflow by describing in detail the construction of a verified sorting algorithm. Tool-supported verification often has little to no presence in computer science (CS) curricula. Furthermore, program verification is frequently introduced as an advanced and purely theoretical topic that is not connected to the workflow taught in the early and practically oriented programming courses. Our hypothesis is that verification could be introduced early in the CS education, and that verification tools could be used in the classroom to support the teaching of formal methods. A prototype of Socos has been used in a course at Åbo Akademi University targeted at first and second year undergraduate students. We evaluate the use of Socos in the course as part of a case study carried out in 2007.

Towards increased productivity and quality in software development using agile, lean and collaborative approaches

Dagens programvaruindustri står inför alltmer komplicerade utmaningar i en värld där programvara är nästan allstädes närvarande i våra dagliga liv. Konsumenten vill ha produkter som är pålitliga, innovativa och rika i funktionalitet, men samtidigt också förmånliga. Utmaningen för oss inom IT-industrin är att skapa mer komplexa, innovativa lösningar till en lägre kostnad. Detta är en av orsakerna till att processförbättring som forskningsområde inte har minskat i betydelse. IT-proffs ställer sig frågan: “Hur håller vi våra löften till våra kunder, samtidigt som vi minimerar vår risk och ökar vår kvalitet och produktivitet?” Inom processförbättringsområdet finns det olika tillvägagångssätt. Traditionella processförbättringsmetoder för programvara som CMMI och SPICE fokuserar på kvalitets- och riskaspekten hos förbättringsprocessen. Mer lättviktiga metoder som t.ex. lättrörliga metoder (agile methods) och Lean-metoder fokuserar på att hålla löften och förbättra produktiviteten genom att minimera slöseri inom utvecklingsprocessen. Forskningen som presenteras i denna avhandling utfördes med ett specifikt mål framför ögonen: att förbättra kostnadseffektiviteten i arbetsmetoderna utan att kompromissa med kvaliteten. Den utmaningen attackerades från tre olika vinklar. För det första förbättras arbetsmetoderna genom att man introducerar lättrörliga metoder. För det andra bibehålls kvaliteten genom att man använder mätmetoder på produktnivå. För det tredje förbättras kunskapsspridningen inom stora företag genom metoder som sätter samarbete i centrum. Rörelsen bakom lättrörliga arbetsmetoder växte fram under 90-talet som en reaktion på de orealistiska krav som den tidigare förhärskande vattenfallsmetoden ställde på IT-branschen. Programutveckling är en kreativ process och skiljer sig från annan industri i det att den största delen av det dagliga arbetet går ut på att skapa något nytt som inte har funnits tidigare. Varje programutvecklare måste vara expert på sitt område och använder en stor del av sin arbetsdag till att skapa lösningar på problem som hon aldrig tidigare har löst. Trots att detta har varit ett välkänt faktum redan i många decennier, styrs ändå många programvaruprojekt som om de vore produktionslinjer i fabriker. Ett av målen för rörelsen bakom lättrörliga metoder är att lyfta fram just denna diskrepans mellan programutvecklingens innersta natur och sättet på vilket programvaruprojekt styrs. Lättrörliga arbetsmetoder har visat sig fungera väl i de sammanhang de skapades för, dvs. små, samlokaliserade team som jobbar i nära samarbete med en engagerad kund. I andra sammanhang, och speciellt i stora, geografiskt utspridda företag, är det mera utmanande att införa lättrörliga metoder. Vi har nalkats utmaningen genom att införa lättrörliga metoder med hjälp av pilotprojekt. Detta har två klara fördelar. För det första kan man inkrementellt samla kunskap om metoderna och deras samverkan med sammanhanget i fråga. På så sätt kan man lättare utveckla och anpassa metoderna till de specifika krav som sammanhanget ställer. För det andra kan man lättare överbrygga motstånd mot förändring genom att introducera kulturella förändringar varsamt och genom att målgruppen får direkt förstahandskontakt med de nya metoderna. Relevanta mätmetoder för produkter kan hjälpa programvaruutvecklingsteam att förbättra sina arbetsmetoder. När det gäller team som jobbar med lättrörliga och Lean-metoder kan en bra uppsättning mätmetoder vara avgörande för beslutsfattandet när man prioriterar listan över uppgifter som ska göras. Vårt fokus har legat på att stöda lättrörliga och Lean-team med interna produktmätmetoder för beslutsstöd gällande så kallad omfaktorering, dvs. kontinuerlig kvalitetsförbättring av programmets kod och design. Det kan vara svårt att ta ett beslut att omfaktorera, speciellt för lättrörliga och Lean-team, eftersom de förväntas kunna rättfärdiga sina prioriteter i termer av affärsvärde. Vi föreslår ett sätt att mäta designkvaliteten hos system som har utvecklats med hjälp av det så kallade modelldrivna paradigmet. Vi konstruerar även ett sätt att integrera denna mätmetod i lättrörliga och Lean-arbetsmetoder. En viktig del av alla processförbättringsinitiativ är att sprida kunskap om den nya programvaruprocessen. Detta gäller oavsett hurdan process man försöker introducera – vare sig processen är plandriven eller lättrörlig. Vi föreslår att metoder som baserar sig på samarbete när processen skapas och vidareutvecklas är ett bra sätt att stöda kunskapsspridning på. Vi ger en översikt över författarverktyg för processer på marknaden med det förslaget i åtanke.

Project Master Document adaption in order fulfillment process

This thesis discusses adaption of new project management tool at ABB Oy Motors and Generators business unit, Synchronous Machines profit centre. Thesis studies project modeling in general and buries in the Gate Model used at ABB Synchronous Machines. It is essential to understand Gate Model because this new project management tool, called Project Master Document, is created on the base of the existing project model. Thesis also analyzes goals and structure of Project Master Document in order to ease implementation of this new tool. Project Master Document aims to improved customer order fulfillment by clearing order handover interface. Office process, especially responsibilities and target dates, become also clearer after Master Document implementation. The document is built to be frame for whole order fulfillment process including check points for each gate of project model and updated memos from all project meetings. Furthermore, project progress will be clearly stated by status markings and visualized with colors.

De-escalation of commitment management strategy in IT project management methodology: case of ERP implementation project by IT consulting company

According to several surveys and observations, the percentage of successfully conducted IT projects without over-budgeting and delays in time schedule are extremely low. Many projects also are evaluated as failures in terms of delivered functionality. Nuldén (1996) compares IT projects with bad movies; after watching for 2 hours, one still tries to finish it even though one understands that it is a complete waste of time. The argument for that is 'I've already invested too much time to terminate it now'. The same happens with IT projects: sometimes the company continues wasting money on these projects for a long time, even though there are no expected benefits from these projects. Eventually these projects are terminated anyway, but until this moment, the company spends a lot. The situation described above is a consequence of “escalation of commitment” - project continuation even after a manager receives negative feedback of the project’s success probability. According to Keil and Mähring (2010), even though escalation can occur in any type of project, it is more common among complex technological projects, such as IT projects. Escalation of commitment very often results in runaway projects. In order to avoid it, managers use de-escalation strategies, which allow the resources to be used in more effective. These strategies lead to project termination or turning around, which stops the flow of wasted investments. Numbers of researches explore escalation of commitment phenomena based on experiments and business cases. Moreover, during the last decade several frameworks were proposed for de-escalation strategy. However, there is no evidence of successful implementation of the de-escalation of commitment strategy in the literature. In addition, despite that fact that IT project management methodologies are widely used in the companies, none of them cover the topic of escalation of commitment risks. At the same time, there are no researches proposing the way to implement de-escalation of commitment strategy into the existing project management methodology The research is focused on a single case of large ERP implementation project by the consulting company. Hence, the main deliverables of the study include suggestions of improvement in de-escalation methods and techniques in the project and in the company. Moreover, the way to implement these methods into existing project management methodology and into the company general policies is found.

Analysis of natural history of the diaphragmatic injury on the right in mice

Objective: to evaluate natural evolution of right diaphragmatic injury after the surgical removal of a portion from hemi diaphragm. Methods: the animals were submitted to a surgical removal of portion from right hemi diaphragm by median laparotomy. The sample consists of 42 animals being 2 animals from pilot project and 40 operated animals. And the variables of the study were herniation, liver protection, healing, persistent diaphragm injury, evaluation of 16 channels tomography and the variables "heart rate" and "weight". Results: we analyzed 40 mice, we had two post-operative deaths; we had 17 animals in this group suffered from herniation (42.5%) and 23 animals didn't suffer from herniation (57.5%). Analyzing the tomography as image method in the evaluation of diaphragmatic hernia, we had as a method with good sensitivity (78.6%), good specificity (90.9%), and good accuracy (86.1%) when compared to necropsy. Conclusion: there was a predominance of healing of right hemi diaphragm, the size of initial injury didn't have influence on occurrence of the liver protection or hernia in mice.

An Hp-Adaptive Hierarchical Formulation for the Boundary Element Method Applied to Elasticity in Two Dimensions

This paper presents an HP-Adaptive Procedure with Hierarchical formulation for the Boundary Element Method in 2-D Elasticity problems. Firstly, H, P and HP formulations are defined. Then, the hierarchical concept, which allows a substantial reduction in the dimension of equation system, is introduced. The error estimator used is based on the residual computation over each node inside an element. Finally, the HP strategy is defined and applied to two examples.

Supply network risks and costs in Finnish project business

This report summarizes the results of the survey HAVERI – Supply network risks in business. The survey was conducted in Finland during the spring and summer of year 2013. The survey is part of a large two-year research project started in June 2012 in Finland (on-going 06/2012–07/2014). The project is launched and financed by TEKES, the Finnish Funding Agency for Technology and Innovation, and executed together with the researchers from Lappeenranta University of Technology and Tampere University of Technology. The overall goal of this on-going research project is to find out the decision-making practices in the project-oriented companies in their purchasing decisions especially in the mechanical engineering and construction industries in Finland. The objective of the survey was to gain cross-sectional data concerning the challenges, risks and cost factors in Finnish project business companies. The results show that Finnish companies rely on their experience and supplier references in their risk management. In general, the understanding of the total cost structure varies among the industries and companies. The main cost factor in risk management was costs before the actual purchase decision. Overall, it seems that the monetary value of the whole project and capability of purchasing personnel are the main influencing factors on risk management activity in project purchasing.

STUDY OF AUTUMN-WINTER WEEDS IN PORTUGAL AND ITS ECOLOGICAL PREFERENCES

ABSTRACTThe conclusion of the dam project located in Alqueva, in Southern Portugal, has resulted in a significant increase of new irrigated areas, since 2006. This has meant that, in recent years, there have been progressive flora changes in farming systems traditionally implemented in the Alentejo region. The present work has analyzed the weed flora in an early stage of these changes, and the impact of environmental factors on the distribution of natural vegetation under Mediterranean climate conditions in the influence area of Alqueva. In 2007, 105 floristic surveys were carried out in autumn-winter crop plots or other soil use, and 264 species were identified. Families with higher expression were: Asteraceae, Poaceae, and Fabaceae. Only three species have been identified in more than half of farms, Avena sterilis, Phalaris minor and Lolium rigidum and they were part of the 15 species that revealed high and very high infestation degrees. Soil texture and extractable phosphorus have been determined as active ecological factors, according to the method of ecological profiles and Mutual Information. Therefore, these factores were those with the greatest influence on the species distribution. L.rigidum distribution showed to be associated with medium soil texture and A.sterilis distribution also showed to be associated with medium and fine soil texture soils, without showing ecological preference by extractable phosphorus. The distribution of P.minorwas not related to the soil texture but showed preference for soils with medium phosphorus content.

Value creation in project business relationships: Supplier and customer's perspectives

The purpose of this study is to analyze supplier’s value creation ability in project business in order to enhance customer’s business. In addition, the aim is to identify the role of business relationships in value creation and analyze the applicability of key account management in project business. The study considers value from the customer’s point of view. The concepts of value and value creation are widely discussed in marketing literature. Theory emphasizes the importance of value creation and business relationships in business markets. The empirical part of the study is conducted as a case study research. The empirical evidence is collected by interviewing one supplier organization and their three customer organizations. These companies operate in Finnish and global industrial markets. Data is collected through semi-structured interviews and analyzed by using qualitative content analysis. The study identifies several customer value drivers influencing on the value creation, which can be divided into product, service and relationship elements. One of the recognized value drivers is customer-supplier relationship. The findings show that a closer relationship enhances value creation possibilities and the key account management program allows effective managing of business relationships. As managerial implications, suppliers should seek to create continuous and conversational relationships with the key account customers.

Public-private partnership investments in dry ports – Russian logistics markets and risks

The investments have always been considered as an essential backbone and so-called ‘locomotive’ for the competitive economies. However, in various countries, the state has been put under tight budget constraints for the investments in capital intensive projects. In response to this situation, the cooperation between public and private sector has grown based on public-private mechanism. The promotion of favorable arrangement for collaboration between public and private sectors for the provision of policies, services, and infrastructure in Russia can help to address the problems of dry ports development that neither municipalities nor the private sector can solve alone. Especially, the stimulation of public-private collaboration is significant under the exposure to externalities that affect the magnitude of the risks during all phases of project realization. In these circumstances, the risk in the projects also is becoming increasingly a part of joint research and risk management practice, which is viewed as a key approach, aiming to take active actions on existing global and specific factors of uncertainties. Meanwhile, a relatively little progress has been made on the inclusion of the resilience aspects into the planning process of a dry ports construction that would instruct the capacity planner, on how to mitigate the occurrence of disruptions that may lead to million dollars of losses due to the deviation of the future cash flows from the expected financial flows on the project. The current experience shows that the existing methodological base is developed fragmentary within separate steps of supply chain risk management (SCRM) processes: risk identification, risk evaluation, risk mitigation, risk monitoring and control phases. The lack of the systematic approach hinders the solution of the problem of risk management processes of dry port implementation. Therefore, management of various risks during the investments phases of dry port projects still presents a considerable challenge from the practical and theoretical points of view. In this regard, the given research became a logical continuation of fundamental research, existing in the financial models and theories (e.g., capital asset pricing model and real option theory), as well as provided a complementation for the portfolio theory. The goal of the current study is in the design of methods and models for the facilitation of dry port implementation through the mechanism of public-private partnership on the national market that implies the necessity to mitigate, first and foremost, the shortage of the investments and consequences of risks. The problem of the research was formulated on the ground of the identified contradictions. They rose as a continuation of the trade-off between the opportunities that the investors can gain from the development of terminal business in Russia (i.e. dry port implementation) and risks. As a rule, the higher the investment risk, the greater should be their expected return. However, investors have a different tolerance for the risks. That is why it would be advisable to find an optimum investment. In the given study, the optimum relates to the search for the efficient portfolio, which can provide satisfaction to the investor, depending on its degree of risk aversion. There are many theories and methods in finance, concerning investment choices. Nevertheless, the appropriateness and effectiveness of particular methods should be considered with the allowance of the specifics of the investment projects. For example, the investments in dry ports imply not only the lump sum of financial inflows, but also the long-term payback periods. As a result, capital intensity and longevity of their construction determine the necessity from investors to ensure the return on investment (profitability), along with the rapid return on investment (liquidity), without precluding the fact that the stochastic nature of the project environment is hardly described by the formula-based approach. The current theoretical base for the economic appraisals of the dry port projects more often perceives net present value (NPV) as a technique superior to other decision-making criteria. For example, the portfolio theory, which considers different risk preference of an investor and structures of utility, defines net present value as a better criterion of project appraisal than discounted payback period (DPP). Meanwhile, in business practice, the DPP is more popular. Knowing that the NPV is based on the assumptions of certainty of project life, it cannot be an accurate appraisal approach alone to determine whether or not the project should be accepted for the approval in the environment that is not without of uncertainties. In order to reflect the period or the project’s useful life that is exposed to risks due to changes in political, operational, and financial factors, the second capital budgeting criterion – discounted payback period is profoundly important, particularly for the Russian environment. Those statements represent contradictions that exist in the theory and practice of the applied science. Therefore, it would be desirable to relax the assumptions of portfolio theory and regard DPP as not fewer relevant appraisal approach for the assessment of the investment and risk measure. At the same time, the rationality of the use of both project performance criteria depends on the methods and models, with the help of which these appraisal approaches are calculated in feasibility studies. The deterministic methods cannot ensure the required precision of the results, while the stochastic models guarantee the sufficient level of the accuracy and reliability of the obtained results, providing that the risks are properly identified, evaluated, and mitigated. Otherwise, the project performance indicators may not be confirmed during the phase of project realization. For instance, the economic and political instability can result in the undoing of hard-earned gains, leading to the need for the attraction of the additional finances for the project. The sources of the alternative investments, as well as supportive mitigation strategies, can be studied during the initial phases of project development. During this period, the effectiveness of the investments undertakings can also be improved by the inclusion of the various investors, e.g. Russian Railways’ enterprises and other private companies in the dry port projects. However, the evaluation of the effectiveness of the participation of different investors in the project lack the methods and models that would permit doing the particular feasibility study, foreseeing the quantitative characteristics of risks and their mitigation strategies, which can meet the tolerance of the investors to the risks. For this reason, the research proposes a combination of Monte Carlo method, discounted cash flow technique, the theory of real options, and portfolio theory via a system dynamics simulation approach. The use of this methodology allows for comprehensive risk management process of dry port development to cover all aspects of risk identification, risk evaluation, risk mitigation, risk monitoring, and control phases. A designed system dynamics model can be recommended for the decision-makers on the dry port projects that are financed via a public-private partnership. It permits investors to make a decision appraisal based on random variables of net present value and discounted payback period, depending on different risks factors, e.g. revenue risks, land acquisition risks, traffic volume risks, construction hazards, and political risks. In this case, the statistical mean is used for the explication of the expected value of the DPP and NPV; the standard deviation is proposed as a characteristic of risks, while the elasticity coefficient is applied for rating of risks. Additionally, the risk of failure of project investments and guaranteed recoupment of capital investment can be considered with the help of the model. On the whole, the application of these modern methods of simulation creates preconditions for the controlling of the process of dry port development, i.e. making managerial changes and identifying the most stable parameters that contribute to the optimal alternative scenarios of the project realization in the uncertain environment. System dynamics model allows analyzing the interactions in the most complex mechanism of risk management process of the dry ports development and making proposals for the improvement of the effectiveness of the investments via an estimation of different risk management strategies. For the comparison and ranking of these alternatives in their order of preference to the investor, the proposed indicators of the efficiency of the investments, concerning the NPV, DPP, and coefficient of variation, can be used. Thus, rational investors, who averse to taking increased risks unless they are compensated by the commensurate increase in the expected utility of a risky prospect of dry port development, can be guided by the deduced marginal utility of investments. It is computed on the ground of the results from the system dynamics model. In conclusion, the outlined theoretical and practical implications for the management of risks, which are the key characteristics of public-private partnerships, can help analysts and planning managers in budget decision-making, substantially alleviating the effect from various risks and avoiding unnecessary cost overruns in dry port projects.

A classroom-based investigation of reciprocal teaching at the grade seven level

This study assessed the effectiveness of a reciprocal teaching program as a method of teaching reading comprehension, using narrative text material in a t.ypical grade seven classroom. In order to determine the effectiveness of the reciprocal teaching program, this method was compared to two other reading instruction approaches that, unlike rcciprocal teaching, did not include social interaction components. Two intact grade scven classes, and a grade seven teacher, participated in this study. Students were appropriately assigned to three treatment groups by reading achievement level as determined from a norm-referenced test. Training proceeded for a five week intervention period during regularly scheduled English periods. Throughout the program curriculum-based tests were administered. These tests were designed to assess comprehension in two distinct ways; namely, character analysis components as they relate to narrative text, and strategy use components as they contribute to student understanding of narrative and expository text. Pre, post, and maintenance tests were administered to measure overall training effects. Moreover, during intervention, training probes were administered in the last period of each week to evaluate treatment group performance. AU curriculum-based tests were coded and comparisons of pre, post, maintenance tests and training probes were presented in graph form. Results showed that the reciprocal group achieved some improvement in reading comprehension scores in the strategy use component of the tests. No improvements were observed for the character analysis components of the curriculum-based tests and the norm-referenced tests. At pre and post intervention, interviews requiring students to respond to questions that addressed metacomprehension awareness of study strategies were administered. The intelviews were coded and comparisons were made between the two intelVicws. No significant improvements were observed regarding student awareness of ten identified study strategies . This study indicated that reciprocal teaching is a viable approach that can be utilized to help students acquire more effective comprehension strategies. However, the maximum utility of the technique when administered to a population of grade seven students performing at average to above average levels of reading achievement has yet to be determined. In order to explore this issue, the refinement of training materials and curriculum-based measurements need to be explored. As well, this study revealed that reciprocal teaching placed heavier demands on the classroom teacher when compared to other reading instruction methods. This may suggest that innovative and intensive teacher training techniques are required before it is feasible to use this method in the classroom.

Preparing to teach : learning from an exploration of teachers' experiences of teaching in classrooms of difference

This qualitative study explores practicing teachers' experiences of teaching in classrooms of diversity, that is, classrooms where students represent a variety of differences including race, culture, ethnicity, and class. More specifically, this study investigates the types of curricular and pedagogical practices teachers employ in their classrooms. This study attempts to make a contribution to the scholarship of critical pedagogy by drawing upon the works of critical pedagogues to make sense of participants' descriptions oftheir curricular and pedagogical practices. Four participants were involved in this study. Participants were elementary teachers in classrooms of difference in Ontario who contributed the primary sources of data by engaging in 2 individual interviews. Additional sources of data included a focus group meeting that 2 ofthe participants were able to attend, school board curriculum resource documents assisting teachers in teaching critically, as well as a research journal which the researcher kept throughout the study. The scholarship of critical pedagogy (Ellsworth, 1992; Giroux, 1993; McLaren, 1989) informs the analysis of participants' descriptions of their teaching experiences. Many of the participants did not engage in a practice of critical pedagogy. This study explores some of the challenges and possibilities of using critical pedagogy to create spaces in classrooms where teachers can build connections between the curriculum mandated by the government and the multiple identities and experiences that students bring into the classroom. This study concludes with a discussion on what teachers need to know to be able to begin creating equitable and educational experiences in classrooms of difference.

Miss-understand-ing: design education in Ontario secondary schools : an exploration of the issues with stakeholders and recommendations for change /

For most people design is a mystery. The products of design are integrated into our daily lives to the point that design has become invisible to us. However. what is subsumed in design practice is a creative problem-solving process that is applicable as a teaching strategy as well as a method for teaching the subject of design. The purpose of this study was to inquire into the current classroom practice of Ontario Visual Arts and Technological Education teachers, understand the goals of Ontario government curriculum developers, and explore the position held by the professional design community on secondary school design education. Data for this study were collected from: (a) a textual analysis of 4 Ministry curriculum documents; (b) interviews with JO stakeholders; (c) unobtrusive observations and informal conversations conducted at 7 secondary school open house events; and (d) observation of 2 sessions of an AQ course for Design and Technology. The research design modeled the design process and was divided into 2 parts: a discovery or problem-finding phase and a discussion or problem-solving phase. The results showed that design is misunderstood and misused; it has become lost between visual arts and technology where neither program holds responsibility for its delivery; students mistake working on computers for design practice; and while there is a desire within the professional community to have a voice in secondary school design education. there is no forum for participation. The technology-driven paradigm shift taking place in society today calls for a new framework for tellching and practicing dcsign. Further research is required; howcvcr. in the meantime. secondary school educators might benefit from professional development and classroom support from the professional dcsign community.

Detectives and Superheroes: A Pilot Study Teaching Flexible Thinking in Social Situations to a Child with High Functioning Autism

Complex social-cognitive deficits are common in individuals diagnosed with high functioning autism and Asperger syndrome. Research on effective and evidence-based social interventions is needed for this population. This study focused specifically on the challenges these individuals face with respect to flexible thinking and related flexible behaviour in social situations. Madrigal and Winner's (2008) Superflex curriculum - targets social flexibility, however at the time of this study no published research had been conducted to determine the effectiveness of this approach. This study was a pilot study, which sought to examine the impact of the Superflex curriculum within a 10-week training program in teaching one individual with high functioning autism how to think and behave flexibly in social situations. Multiple measurement tools were utilized, and analyses within and across the measures revealed inconsistencies, especially with respect to generalization. Although preliminary, this study provided valuable information for subsequent research.

Hyperosmotic Stress and the Impact on Metabolite Formation and Redox Balance in Saccharomyces cerevisiae and Saccharomyces bayanus strains

Wine produced using an appassimento-type process represents a new and exciting innovation for the Ontario wine industry. This process involves drying grapes that have already been picked from the vine, which increases the sugar content due to dehydration and induces a variety of changes both within and on the surface of the grapes. Increasing sugar contents in musts subject wine yeast to conditions of high osmolarity during alcoholic fermentations. Under these conditions, yeast growth can be inhibited, target alcohol levels may not be attained and metabolic by-products of the hyperosmotic stress response, including glycerol and acetic acid, may impact wine composition. The further metabolism of acetic acid to acetylCoA by yeast facilitates the synthesis of ethyl acetate, a volatile compound that can also impact wine quality if present in sufficiently high concentrations. The first objective of this project was to understand the effect of yeast strain and sugar concentration on fermentation kinetics and metabolite formation, notably acetic acid and ethyl acetate, during fermentation in appassimento-type must. Our working hypotheses were that (1) the natural isolate Saccharomyces bayanus would produce less acetic acid and ethyl acetate compared to Saccharomyces cerevisiae strain EC-1118 fermenting the high and low sugar juices; (2) the wine produced using the appassimento process would contain higher levels of acetic acid and lower levels of ethyl acetate compared to table wine; (3) and the strains would be similar in the kinetic behavior of their fermentation performances in the high sugar must. This study determined that the S. bayanus strain produced significantly less acetic acid and ethyl acetate in the appassimento wine and table wine fermentations. Differences in acetic acid and ethyl acetate production were also observed within strains fermenting the two sugar conditions. Acetic acid production was higher in table wine fermented by S. bayanus as no acetic acid was produced in appassimento-style wine, and 1.4-times higher in appassimento wine fermented by EC-1118 over that found in table wine. Ethyl acetate production was 27.6-times higher in table wine fermented by S. bayanus, and 5.2-times higher by EC-1118, compared to that in appassimento wine. Sugar utilization and ethanol production were comparable between strains as no significant differences were determined. The second objective of this project was to bring a method in-house for measuring the concentration of pyridine nucleotides, NAD+, NADP+, NADH and NADPH, in yeast cytosolic extract. Development of this method is of applicative interest for our lab group as it will enable the redox balance of the NAD+/ NADH and NADP+/ NADPH systems to be assessed during high sugar fermentations to determine their respective roles as metabolic triggers for acetic acid production. Two methods were evaluated in this study including a UV-endpoint method using a set of enzymatic assay protocols outlined in Bergmeyer (1974) and a colorimetric enzyme cycling method developed by Sigma-Aldrich® using commercial kits. The former was determined to be limited by its low sensitivity following application to yeast extract and subsequent coenzyme analyses, while the latter was shown to exhibit greater sensitivity. The results obtained from the kits indicated high linearity, accuracy and precision of the analytical method for measuring NADH and NADPH, and that it was sensitive enough to measure the low coenzyme concentrations present in yeast extract samples. NADtotal and NADPtotal concentrations were determined to be above the lower limit of quantification and within the range of the respective calibration curves, making this method suitable for our research purposes.