Thesis (Ph. D.)--University of Wisconsin--Madison, 1976. / Typescript. Vita. eContent provider-neutral record in process. Description based on print version record. Includes bibliographical references (leaves 250-252).

Thesis (M.Soc.Sc.)--University of Hong Kong, 1986. / Also available in print.

IV is a very high level language designed for use in a real time production control environment. While most fourth generation languages are intended for use by end users, IV is more suitable for skilled professional programmers. One of the major design objectives of IV is a dramatic improvement in programmer efficiency during application program development. Non-procedural constructs provided by the language and the use of a number of interactive development tools provide an environment for achieving this goal. This report presents a language proposal for IV, and addresses related design and implementation issues.

CSP (Communicating Sequential Processes) is a notation proposed by Hoare, for expressing process communication and synchronization. Although this notation has been widely acclaimed, Hoare himself never implemented it as a computer language. He did however produce the necessary correctness proofs and subsequently the notation has been adopted (in various guises) by the designers of other concurrent languages such as Ada and occam. Only two attempts have been made at a direct and precise implementation of CSP. With closer scrutiny, even these implementations are found to deviate from the specifications expounded by Hoare, and in so doing restrict the original proposal. This thesis comprises two main sections. The first of these includes a brief look at the primitives of concurrent programming, followed by a comparative study of the existing adaptations of CSP and other message passing languages. The latter section is devoted to a description of the author's attempt at an original implementation of the notation. The result of this attempt is the creation of the CSP-i language and a suitable environment for executing CSP-i programs on an IBM PC. The CSP-i implementation is comparable with other concurrent systems presently available. In some aspects, the primitives featured in CSP-i provide the user with a more efficient and concise notation for expressing concurrent algorithms than several other message-based languages, notably occam. / KMBT_363 / Adobe Acrobat 9.53 Paper Capture Plug-in

Much work has been done in the many aspects of compiler generation. He examine the problems associated with the generation of a full compiler and present a method of modular construction which would solve many of the problems which occur in previous generation systems. As an example of this modular construction, a lexical scanner generator is designed to produce lexical scanners which are easily interfaceable with the other components of a compiler. / Science, Faculty of / Computer Science, Department of / Graduate

No description available.

As we move into the new millennium, computers will increasingly become part of the human culture. As such, computers will continue to effect families, and there will undoubtedly be a proliferation of computer usage across family types. Because computers will be an integral part of change in the next millennium, it is important to examine their potential impact on the basic unit of society- the family. This study, descriptive in nature, provides insight on families and their interactions as related to computer use in their homes. Better understanding of computers and family life can help provide the basis for a smoother transition for families into the expanding world of information technology. As the expansion of the digital age proceeds, its impact on family life would seem to warrant investigation. Information on who is using computers in the home, how those computers are being used, and how time is spent on computers can add to our appreciation of the impact of computer technology. In addition, the perceived impact of computers needs to be assessed in relation to outcomes for family life- interaction, relationships, and familial organization. / Master of Science

No description available.

In this thesis I shall examine the relationship between computers and the main users of computers in Lycees in Turkey in order to create a model of computer use in Turkey. Systems theory is used to define the sort of model or picture of users that a decision maker needs in order to provide a formal means of incorporating users and their needs into the system. Data are gathered and combined into a rich picture of the users. The 'soft' systems methodology developed by Checkland is used to test the rich picture and link it with monitoring of computer effectiveness in schools. Application of the Checkland methodology is a crucial step which shifted the emphasis of the project from qualitative to conceptual modelling. The methods of data collection and the results are described as the user survey. The following techniques are used: questionnaires, and semi-structured interviews. The data gathered by those methods presented a consistent picture in which the nature of the users' work, i.e. teachers, students, was the dominant influence on using computers in their learning and teaching. Application of the Checkland Methodology and the conceptual models derived from it are described as the systems study. A detailed description of the use of computers in mathematics is necessary in order to generate performance criteria. In addition, the rich picture from the user survey is found to be a fair representation of reality. Comparisons of each model with real world dynamism are undertaken. The comparisons indicate there are appreciable differences. Some implications of the study's findings are presented.

No description available.