Matrix Code

Matrix Code gives imperative programming a mathematical semantics and heuristic power comparable in quality to functional and logic programming. A program in Matrix Code is developed incrementally from a specification in pre/post-condition form. The computations of a code matrix are characterized by powers of the matrix when it is interpreted as a transformation in a space of vectors of logical conditions. Correctness of a code matrix is expressed in terms of a fixpoint of the transformation. The abstract machine for Matrix Code is the dual-state machine, which we present as a variant of the classical finite-state machine.Comment: 39 pages, 19 figures; extensions and minor correction

A Semantic Approach to Automatic Program Improvement

The programs that are easiest to write and understand are often not the most efficient. This thesis gives methods of converting programs of the former type to those of the latter type; this involves converting definitions of algorithms given as recursion equations using high level primitives into lower level flow chart programs. The main activities involved are recursion removal (c.f. Strong), loop elimination, and the overwriting of shared structures. We have concentrated on the semantics, rather than the syntax, of the programs we are transforming and we have used techniques developed in work done on proving the correctness of programs. The transformations are done in a hierarchical manner and can be regarded as compiling a program defined in a structured manner (Dijkstra) to produce an efficient low level program that simulates it. We describe the implementation of a system that allows the user to specify algorithms in a simple set language and converts them to flow chart programs in either a bitstring or list processing language. Both of these lower languages allow the sharing of structures. The principles are applicable to other domains and we describe how our system can be applied more generally

Untangling unstructured programs

A method is presented for converting unstructured program schemas to strictly equivalent structured form. The predicates of the original schema are left intact with structuring being achieved by the duplication of he original decision vertices without the introduction of compound predicate expressions, or where possible by function duplication alone. It is shown that structured schemas must have at least as many decision vertices as the original unstructured schema, and must have more when the original schema contains branches out of decision constructs. The structuring method allows the complete avoidance of function duplication, but only at the expense of decision vertex duplication. It is shown that structured schemas have greater space-time requirements in general than their equivalent optimal unstructured counterparts and at best have the same requirements

Implications of an integrated curriculum in a polytechnic or competence based environment

This is a comparative case study of an innovative approach to teaching computer programming to novices. The focus of this study is to evaluate the integrated curriculum which blends face-to-face interaction with computing practice and online learning to first-year polytechnic students in an engineering informatics diploma course. To examine the efficacy of the blended learning approach, the integrated curriculum is compared to its predecessor which has applied the traditional structured curriculum. This thesis gains relevance from its study of different dimensions of the curriculum comprising the curriculum aims and objectives, the teaching-learning activities and the different forms of assessment. The research design is mainly qualitative employing analytic induction methods to arrive at its inferences and findings. Content analysis and observation have been performed to evaluate the curriculum of each of the cases. A quantitative analysis is performed on students' performance in the computer programming module to add validity to the qualitative findings. Data were collected for students taking the Principles of Computing module in the first semester of the first year in 2005 and 2006 respectively; a total of 232 students came from the 2005 cohort and 247 students came from the 2006 cohort. The dependent variables are the module score and its sub-components, the project score and the individual test score. The independent variable significant to this study is the student's entry level GCE 'O' levels aggregate; gender is not a significant variable unlike in other studies involving mathematics or science. The findings highlight the differences that exist between a traditional structured learning environment to the blended learning environment and how students perform under the different learning environments. A major contribution of this study is the constructive alignment framework incorporating the integrated curriculum characteristics to support the blended learning approach. By reviewing the curriculum, the teaching methods, the assessment procedures and the learning environment with regard to the integrated curriculum characteristics, this study has made significant discoveries on the strengths and limitations of the blended learning approach. The results of this study show how the roles of curriculum, pedagogy and assessment are inter-related and have to be integrated into the curriculum to foster better learning for students. Finally, the findings reveal the importance of the influence of the tutor in the blended learning delivery and the students' preference for tutor interaction. Through these findings, the study is able to recommend future improvements to the Principles of Computing module

