8,481 research outputs found
Top down, bottom up structured programming and program structuring
New design and programming techniques for shuttle software. Based on previous Apollo experience, recommendations are made to apply top-down structured programming techniques to shuttle software. New software verification techniques for large software systems are recommended. HAL, the higher order language selected for the shuttle flight code, is discussed and found to be adequate for implementing these techniques. Recommendations are made to apply the workable combination of top-down, bottom-up methods in the management of shuttle software. Program structuring is discussed relevant to both programming and management techniques
“Mad, Bad and Dangerous to Know”: the pervasive socio-medical and spatial coding of mental health day centres
In a research area typically dominated by the biomedical field, this paper seeks to explore the emotional experiences of long-term, mental health service users who attend charitable day centres. Academic literature has predominantly focussed on a macro-analysis of the social, political and geographical position of those with mental health distress. Subsequently, service users have been positioned as a largely homogenous group who mainly reside on the boundaries of social integration due to the negative social representations of mental health impairment. These postulations can advocate a romanticised notion of how service users engage in consensual and non-judgemental social norms in terms of social inclusion of those within therapeutic spaces. Thus, indicating that a high level of mutual camaraderie exists within a day centre. However, this approach can negate the realities encountered by service users on a daily basis whereby differing medical ascriptions such as ‘depression’ and ‘schizophrenia’ can not only influence a service user’s own self-identity and behaviour but ultimately, the acceptance of other members. In conclusion, this work indicates that rather than a discrete linear position between the ‘otherness’ of mental health distress and ‘normative’ human geographies, this area remains a complex phenomenon with levels of diversity when linked to diagnostic criteria
The development of a program analysis environment for Ada: Reverse engineering tools for Ada
The Graphical Representations of Algorithms, Structures, and Processes for Ada (GRASP/Ada) has successfully created and prototyped a new algorithm level graphical representation for Ada software, the Control Structure Diagram (CSD). The primary impetus for creation of the CSD was to improve the comprehension efficiency of Ada software and thus improve reliability and reduce costs. The emphasis was on the automatic generation of the CSD from Ada source code to support reverse engineering and maintenance. The CSD has the potential to replace traditional prettyprinted Ada source code. In Phase 1 of the GRASP/Ada project, the CSD graphical constructs were created and applied manually to several small Ada programs. A prototype (Version 1) was designed and implemented using FLEX and BISON running under the Virtual Memory System (VMS) on a VAX 11-780. In Phase 2, the prototype was improved and ported to the Sun 4 platform under UNIX. A user interface was designed and partially implemented. The prototype was applied successfully to numerous Ada programs ranging in size from several hundred to several thousand lines of source code. In Phase 3 of the project, the prototype was prepared for limited distribution (GRASP/Ada Version 3.0) to facilitate evaluation. The user interface was extensively reworked. The current prototype provides the capability for the user to generate CSD from Ada source code in a reverse engineering mode with a level of flexibility suitable for practical application
Integrated testing and verification system for research flight software design document
The NASA Langley Research Center is developing the MUST (Multipurpose User-oriented Software Technology) program to cut the cost of producing research flight software through a system of software support tools. The HAL/S language is the primary subject of the design. Boeing Computer Services Company (BCS) has designed an integrated verification and testing capability as part of MUST. Documentation, verification and test options are provided with special attention on real time, multiprocessing issues. The needs of the entire software production cycle have been considered, with effective management and reduced lifecycle costs as foremost goals. Capabilities have been included in the design for static detection of data flow anomalies involving communicating concurrent processes. Some types of ill formed process synchronization and deadlock also are detected statically
Reduction for pre-buildings
Given an spectral curve over a simply connected Riemann surface, we
describe in detail the reduction steps necessary to construct the core of a
pre-building with versal harmonic map whose differential is given by the
spectral curve
HOMFLYPT Skein Theory, String Topology and 2-Categories
We show that relations in Homflypt type skein theory of an oriented
-manifold are induced from a -groupoid defined from the fundamental
-groupoid of a space of singular links in . The module relations are
defined by homomorphisms related to string topology. They appear from a
representation of the groupoid into free modules on a set of model objects. The
construction on the fundamental -groupoid is defined by the singularity
stratification and relates Vassiliev and skein theory. Several explicit
properties are discussed, and some implications for skein modules are derived.Comment: 55 pages, 1 figur
Program Understanding through Cliché Recognition
We propose research into automatic program understanding via recognition of common data structures and algorithms (clichés). Our goals are two-fold: first, to develop a theory of program structure which makes such recognition tractable; and second, to produce a program (named Inspector) which, given a Lisp program and a library of clichés, will construct a hierarchical decomposition of the program in terms of the clichés it uses.
Our approach involves assuming constraints on the possible decompositions of programs according to the teleological relations between their parts. Programs are analyzed by translating them into a language-independent form and then parsing this representation in accordance with a context-free web grammar induced by the library of clichés. Decompositions produced by this analysis will in general be partial, since most programs will not be made up entirely of clichés.
This work is motivated by the belief that identification of clichés used in program, together with knowledge of their properties, provides a sufficient basis for understanding large parts of that program's behavior. Inspector will become one component of a system of programs known as a programmer's apprentice, in which Inspector's output will be used to assist a programmer with program synthesis, debugging, and maintenance.MIT Artificial Intelligence Laborator
GRASP/Ada (Graphical Representations of Algorithms, Structures, and Processes for Ada): The development of a program analysis environment for Ada. Reverse engineering tools for Ada, task 1, phase 2
The study, formulation, and generation of structures for Ada (GRASP/Ada) are discussed in this second phase report of a three phase effort. Various graphical representations that can be extracted or generated from source code are described and categorized with focus on reverse engineering. The overall goal is to provide the foundation for a CASE (computer-aided software design) environment in which reverse engineering and forward engineering (development) are tightly coupled. Emphasis is on a subset of architectural diagrams that can be generated automatically from source code with the control structure diagram (CSD) included for completeness
- …