The cognitive construction of programs by novice programmers : a thesis presented in partial fulfilment of the requirements for the degree of Master of Science in Computer Science at Massey University

Human memory and cognition are studied to aid novice programmers with the cognitive construction and the acquisition of program plans. Particular emphasis is placed on the storage and retrieval of program knowledge, the cognitive structure of stored program knowledge, the effects of transferring cognitive structures from one programming language to another, and the learning activities involved with learning a new programming language. Cognitive principles are applied to the design of a programming language and environment. The design of both the programming language and environment are discussed together with an introduction of how they are used. The hypothetical results of two experiments are argued to demonstrate that the programming language and environment are well suited in supporting the development of program plans

NASTRAN general purpose interface requirements document

This NASTRAN (NASA STRuctural ANalysis) General Purpose Interface Requirements Document (IRD) defines standards for deliverables required of New Capability Contractors (NCCs) and relates these deliverables to the software development cycle. It also defines standards to be followed by NCCs for adding to and modifying the code in the NASTRAN software system and for adding to and modifying the four official NASTRAN manuals: The NASTRAN Theoretical Manual, the NASTRAN User's Manual, The NASTRAN Programmer's Manual, and The NASTRAN Demonstration Problem Manual. It is intended that this General Purpose IRD shall be incorporated by reference in all contracts for a new NASTRAN capability

A new method for generating and maintaining rigid formats in NASTRAN

A new method for generating and updating Rigid Formats in NASTRAN is discussed. The heart of this method is a Rigid Format data base that is in card-image format and that can therefore be easily maintained by the use of standard text editors. Each Rigid Format entry in this data base will contain the Direct Matrix Abstraction Program (DMAP) for that Rigid Format along with the related restart, subset and substructure control tables. NASTRAN will read this data base directly in every NASTRAN run and perform the necessary transformations to allow the DMAP to be processed and compiled by the NASTRAN executive. This approach will permit Rigid Formats to be changed without unnecessary compilations and relinking of NASTRAN. Furthermore, this approach will also make it very easy for users to make permanent changes to existing Rigid Formats as well as to generate their own Rigid Formats. This new method will be incorporated in a future release of the public version of NASTRAN

Agent Programming in Ciao Prolog

The agent programming landscape has been revealed as a natural framework for developing “intelligence” in AI. This can be seen from the extensive use of the agent concept in presenting (and developing) AI systems, the proliferation of agent theories, and the evolution of concepts such as agent societies (social intelligence) and coordination

The ciao modular, standalone compiler and its generic program processing library

Ciao Prolog incorporates a module system which allows sepárate compilation and sensible creation of standalone executables. We describe some of the main aspects of the Ciao modular compiler, ciaoc, which takes advantage of the characteristics of the Ciao Prolog module system to automatically perform sepárate and incremental compilation and efficiently build small, standalone executables with competitive run-time performance, ciaoc can also detect statically a larger number of programming errors. We also present a generic code processing library for handling modular programs, which provides an important part of the functionality of ciaoc. This library allows the development of program analysis and transformation tools in a way that is to some extent orthogonal to the details of module system design, and has been used in the implementation of ciaoc and other Ciao system tools. We also describe the different types of executables which can be generated by the Ciao compiler, which offer different tradeoffs between executable size, startup time, and portability, depending, among other factors, on the linking regime used (static, dynamic, lazy, etc.). Finally, we provide experimental data which illustrate these tradeoffs

The feasibility of using TAE as the UIL for the space station and for other internal NASA tasks and projects

This description of the Transportable Applications Executive (TAE) is intended to serve to test the feasibility of its use as the Space Station User Interface Language (SSUIL). TAE was developed by the Space Data and Computing Division, Space and Earth Sciences Directorate of NASA/GSFC, and by Century Computing, Inc. in 1980. TAE is an executive program which ties a system of application programs into a single easily operated whole and supports users' operations of programs through a consistent friendly and flexible interactive user interface. TAE also supplies the interface between the user and the various application programs in a particular computer system. It appears to be an effective user interface for infrequent as well as for expert users

A methodology for producing reliable software, volume 1

An investigation into the areas having an impact on producing reliable software including automated verification tools, software modeling, testing techniques, structured programming, and management techniques is presented. This final report contains the results of this investigation, analysis of each technique, and the definition of a methodology for producing reliable software

Requirement for a standard language for test and ground operations

The basic requirements for a standard test and checkout language applicable to all phases of the space shuttle test and ground operations are determined. The general characteristics outlined here represent the integration of selected ideas and concepts from operational elements within Kennedy Space Center (KSC) that represent diverse disciplines associated with space vehicle testing and launching operations. Special reference is made to two studies conducted in this area for KSC as authorized by the Advanced Development Element of the Office of Manned Space Flight (MSF). Information contained in reports from these studies have contributed significantly to the final selection of language features depicted in this technical report

Interfacing to the Programmer's Apprentice

This paper has been submitted to SoftFair, an IEEE/NBS/SIGSOFT co-sponsored conference on software development tools, techniques, and alternatives, which will be held at the Hyatt Regency Crystal City, Arlington, VA., July 26-28, 1983.In this paper, we discuss the design of a user interface to the Knowledge Based Editor (KBE), a prototype implementation of the Programmer's Apprentice. Although internally quite sophisticated, the KBE hides most of its internal mechanisms from the user, presenting a simplified model of its behavior which is flexible and easy to use. Examples are presented to illustrate the decisions which have led from high-level design principles such as "integration with existing tools" and "simplicity of user model" to a working implementation which is true to those principles.MIT Artificial Intelligence Laborator

Spacelab software development and integration concepts study report, volume 1

The proposed software guidelines to be followed by the European Space Research Organization in the development of software for the Spacelab being developed for use as a payload for the space shuttle are documented. Concepts, techniques, and tools needed to assure the success of a programming project are defined as they relate to operation of the data management subsystem, support of experiments and space applications, use with ground support equipment, and for integration testing