Formal methods using text to specify abstract data types (ADTs) are powerful, but they require great effort and a high level of expertise. Visual programming languages present an alternative way of programming but are limited to building small programs. This research presents an approach for specifying ADTs using a combination of text and visual objects. Furthermore, it presents two algorithms to map those specifications into imperative code. DataLab, a computer program for the MacintoshTM computer, is an implementation model for this approach. DataLab consists of two major components: a graphical editor and a source code generator. The graphical editor allows the user to build a specification consisting of an interface part and an implementation part for each ADT. The interface of the ADT is specified textually in a window that is part of the graphical editor. The implementation part of the ADT includes the operations, which are specified in Data Lab as a set of "Condition/Action" transformations. These transformations describe the behavior of the operations and are built by selecting graphical objects from a palette and placing them on the screen. The source code generator takes the specification of the ADT as an input and generates an encapsulated Pascal code. It consists of two algorithms: the first maps the specification into its semantics, and the second maps the semantics into Pascal modules. / Graduation date: 1990

Thesis (M.Sc.(Computer Science))--University of Pretoria, 2008. / Includes bibliographical references (leaves 99-116).

Thesis (M.Sc.)--York University, 2008. Graduate Programme in Computer Science. / Typescript. Includes bibliographical references (leaves 147-152). Also available on the Internet. MODE OF ACCESS via web browser by entering the following URL: http://gateway.proquest.com/openurl?url_ver=Z39.88-2004&res_dat=xri:pqdiss&rft_val_fmt=info:ofi/fmt:kev:mtx:dissertation&rft_dat=xri:pqdiss:MR38782

Thesis (M. Sc.)--University of Canterbury, 2009. / Typescript (photocopy). Includes bibliographical references (leaves 82-93). Also available via the World Wide Web.

Thesis (Ph. D.)--Hong Kong University of Science and Technology, 2004. / Includes bibliographical references (leaves 107-120). Also available in electronic version. Access restricted to campus users.

Thesis (M.Phil.)--Hong Kong University of Science and Technology, 2003. / Includes bibliographical references (leaves 142-147). Also available in electronic version. Access restricted to campus users.

No description available.

This study implemented an experimental introductory CS course for non-CS majors focusing on two pedagogic factors: 1) the use of a visual blocks programming language known as App Inventor for Android (AIA) and 2) the adoption of SBL as the main teaching methodology. Participants included 30 undergraduates enrolled in two introductory CS courses; the experimental course (CS116) and a traditional lecture oriented CS course. The Motivated Strategies for Learning Questionnaire (MSLQ) was implemented in both courses at several stages. Statistically significant differences were found in the Control of Learning Beliefs, Help Seeking, and Intrinsic Motivation scales, were CS116’s participants scored higher rates. In CS116, entry and exit interviews were conducted as well as a mind maps analysis. Their results showed a positive response to the pedagogic factors, positive attitudes towards CS, and an improvement in the understanding of CS. The majority of participants did very well and showed creativity with not one student failing the course. They found the experimental course to cultivate collaboration, creativity, and motivation to learn. The experimental approach was found have a positive effect on students’ motivation, achievement, and attitude towards CS. / Department of Computer Science

Thesis (M.S.)--Ohio University, March, 2000. / Title from PDF t.p.

Thesis (Ph. D.)--Ohio University, June, 1999. / Title from PDF t.p.