An empirical examination of interdisciplinary collaboration within the practice of localisation and development of international software

Acceptance on international markets is an important selling proposition for software products and a key to new markets. The adaptation of software products for specific markets is called software localisation. Practitioner reports and research suggests that activities of developers and translators do not mesh seamlessly, leading to problems such as disproportionate cost, lack of quality, and delayed product release. Yet, there is little research on localisation as a comprehensive activity and its human factors. This thesis examines how software localisation is handled in practice, how the localisation process is integrated into development, and how software developers and localisers work individually and collaboratively on international software. The research aims to understand how localisation issues around the above-mentioned classifications of cost, quality and time issues are caused. Qualitative and quantitative data is gathered through semi-structured interviews and an online survey. The interviews focused on the individual experiences of localisation and development professionals in a range of relevant roles. The online survey measured cultural competence, attitude towards and self-efficacy in localisation, and properties of localisation projects. Interviews were conducted and analysed following Straussian Grounded Theory. The survey was statistically analysed to test a number of hypotheses regarding differences between localisers and developers, as well as relationships between project properties and software quality. Results suggest gaps in knowledge, procedure and motivation between developers and translators, as well as a lack of cross-disciplinary knowledge and coordination. Further, a grounded theory of interdisciplinary collaboration in software localisation explains how collaboration strategies and conflicts reciprocally affect each other and are affected by external influences. A number of statistically significant differences between developers and localisers and the relevance of certain project properties to localisation were confirmed. The findings give new insights into interdisciplinary issues in the development of international software and suggest new ways to handle interdisciplinary collaboration in general

Rethinking back-translation for the cross-cultual adaptation of health-related questionnaires: expert translators make back-translation unnecessary

Tese (doutorado) - Universidade Federal de Santa Catarina, Centro de Comunicação e Expressão, Programa de Pós-Graduação em Estudos da Tradução, Florianópolis, 2013.2014-08-06T17:53:17

The feasibility of electronic journals: some studies in human–computer interaction

Computer-based tools for communication are a recent technological development. They promise to provide new routes by which to communicate with others and to transform some communications that have hitherto been dependent on media such as paper. One example is the possibility of supporting scholarly communication by the use of electronic systems, which also promises a method by which the information explosion might be handled. The research is an examinat4on of whether or not the support of scholarly communication in this way is feasible. To investigate communication systems requires a large scale study over a long period. Accordingly the research rests on a study programme on 'electronic journals', BLEND, which ran from 1980 to 1984, funded by the British Library Research and Development Department. The feasibility of ielectronic journals is investigated by exploring the usability, utility, likeability and cost-effectiveness of the communications system. An analysis of the frequency and distribution of the use of the computer-based communications system showed that many things seemed to get in the way of accessing it. Several techniques were used to examine this: transaction recording, interviews, telephone surveys, questionnaires and analysis of requests for help. Once the system was accessed, a comparison of users' aims with actual use shows that different forms of the journal should be explored in the future. Two reasons for the access rate and type of use made of the system was the degree to which researchers were able to accommodate the use of a new communications system into existing patterns of work and the level of usability of the system. One area in usability that is explored in detail is the way that text can be read easily on a screen. The cost-effectiveness of the system is examined by projecting from actual costs and patterns of use. The final chapters bring together the studies in a 'Barrier' framework for understanding the use of a communications system and look forward to the future of electronic journals

2010-2011, University of Memphis bulletin

University of Memphis bulletin containing the graduate catalog for 2010-2011.https://digitalcommons.memphis.edu/speccoll-ua-pub-bulletins/1430/thumbnail.jp

2009-2010, University of Memphis bulletin

University of Memphis bulletin containing the graduate catalog for 2009-2010.https://digitalcommons.memphis.edu/speccoll-ua-pub-bulletins/1429/thumbnail.jp