Science.gov

Sample records for ada programming language

  1. Ada--Programming Language of the Future.

    ERIC Educational Resources Information Center

    Rudd, David

    1983-01-01

    Ada is a programing language developed for the Department of Defense, with a registered trademark. It was named for Ada Augusta, coworker of Charles Babbage and the world's first programer. The Department of Defense hopes to prevent variations and to establish Ada as a consistent, standardized language. (MNS)

  2. Ada concurrent programming

    SciTech Connect

    Gehani, N.

    1984-01-01

    In this book, Narain Gehani explains the concurrent programming facilities in Ada and shows how to use them effectively in writing concurrent programs. He also surveys concurrent programming facilities in other languages, discusses issues specific to concurrent programming, and examines the limitations of the concurrent programming facilities in Ada. Topics considered include an introduction to concurrent programming, the concurrent programming model in Ada, and a survey of other concurrent programming models; tasking, i.e., concurrent programming facilities in Ada; task types; exceptions and tasking; device drivers; real-time programming; topics related to concurrent programming; more examples of concurrent programming; and synopsis of sequential programming in Ada.

  3. GSFC Ada programming guidelines

    NASA Technical Reports Server (NTRS)

    Roy, Daniel M.; Nelson, Robert W.

    1986-01-01

    A significant Ada effort has been under way at Goddard for the last two years. To ease the center's transition toward Ada (notably for future space station projects), a cooperative effort of half a dozen companies and NASA personnel was started in 1985 to produce programming standards and guidelines for the Ada language. The great richness of the Ada language and the need of programmers for good style examples makes Ada programming guidelines an important tool to smooth the Ada transition. Because of the natural divergence of technical opinions, the great diversity of our government and private organizations and the novelty of the Ada technology, the creation of an Ada programming guidelines document is a difficult and time consuming task. It is also a vital one. Steps must now be taken to ensure that the guide is refined in an organized but timely manner to reflect the growing level of expertise of the Ada community.

  4. Its Ada: An Intelligent Tutoring System for the ADA Programming Language

    DTIC Science & Technology

    1991-12-01

    interchange programs and programmers and virtually impossible for effective software maintenance (Sammet, 1986, p. 722). In 1975, at the request of DoD...for a Xerox machine exclusively. PROUST receives a complete program produced by the student as input for diagnosis and prints out a comprehensive bug... printed on the screen, the student will be placed directly into the editor to write Ada code in response to the • pic problem just presented. The editing

  5. Ada Linear-Algebra Program

    NASA Technical Reports Server (NTRS)

    Klumpp, A. R.; Lawson, C. L.

    1988-01-01

    Routines provided for common scalar, vector, matrix, and quaternion operations. Computer program extends Ada programming language to include linear-algebra capabilities similar to HAS/S programming language. Designed for such avionics applications as software for Space Station.

  6. Benchmark Lisp And Ada Programs

    NASA Technical Reports Server (NTRS)

    Davis, Gloria; Galant, David; Lim, Raymond; Stutz, John; Gibson, J.; Raghavan, B.; Cheesema, P.; Taylor, W.

    1992-01-01

    Suite of nonparallel benchmark programs, ELAPSE, designed for three tests: comparing efficiency of computer processing via Lisp vs. Ada; comparing efficiencies of several computers processing via Lisp; or comparing several computers processing via Ada. Tests efficiency which computer executes routines in each language. Available for computer equipped with validated Ada compiler and/or Common Lisp system.

  7. Evaluation of Ada as a Communications Programming Language.

    DTIC Science & Technology

    1981-03-31

    drastically, altered or circumvented to provide a communicatin system with sufficient resources to operate at a required level of performance. 3.3.1.2...Command (CORADCO4) and standard Digital Equipment Corporation VAX 11/780 system * software. Plans include the hosting of Ada/ED on the VAX 11/780 at the... Corporation , Bedford, MA, August, 1978. b. /LOGl79a/ LOGICON, "Formal Specification of GUARD Trusted Software (Draft)," ARPA-78C032303, September, 1979

  8. Ada Structure Design Language (ASDL)

    NASA Technical Reports Server (NTRS)

    Chedrawi, Lutfi

    1986-01-01

    An artist acquires all the necessary tools before painting a scene. In the same analogy, a software engineer needs the necessary tools to provide their design with the proper means for implementation. Ada provide these tools. Yet, as an artist's painting needs a brochure to accompany it for further explanation of the scene, an Ada design also needs a document along with it to show the design in its detailed structure and hierarchical order. Ada could be self-explanatory in small programs not exceeding fifty lines of code in length. But, in a large environment, ranging from thousands of lines and above, Ada programs need to be well documented to be preserved and maintained. The language used to specify an Ada document is called Ada Structure Design Language (ASDL). This language sets some rules to help derive a well formatted Ada detailed design document. The rules are defined to meet the needs of a project manager, a maintenance team, a programmer and a systems designer. The design document templates, the document extractor, and the rules set forth by the ASDL are explained in detail.

  9. Rationale for the Design of the ADA (Tradename) Programming Language,

    DTIC Science & Technology

    1986-01-01

    Note that if the exception were propagated to the parent task, it would mean that child tasks could interfere asynchronously with their parent, and it...plethora of differently named procedures to cope with the demand for flexibilty in areas such as formatting. The approach taken in Ada lies between the two

  10. C Language Integrated Production System, Ada Version

    NASA Technical Reports Server (NTRS)

    Culbert, Chris; Riley, Gary; Savely, Robert T.; Melebeck, Clovis J.; White, Wesley A.; Mcgregor, Terry L.; Ferguson, Melisa; Razavipour, Reza

    1992-01-01

    CLIPS/Ada provides capabilities of CLIPS v4.3 but uses Ada as source language for CLIPS executable code. Implements forward-chaining rule-based language. Program contains inference engine and language syntax providing framework for construction of expert-system program. Also includes features for debugging application program. Based on Rete algorithm which provides efficient method for performing repeated matching of patterns. Written in Ada.

  11. Reference Manual for the Ada Programming Language. Proposed Standard Document

    DTIC Science & Technology

    1980-07-01

    be given in their pre.ence. Example of conflicting names in two packbges: procedure R is use TRAFFIC, WATERCOLORS ; -- subtypes used to resolve the...conflicting type name COLOR subtype TCOLOR is TRAFFIC.COLOR; subtype WCOLOR is WATERCOLORS.COLOR; SIGNAL T_COLOR; PAINT W COLOR; begin SIGNAL = GREEN...that of TF AFFIC PAINT = GREEN; - - that of W ,TERCOLORS end R; A Use C0auses 8.4 8-8 Ada Reference Manual Example of name identification with a use

  12. Research, development, training, and education using the Ada programming language. Final report, 1 September 1987-31 May 1989

    SciTech Connect

    Harrison, G.C.

    1989-07-16

    The primary goal of this activity was to conduct research in the application and development of Ada, and in broader terms the objectives were as follows: (1) To develop numerical algorithms for parallel processing using the Ada language; (2) To develop new methodologies in reusing Ada software; (3) To solve select problems in applied mathematics using MACSYMA and Ada; (4) Simulate the interactions of nodes in a network using Ada; (5) To increase the cadre of educations available to provide Ada training by conducting Ada workshops for Norfolk State University faculty and staff; (6) To develop a series of in-class and individualized modules addressing Ada programming using computer-assisted instruction; and (7) To disseminate research and computer-aided instruction modules to other minority institutions through computer networking, workshops, and lecture series.

  13. Knowledge, programming, and programming cultures: LISP, C, and Ada

    NASA Technical Reports Server (NTRS)

    Rochowiak, Daniel

    1990-01-01

    The results of research 'Ada as an implementation language for knowledge based systems' are presented. The purpose of the research was to compare Ada to other programming languages. The report focuses on the programming languages Ada, C, and Lisp, the programming cultures that surround them, and the programming paradigms they support.

  14. An Ada programming support environment

    NASA Technical Reports Server (NTRS)

    Tyrrill, AL; Chan, A. David

    1986-01-01

    The toolset of an Ada Programming Support Environment (APSE) being developed at North American Aircraft Operations (NAAO) of Rockwell International, is described. The APSE is resident on three different hosts and must support developments for the hosts and for embedded targets. Tools and developed software must be freely portable between the hosts. The toolset includes the usual editors, compilers, linkers, debuggers, configuration magnagers, and documentation tools. Generally, these are being supplied by the host computer vendors. Other tools, for example, pretty printer, cross referencer, compilation order tool, and management tools were obtained from public-domain sources, are implemented in Ada and are being ported to the hosts. Several tools being implemented in-house are of interest, these include an Ada Design Language processor based on compilable Ada. A Standalone Test Environment Generator facilitates test tool construction and partially automates unit level testing. A Code Auditor/Static Analyzer permits the Ada programs to be evaluated against measures of quality. An Ada Comment Box Generator partially automates generation of header comment boxes.

  15. A Syntax-Directed Programming Environment for the ADA Programming Language.

    DTIC Science & Technology

    1982-12-01

    SPECIFICATION A language’s syntax (or grammar ) precisely defines the rules which govein the structure of programs written in the language. Several... grammar is producible from the original grammar . This property determines the type of syntactic elements, discussed below, that may be removed to produce...a subset grammar . Conditional elements (options and repeaters) represent syntactic units that may be omitted while still producing a syntactically

  16. First International Conference on Ada (R) Programming Language Applications for the NASA Space Station, volume 1

    NASA Technical Reports Server (NTRS)

    Bown, Rodney L. (Editor)

    1986-01-01

    Topics discussed include: test and verification; environment issues; distributed Ada issues; life cycle issues; Ada in Europe; management/training issues; common Ada interface set; and run time issues.

  17. A Study of the Feasibility of Duplicating JAMPS Applications Software in the Ada Programming Language.

    DTIC Science & Technology

    1984-04-01

    the Sieve of 33 Eratosthenes 4 Sizing Analysis for Existing Software Written in "C" 44 5 Sizing Data with Adjustments 45 6 Conversion from "C" to Ada...benchmark program based on the Sieve of EratoSthenes [7 ]. This program finds all of the prime numbers between 3 and 16381. The benchmark test results shown in...appears to be quite reasonable for the JAMPS application. 32 - Table 3 Benchmark Test Results Using the Sieve of Eratosthenes [7 ] Execution Operating Time

  18. ADA, the Programming Language of Choice for the UPMSat-2 Satellite

    NASA Astrophysics Data System (ADS)

    Garrido, Jorge; Zamorano, Juan; de la Puente, Juan A.; Alonso, Alejandro; Salazar, Emilio

    2015-09-01

    The proper selection of development mechanisms and tools is essential for the final success of any engineering project. This is also true when it comes to software development. Furthermore, when the system shows very specific and hard to meet requirements, as it happens for high-integrity real-time systems, the appropriate selection is crucial. For this kind of systems, Ada has proven to be a successful companion, and satellites are not an exception. The paper presents the reasons behind the selection of Ada for the UPMSat-2 development, along with the experience and examples on its usage.

  19. Ada as an implementation language for knowledge based systems

    NASA Technical Reports Server (NTRS)

    Rochowiak, Daniel

    1990-01-01

    Debates about the selection of programming languages often produce cultural collisions that are not easily resolved. This is especially true in the case of Ada and knowledge based programming. The construction of programming tools provides a desirable alternative for resolving the conflict.

  20. Object-oriented programming with mixins in Ada

    NASA Technical Reports Server (NTRS)

    Seidewitz, ED

    1992-01-01

    Recently, I wrote a paper discussing the lack of 'true' object-oriented programming language features in Ada 83, why one might desire them in Ada, and how they might be added in Ada 9X. The approach I took in this paper was to build the new object-oriented features of Ada 9X as much as possible on the basic constructs and philosophy of Ada 83. The object-oriented features proposed for Ada 9X, while different in detail, are based on the same kind of approach. Further consideration of this approach led me on a long reflection on the nature of object-oriented programming and its application to Ada. The results of this reflection, presented in this paper, show how a fairly natural object-oriented style can indeed be developed even in Ada 83. The exercise of developing this style is useful for at least three reasons: (1) it provides a useful style for programming object-oriented applications in Ada 83 until new features become available with Ada 9X; (2) it demystifies many of the mechanisms that seem to be 'magic' in most object-oriented programming languages by making them explicit; and (3) it points out areas that are and are not in need of change in Ada 83 to make object-oriented programming more natural in Ada 9X. In the next four sections I will address in turn the issues of object-oriented classes, mixins, self-reference and supertyping. The presentation is through a sequence of examples. This results in some overlap with that paper, but all the examples in the present paper are written entirely in Ada 83. I will return to considerations for Ada 9X in the last section of the paper.

  1. The Adam language: Ada extended with support for multiway activities

    NASA Technical Reports Server (NTRS)

    Charlesworth, Arthur

    1993-01-01

    The Adam language is an extension of Ada that supports multiway activities, which are cooperative activities involving two or more processes. This support is provided by three new constructs: diva procedures, meet statements, and multiway accept statements. Diva procedures are recursive generic procedures having a particular restrictive syntax that facilitates translation for parallel computers. Meet statements and multiway accept statements provide two ways to express a multiway rendezvous, which is an n-way rendezvous generalizing Ada's 2-way rendezvous. While meet statements tend to have simpler rules than multiway accept statements, the latter approach is a more straightforward extension of Ada. The only nonnull statements permitted within meet statements and multiway accept statements are calls on instantiated diva procedures. A call on an instantiated diva procedure is also permitted outside a multiway rendezvous; thus sequential Adam programs using diva procedures can be written. Adam programs are translated into Ada programs appropriate for use on parallel computers.

  2. Large Scale Software System Design of the Missile Minder AN/TSQ-73 Using the ADA Programming Language.

    DTIC Science & Technology

    1982-11-09

    D -i 3838 LARGE SCALE SOFTWARE SYSTEM DESIGN OF THE MISSILE HINDER AN/TSO-73 USING T..U) CONTROL DATA CORP 5HREWSBURYCNJiGOVERNMENT SYSTEMS 89 NOY 92...UNCLASSIFIED D 88-SSi--987 F/G 9/2 NL 1.0 LI ... .2. ~ 22.0.. . - 1.8 1111.25 LA1 14 11 . -11U1=m MICROCOPY RESOLUTION TEST CHART I NATION~AL BUREAU...Designer’s Guide B-I C System Entity Diagrams C-1 D Ada-Based System Design Language D -I E Data Flow Diagrams E-1 F Data Dictionary F-I G Structure

  3. Languages Beyond Ada and Lisp

    DTIC Science & Technology

    1991-08-05

    epistemic states. The periodic table we use today is simply not a refinement of " earth , air, fire and water ". Notice, however, that the ancient periodic...3, (1), January 1977, pp. 6-15. [RSW79] Rich, C., Shrobe, H.E., Waters , R.C., "Overview of the Programmer’s Apprentice", Proceedings of Sixth...1977. [Wat82] Waters , R.C., "The Programmer’s Apprentice: Knowledge Based Program Editing", IEEE Transactions on Software Engineering SE-8, 1, January

  4. Storage management in Ada. Three reports. Volume 1: Storage management in Ada as a risk to the development of reliable software. Volume 2: Relevant aspects of language. Volume 3: Requirements of the language versus manifestations of current implementations

    NASA Technical Reports Server (NTRS)

    Auty, David

    1988-01-01

    The risk to the development of program reliability is derived from the use of a new language and from the potential use of new storage management techniques. With Ada and associated support software, there is a lack of established guidelines and procedures, drawn from experience and common usage, which assume reliable behavior. The risk is identified and clarified. In order to provide a framework for future consideration of dynamic storage management on Ada, a description of the relevant aspects of the language is presented in two sections: Program data sources, and declaration and allocation in Ada. Storage-management characteristics of the Ada language and storage-management characteristics of Ada implementations are differentiated. Terms that are used are defined in a narrow and precise sense. The storage-management implications of the Ada language are described. The storage-management options available to the Ada implementor and the implications of the implementor's choice for the Ada programmer are also described.

  5. Translation and execution of distributed Ada programs - Is it still Ada?

    NASA Technical Reports Server (NTRS)

    Volz, Richard A.; Mudge, Trevor N.; Buzzard, Gregory D.; Krishnan, Padmanabhan

    1987-01-01

    Some of the fundamental issues and tradeoffs for distributed execution systems for the Ada language are examined. Steps that need to be taken to deal with heterogeneity of addressing program objects, of processing resources, and of the individual processor environment are considered. The ways in which program elements can be assigned are examined in the context of four issues: implied remote object access, object visibility and recursive execution, task termination problems, and distributed types.

  6. Application of Ada higher-order language to guidance and control. Lecture series

    SciTech Connect

    Not Available

    1986-05-01

    The Department of Defense stated that Ada shall become the single, common computer-programming language for Defense mission-critical applications beginning in 1984. The proposal to make Ada a NATO standard High Order Language (HOL) as well, prompted the GCP to provide a Lecture Series embracing the basic structure, theories, and principles embodied in this HOL. The need to reduce escalating software life-cycle costs is the raison d'etre for Ada. Early experience with the language suggests that the promise of increased software productivity can be fulfilled. However, many problems remain; the need for validated and efficient compilers targeted for computers suitable to the guidance and control application, and software development environments built around Ada, are two among the foremost. This Lecture Series addresses both the promise and the problems. Following an introduction to Ada, the structure and features of the language are described. Two special features of Ada, parallel processing and software reusability, are discussed in detail. Compiler development and validation, and the use of Ada in programming environments are described. Finally, the use of Ada in a real-world pilot project is described.

  7. Ada Adoption Handbook: A Program Manager’s Guide, Version 2.0

    DTIC Science & Technology

    1992-10-01

    crtical , and embedded applications. This handbook presents program managers with Information to make effective use of Ada. This handbook’ provides...for example, ground-based command and control systems or embedded avionics ) or specific programs. ’This handbook is one of two volumes of the Ada...using a single language, and software maintainability and reliability [193, 29, 107, 1911. An area where Ada’s impact has been positive Is in

  8. Paranoia.Ada: A diagnostic program to evaluate Ada floating-point arithmetic

    NASA Technical Reports Server (NTRS)

    Hjermstad, Chris

    1986-01-01

    Many essential software functions in the mission critical computer resource application domain depend on floating point arithmetic. Numerically intensive functions associated with the Space Station project, such as emphemeris generation or the implementation of Kalman filters, are likely to employ the floating point facilities of Ada. Paranoia.Ada appears to be a valuabe program to insure that Ada environments and their underlying hardware exhibit the precision and correctness required to satisfy mission computational requirements. As a diagnostic tool, Paranoia.Ada reveals many essential characteristics of an Ada floating point implementation. Equipped with such knowledge, programmers need not tremble before the complex task of floating point computation.

  9. The development of a program analysis environment for Ada: Reverse engineering tools for Ada

    NASA Technical Reports Server (NTRS)

    Cross, James H., II

    1991-01-01

    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.

  10. Development of an Ada programming support environment database SEAD (Software Engineering and Ada Database) administration manual

    NASA Technical Reports Server (NTRS)

    Liaw, Morris; Evesson, Donna

    1988-01-01

    Software Engineering and Ada Database (SEAD) was developed to provide an information resource to NASA and NASA contractors with respect to Ada-based resources and activities which are available or underway either in NASA or elsewhere in the worldwide Ada community. The sharing of such information will reduce duplication of effort while improving quality in the development of future software systems. SEAD data is organized into five major areas: information regarding education and training resources which are relevant to the life cycle of Ada-based software engineering projects such as those in the Space Station program; research publications relevant to NASA projects such as the Space Station Program and conferences relating to Ada technology; the latest progress reports on Ada projects completed or in progress both within NASA and throughout the free world; Ada compilers and other commercial products that support Ada software development; and reusable Ada components generated both within NASA and from elsewhere in the free world. This classified listing of reusable components shall include descriptions of tools, libraries, and other components of interest to NASA. Sources for the data include technical newletters and periodicals, conference proceedings, the Ada Information Clearinghouse, product vendors, and project sponsors and contractors.

  11. Ada Run Time Support Environments and a common APSE Interface Set. [Ada Programming Support Environment

    NASA Technical Reports Server (NTRS)

    Mckay, C. W.; Bown, R. L.

    1985-01-01

    The paper discusses the importance of linking Ada Run Time Support Environments to the Common Ada Programming Support Environment (APSE) Interface Set (CAIS). A non-stop network operating systems scenario is presented to serve as a forum for identifying the important issues. The network operating system exemplifies the issues involved in the NASA Space Station data management system.

  12. Languages for artificial intelligence: Implementing a scheduler in LISP and in Ada

    NASA Technical Reports Server (NTRS)

    Hays, Dan

    1988-01-01

    A prototype scheduler for space experiments originally programmed in a dialect of LISP using some of the more traditional techniques of that language, was recast using an object-oriented LISP, Common LISP with Flavors on the Symbolics. This object-structured version was in turn partially implemented in Ada. The Flavors version showed a decided improvement in both speed of execution and readability of code. The recasting into Ada involved various practical problems of implementation as well as certain challenges of reconceptualization in going from one language to the other. Advantages were realized, however, in greater clarity of the code, especially where more standard flow of control was used. This exercise raised issues about the influence of programming language on the design of flexible and sensitive programs such as schedule planners, and called attention to the importance of factors external to the languages themselves such as system embeddedness, hardware context, and programmer practice.

  13. On-line replacement of program modules using AdaPT

    NASA Technical Reports Server (NTRS)

    Waldrop, Raymond S.; Volz, Richard A.; Smith, Gary W.; Holzbacher-Valero, A. A.; Goldsack, Stephen J.

    1992-01-01

    One purpose of our research is the investigation of the effectiveness and expressiveness of AdaPT(1), a set of language extensions to Ada 83, for distributed systems. As a part of that effort, we are now investigating the subject of replacing, e.g., upgrading, software modules while the software system remains in operation. The AdaPT language extension provide a good basis for this investigation for several reasons: (1) they include the concept of specific, self-contained program modules which can be manipulated; (2) support for program configuration is included in the language; and (3) although the discussion will be in terms of the AdaPT language, the AdaPT to Ada 83 conversion methodology being developed as another part of this project will provide a basis for the application of our findings to Ada 83 systems. The purpose of this investigation is to explore the basic mechanisms to the replacement process. Thus, while replacement in the presence of real-time deadlines, heterogeneous systems, and unreliable networks is certainly a topic of interest, we will first gain an understanding of the basic processes in the absence of such concerns. The extension of the replacement process to more complex situations can be made later. This report will establish an overview of the on-line upgrade problem, and present a taxonomy of the various aspects of the replacement process.

  14. Ada To X-Window Bindings

    NASA Technical Reports Server (NTRS)

    Souleles, Dean

    1993-01-01

    Ada to X-Window Bindings computer program developed to provide Ada programmers with complete interfaces to Xt Intrinsics and OSF Motif toolkits. Provides "Ada view" of some mostly C-language programming libraries. Package of software written in Ada and C languages.

  15. Classic-Ada(TM)

    NASA Technical Reports Server (NTRS)

    Valley, Lois

    1989-01-01

    The SPS product, Classic-Ada, is a software tool that supports object-oriented Ada programming with powerful inheritance and dynamic binding. Object Oriented Design (OOD) is an easy, natural development paradigm, but it is not supported by Ada. Following the DOD Ada mandate, SPS developed Classic-Ada to provide a tool which supports OOD and implements code in Ada. It consists of a design language, a code generator and a toolset. As a design language, Classic-Ada supports the object-oriented principles of information hiding, data abstraction, dynamic binding, and inheritance. It also supports natural reuse and incremental development through inheritance, code factoring, and Ada, Classic-Ada, dynamic binding and static binding in the same program. Only nine new constructs were added to Ada to provide object-oriented design capabilities. The Classic-Ada code generator translates user application code into fully compliant, ready-to-run, standard Ada. The Classic-Ada toolset is fully supported by SPS and consists of an object generator, a builder, a dictionary manager, and a reporter. Demonstrations of Classic-Ada and the Classic-Ada Browser were given at the workshop.

  16. Programming Languages.

    ERIC Educational Resources Information Center

    Tesler, Lawrence G.

    1984-01-01

    Discusses the nature of programing languages, considering the features of BASIC, LOGO, PASCAL, COBOL, FORTH, APL, and LISP. Also discusses machine/assembly codes, the operation of a compiler, and trends in the evolution of programing languages (including interest in notational systems called object-oriented languages). (JN)

  17. Ada 9X overview

    NASA Technical Reports Server (NTRS)

    Weller, David G.

    1992-01-01

    The current version of Ada has been an ANSI standard since 1983. In 1988, the Ada Joint Program Office was tasked with reevaluating the language and proposing changes to the standard. Since that time, the world has seen a tremendous explosion in object-oriented languages, as well as other growing fields such as distributed computing and support for very large software systems. The speaker will discuss new features being added to the next version of Ada, currently called Ada 9X, and what transition issues must be considered for current Ada projects.

  18. Ada as a Hardware Description Language: An Initial Report

    DTIC Science & Technology

    2014-02-25

    language. We are not 1AdL is i tradomark Pf the US Goverment Ada Joint Projert cffice0i! :,:~~~~~~~~~~~~~.. . .. . . . . .. . . . . ....; .:-. i...by Martin Marietta Corporution ind in part by the Defense Advanced Research Projects Agency (DOD). DARPA Order iu. 3597, iu:4io,ed by the Air Force...Avionics Laboratory under Contract F3361531 .1(1539, and DARIPA Order -1 on, n tored by the Office of Naval Research , under Contract ;.MDA 903-81 -C0411

  19. Ada style guide (version 1.1)

    NASA Technical Reports Server (NTRS)

    Seidewitz, Edwin V.; Agresti, William; Ferry, Daniel; Lavallee, David; Maresca, Paul; Nelson, Robert; Quimby, Kelvin; Rosenberg, Jacob; Roy, Daniel; Shell, Allyn

    1987-01-01

    Ada is a programming language of considerable expressive power. The Ada Language Reference Manual provides a thorough definition of the language. However, it does not offer sufficient guidance on the appropriate use of Ada's powerful features. For this reason, the Goddard Space Flight Center Ada User's Group has produced this style guide which addresses such program style issues. The guide covers three areas of Ada program style: the structural decomposition of a program; the coding and the use of specific Ada features; and the textural formatting of a program.

  20. Paranoia.Ada: Sample output reports

    NASA Technical Reports Server (NTRS)

    1986-01-01

    Paranoia.Ada is a program to diagnose floating point arithmetic in the context of the Ada programming language. The program evaluates the quality of a floating point arithmetic implementation with respect to the proposed IEEE Standards P754 and P854. Paranoia.Ada is derived from the original BASIC programming language version of Paranoia. The Paranoia.Ada replicates in Ada the test algorithms originally implemented in BASIC and adheres to the evaluation criteria established by W. M. Kahan. Paranoia.Ada incorporates a major structural redesign and employs applicable Ada architectural and stylistic features.

  1. Ada Compiler Validation Summary Report: Certificate Number 89020W1. 10073: International Business Machines Corporation, IBM Development System for the Ada Language, VM/CMS Ada Compiler, Version 2.1.1, IBM 3083 (Host and Target)

    DTIC Science & Technology

    1989-04-20

    International Business Machines Corporation) IBM Development System for the Ada Language, VN11/CMS Ada Compiler, Version 2.1.1, Wright-Patterson AFB, IBM 3083...890420W1.10073 International Business Machines Corporation IBM Development System for the Ada Language VM/CMS Ada Compiler Version 2.1.1 IBM 3083... International Business Machines Corporation and reviewed by the validation team. The compiler was tested using all default option settings except for the

  2. Ada Compiler Validation Summary Report: Certificate Number: 890420W1. 10066 International Business Machines Corporation, IBM Development System for the Ada Language, AIX/RT Ada Compiler, Version 1.1.1, IBM RT PC 6150-125

    DTIC Science & Technology

    1989-04-20

    International Business Machines Corporation, IBM Development System. for the Ada Language AIX/RT Ada Compiler, Version 1.1.1, Wright-Patterson APB...Certificate Number: 890420V1.10066 International Business Machines Corporation IBM Development System for the Ada Language AIX/RT Ada Compiler, Version 1.1.1...TEST INFORMATION The compiler was tested using command scripts provided by International Business Machines Corporation and reviewed by the validation

  3. STGT program: Ada coding and architecture lessons learned

    NASA Technical Reports Server (NTRS)

    Usavage, Paul; Nagurney, Don

    1992-01-01

    STGT (Second TDRSS Ground Terminal) is currently halfway through the System Integration Test phase (Level 4 Testing). To date, many software architecture and Ada language issues have been encountered and solved. This paper, which is the transcript of a presentation at the 3 Dec. meeting, attempts to define these lessons plus others learned regarding software project management and risk management issues, training, performance, reuse, and reliability. Observations are included regarding the use of particular Ada coding constructs, software architecture trade-offs during the prototyping, development and testing stages of the project, and dangers inherent in parallel or concurrent systems, software, hardware, and operations engineering.

  4. Programming in a proposed 9X distributed Ada

    NASA Technical Reports Server (NTRS)

    Waldrop, Raymond S.; Volz, Richard A.; Goldsack, Stephen J.; Holzbach-Valero, A. A.

    1991-01-01

    The studies of the proposed Ada 9X constructs for distribution, now referred to as AdaPT are reported. The goals for this time period were to revise the chosen example scenario and to begin studying about how the proposed constructs might be implemented. The example scenario chosen is the Submarine Combat Information Center (CIC) developed by IBM for the Navy. The specification provided by IBM was preliminary and had several deficiencies. To address these problems, some changes to the scenario specification were made. Some of the more important changes include: (1) addition of a system database management function; (2) addition of a fourth processing unit to the standard resources; (3) addition of an operator console interface function; and (4) removal of the time synchronization function. To implement the CIC scenario in AdaPT, the decided strategy were publics, partitions, and nodes. The principle purpose for implementing the CIC scenario was to demonstrate how the AdaPT constructs interact with the program structure. While considering ways that the AdaPt constructs might be translated to Ada 83, it was observed that the partition construct could reasonably be modeled as an abstract data type. Although this gives a useful method of modeling partitions, it does not at all address the configuration aspects on the node construct.

  5. ART-Ada: An Ada-based expert system tool

    NASA Technical Reports Server (NTRS)

    Lee, S. Daniel; Allen, Bradley P.

    1990-01-01

    The Department of Defense mandate to standardize on Ada as the language for software systems development has resulted in an increased interest in making expert systems technology readily available in Ada environments. NASA's Space Station Freedom is an example of the large Ada software development projects that will require expert systems in the 1990's. Another large scale application that can benefit from Ada based expert system tool technology is the Pilot's Associate (PA) expert system project for military combat aircraft. The Automated Reasoning Tool-Ada (ART-Ada), an Ada expert system tool, is explained. ART-Ada allows applications of a C-based expert system tool called ART-IM to be deployed in various Ada environments. ART-Ada is being used to implement several prototype expert systems for NASA's Space Station Freedom program and the U.S. Air Force.

  6. Ada (Trade Name)/SQL (Structured Query Language) Binding Specification

    DTIC Science & Technology

    1988-06-01

    which it is contained. 6) A libary package is an <authorization package>; a <schema package>; a <global variable pack- age>; the Ada/SQL definition...Ada/SQL DML unit>s, however, may reference arbitrary Ada library units. SRld is designed to enable Ada/SQL automated tools to readily determine...restriction is designed to minimize confusion about what is being refer- enced, as well as to simplify the development of Ada/SQL automated took. 3) A non

  7. Ada (Trade Name) Compiler Validation Summary Report: International Business Machines Corporation. IBM Development System for the Ada Language System, Version 1.1.0, IBM 4381 under MVS.

    DTIC Science & Technology

    1988-05-22

    TITLE (andSubtile) 5. TYPE OF REPORT & PERIOD COVERED Ada Compler Validation Summary Report: 22 May 1987 to 22 May 1988 International Business Machines...IBM Development System for the Ada Language System, Version 1.1.0, International Business Machines Corporation, Wright-Patterson AFB. IBM 4381 under...SUMMARY REPORT: International Business Machines Corporation IBM Development System f’or the Ada Language System, Version 1.1.0 IBM 4381 under MVS

  8. Introduction to Image Algebra Ada

    NASA Astrophysics Data System (ADS)

    Wilson, Joseph N.

    1991-07-01

    Image Algebra Ada (IAA) is a superset of the Ada programming language designed to support use of the Air Force Armament Laboratory's image algebra in the development of computer vision application programs. The IAA language differs from other computer vision languages is several respects. It is machine independent, and an IAA translator has been implemented in the military standard Ada language. Its image operands and operations can be used to program a range of both low- and high-level vision algorithms. This paper provides an overview of the image algebra constructs supported in IAA and describes the embodiment of these constructs in the IAA extension of Ada. Examples showing the use of IAA for a range of computer vision tasks are given. The design of IAA as a superset of Ada and the implementation of the initial translator in Ada represent critical choices. The authors discuss the reasoning behind these choices as well as the benefits and drawbacks associated with them. Implementation strategies associated with the use of Ada as an implementation language for IAA are also discussed. While one can look on IAA as a program design language (PDL) for specifying Ada programs, it is useful to consider IAA as a separate language superset of Ada. This admits the possibility of directly translating IAA for implementation on special purpose architectures. This paper explores strategies for porting IAA to various architectures and notes the critical language and implementation features for porting to different architectures.

  9. Experience with Ada on the F-18 High Alpha Research Vehicle flight test program

    NASA Technical Reports Server (NTRS)

    Regenie, Victoria A.; Earls, Michael; Le, Jeanette; Thomson, Michael

    1994-01-01

    Considerable experience has been acquired with Ada at the NASA Dryden Flight Research Facility during the on-going High Alpha Technology Program. In this program, an F-18 aircraft has been highly modified by the addition of thrust-vectoring vanes to the airframe. In addition, substantial alteration was made in the original quadruplex flight control system. The result is the High Alpha Research Vehicle. An additional research flight control computer was incorporated in each of the four channels. Software for the research flight control computer was written Ada. To date, six releases of this software have been flown. This paper provides a detailed description of the modifications to the research flight control system. Efficient ground-testing of the software was accomplished by using simulations that used the Ada for portions of their software. These simulations are also described. Modifying and transferring the Ada flight software to the software simulation configuration has allowed evaluation of this language. This paper also discusses such significant issues in using Ada as portability, modifiability, and testability as well as documentation requirements.

  10. Experience with Ada on the F-18 High Alpha Research Vehicle Flight Test Program

    NASA Technical Reports Server (NTRS)

    Regenie, Victoria A.; Earls, Michael; Le, Jeanette; Thomson, Michael

    1992-01-01

    Considerable experience was acquired with Ada at the NASA Dryden Flight Research Facility during the on-going High Alpha Technology Program. In this program, an F-18 aircraft was highly modified by the addition of thrust-vectoring vanes to the airframe. In addition, substantial alteration was made in the original quadruplex flight control system. The result is the High Alpha Research Vehicle. An additional research flight control computer was incorporated in each of the four channels. Software for the research flight control computer was written in Ada. To date, six releases of this software have been flown. This paper provides a detailed description of the modifications to the research flight control system. Efficient ground-testing of the software was accomplished by using simulations that used the Ada for portions of their software. These simulations are also described. Modifying and transferring the Ada for flight software to the software simulation configuration has allowed evaluation of this language. This paper also discusses such significant issues in using Ada as portability, modifiability, and testability as well as documentation requirements.

  11. Software issues involved in code translation of C to Ada programs

    NASA Technical Reports Server (NTRS)

    Hooi, Robert; Giarratano, Joseph

    1986-01-01

    It is often thought that translation of one programming language to another is a simple solution that can be used to extend the software life span or in rehosting software to another environment. The possible problems are examined as are the advantages and disadvantages of direct machine or human code translation versus that of redesign and rewrite of the software. The translation of the expert system language called C Language Integrated Production System (CLIPS) which is written in C, to Ada, will be used as a case study of the problems that are encountered.

  12. QUEST/Ada (Query Utility Environment for Software Testing) of Ada: The development of a program analysis environment for Ada

    NASA Technical Reports Server (NTRS)

    Brown, David B.

    1988-01-01

    A history of the Query Utility Environment for Software Testing (QUEST)/Ada is presented. A fairly comprehensive literature review which is targeted toward issues of Ada testing is given. The definition of the system structure and the high level interfaces are then presented. The design of the three major components is described. The QUEST/Ada IORL System Specifications to this point in time are included in the Appendix. A paper is also included in the appendix which gives statistical evidence of the validity of the test case generation approach which is being integrated into QUEST/Ada.

  13. Large Scale Software System Design of the AN/TYC-39 Store and Forward Message Switch Using the ADA Programming Language. Volume II.

    DTIC Science & Technology

    1982-11-09

    hastily. This has resulted in project failures and unsatisfactory results. Short- term and long - term soluticas to the language proliferation problem have...software. Unfortunately, the seven languages of the standard set do not have all of the features needed for the development of DoD software. The long - term ...76101 _ _ _._ IL Sponsoring Organization Mare and Address 13. Typo of Report & Period Covered USA CECOM Final Center for Tactical Computer Systems

  14. A graphically oriented specification language for automatic code generation. GRASP/Ada: A Graphical Representation of Algorithms, Structure, and Processes for Ada, phase 1

    NASA Technical Reports Server (NTRS)

    Cross, James H., II; Morrison, Kelly I.; May, Charles H., Jr.; Waddel, Kathryn C.

    1989-01-01

    The first phase of a three-phase effort to develop a new graphically oriented specification language which will facilitate the reverse engineering of Ada source code into graphical representations (GRs) as well as the automatic generation of Ada source code is described. A simplified view of the three phases of Graphical Representations for Algorithms, Structure, and Processes for Ada (GRASP/Ada) with respect to three basic classes of GRs is presented. Phase 1 concentrated on the derivation of an algorithmic diagram, the control structure diagram (CSD) (CRO88a) from Ada source code or Ada PDL. Phase 2 includes the generation of architectural and system level diagrams such as structure charts and data flow diagrams and should result in a requirements specification for a graphically oriented language able to support automatic code generation. Phase 3 will concentrate on the development of a prototype to demonstrate the feasibility of this new specification language.

  15. Managing Ada development

    NASA Technical Reports Server (NTRS)

    Green, James R.

    1986-01-01

    The Ada programming language was developed under the sponsorship of the Department of Defense to address the soaring costs associated with software development and maintenance. Ada is powerful, and yet to take full advantage of its power, it is sufficiently complex and different from current programming approaches that there is considerable risk associated with committing a program to be done in Ada. There are also few programs of any substantial size that have been implemented using Ada that may be studied to determine those management methods that resulted in a successful Ada project. The items presented are the author's opinions which have been formed as a result of going through an experience software development. The difficulties faced, risks assumed, management methods applied, and lessons learned, and most importantly, the techniques that were successful are all valuable sources of management information for those managers ready to assume major Ada developments projects.

  16. Use of language features in the implementation and validation of a standardized generic package of elementary functions for Ada

    SciTech Connect

    Tang, P.T.P.

    1988-10-28

    The creators of Ada envisioned it to be a fine language for portable numerical programming by incorporating into Ada a formal floating-point model that is further supported by numerous environment inquiries. It is therefore somewhat ironic that there is no mention at all in the language of a library of elementary functions---one of the most basic building blocks for scientific computations. Do the language features allow such a library to be rigorously specified in the spirit of the floating-point model. If so, can a specification-conforming library be implemented portably in Ada itself. This paper is a summary of our investigations of the functions EXP and LOG pertaining to the second question. With careful use of the language features, we have shown that portable implementations are achievable, with minor qualifications. Moreover, we have also shown that the accuracy of such portable implementations can themselves be validated by programs implemented portably in Ada. The organization of this paper is as follows. We discuss the specifications and outline the implementations. We report the results of our analysis on the implementations. The idea and the implementations of the validation method are then discussed. Finally, we discuss the extension of our present work. 13 refs., 4 tabs.

  17. Ada Compiler Validation Summary Report: Certificate Number: 890420W1. 10075 International Business Machines Corporation. IBM Development System, for the Ada Language CMS/MVS Ada Cross Compiler, Version 2.1.1 IBM 3083 Host and IBM 4381 Target

    DTIC Science & Technology

    1989-04-20

    International business Machines Corporati,:i IBM Development System for the Ada Language, CMS/MVS Ada Cross Compiler, Version 2.1.1, Wright-Patterson AFB, IBM...VALIDATION SUMMARY REPORT: Certificate Number: 890420W1.10075 International Business Machines Corporation IBM Development System for the Ada Language CMS...command scripts provided by International Business Machines Corporation and reviewed by the validation team. The compiler was tested using all default

  18. ART-Ada: An Ada-based expert system tool

    NASA Technical Reports Server (NTRS)

    Lee, S. Daniel; Allen, Bradley P.

    1991-01-01

    The Department of Defense mandate to standardize on Ada as the language for software systems development has resulted in increased interest in making expert systems technology readily available in Ada environments. NASA's Space Station Freedom is an example of the large Ada software development projects that will require expert systems in the 1990's. Another large scale application that can benefit from Ada based expert system tool technology is the Pilot's Associate (PA) expert system project for military combat aircraft. Automated Reasoning Tool (ART) Ada, an Ada Expert system tool is described. ART-Ada allow applications of a C-based expert system tool called ART-IM to be deployed in various Ada environments. ART-Ada is being used to implement several prototype expert systems for NASA's Space Station Freedom Program and the U.S. Air Force.

  19. An approach to distributed execution of Ada programs

    NASA Technical Reports Server (NTRS)

    Volz, R. A.; Krishnan, P.; Theriault, R.

    1987-01-01

    Intelligent control of the Space Station will require the coordinated execution of computer programs across a substantial number of computing elements. It will be important to develop large subsets of these programs in the form of a single program which executes in a distributed fashion across a number of processors. A translation strategy for distributed execution of Ada programs in which library packages and subprograms may be distributed is described. A preliminary version of the translator is operational. Simple data objects (no records or arrays as yet), subprograms, and static tasks may be referenced remotely.

  20. Distributed and parallel Ada and the Ada 9X recommendations

    NASA Technical Reports Server (NTRS)

    Volz, Richard A.; Goldsack, Stephen J.; Theriault, R.; Waldrop, Raymond S.; Holzbacher-Valero, A. A.

    1992-01-01

    Recently, the DoD has sponsored work towards a new version of Ada, intended to support the construction of distributed systems. The revised version, often called Ada 9X, will become the new standard sometimes in the 1990s. It is intended that Ada 9X should provide language features giving limited support for distributed system construction. The requirements for such features are given. Many of the most advanced computer applications involve embedded systems that are comprised of parallel processors or networks of distributed computers. If Ada is to become the widely adopted language envisioned by many, it is essential that suitable compilers and tools be available to facilitate the creation of distributed and parallel Ada programs for these applications. The major languages issues impacting distributed and parallel programming are reviewed, and some principles upon which distributed/parallel language systems should be built are suggested. Based upon these, alternative language concepts for distributed/parallel programming are analyzed.

  1. Distributed and parallel Ada and the Ada 9X recommendations

    SciTech Connect

    Volz, R.A.; Goldsack, S.J.; Theriault, R.; Waldrop, R.S.; Holzbacher-Valero, A.A.

    1992-04-01

    Recently, the DoD has sponsored work towards a new version of Ada, intended to support the construction of distributed systems. The revised version, often called Ada9x, will become the new standard sometimes in the 1990s. It is intended that Ada9x should provide language features giving limited support for distributed system construction. The requirements for such features are given. Many of the most advanced computer applications involve embedded systems that are comprised of parallel processors or networks of distributed computers. If Ada is to become the widely adopted language envisioned by many, it is essential that suitable compilers and tools be available to facilitate the creation of distributed and parallel Ada programs for these applications. The major languages issues impacting distributed and parallel programming are reviewed, and some principles upon which distributed/parallel language systems should be built are suggested. Based upon these, alternative language concepts for distributed/parallel programming are analyzed.

  2. Formal verification and testing: An integrated approach to validating Ada programs

    NASA Technical Reports Server (NTRS)

    Cohen, Norman H.

    1986-01-01

    An integrated set of tools called a validation environment is proposed to support the validation of Ada programs by a combination of methods. A Modular Ada Validation Environment (MAVEN) is described which proposes a context in which formal verification can fit into the industrial development of Ada software.

  3. Ada COCOMO and the Ada Process Model

    DTIC Science & Technology

    1989-01-01

    language, the use of incremental development, and the use of the Ada process model capitalizing on the strengths of Ada to improve the efficiency of software...development. This paper presents the portions of the revised Ada COCOMO dealing with the effects of Ada and the Ada process model . The remainder of...this section of the paper discusses the objectives of Ada COCOMO. Section 2 describes the Ada Process Model and its overall effects on software

  4. ART-Ada design project, phase 2

    NASA Technical Reports Server (NTRS)

    Lee, S. Daniel; Allen, Bradley P.

    1990-01-01

    Interest in deploying expert systems in Ada has increased. An Ada based expert system tool is described called ART-Ada, which was built to support research into the language and methodological issues of expert systems in Ada. ART-Ada allows applications of an existing expert system tool called ART-IM (Automated Reasoning Tool for Information Management) to be deployed in various Ada environments. ART-IM, a C-based expert system tool, is used to generate Ada source code which is compiled and linked with an Ada based inference engine to produce an Ada executable image. ART-Ada is being used to implement several expert systems for NASA's Space Station Freedom Program and the U.S. Air Force.

  5. The computerization of programming: Ada (R) lessons learned

    NASA Technical Reports Server (NTRS)

    Struble, Dennis D.

    1986-01-01

    One of the largest systems yet written in Ada has been constructed. This system is the Intermetrics Ada compiler. Many lessons have been learned during the implementation of this Ada compiler. Some of these lessons, concentrating on those lessons relevant to large system implementations are described. The characteristics of the Ada compiler implementation project at Intermetrics are also described. Some specific experiences during the implementation are pointed out.

  6. Programming in a proposed 9X distributed Ada

    NASA Technical Reports Server (NTRS)

    Waldrop, Raymond S.; Volz, Richard A.; Goldsack, Stephen J.

    1990-01-01

    The proposed Ada 9X constructs for distribution was studied. The goal was to select suitable test cases to help in the evaluation of the proposed constructs. The examples were to be considered according to the following requirements: real time operation; fault tolerance at several different levels; demonstration of both distributed and massively parallel operation; reflection of realistic NASA programs; illustration of the issues of configuration, compilation, linking, and loading; indications of the consequences of using the proposed revisions for large scale programs; and coverage of the spectrum of communication patterns such as predictable, bursty, small and large messages. The first month was spent identifying possible examples and judging their suitability for the project.

  7. An Assessment of Ada’s Suitability in General Purpose Programming Applications.

    DTIC Science & Technology

    1985-09-01

    selected to honor the mathematician Lady Augusta Ada Byron (1815-1852), Countess of Lovelace. The Countess worked with Charles Babbage on his difference...stray from our research objectives. We would also like to thank Dr. Charles Richard for the assistance he gave us while learning the Ada language

  8. The development of a program analysis environment for Ada: Reverse engineering tools for Ada. Final Report, 1 Jun. 1990 - 30 Sep. 1991

    SciTech Connect

    Cross, J.H. II.

    1991-09-01

    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.

  9. Using Ada: The deeper challenges

    NASA Technical Reports Server (NTRS)

    Feinberg, David A.

    1986-01-01

    The Ada programming language and the associated Ada Programming Support Environment (APSE) and Ada Run Time Environment (ARTE) provide the potential for significant life-cycle cost reductions in computer software development and maintenance activities. The Ada programming language itself is standardized, trademarked, and controlled via formal validation procedures. Though compilers are not yet production-ready as most would desire, the technology for constructing them is sufficiently well known and understood that time and money should suffice to correct current deficiencies. The APSE and ARTE are, on the other hand, significantly newer issues within most software development and maintenance efforts. Currently, APSE and ARTE are highly dependent on differing implementer concepts, strategies, and market objectives. Complex and sophisticated mission-critical computing systems require the use of a complete Ada-based capability, not just the programming language itself; yet the range of APSE and ARTE features which must actually be utilized can vary significantly from one system to another. As a consequence, the need to understand, objectively evaluate, and select differing APSE and ARTE capabilities and features is critical to the effective use of Ada and the life-cycle efficiencies it is intended to promote. It is the selection, collection, and understanding of APSE and ARTE which provide the deeper challenges of using Ada for real-life mission-critical computing systems. Some of the current issues which must be clarified, often on a case-by-case basis, in order to successfully realize the full capabilities of Ada are discussed.

  10. Ada Compiler Validation Summary Report: Certificate Number 880318W1. 09042, International Business Machines Corporation, IBM Development System for the Ada Language, Version 2.1.0, IBM 4381 under MVS/XA, Host and Target

    DTIC Science & Technology

    1988-03-28

    International Business Machines Corporation IBM Development System for the Ada Language, Version 2.1.0 IBM 4381 under MVS/XA, host and target Completion...Joint Program Office, AJPO 20. ABSTRACT (Continue on reverse side if necessary and identify by block number) International Business Machines Corporation...in the compiler listed in this declaration. I declare that International Business Machines Corporation is the owner of record of the object code of

  11. The development of a program analysis environment for Ada

    NASA Technical Reports Server (NTRS)

    Brown, David B.; Carlisle, Homer W.; Chang, Kai-Hsiung; Cross, James H.; Deason, William H.; Haga, Kevin D.; Huggins, John R.; Keleher, William R. A.; Starke, Benjamin B.; Weyrich, Orville R.

    1989-01-01

    A unit level, Ada software module testing system, called Query Utility Environment for Software Testing of Ada (QUEST/Ada), is described. The project calls for the design and development of a prototype system. QUEST/Ada design began with a definition of the overall system structure and a description of component dependencies. The project team was divided into three groups to resolve the preliminary designs of the parser/scanner: the test data generator, and the test coverage analyzer. The Phase 1 report is a working document from which the system documentation will evolve. It provides history, a guide to report sections, a literature review, the definition of the system structure and high level interfaces, descriptions of the prototype scope, the three major components, and the plan for the remainder of the project. The appendices include specifications, statistics, two papers derived from the current research, a preliminary users' manual, and the proposal and work plan for Phase 2.

  12. Ada Namelist Package

    NASA Technical Reports Server (NTRS)

    Klumpp, Allan R.

    1991-01-01

    Ada Namelist Package, developed for Ada programming language, enables calling program to read and write FORTRAN-style namelist files. Features are: handling of any combination of types defined by user; ability to read vectors, matrices, and slices of vectors and matrices; handling of mismatches between variables in namelist file and those in programmed list of namelist variables; and ability to avoid searching entire input file for each variable. Principle benefits derived by user: ability to read and write namelist-readable files, ability to detect most file errors in initialization phase, and organization keeping number of instantiated units to few packages rather than to many subprograms.

  13. Issues to be Considered in the Evaluation of Technical Proposals from the Ada (Trademark) Language Perspective.

    DTIC Science & Technology

    2014-09-26

    facilities (software test bed, dynamic simulation) are proposed to support the testing phases? 17. What proprietary data rights (if any) are...and beginners; for example, is prompting via menus provided for beginners and single keystroke capability provided for experienced users? 2-13 - input...Statement of Work: - constraint and numeric error checking - dynamic storage management - exception management 2-1 * 2.3 IMPLEMENTATION LANGUAGE If Ada has

  14. Application of Ada (Trade Name) Higher Order Language to Guidance and Control

    DTIC Science & Technology

    1986-05-01

    name "DoD-0"). The name Ada honors the mathematician of the 19th century who, as colleague to Charles Babbage , developed an instruction set for the as...Avenue St Charles , MO 63301 USA SPEAKERS Mr R.E.Bolz 6751 South Dahlia Court Modem Prograimning Languages Littleton, CO 80122 USA Dr O.Roubine...WHITTREDGE, R. S. PAA : C/( Charles Stark Draper Laboratory, Inc., Cambridge, MA) CORP: Draper ( Charles Stark) Lab., Inc., Cambridge, Mass. IN

  15. Modern programming language

    NASA Technical Reports Server (NTRS)

    Feldman, G. H.; Johnson, J. A.

    1980-01-01

    Structural-programming language is especially-tailored for producing assembly language programs for MODCOMP II and IV mini-computes. Modern programming language consists of set of simple and powerful control structures that include sequencing alternative selection, looping, sub-module linking, comment insertion, statement continuation, and compilation termination capabilities.

  16. Ada (Trade Name) Bibliography. Volume 3.

    DTIC Science & Technology

    1986-02-01

    PROTOTYPING USING THE SETL PROGRAMMING LANGUAGE SCHULTZ. JAMES B., NONAFFILIATED 4642 -03 WEAPONS THAT THINK SCHULTZ, LENNART , CRONE&KOCH ORDRUPVEJ1O1,DK...AS A TARGET FOR ADA SUBRAHMANYAM, T CARTER, U. OF UTAH, SALT LAKE CITY, UTAH 84112 3455 -01 TRANSFORMATION OF ADA PROGRAMS INTO SILICON SVENSSON , GERT

  17. C++ Programming Language

    NASA Technical Reports Server (NTRS)

    Shaykhian, Gholam Ali

    2007-01-01

    C++ Programming Language: The C++ seminar covers the fundamentals of C++ programming language. The C++ fundamentals are grouped into three parts where each part includes both concept and programming examples aimed at for hands-on practice. The first part covers the functional aspect of C++ programming language with emphasis on function parameters and efficient memory utilization. The second part covers the essential framework of C++ programming language, the object-oriented aspects. Information necessary to evaluate various features of object-oriented programming; including encapsulation, polymorphism and inheritance will be discussed. The last part of the seminar covers template and generic programming. Examples include both user defined and standard templates.

  18. Kernel Ada Programming Support Environment (KAPSE) Interface Team. Volume I. Public Report.

    DTIC Science & Technology

    1982-04-01

    from a grammar . This grammar consists of the grammars of Ada and the command language (which also contains the grammar of the database). If two KAPSE’s...language, database, and user interfaces). 4E-1 If two KAPSE’s have different grammars , then we do not know if the languages generated by these two grammars ...the correspond- ing KAPSE’s) are equivalent in phrase structure. This problem is unsolvable if the different grammars are context sensitive. In

  19. Ada issues in implementing ART-Ada

    NASA Technical Reports Server (NTRS)

    Lee, S. Daniel

    1990-01-01

    Due to the Ada mandate of a number of government agencies, interest in deploying expert systems such as Ada has increased. Recently, several Ada-based expert system tools have been developed. According to a recent benchmark report, these tools do not perform as well as similar tools written in C. While poorly implemented Ada compilers contribute to the poor benchmark result, some fundamental problems of the Ada language itself have been uncovered. Here, the authors describe Ada language issues encountered during the deployment of ART-Ada, an expert system tool for Ada deployment. ART-Ada is being used to implement several prototype expert systems for the Space Station Freedom and the U.S. Air Force.

  20. An Embedded Rule-Based Diagnostic Expert System in Ada

    NASA Technical Reports Server (NTRS)

    Jones, Robert E.; Liberman, Eugene M.

    1992-01-01

    Ada is becoming an increasingly popular programming language for large Government-funded software projects. Ada with it portability, transportability, and maintainability lends itself well to today's complex programming environment. In addition, expert systems have also assumed a growing role in providing human-like reasoning capability expertise for computer systems. The integration is discussed of expert system technology with Ada programming language, especially a rule-based expert system using an ART-Ada (Automated Reasoning Tool for Ada) system shell. NASA Lewis was chosen as a beta test site for ART-Ada. The test was conducted by implementing the existing Autonomous Power EXpert System (APEX), a Lisp-based power expert system, in ART-Ada. Three components, the rule-based expert systems, a graphics user interface, and communications software make up SMART-Ada (Systems fault Management with ART-Ada). The rules were written in the ART-Ada development environment and converted to Ada source code. The graphics interface was developed with the Transportable Application Environment (TAE) Plus, which generates Ada source code to control graphics images. SMART-Ada communicates with a remote host to obtain either simulated or real data. The Ada source code generated with ART-Ada, TAE Plus, and communications code was incorporated into an Ada expert system that reads the data from a power distribution test bed, applies the rule to determine a fault, if one exists, and graphically displays it on the screen. The main objective, to conduct a beta test on the ART-Ada rule-based expert system shell, was achieved. The system is operational. New Ada tools will assist in future successful projects. ART-Ada is one such tool and is a viable alternative to the straight Ada code when an application requires a rule-based or knowledge-based approach.

  1. Language Program Evaluation

    ERIC Educational Resources Information Center

    Norris, John M.

    2016-01-01

    Language program evaluation is a pragmatic mode of inquiry that illuminates the complex nature of language-related interventions of various kinds, the factors that foster or constrain them, and the consequences that ensue. Program evaluation enables a variety of evidence-based decisions and actions, from designing programs and implementing…

  2. General-Purpose Ada Software Packages

    NASA Technical Reports Server (NTRS)

    Klumpp, Allan R.

    1991-01-01

    Collection of subprograms brings to Ada many features from other programming languages. All generic packages designed to be easily instantiated for types declared in user's facility. Most packages have widespread applicability, although some oriented for avionics applications. All designed to facilitate writing new software in Ada. Written on IBM/AT personal computer running under PC DOS, v.3.1.

  3. Ada Integrated Environment III Computer Program Development Specification. Volume III. Ada Optimizing Compiler.

    DTIC Science & Technology

    1981-12-01

    Corporation , Order No. GY28-6800-5 (December 1971). [IBM72] FORTRAN IV (H) Compiler Program Logic Manual, IBM Corporation , Order No. GH28-6642-5...RAVC ptans6 and excutes~ ’Leseatc, devetopment, .te,~t and 4etected acquisition p)LopLamn in -sappo~~t o6 Command, Con-tt Commnications ~ and

  4. The implications of the ADA Amendments Act of 2008 for residency training program administration.

    PubMed

    Regenbogen, Alexandra; Recupero, Patricia R

    2012-01-01

    The Americans with Disabilities Act (ADA) is rarely invoked by medical residents in training. Dr. Martin Jakubowski, a family medicine resident with Asperger's disorder, was dismissed for communicating poorly with patients, peers, and supervisors and for issuing dangerous medical orders. In an attempt to become reinstated, he sued under the ADA (Jakubowski v. The Christ Hospital), arguing that the program had failed to make reasonable accommodation for his disability. The Sixth Circuit Court of Appeals ruled in favor of the hospital, finding that although the doctor was disabled under the ADA, he had failed to demonstrate that he was otherwise qualified for the position. This article comments on the ADA Amendments Act of 2008, the Equal Employment Opportunity Commission (EEOC) guidelines from 2011 and their application to medical residency training, and the Accreditation Council for Graduate Medical Education (ACGME) core competencies as essential job functions.

  5. Software unit testing in Ada environment

    NASA Technical Reports Server (NTRS)

    Warnock, Glenn

    1986-01-01

    A validation procedure for the Ada binding of the Graphical Kernel System (GKS) is being developed. PRIOR Data Sciences is also producing a version of the GKS written in Ada. These major software engineering projects will provide an opportunity to demonstrate a sound approach for software testing in an Ada environment. The GKS/Ada validation capability will be a collection of test programs and data, and test management guidelines. These products will be used to assess the correctness, completeness, and efficiency of any GKS/Ada implementation. The GKS/Ada developers will be able to obtain the validation software for their own use. It is anticipated that this validation software will eventually be taken over by an independent standards body to provide objective assessments of GKS/Ada implementations, using an approach similar to the validation testing currently applied to Ada compilers. In the meantime, if requested, this validation software will be used to assess GKS/Ada products. The second project, implementation of GKS using the Ada language, is a conventional software engineering tasks. It represents a large body of Ada code and has some interesting testing problems associated with automatic testing of graphics routines. Here the normal test practices which include automated regression testing, independent quality assistance, test configuration management, and the application of software quality metrics will be employed. The software testing methods emphasize quality enhancement and automated procedures. Ada makes some aspects of testing easier, and introduces some concerns. These issues are addressed.

  6. GENERAL PURPOSE ADA PACKAGES

    NASA Technical Reports Server (NTRS)

    Klumpp, A. R.

    1994-01-01

    Ten families of subprograms are bundled together for the General-Purpose Ada Packages. The families bring to Ada many features from HAL/S, PL/I, FORTRAN, and other languages. These families are: string subprograms (INDEX, TRIM, LOAD, etc.); scalar subprograms (MAX, MIN, REM, etc.); array subprograms (MAX, MIN, PROD, SUM, GET, and PUT); numerical subprograms (EXP, CUBIC, etc.); service subprograms (DATE_TIME function, etc.); Linear Algebra II; Runge-Kutta integrators; and three text I/O families of packages. In two cases, a family consists of a single non-generic package. In all other cases, a family comprises a generic package and its instances for a selected group of scalar types. All generic packages are designed to be easily instantiated for the types declared in the user facility. The linear algebra package is LINRAG2. This package includes subprograms supplementing those in NPO-17985, An Ada Linear Algebra Package Modeled After HAL/S (LINRAG). Please note that LINRAG2 cannot be compiled without LINRAG. Most packages have widespread applicability, although some are oriented for avionics applications. All are designed to facilitate writing new software in Ada. Several of the packages use conventions introduced by other programming languages. A package of string subprograms is based on HAL/S (a language designed for the avionics software in the Space Shuttle) and PL/I. Packages of scalar and array subprograms are taken from HAL/S or generalized current Ada subprograms. A package of Runge-Kutta integrators is patterned after a built-in MAC (MIT Algebraic Compiler) integrator. Those packages modeled after HAL/S make it easy to translate existing HAL/S software to Ada. The General-Purpose Ada Packages program source code is available on two 360K 5.25" MS-DOS format diskettes. The software was developed using VAX Ada v1.5 under DEC VMS v4.5. It should be portable to any validated Ada compiler and it should execute either interactively or in batch. The largest package

  7. Simulation in Ada; Proceedings of the Eastern Simulation Conference, Norfolk, VA, March 3-8, 1985

    SciTech Connect

    Unger, B.; Lomow, G.; Trybul, T.

    1985-01-01

    The development of ADA compilers in 1984 reached a stage that now permits the implementation of ADA-language-based simulators which can handle large programs. The conference covered topics such as automated Ada-based methodology simulator program development. Attention was also given to implementing a simulator as a set of Ada tasks and testing software for Ada language discrete simulation models. Attempts at developing a moving target, distributed, real-time simulation using Ada for studying jet engine performance are described. Finally, techniques for simulating parallel computational processes for optical control problems are contrasted with sequential optimization process performance.

  8. Transforming AdaPT to Ada

    NASA Technical Reports Server (NTRS)

    Goldsack, Stephen J.; Holzbach-Valero, A. A.; Waldrop, Raymond S.; Volz, Richard A.

    1991-01-01

    This paper describes how the main features of the proposed Ada language extensions intended to support distribution, and offered as possible solutions for Ada9X can be implemented by transformation into standard Ada83. We start by summarizing the features proposed in a paper (Gargaro et al, 1990) which constitutes the definition of the extensions. For convenience we have called the language in its modified form AdaPT which might be interpreted as Ada with partitions. These features were carefully chosen to provide support for the construction of executable modules for execution in nodes of a network of loosely coupled computers, but flexibly configurable for different network architectures and for recovery following failure, or adapting to mode changes. The intention in their design was to provide extensions which would not impact adversely on the normal use of Ada, and would fit well in style and feel with the existing standard. We begin by summarizing the features introduced in AdaPT.

  9. Ada Compiler Validation Summary Report: Certificate Number: 880318W1. 09041, International Business Machines Corporation, IBM Development System for the Ada Language, Version 2.1.0, IBM 4381 under VM/HPO, Host and Target

    DTIC Science & Technology

    1988-03-28

    International Business Machines Corporation IBM Development System for the Ada Language, Version 2.1.0 IBM 4381 under VM/HPO, host and target DTIC...necessary and identify by block number) International Business Machines Corporation, IBM Development System for the Ada Language, Version 2.1.0, IBM...in the compiler listed in this declaration. I declare that International Business Machines Corporation is the owner of record of the object code of the

  10. Ada (Trade Name) Compiler Validation Summary Report: Verdix Corporation VAda-010-03315, Version 5.5 MicroVAX II Host iSBC 386/20P Intel Target.

    DTIC Science & Technology

    1987-06-19

    Programming language, Ada Compiler Validation Summary Report, Ada % Compiler Validation Capability, ACVC, Validation Testing, Ada % Validation Office, AVO , Ada...the direction of the Ada lalJation Facility (AVF), according to Ada Validation Organization ( AVO ) polic ’’* and procedures. The AVF identified 2210 of...the AVF according to policies and procedures established by the Ada Validation Organization ( AVO ). On-site testing was conducted from 12 Jun.e 1987

  11. Foreign Language Program Evaluation.

    ERIC Educational Resources Information Center

    Kirshner, Sheldon G.

    In order to assess the foreign language programs currently offered by Oakton Community College (OCC), a three-part investigation was undertaken in 1974. First, to examine grade distribution and drop-out rate, the records of students enrolled in language courses were compared with the records of the total student body. During the spring, summer and…

  12. KAPSE (Kernel ADA Programming Support Environment) Interface Team Public Report. Volume 5.

    DTIC Science & Technology

    1985-08-01

    terination of a child . It was pointed out, .howmver, that CAIS processes are closely analogous to Ada programs, which may include nwiny tasks, so this...NMlc)) - Write a single haractesr end cojp; end PM;/ 5.3.8.10 Easing a qualified area pr~zocedueRSEA( PORN : in ont PO TYP); Purposes This procedure

  13. Ada education in a software life-cycle context

    NASA Technical Reports Server (NTRS)

    Clough, Anne J.

    1986-01-01

    Some of the experience gained from a comprehensive educational program undertaken at The Charles Stark Draper Lab. to introduce the Ada language and to transition modern software engineering technology into the development of Ada and non-Ada applications is described. Initially, a core group, which included manager, engineers and programmers, received training in Ada. An Ada Office was established to assume the major responsibility for training, evaluation, acquisition and benchmarking of tools, and consultation on Ada projects. As a first step in this process, and in-house educational program was undertaken to introduce Ada to the Laboratory. Later, a software engineering course was added to the educational program as the need to address issues spanning the entire software life cycle became evident. Educational efforts to date are summarized, with an emphasis on the educational approach adopted. Finally, lessons learned in administering this program are addressed.

  14. Software engineering and Ada in design

    NASA Technical Reports Server (NTRS)

    Oneill, Don

    1986-01-01

    Modern software engineering promises significant reductions in software costs and improvements in software quality. The Ada language is the focus for these software methodology and tool improvements. The IBM FSD approach, including the software engineering practices that guide the systematic design and development of software products and the management of the software process are examined. The revised Ada design language adaptation is revealed. This four level design methodology is detailed including the purpose of each level, the management strategy that integrates the software design activity with the program milestones, and the technical strategy that maps the Ada constructs to each level of design. A complete description of each design level is provided along with specific design language recording guidelines for each level. Finally, some testimony is offered on education, tools, architecture, and metrics resulting from project use of the four level Ada design language adaptation.

  15. Annotated Ada 95 Reference Manual.

    DTIC Science & Technology

    1994-12-21

    A. Strohmeier (Swiss Fed Inst of Technology: Switzerland); W. Taylor (consultant: UK); J. Tokar ( Tartan ); E. Vasilescu (Grumman); J. Vladik...Language Preci- 69 sion Team (Odyssey Research Associates), the Ada 9X User/Implementer Teams (AETECH, Tartan , TeleSoft), the Ada 9X Implementation...the RM83. [Ada Issue (AI)) (All An Ada Issue (AT) is a numbered ruling from the ARG. {Ada Commentary Integration Document ( ACID )) ( ACID ) The Ada

  16. Artificial Intelligence in ADA: Pattern-Directed Processing. Final Report.

    ERIC Educational Resources Information Center

    Reeker, Larry H.; And Others

    To demonstrate to computer programmers that the programming language Ada provides superior facilities for use in artificial intelligence applications, the three papers included in this report investigate the capabilities that exist within Ada for "pattern-directed" programming. The first paper (Larry H. Reeker, Tulane University) is…

  17. Assembly processor program converts symbolic programming language to machine language

    NASA Technical Reports Server (NTRS)

    Pelto, E. V.

    1967-01-01

    Assembly processor program converts symbolic programming language to machine language. This program translates symbolic codes into computer understandable instructions, assigns locations in storage for successive instructions, and computer locations from symbolic addresses.

  18. An evaluation of Ada for Al applications

    NASA Technical Reports Server (NTRS)

    Wallace, David R.

    1986-01-01

    Expert system technology seems to be the most promising type of Artificial Intelligence (AI) application for Ada. An expert system implemented with an expert system shell provides a highly structured approach that fits well with the structured approach found in Ada systems. The current commercial expert system shells use Lisp. In this highly structured situation a shell could be built that used Ada just as well. On the other hand, if it is necessary to deal with some AI problems that are not suited to expert systems, the use of Ada becomes more problematical. Ada was not designed as an AI development language, and is not suited to that. It is possible that an application developed in say, Common Lisp could be translated to Ada for actual use in a particular application, but this could be difficult. Some standard Ada packages could be developed to make such a translation easier. If the most general AI programs need to be dealt with, a Common Lisp system integrated with the Ada Environment is probably necessary. Aside from problems with language features, Ada, by itself, is not well suited to the prototyping and incremental development that is well supported by Lisp.

  19. Ada and software management in NASA: Assessment and recommendations

    NASA Technical Reports Server (NTRS)

    1989-01-01

    Recent NASA missions have required software systems that are larger, more complex, and more critical than NASA software systems of the past. The Ada programming language and the software methods and support environments associated with it are seen as potential breakthroughs in meeting NASA's software requirements. The findings of a study by the Ada and Software Management Assessment Working Group (ASMAWG) are presented. The study was chartered to perform three tasks: (1) assess the agency's ongoing and planned Ada activities; (2) assess the infrastructure (standards, policies, and internal organizations) supporting software management and the Ada activities; and (3) present an Ada implementation and use strategy appropriate for NASA over the next 5 years.

  20. The development of an Ada programming support environment database: SEAD (Software Engineering and Ada Database), user's manual

    NASA Technical Reports Server (NTRS)

    Liaw, Morris; Evesson, Donna

    1988-01-01

    This is a manual for users of the Software Engineering and Ada Database (SEAD). SEAD was developed to provide an information resource to NASA and NASA contractors with respect to Ada-based resources and activities that are available or underway either in NASA or elsewhere in the worldwide Ada community. The sharing of such information will reduce the duplication of effort while improving quality in the development of future software systems. The manual describes the organization of the data in SEAD, the user interface from logging in to logging out, and concludes with a ten chapter tutorial on how to use the information in SEAD. Two appendices provide quick reference for logging into SEAD and using the keyboard of an IBM 3270 or VT100 computer terminal.

  1. Ada (Tradename) Compiler Validation Summary Report. International Business Machines Corporation. IBM Development System for the Ada Language for MVS, Version 1.0. IBM 4381 (IBM System/370) under MVS.

    DTIC Science & Technology

    1986-05-05

    AVF-VSR-36.0187 Ada" COMPILER VALIDATION SUMMARY REPORT: International Business Machines Corporation IBM Development System for the Ada Language for...withdrawn from ACVC Version 1.7 were not run. The compiler was tested using command scripts provided by International Business Machines Corporation. These...APPENDIX A COMPLIANCE STATEMENT International Business Machines Corporation has submitted the following compliance statement concerning the IBM

  2. Evolution of Ada technology in the flight dynamics area: Design phase analysis

    NASA Technical Reports Server (NTRS)

    Quimby, Kelvin L.; Esker, Linda

    1988-01-01

    The software engineering issues related to the use of the Ada programming language during the design phase of an Ada project are analyzed. Discussion shows how an evolving understanding of these issues is reflected in the design processes of three generations of Ada projects.

  3. What Is a Programming Language?

    ERIC Educational Resources Information Center

    Wold, Allen

    1983-01-01

    Explains what a computer programing language is in general, the differences between machine language, assembler languages, and high-level languages, and the functions of compilers and interpreters. High-level languages mentioned in the article are: BASIC, FORTRAN, COBOL, PILOT, LOGO, LISP, and SMALLTALK. (EAO)

  4. Software engineering and the role of Ada: Executive seminar

    NASA Technical Reports Server (NTRS)

    Freedman, Glenn B.

    1987-01-01

    The objective was to introduce the basic terminology and concepts of software engineering and Ada. The life cycle model is reviewed. The application of the goals and principles of software engineering is applied. An introductory understanding of the features of the Ada language is gained. Topics addressed include: the software crises; the mandate of the Space Station Program; software life cycle model; software engineering; and Ada under the software engineering umbrella.

  5. 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 2, phase 3

    NASA Technical Reports Server (NTRS)

    Cross, James H., II

    1991-01-01

    The main objective is the investigation, formulation, and generation of graphical representations of algorithms, structures, and processes for Ada (GRASP/Ada). The presented task, in which various graphical representations that can be extracted or generated from source code are described and categorized, is focused on reverse engineering. The following subject areas are covered: the system model; control structure diagram generator; object oriented design diagram generator; user interface; and the GRASP library.

  6. Programming Languages for Microprocessor Courseware.

    ERIC Educational Resources Information Center

    Schuyler, James A.

    1979-01-01

    Suggests criteria for choosing a programing language in courseware development. Authoring languages (PILOT, TUTOR, BASIC, and PASCAL) are compared; driver programs' compilers and interpreters are discussed; and the tasks of an authoring system are presented. (RAO)

  7. The programming language EFL

    NASA Technical Reports Server (NTRS)

    Feldman, S. I.

    1978-01-01

    EFL is a comprehensive language designed to make it easy to write portable, understandable programs. It provides a rich set of data types and structures, a convenient operator set, and good control flow forms. The lexical form is easy to type and to read. Whenever possible, EFL uses the same forms that Ratfor does; in this sense EFL may be viewed as a superset of Ratfor. EFL is a well-defined language; this distinguishes it from most FORTRAN preprocessors which only add simple flow of control constructs to FORTRAN. The EFL compiler generates (possibly tailored) Standard FORTRAN as its output. EFL should catch and diagnose all syntax errors.

  8. Language Arts Program Evaluation: 1987.

    ERIC Educational Resources Information Center

    Martinez, Margaret Perea

    In accordance with the Albuquerque (New Mexico) Public Schools' curriculum planning process, a language arts program evaluation was conducted during the 1986-87 school year in order: (1) to provide a comprehensive overview of the language arts program; (2) to determine if the language arts program meets the needs of students and parents; and (3)…

  9. Programmed Instruction and Language Teaching

    ERIC Educational Resources Information Center

    Littlewood, W. T.

    1974-01-01

    This article first takes some characteristics of language and suggests that the nature of language makes it, intrinsically, unsuitable to treatment by a fully programmed course. Second, it takes programming and suggests what aspects of language might be assigned to programmed instruction. (Author/LG)

  10. Ada Compiler Validation Summary Report: Certificate Number: 880318W1. 09043 International Business Machines Corporation IBM Development System for the Ada Language, Version 2.1.0 IBM 4381 under VM/HPO, Host IBM 4381 under MVS/XA, Target

    DTIC Science & Technology

    1988-03-28

    International Business Machines Corporation IBM Development System for the Ada Language, Version 2.1.0 IBM 4381 under VM/HPO, host IBM 4381 under MVS/XA, target...Program Office, AJPO 20. ABSTRACT (Continue on reverse side if necessary and identify by block number) International Business Machines Corporation, IBM...Standard ANSI/MIL-STD-1815A in the compiler listed in this declaration. I declare that International Business Machines Corporation is the owner of record

  11. Scaffold: Quantum Programming Language

    DTIC Science & Technology

    2012-07-24

    it in pointer and addressing errors. • C2QG: A key feature of Scaffold is a Classical code to Quantum Gates sequence (C2QG) mod- ule. C2QG modules...Scaffold: Quantum Programming Language Ali Javadi Abhari, Arvin Faruque, Mohammad Javad Dousti, Lukas Svec, Oana Catu, Amlan Chakrabati, Chen-Fu...endorsements, either expressed or implied, of IARPA, DoI/NBC, or the U.S. Government. 1 Introduction Quantum computing is of significant research

  12. Techniques and implementation of the embedded rule-based expert system using Ada

    NASA Technical Reports Server (NTRS)

    Liberman, Eugene M.; Jones, Robert E.

    1991-01-01

    Ada is becoming an increasingly popular programming language for large Government-funded software projects. Ada with its portability, transportability, and maintainability lends itself well to today's complex programming environment. In addition, expert systems have also assured a growing role in providing human-like reasoning capability and expertise for computer systems. The integration of expert system technology with Ada programming language, specifically a rule-based expert system using an ART-Ada (Automated Reasoning Tool for Ada) system shell is discussed. The NASA Lewis Research Center was chosen as a beta test site for ART-Ada. The test was conducted by implementing the existing Autonomous Power EXpert System (APEX), a Lisp-base power expert system, in ART-Ada. Three components, the rule-based expert system, a graphics user interface, and communications software make up SMART-Ada (Systems fault Management with ART-Ada). The main objective, to conduct a beta test on the ART-Ada rule-based expert system shell, was achieved. The system is operational. New Ada tools will assist in future successful projects. ART-Ada is one such tool and is a viable alternative to the straight Ada code when an application requires a rule-based or knowledge-based approach.

  13. Java Programming Language

    NASA Technical Reports Server (NTRS)

    Shaykhian, Gholam Ali

    2007-01-01

    The Java seminar covers the fundamentals of Java programming language. No prior programming experience is required for participation in the seminar. The first part of the seminar covers introductory concepts in Java programming including data types (integer, character, ..), operators, functions and constants, casts, input, output, control flow, scope, conditional statements, and arrays. Furthermore, introduction to Object-Oriented programming in Java, relationships between classes, using packages, constructors, private data and methods, final instance fields, static fields and methods, and overloading are explained. The second part of the seminar covers extending classes, inheritance hierarchies, polymorphism, dynamic binding, abstract classes, protected access. The seminar conclude by introducing interfaces, properties of interfaces, interfaces and abstract classes, interfaces and cailbacks, basics of event handling, user interface components with swing, applet basics, converting applications to applets, the applet HTML tags and attributes, exceptions and debugging.

  14. Ada/POSIX binding: A focused Ada investigation

    NASA Technical Reports Server (NTRS)

    Legrand, Sue

    1988-01-01

    NASA is seeking an operating system interface definition (OSID) for the Space Station Program (SSP) in order to take advantage of the commercial off-the-shelf (COTS) products available today and the many that are expected in the future. NASA would also like to avoid the reliance on any one source for operating systems, information system, communication system, or instruction set architecture. The use of the Portable Operating System Interface for Computer Environments (POSIX) is examined as a possible solution to this problem. Since Ada is already the language of choice for SSP, the question of an Ada/POSIX binding is addressed. The intent of the binding is to provide access to the POSIX standard operation system (OS) interface and environment, by which application portability of Ada applications will be supported at the source code level. A guiding principle of Ada/POSIX binding development is a clear conformance of the Ada interface with the functional definition of POSIX. The interface is intended to be used by both application developers and system implementors. The objective is to provide a standard that allows a strictly conforming application source program that can be compiled to execute on any conforming implementation. Special emphasis is placed on first providing those functions and facilities that are needed in a wide variety of commercial applications

  15. Selection and Use of General-Purpose Programming Languages--Overview. Volume 1.

    ERIC Educational Resources Information Center

    Cugini, John V.

    This study presents a review of selection factors for the seven major general-purpose programming languages: Ada, BASIC, C, COBOL, FORTRAN, PASCAL, and PL/I. The factors covered include not only the logical operations within each language, but also the advantages and disadvantages stemming from the current computing environment, e.g., software…

  16. 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

    NASA Technical Reports Server (NTRS)

    Cross, James H., II

    1990-01-01

    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.

  17. Survey of Ada (Trademark)-Based PDLs (Program Design Language).

    DTIC Science & Technology

    1985-01-01

    Each of these may comprise a view of auxiliary or tangible referents. This leads to an abstract syntax closely 59 related to simple English grammar and...bqUNIT NuvOEMS 7NJnsBranch Drive 17021 Sioux Lane ’e 1 d __Suite 6(0OWCihr14ug D2P McLean, VA 22102 G tirhrM)28 ’a ~OLLOUG or" Ict NAME AND ADDRESS IZ...Mechanisms for indicating postponed decisions, such as TBD constructs and English narrative. 2) Mechanisms for expressing supplemental design information

  18. Programming Languages, Natural Languages, and Mathematics

    ERIC Educational Resources Information Center

    Naur, Peter

    1975-01-01

    Analogies are drawn between the social aspects of programming and similar aspects of mathematics and natural languages. By analogy with the history of auxiliary languages it is suggested that Fortran and Cobol will remain dominant. (Available from the Association of Computing Machinery, 1133 Avenue of the Americas, New York, NY 10036.) (Author/TL)

  19. Porta-SIMD: An Optimally Portable SIMD Programming Language

    DTIC Science & Technology

    1990-05-01

    AD-A228 676 Porta-SIMD: An Optimally Portable SIMD Programming Language Duke CS-1990-12 UNC CS TR90-021 May 1990 D TIC o E NOV 0 7 1990 F-" CTE D...3.2.4.2 Scan (S) . . . . .. . .. .. .. . .. .. . . . .. .. . . . . 25 3.2.5 Parallel I/ O ................. ... .... ......... 25 3.2.5.1 Input (1...25 3.2.5.2 Output (0) .......................... .. 25 3.2.6 PE to Host I/ O

  20. AN ADA NAMELIST PACKAGE

    NASA Technical Reports Server (NTRS)

    Klumpp, A. R.

    1994-01-01

    The Ada Namelist Package, developed for the Ada programming language, enables a calling program to read and write FORTRAN-style namelist files. A namelist file consists of any number of assignment statements in any order. Features of the Ada Namelist Package are: the handling of any combination of user-defined types; the ability to read vectors, matrices, and slices of vectors and matrices; the handling of mismatches between variables in the namelist file and those in the programmed list of namelist variables; and the ability to avoid searching the entire input file for each variable. The principle user benefits of this software are the following: the ability to write namelist-readable files, the ability to detect most file errors in the initialization phase, a package organization that reduces the number of instantiated units to a few packages rather than to many subprograms, a reduced number of restrictions, and an increased execution speed. The Ada Namelist reads data from an input file into variables declared within a user program. It then writes data from the user program to an output file, printer, or display. The input file contains a sequence of assignment statements in arbitrary order. The output is in namelist-readable form. There is a one-to-one correspondence between namelist I/O statements executed in the user program and variables read or written. Nevertheless, in the input file, mismatches are allowed between assignment statements in the file and the namelist read procedure statements in the user program. The Ada Namelist Package itself is non-generic. However, it has a group of nested generic packages following the nongeneric opening portion. The opening portion declares a variety of useraccessible constants, variables and subprograms. The subprograms are procedures for initializing namelists for reading, reading and writing strings. The subprograms are also functions for analyzing the content of the current dataset and diagnosing errors. Two nested

  1. ART/Ada and CLIPS/Ada

    NASA Technical Reports Server (NTRS)

    Culbert, Chris

    1990-01-01

    Although they have reached a point of commercial viability, expert systems were originally developed in artificial intelligence (AI) research environments. Many of the available tools still work best in such environments. These environments typically utilize special hardware such as LISP machines and relatively unfamiliar languages such as LISP or Prolog. Space Station applications will require deep integration of expert system technology with applications developed in conventional languages, specifically Ada. The ability to apply automation to Space Station functions could be greatly enhanced by widespread availability of state-of-the-art expert system tools based on Ada. Although there have been some efforts to examine the use of Ada for AI applications, there are few, if any, existing products which provide state-of-the-art AI capabilities in an Ada tool. The goal of the ART/Ada Design Project is to conduct research into the implementation in Ada of state-of-the-art hybrid expert systems building tools (ESBT's). This project takes the following approach: using the existing design of the ART-IM ESBT as a starting point, analyze the impact of the Ada language and Ada development methodologies on that design; redesign the system in Ada; and analyze its performance. The research project will attempt to achieve a comprehensive understanding of the potential for embedding expert systems in Ada systems for eventual application in future Space Station Freedom projects. During Phase 1 of the project, initial requirements analysis, design, and implementation of the kernel subset of ART-IM functionality was completed. During Phase 2, the effort has been focused on the implementation and performance analysis of several versions with increasing functionality. Since production quality ART/Ada tools will not be available for a considerable time, and additional subtask of this project will be the completion of an Ada version of the CLIPS expert system shell developed by NASA

  2. Compiling knowledge-based systems specified in KEE to Ada

    NASA Technical Reports Server (NTRS)

    Filman, Robert E.; Feldman, Roy D.

    1991-01-01

    The first year of the PrKAda project is recounted. The primary goal was to develop a system for delivering Artificial Intelligence applications developed in the ProKappa system in a pure-Ada environment. The following areas are discussed: the ProKappa core and ProTalk programming language; the current status of the implementation; the limitations and restrictions of the current system; and the development of Ada-language message handlers in the ProKappa environment.

  3. Transmitter data collection using Ada

    NASA Technical Reports Server (NTRS)

    Conroy, B. L.

    1988-01-01

    A data collection system installed on the 400 kilowatt X-band transmitter of the Goldstone Solar System Radar is described. The data collection system is built around the off-the-shelf IEEE 488 instrumentation, linked with fiber optics, controlled by an inexpensive computer, and uses software written in the Ada language. The speed and accuracy of the system is discussed, along with programming techniques used for both data collection and reduction.

  4. Ada Compiler Validation Summary Report: Certificate Number: 890919W1. 10163 R. R. Software, Inc., Integrada, Version 3.2 Zenith Z-386/25 under Interactive Unix 2.1

    DTIC Science & Technology

    1989-09-19

    Programming language, Ada Compiler Validation Summary Rep:rt, Ada Cormpiler Validation Capability, ACVC, Validation Testing, Ada Validation Office, AVO , Ada...Joint Program Office and administered by the Ada Validation Organization ( AVO ). On-site testing was completed 19 September 1989 at Madison WI. 1.2...USE OF THIS VALIDATION SUMMARY REPORT Consistent with the national laws of the originating country, the AVO may make full and free public disclosure of

  5. An Elementary Language Culture Program.

    ERIC Educational Resources Information Center

    Stones, Valerie

    A five-year course sequence focusing on the relationship of language and culture in world history is described. The program, beginning in grade 3, prepares students for later study of foreign and classical languages, develops English language skills, and cultivates general cultural interest. At the first level, students are introduced to some…

  6. Parallel Ada benchmarks for the SVMS

    NASA Technical Reports Server (NTRS)

    Collard, Philippe E.

    1990-01-01

    The use of parallel processing paradigm to design and develop faster and more reliable computers appear to clearly mark the future of information processing. NASA started the development of such an architecture: the Spaceborne VHSIC Multi-processor System (SVMS). Ada will be one of the languages used to program the SVMS. One of the unique characteristics of Ada is that it supports parallel processing at the language level through the tasking constructs. It is important for the SVMS project team to assess how efficiently the SVMS architecture will be implemented, as well as how efficiently Ada environment will be ported to the SVMS. AUTOCLASS II, a Bayesian classifier written in Common Lisp, was selected as one of the benchmarks for SVMS configurations. The purpose of the R and D effort was to provide the SVMS project team with the version of AUTOCLASS II, written in Ada, that would make use of Ada tasking constructs as much as possible so as to constitute a suitable benchmark. Additionally, a set of programs was developed that would measure Ada tasking efficiency on parallel architectures as well as determine the critical parameters influencing tasking efficiency. All this was designed to provide the SVMS project team with a set of suitable tools in the development of the SVMS architecture.

  7. Ada Compiler Validation Summary Report. Certificate Number: 880715S1. 09153. InterACT Corporation, InterACT Ada 1750A Compiler System, Release 3.0 VAX 11/785 Host, Fairchild F9450/1750A Target

    DTIC Science & Technology

    1988-07-15

    Programming language, Ada Compiler Validation Summary Report, Ada Compiler Validation Capability, ACVC, Validation Testing, Ada Validation Office, AVO ...the Ada Validation Organization ( AVO ). On-site testing was completed on 16 July 1988 at InterACT Corporation, New York, New York. 1.2 USE OF TIS...VAL1ITION SUMZMY REPOFG Consistent with the national laws of the originating country, the AVO may make full and free public disclosure of this report. In

  8. Integrating automated structured analysis and design with Ada programming support environments

    NASA Technical Reports Server (NTRS)

    Hecht, Alan; Simmons, Andy

    1986-01-01

    Ada Programming Support Environments (APSE) include many powerful tools that address the implementation of Ada code. These tools do not address the entire software development process. Structured analysis is a methodology that addresses the creation of complete and accurate system specifications. Structured design takes a specification and derives a plan to decompose the system subcomponents, and provides heuristics to optimize the software design to minimize errors and maintenance. It can also produce the creation of useable modules. Studies have shown that most software errors result from poor system specifications, and that these errors also become more expensive to fix as the development process continues. Structured analysis and design help to uncover error in the early stages of development. The APSE tools help to insure that the code produced is correct, and aid in finding obscure coding errors. However, they do not have the capability to detect errors in specifications or to detect poor designs. An automated system for structured analysis and design TEAMWORK, which can be integrated with an APSE to support software systems development from specification through implementation is described. These tools completement each other to help developers improve quality and productivity, as well as to reduce development and maintenance costs. Complete system documentation and reusable code also resultss from the use of these tools. Integrating an APSE with automated tools for structured analysis and design provide capabilities and advantages beyond those realized with any of these systems used by themselves.

  9. Programming languages for synthetic biology.

    PubMed

    Umesh, P; Naveen, F; Rao, Chanchala Uma Maheswara; Nair, Achuthsankar S

    2010-12-01

    In the backdrop of accelerated efforts for creating synthetic organisms, the nature and scope of an ideal programming language for scripting synthetic organism in-silico has been receiving increasing attention. A few programming languages for synthetic biology capable of defining, constructing, networking, editing and delivering genome scale models of cellular processes have been recently attempted. All these represent important points in a spectrum of possibilities. This paper introduces Kera, a state of the art programming language for synthetic biology which is arguably ahead of similar languages or tools such as GEC, Antimony and GenoCAD. Kera is a full-fledged object oriented programming language which is tempered by biopart rule library named Samhita which captures the knowledge regarding the interaction of genome components and catalytic molecules. Prominent feature of the language are demonstrated through a toy example and the road map for the future development of Kera is also presented.

  10. Developing the Oral Language Program.

    ERIC Educational Resources Information Center

    Olivero, James L.

    The Oral Language Program developed by the Southwestern Cooperative Educational Laboratory is intended to disseminate and implement strategies and materials which will improve the teaching of language skills to preschool and primary children with little or no facility in English. The first version of the program, known as Mark I, did not include…

  11. Study of the Alsys implementation of the Catalogue of Interface Features and Options for the Ada language for 80386 Unix

    NASA Technical Reports Server (NTRS)

    Gibson, James S.; Barnes, Michael J.; Ostermiller, Daniel L.

    1993-01-01

    A set of programs was written to test the functionality and performance of the Alsys Ada implementation of the Catalogue of Interface Features and Options (CIFO), a set of optional Ada packages for real-time applications. No problems were found with the task id, preemption control, or shared-data packages. Minor problems were found with the dispatching control, dynamic priority, events, non-waiting entry call, semaphore, and scheduling packages. The Alsys implementation is derived mostly from Release 2 of the CIFO standard, but includes some of the features of Release 3 and some modifications unique to Alsys. Performance measurements show that the semaphore and shared-data features are an order-of-magnitude faster than the same mechanisms using an Ada rendezvous. The non-waiting entry call is slightly faster than a standard rendezvous. The existence of errors in the implementation, the incompleteness of the documentation from the published standard impair the usefulness of this implementation. Despite those short-comings, the Alsys CIFO implementation might be of value in the development of real-time applications.

  12. CLIPS/Ada: An Ada-based tool for building expert systems

    NASA Technical Reports Server (NTRS)

    White, W. A.

    1990-01-01

    Clips/Ada is a production system language and a development environment. It is functionally equivalent to the CLIPS tool. CLIPS/Ada was developed in order to provide a means of incorporating expert system technology into projects where the use of the Ada language had been mandated. A secondary purpose was to glean information about the Ada language and its compilers. Specifically, whether or not the language and compilers were mature enough to support AI applications. The CLIPS/Ada tool is coded entirely in Ada and is designed to be used by Ada systems that require expert reasoning.

  13. Procedures and tools for building large Ada systems

    NASA Technical Reports Server (NTRS)

    Hyde, Ben

    1986-01-01

    Some of the problems unique to building a very large Ada system are addressed. This is done through examples from experience. In the winter of 1985 and 1986, Intermetrics bootstrapped the Ada compiler, which was being built over the last few years. This system consists of about one million lines of full Ada. Over the last few years a number of procedures and tools were adopted for managing the life cycle of each of the many parts of an Ada system. Many of these procedures are well known to most system builders: release management, quality assurance testing; and source file revision control. Others are unique to working in an Ada language environment; i.e., recompilation management, Ada program library management, and managing multiple implementations. First a look is taken at how a large Ada system is broken down into pieces. The Ada definition leaves unspecified a number of issues that the system builder must address: versions, subsystems, multiple implementations, and synchronization of branched development paths. Having introduced how the Ada systems are decomposed, a look is taken, via a series of examples, at how the life cylces of those parts is managed. The procedures and tools used to manage the evolution of the system are examined. It is hoped that other Ada system builders can build upon the experience of the last few years.

  14. Programming languages for circuit design.

    PubMed

    Pedersen, Michael; Yordanov, Boyan

    2015-01-01

    This chapter provides an overview of a programming language for Genetic Engineering of Cells (GEC). A GEC program specifies a genetic circuit at a high level of abstraction through constraints on otherwise unspecified DNA parts. The GEC compiler then selects parts which satisfy the constraints from a given parts database. GEC further provides more conventional programming language constructs for abstraction, e.g., through modularity. The GEC language and compiler is available through a Web tool which also provides functionality, e.g., for simulation of designed circuits.

  15. Program of Studies. Foreign Languages.

    ERIC Educational Resources Information Center

    Fairfax County Schools, VA.

    This curriculum guide describes the instructional program in foreign languages to be implemented in Fairfax County Public Schools, kindergarten through Grade 12. Section A describes the program and general goals, curriculum, and course content at levels 1-5. A general introduction to the Greek and Latin programs is also included. Introductions to…

  16. Benchmarks of programming languages for special purposes in the space station

    NASA Technical Reports Server (NTRS)

    Knoebel, Arthur

    1986-01-01

    Although Ada is likely to be chosen as the principal programming language for the Space Station, certain needs, such as expert systems and robotics, may be better developed in special languages. The languages, LISP and Prolog, are studied and some benchmarks derived. The mathematical foundations for these languages are reviewed. Likely areas of the space station are sought out where automation and robotics might be applicable. Benchmarks are designed which are functional, mathematical, relational, and expert in nature. The coding will depend on the particular versions of the languages which become available for testing.

  17. Syntactic adaptability of programming languages

    SciTech Connect

    Gusev, V.V.

    1994-11-01

    Development of programming languages has to contend with a variety of conflicting criteria. Moreover, as in any other creative field, it is not always possible to arrive at a clear formulation of these criteria. Nevertheless, one of the main criteria is problem orientation, be it numerical algorithms, database management, simulation of hydraulic systems, or other applications. Idealizing, we can say that the programming language is based on a model of the application domain. This model may vary in its scope, covering some aspects of the application domain and ignoring others. Thus, for one application domain we may have a whole spectrum of models and correspondingly a whole spectrum of languages. Some are special-purpose languages designed for a specific class of problems, others are more general. Both special-purpose and general-purpose languages have definite advantages and find their own clientele, who are willing to ignore their shortcomings.

  18. Toward real-time performance benchmarks for Ada

    NASA Technical Reports Server (NTRS)

    Clapp, Russell M.; Duchesneau, Louis; Volz, Richard A.; Mudge, Trevor N.; Schultze, Timothy

    1986-01-01

    The issue of real-time performance measurements for the Ada programming language through the use of benchmarks is addressed. First, the Ada notion of time is examined and a set of basic measurement techniques are developed. Then a set of Ada language features believed to be important for real-time performance are presented and specific measurement methods discussed. In addition, other important time related features which are not explicitly part of the language but are part of the run-time related features which are not explicitly part of the language but are part of the run-time system are also identified and measurement techniques developed. The measurement techniques are applied to the language and run-time system features and the results are presented.

  19. Ada (Trade Name) Bibliography. Volume 1.

    DTIC Science & Technology

    1983-05-01

    if dtmfn fro Roe( MENTARY NOTESBM F1J LL COp~y IS. KEY WORDS fCoolnan vo usoo aid* it necesary and idenify by bloctmonbo architecture, programming...AINST LANAN RD NAY 83 ND9S-8-C-936 UNCLASSIFIED F/6 12/5 ML -4.4 ’-4-4----" ’°p..l i . d N N L. 131 t ’ ll /II~ Ada Bibliography Volume I 95 𔃾- This...Structure Editor(GLSE) and the meta-tool called PEGASYS . GLSE operates • on a class of languages that can be described with an abstract syntax (Ada and

  20. The implementation and use of Ada on distributed systems with reliability requirements

    NASA Technical Reports Server (NTRS)

    Reynolds, P. F.; Knight, J. C.; Urquhart, J. I. A.

    1983-01-01

    The issues involved in the use of the programming language Ada on distributed systems are discussed. The effects of Ada programs on hardware failures such as loss of a processor are emphasized. It is shown that many Ada language elements are not well suited to this environment. Processor failure can easily lead to difficulties on those processors which remain. As an example, the calling task in a rendezvous may be suspended forever if the processor executing the serving task fails. A mechanism for detecting failure is proposed and changes to the Ada run time support system are suggested which avoid most of the difficulties. Ada program structures are defined which allow programs to reconfigure and continue to provide service following processor failure.

  1. Formal methods in the design of Ada 1995

    NASA Technical Reports Server (NTRS)

    Guaspari, David

    1995-01-01

    Formal, mathematical methods are most useful when applied early in the design and implementation of a software system--that, at least, is the familiar refrain. I will report on a modest effort to apply formal methods at the earliest possible stage, namely, in the design of the Ada 95 programming language itself. This talk is an 'experience report' that provides brief case studies illustrating the kinds of problems we worked on, how we approached them, and the extent (if any) to which the results proved useful. It also derives some lessons and suggestions for those undertaking future projects of this kind. Ada 95 is the first revision of the standard for the Ada programming language. The revision began in 1988, when the Ada Joint Programming Office first asked the Ada Board to recommend a plan for revising the Ada standard. The first step in the revision was to solicit criticisms of Ada 83. A set of requirements for the new language standard, based on those criticisms, was published in 1990. A small design team, the Mapping Revision Team (MRT), became exclusively responsible for revising the language standard to satisfy those requirements. The MRT, from Intermetrics, is led by S. Tucker Taft. The work of the MRT was regularly subject to independent review and criticism by a committee of distinguished Reviewers and by several advisory teams--for example, the two User/Implementor teams, each consisting of an industrial user (attempting to make significant use of the new language on a realistic application) and a compiler vendor (undertaking, experimentally, to modify its current implementation in order to provide the necessary new features). One novel decision established the Language Precision Team (LPT), which investigated language proposals from a mathematical point of view. The LPT applied formal mathematical analysis to help improve the design of Ada 95 (e.g., by clarifying the language proposals) and to help promote its acceptance (e.g., by identifying a

  2. Solving the problem of overloading for the CMSL programming languages

    SciTech Connect

    Khalil, M.A.M.

    1989-01-01

    One of the most important, not yet achieved, goals in the computer science field is to design a language that approximates natural languages. In any natural language the same word can have more than one meaning. The distinction between the different meanings of a word comes from its context of use in different sentences. This is the problem in the widest view, but some of the prominent computer programming languages have adopted the concept of overloading, each in different way. Ada allows operator, enumeration, and subprogram name overloading but it does not allow variable name overloading within the same scope. Modula and Pascal allow a restricted form of overloading on literals and operators but then do not allow overloading for subprogram and variable names. Modcap allows operator and variable name overloading, but it does not allow subprogram name overloading. C allows a restricted form of overloading on operators, but it does not allow subprogram, variable, and literal name overloading. Fortran allows a restricted form of overloading on operators, but it does not allow subprogram, variable, and literal name overloading. Smalltalk allows subprogram (method) name overloading as far as they belong to different classes, but it does not allow literal or variable name overloading. CMSL (Contour Model Source Language) is a new language which has some novel semantic properties. The author develops an algorithm which solves the problem of overloading in the CMSL language, and which could be exploited by other languages.

  3. Ada Compiler Validation Summary Report. Certificate Number: 891129W1. 10198 International Business Machines Corporation, the IBM Development System for the Ada Language AIX/RT Follow-on, Version 1.1 IBM RT Follow-on. Completion of On-Site Testing: 29 November 1989

    DTIC Science & Technology

    1989-11-29

    nvmbe’j International Business Machines Corporation Wright-Patterson AFB, The IBM Development System for the Ada Language AIX/RT follow-on, Version 1.1...Certificate Number: 891129W1.10198 International Business Machines Corporation The IBM Development System for the Ada Language AIX/RT Follow-on, Version 1.1 IBM...scripts provided by International Business Machines Corporation and reviewed by the validation team. The compiler was tested using all the following

  4. A proposed classification scheme for Ada-based software products

    NASA Technical Reports Server (NTRS)

    Cernosek, Gary J.

    1986-01-01

    As the requirements for producing software in the Ada language become a reality for projects such as the Space Station, a great amount of Ada-based program code will begin to emerge. Recognizing the potential for varying levels of quality to result in Ada programs, what is needed is a classification scheme that describes the quality of a software product whose source code exists in Ada form. A 5-level classification scheme is proposed that attempts to decompose this potentially broad spectrum of quality which Ada programs may possess. The number of classes and their corresponding names are not as important as the mere fact that there needs to be some set of criteria from which to evaluate programs existing in Ada. An exact criteria for each class is not presented, nor are any detailed suggestions of how to effectively implement this quality assessment. The idea of Ada-based software classification is introduced and a set of requirements from which to base further research and development is suggested.

  5. Ada Compiler Validation Summary Report: Certificate Number: 890420W1. 10074 International Business Machines Corporation, IBM Development System for the Ada Language MVS Ada Compiler, Version 2.1.1 IBM 4381 (Host and Target)

    DTIC Science & Technology

    1989-04-20

    20. ARS1AAI . (Contimne on reverse side olnetessary *rwenPtif) by bfoci nur~be’) International Business Machines Corporation, IBM Development System...Number: AVF-VSR-261.0789 89-01-26-TEL Ada COMPILER VALIDATION SUMMARY REPORT: Certificate Number: 890420W1.10074 International Business Machines...computer. The compiler was tested using command scripts provided by International Business Machines Corporation and reviewed by the validation team. The

  6. Can space station software be specified through Ada?

    NASA Technical Reports Server (NTRS)

    Knoebel, Arthur

    1987-01-01

    Programming of the space station is to be done in the Ada programming language. A breadboard of selected parts of the work package for Marshall Space Flight Center is to be built, and programming this small part will be a good testing ground for Ada. One coding of the upper levels of the design brings out several problems with top-down design when it is to be carried out strictly within the language. Ada is evaluated on the basis of this experience, and the points raised are compared with other experience as related in the literature. Rapid prototyping is another approach to the initial programming; several different types of prototypes are discussed, and compared with the art of specification. Some solutions are proposed and a number of recommendations presented.

  7. "Language for Writing": Program Evaluation

    ERIC Educational Resources Information Center

    Martella, Ronald C.; Waldron-Soler, Kathleen M.

    2005-01-01

    This evaluation investigated the effects of the "Language for Writing" program. Ten classrooms were involved including 201 students at the beginning of the project. Posttest scores were obtained for 126 students. This evaluation was conducted over 2 years. Evaluation I was conducted over a 5-month period from January 2003 to May 2003. Evaluation…

  8. The implementation and use of Ada on distributed systems with high reliability requirements

    NASA Technical Reports Server (NTRS)

    Knight, J. C.

    1984-01-01

    The use and implementation of Ada in distributed environments in which reliability is the primary concern is investigated. Emphasis is placed on the possibility that a distributed system may be programmed entirely in ADA so that the individual tasks of the system are unconcerned with which processors they are executing on, and that failures may occur in the software or underlying hardware. The primary activities are: (1) Continued development and testing of our fault-tolerant Ada testbed; (2) consideration of desirable language changes to allow Ada to provide useful semantics for failure; (3) analysis of the inadequacies of existing software fault tolerance strategies.

  9. Ada Compiler Validation Summary Report: Alsys, AlsyCOMP-010, Version 4. 32, MicroVAX II (Host and Target), 891208A1.10229

    DTIC Science & Technology

    1989-12-08

    ANSI/MIL- STD -1815A. This report explains all technical terms used within it and thoroughly reports the results of testing this compiler using the Ada...the Ada Programming Language, ANSI/MIL- STD -1815A, February 1983, and ISO 8652-1987. 2. Ada Compiler Validation Procedures, Ada Joint Program Office, May...Standard. These comments are given a unique identification number having the form AI-ddddd. Ada Standard ANSI/MIL- STD -1815A, February 1983 and ISO 8652

  10. Multi-Language Programs. Beginnings Workshop.

    ERIC Educational Resources Information Center

    D'Onofrio-Papadaki, Evienia; Matsalia, Joan; Bowie, Paula; Wardle, Francis; Bruno, Holly Elissa

    2003-01-01

    Presents five articles on multi-language programs in early childhood education: "Bilingualism/Multilingualism and Language Acquisition Theories" (Evienia Papadaki-D'Onofrio); "Training and Supporting Caregivers Who Speak a Language Different from Those in Their Community" (Joan Matsalia and Paula Bowie); "Language Immersion Programs for Young…

  11. A survey of functional programming language principles

    NASA Technical Reports Server (NTRS)

    Holloway, C. M.

    1986-01-01

    Research in the area of functional programming languages has intensified in the 8 years since John Backus' Turing Award Lecture on the topic was published. The purpose of this paper is to present a survey of the ideas of functional programming languages. The paper assumes the reader is comfortable with mathematics and has knowledge of the basic principles of traditional programming languages, but does not assume any prior knowledge of the ideas of functional languages. A simple functional language is defined and used to illustrate the basic ideas. Topics discussed include the reasons for developing functional languages, methods of expressing concurrency, the algebra of functional programming languages, program transformation techniques, and implementations of functional languages. Existing functional languages are also mentioned. The paper concludes with the author's opinions as to the future of functional languages. An annotated bibliography on the subject is also included.

  12. The Foreign Language Requirement: An Alternative Program.

    ERIC Educational Resources Information Center

    Demuth, Katherine A.; Smith, Nathaniel B.

    1987-01-01

    A new program at Boston University that identifies students who would have great difficulty fulfilling their foreign language requirement is described. This program offers an alternative sequence of courses designed to help these students achieve foreign language learning success. (LMO)

  13. Ada Compiler Validation Summary Report: Certificate Number: 890412I1. 10082 TARTAN Laboratories Incorporated. TARTAN Ada Sun/Sun Version 2.1 Sun 3/60 Host and Target

    DTIC Science & Technology

    1989-04-12

    identification number having the form AI-ddddd. Ada Standard ANSI/NIL-STD-1815A, February 1983 and ISO 8652-1987. Applicant The agency requesting...to Military Standard. Ada Programming Language. ANSI/MIL-STD-1815A (American National Standards Institute, Inc., February 17. 1983 ). 5.1. PRAGMAS...file with multiple compilation units may result in more thanone of each of these files. Their names are derived from the Ada name of the compilation

  14. Compiling knowledge-based systems from KEE to Ada

    NASA Technical Reports Server (NTRS)

    Filman, Robert E.; Bock, Conrad; Feldman, Roy

    1990-01-01

    The dominant technology for developing AI applications is to work in a multi-mechanism, integrated, knowledge-based system (KBS) development environment. Unfortunately, systems developed in such environments are inappropriate for delivering many applications - most importantly, they carry the baggage of the entire Lisp environment and are not written in conventional languages. One resolution of this problem would be to compile applications from complex environments to conventional languages. Here the first efforts to develop a system for compiling KBS developed in KEE to Ada (trademark). This system is called KATYDID, for KEE/Ada Translation Yields Development Into Delivery. KATYDID includes early prototypes of a run-time KEE core (object-structure) library module for Ada, and translation mechanisms for knowledge structures, rules, and Lisp code to Ada. Using these tools, part of a simple expert system was compiled (not quite automatically) to run in a purely Ada environment. This experience has given us various insights on Ada as an artificial intelligence programming language, potential solutions of some of the engineering difficulties encountered in early work, and inspiration on future system development.

  15. ADA Test and Evaluation

    DTIC Science & Technology

    1981-02-06

    language. LIR. 290; 13.9.1P There should be, a standard (unisafe) way of building an Ada array from a block of storaga pasmed Intoý an Ada routine...66 pqs. (TRW - USAF) 607 go pJs. (ESD/TOIT - USAF) 008 66 pgs. (AFCCPC - USAF) 669 66 pgs. (Hq.SAC - USAF) 616 66 pgs. ( Aerospace Corp. - USAF) 611...Oer.MOD/!AIO) Type CHARACTER 0611- 01 pgs. (Gor.MOD/IAUG) Record Representation* 091- 03 Pgs. Nagle(Ford Aerospace ) Integers - 92 - 66S- 61 pgs

  16. Structuring the formal definition of Ada

    NASA Technical Reports Server (NTRS)

    Hansen, Kurt W.

    1986-01-01

    The structure of the formal definition of Ada are described. At present, a difficult subset of Ada has been defined and the experience gained so far by this work is reported. Currently, the work continues towards the formal definition of the Ada language.

  17. Ada compiler validation summary report. Certificate number: 891116W1. 10191. Intel Corporation, IPSC/2 Ada, Release 1. 1, IPSC/2 parallel supercomputer, system resource manager host and IPSC/2 parallel supercomputer, CX-1 nodes target

    SciTech Connect

    Not Available

    1989-11-16

    This VSR documents the results of the validation testing performed on an Ada compiler. Testing was carried out for the following purposes: To attempt to identify any language constructs supported by the compiler that do not conform to the Ada Standard; To attempt to identify any language constructs not supported by the compiler but required by the Ada Standard; and To determine that the implementation-dependent behavior is allowed by the Ada Standard. Testing of this compiler was conducted by SofTech, Inc. under the direction of he AVF according to procedures established by the Ada Joint Program Office and administered by the Ada Validation Organization (AVO). On-side testing was completed 16 November 1989 at Aloha OR.

  18. Interesting viewpoints to those who will put Ada into practice

    NASA Technical Reports Server (NTRS)

    Carlsson, Arne

    1986-01-01

    Ada will most probably be used as the programming language for computers in the NASA Space Station. It is reasonable to suppose that Ada will be used for at least embedded computers, because the high software costs for these embedded computers were the reason why Ada activities were initiated about ten years ago. The on-board computers are designed for use in space applications, where maintenance by man is impossible. All manipulation of such computers has to be performed in an autonomous way or remote with commands from the ground. In a manned Space Station some maintenance work can be performed by service people on board, but there are still a lot of applications, which require autonomous computers, for example, vital Space Station functions and unmanned orbital transfer vehicles. Those aspect which have come out of the analysis of Ada characteristics together with the experience of requirements for embedded on-board computers in space applications are examined.

  19. Ada software productivity prototypes: A case study

    NASA Technical Reports Server (NTRS)

    Hihn, Jairus M.; Habib-Agahi, Hamid; Malhotra, Shan

    1988-01-01

    A case study of the impact of Ada on a Command and Control project completed at the Jet Propulsion Laboratory (JPL) is given. The data for this study was collected as part of a general survey of software costs and productivity at JPL and other NASA sites. The task analyzed is a successful example of the use of rapid prototyping as applied to command and control for the U.S. Air Force and provides the U.S. Air Force Military Airlift Command with the ability to track aircraft, air crews and payloads worldwide. The task consists of a replicated database at several globally distributed sites. The local databases at each site can be updated within seconds after changes are entered at any one site. The system must be able to handle up to 400,000 activities per day. There are currently seven sites, each with a local area network of computers and a variety of user displays; the local area networks are tied together into a single wide area network. Using data obtained for eight modules, totaling approximately 500,000 source lines of code, researchers analyze the differences in productivities between subtasks. Factors considered are percentage of Ada used in coding, years of programmer experience, and the use of Ada tools and modern programming practices. The principle findings are the following. Productivity is very sensitive to programmer experience. The use of Ada software tools and the use of modern programming practices are important; without such use Ada is just a large complex language which can cause productivity to decrease. The impact of Ada on development effort phases is consistent with earlier reports at the project level but not at the module level.

  20. [Union-Endicott Schools: Foreign Language Program.

    ERIC Educational Resources Information Center

    O'Connell, Raymond S.

    This brochure describing language programs to both parents and prospective high school language students in Endicott, New York focuses on developing student motivation and interest. Topics discussed include: (1) reasons for studying foreign language, (2) stages of foreign language learning, (3) course offerings, (4) homework, and (5) examinations.…

  1. An IBM 370 assembly language program verifier

    NASA Technical Reports Server (NTRS)

    Maurer, W. D.

    1977-01-01

    The paper describes a program written in SNOBOL which verifies the correctness of programs written in assembly language for the IBM 360 and 370 series of computers. The motivation for using assembly language as a source language for a program verifier was the realization that many errors in programs are caused by misunderstanding or ignorance of the characteristics of specific computers. The proof of correctness of a program written in assembly language must take these characteristics into account. The program has been compiled and is currently running at the Center for Academic and Administrative Computing of The George Washington University.

  2. The English Language in the School Program.

    ERIC Educational Resources Information Center

    Hogan, Robert F., Ed.

    The 22 papers in this publication, drawn from the 1963 and 1964 NCTE Spring Institutes on Language, Linguistics, and School Programs, concentrate on the relevance of recent scholarship for English language programs in elementary and secondary schools. Language theory is the focus of articles by Harold B. Allen, Sumner Ives, Albert H. Marckwardt,…

  3. United States Air Force Program Office Guide to Ada. Edition 3

    DTIC Science & Technology

    1987-12-31

    workstation, and a version should b< available in the fall of 1989. The contractor is Odyssey Research. The point of contac t is: Don Elefante RADC/COTC...Griffiss Air Force Base, NY 13441 (315) 330-3241 AUTOVON 587-3241 elefante @RADC-MULTICS.ARPA 17.5.3 Verifiable Subset Definition Computational...ADA20.ISI.EDU PolyAnna Don Elefante RADC/COTC Griffiss Air Force Base, NY 13441 (315) 330-3241 AUTOVON 587-3241 elefante @RADC-MULTICS.ARPA

  4. Availability of Ada and C++ Compilers, Tools, Education and Training

    DTIC Science & Technology

    1991-07-01

    assembler languages of various sorts, C, and Fortran languages. Several provide an interface to Pascal and one to Cobol. The ability to import and export...program that runs on a different target platform. As an example, a Fortran or Pascal compiler running on a DEC VAX computer may produce output which...Ada, Pascal , Fortran, C++, PLI, and Jovial. The entire source code is not necessarily generated and some tools provide user- customizable templates that

  5. Toward the efficient implementation of expert systems in Ada

    NASA Technical Reports Server (NTRS)

    Lee, S. Daniel

    1990-01-01

    Here, the authors describe Ada language issues encountered during the development of ART-Ada, an expert system tool for Ada deployment. ART-Ada is being used to implement several expert system applications for the Space Station Freedom and the U.S. Air Force. Additional information is given on dynamic memory allocation.

  6. Wave equation modelling using Julia programming language

    NASA Astrophysics Data System (ADS)

    Kim, Ahreum; Ryu, Donghyun; Ha, Wansoo

    2016-04-01

    Julia is a young high-performance dynamic programming language for scientific computations. It provides an extensive mathematical function library, a clean syntax and its own parallel execution model. We developed 2d wave equation modeling programs using Julia and C programming languages and compared their performance. We used the same modeling algorithm for the two modeling programs. We used Julia version 0.3.9 in this comparison. We declared data type of function arguments and used inbounds macro in the Julia program. Numerical results showed that the C programs compiled with Intel and GNU compilers were faster than Julia program, about 18% and 7%, respectively. Taking the simplicity of dynamic programming language into consideration, Julia can be a novel alternative of existing statically typed programming languages.

  7. Transforming AdaPT to Ada9x

    NASA Technical Reports Server (NTRS)

    Goldsack, Stephen J.; Holzbach-Valero, A. A.; Volz, Richard A.; Waldrop, Raymond S.

    1993-01-01

    How the concepts of AdaPT can be transformed into programs using the object oriented features proposed in the preliminary mapping for Ada9x are described. Emphasizing, as they do, the importance of data types as units of program, these features match well with the development of partitions as translations into Abstract Data Types which was exploited in the Ada83 translation covered in report R3. By providing a form of polymorphic type, the Ada83 version also gives support for the conformant partition idea which could be achieved in Ada83 only by using UNCHECKED CONVERSIONS. It is assumed that the reader understands AdaPT itself, but the translation into Ada83 is briefly reviewed, by applying it to a small example. This is then used to show how the same translation would be achieved in the 9x version. It is important to appreciate that the distribution features which are proposed in current mapping are not used or discussed in any detail, as those are not well matched to the AdaPT approach. Critical evaluation and comparison of these approaches is given in a separate report.

  8. Research Issues and Language Program Direction. Issues in Language Program Direction: A Series of Annual Volumes.

    ERIC Educational Resources Information Center

    Heilenman, L. Kathy, Ed.

    This collection of papers is divided into two parts. After "Introduction" (L. Kathy Heilenman), Part 1, "Research and Language Program Directors: The Relationship," includes "Research Domains and Language Program Direction" (Bill VanPatten); "Language Program Direction and the Modernist Agenda" (Celeste…

  9. Structured Design Language for Computer Programs

    NASA Technical Reports Server (NTRS)

    Pace, Walter H., Jr.

    1986-01-01

    Box language used at all stages of program development. Developed to provide improved productivity in designing, coding, and maintaining computer programs. BOX system written in FORTRAN 77 for batch execution.

  10. Language constructs for modular parallel programs

    SciTech Connect

    Foster, I.

    1996-03-01

    We describe programming language constructs that facilitate the application of modular design techniques in parallel programming. These constructs allow us to isolate resource management and processor scheduling decisions from the specification of individual modules, which can themselves encapsulate design decisions concerned with concurrence, communication, process mapping, and data distribution. This approach permits development of libraries of reusable parallel program components and the reuse of these components in different contexts. In particular, alternative mapping strategies can be explored without modifying other aspects of program logic. We describe how these constructs are incorporated in two practical parallel programming languages, PCN and Fortran M. Compilers have been developed for both languages, allowing experimentation in substantial applications.

  11. Laboratory automation in a functional programming language.

    PubMed

    Runciman, Colin; Clare, Amanda; Harkness, Rob

    2014-12-01

    After some years of use in academic and research settings, functional languages are starting to enter the mainstream as an alternative to more conventional programming languages. This article explores one way to use Haskell, a functional programming language, in the development of control programs for laboratory automation systems. We give code for an example system, discuss some programming concepts that we need for this example, and demonstrate how the use of functional programming allows us to express and verify properties of the resulting code.

  12. Computer Languages: A Practical Guide to the Chief Programming Languages.

    ERIC Educational Resources Information Center

    Sanderson, Peter C.

    All the most commonly-used high-level computer languages are discussed in this book. An introductory discussion provides an overview of the basic components of a digital computer, the general planning of a computer programing problem, and the various types of computer languages. Each chapter is self-contained, emphasizes those features of a…

  13. Software reuse issues affecting AdaNET

    NASA Technical Reports Server (NTRS)

    Mcbride, John G.

    1989-01-01

    The AdaNet program is reviewing its long-term goals and strategies. A significant concern is whether current AdaNet plans adequately address the major strategic issues of software reuse technology. The major reuse issues of providing AdaNet services that should be addressed as part of future AdaNet development are identified and reviewed. Before significant development proceeds, a plan should be developed to resolve the aforementioned issues. This plan should also specify a detailed approach to develop AdaNet. A three phased strategy is recommended. The first phase would consist of requirements analysis and produce an AdaNet system requirements specification. It would consider the requirements of AdaNet in terms of mission needs, commercial realities, and administrative policies affecting development, and the experience of AdaNet and other projects promoting the transfer software engineering technology. Specifically, requirements analysis would be performed to better understand the requirements for AdaNet functions. The second phase would provide a detailed design of the system. The AdaNet should be designed with emphasis on the use of existing technology readily available to the AdaNet program. A number of reuse products are available upon which AdaNet could be based. This would significantly reduce the risk and cost of providing an AdaNet system. Once a design was developed, implementation would proceed in the third phase.

  14. Flight program language requirements. Volume 3: Appendices

    NASA Technical Reports Server (NTRS)

    1972-01-01

    Government-sponsored study and development efforts were directed toward design and implementation of high level programming languages suitable for future aerospace applications. The study centered around an evaluation of the four most pertinent existing aerospace languages. Evaluation criteria were established, and selected kernels from the current Saturn 5 and Skylab flight programs were used as benchmark problems for sample coding. An independent review of the language specifications incorporated anticipated future programming requirements into the evaluation. A set of language requirements was synthesized from these activities.

  15. The comparison and selection of programming languages for high energy physics applications

    SciTech Connect

    White, B.

    1991-06-01

    This paper discusses the issues surrounding the comparison and selection of a programming language to be used in high energy physics software applications. The evaluation method used was specifically devised to address the issues of particular importance to high energy physics (HEP) applications, not just the technical features of the languages considered. The method assumes a knowledge of the requirements of current HEP applications, the data-processing environments expected to support these applications and relevant non-technical issues. The languages evaluated were Ada, C, FORTRAN 77, FORTRAN 99 (formerly 8X), Pascal and PL/1. Particular emphasis is placed upon the past, present and anticipated future role of FORTRAN in HEP software applications. Upon examination of the technical and practical issues, conclusions are reached and some recommendations are made regarding the role of FORTRAN and other programming languages in the current and future development of HEP software. 54 refs.

  16. PILOT: A Programming Language for Beginners.

    ERIC Educational Resources Information Center

    Schnorr, Janice M.

    The presentation describes PILOT (Programmed Inquiry, Learning or Teaching), a special programing language easy for beginners to learn and available for several brands of microcomputers. PILOT is explained to contain substantially fewer commands than most other languages and to be written in an easy to understand manner. Edit commands and their…

  17. Update of GRASP/Ada reverse engineering tools for Ada

    NASA Technical Reports Server (NTRS)

    Cross, James H., II

    1992-01-01

    The GRASP/Ada project (Graphical Representations of Algorithms, Structures, and Processes for Ada) has successfully created and prototyped a new algorithmic level graphical representation of 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, as a result, improve reliability and reduce costs. The emphasis was on the automatic generation of the CSD from Ada PDL or 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 VMS on a VAS 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 using the HP widget toolkit and the X Windows System. In Phase 3, the user interface was extensively reworked using the Athena widget toolkit and X Windows. The prototype was applied successfully to numerous Ada programs ranging in size from several hundred to several thousand lines of source code. Following Phase 3, the prototype was evaluated by software engineering students at Auburn University and then updated with significant enhancements to the user interface including editing capabilities. Version 3.2 of the prototype was prepared for limited distribution to facilitate further evaluation. The current prototype provides the capability for the user to generate CSD's from Ada PDL or source code in a reverse engineering as well as forward engineering mode with a level of flexibility suitable for practical application.

  18. NASA-evolving to Ada: Five-year plan. A plan for implementing recommendations made by the Ada and software management assessment working group

    NASA Technical Reports Server (NTRS)

    1989-01-01

    At their March 1988 meeting, members of the National Aeronautics and Space Administration (NASA) Information Resources Management (IRM) Council expressed concern that NASA may not have the infrastructure necessary to support the use of Ada for major NASA software projects. Members also observed that the agency has no coordinated strategy for applying its experiences with Ada to subsequent projects (Hinners, 27 June 1988). To deal with these problems, the IRM Council chair appointed an intercenter Ada and Software Management Assessment Working Group (ASMAWG). They prepared a report (McGarry et al., March 1989) entitled, 'Ada and Software Management in NASA: Findings and Recommendations'. That report presented a series of recommendations intended to enable NASA to develop better software at lower cost through the use of Ada and other state-of-the-art software engineering technologies. The purpose here is to describe the steps (called objectives) by which this goal may be achieved, to identify the NASA officials or organizations responsible for carrying out the steps, and to define a schedule for doing so. This document sets forth four goals: adopt agency-wide software standards and policies; use Ada as the programming language for all mission software; establish an infrastructure to support software engineering, including the use of Ada, and to leverage the agency's software experience; and build the agency's knowledge base in Ada and software engineering. A schedule for achieving the objectives and goals is given.

  19. Ada Compiler Validation Summary Report: Certificate Number: 891102A1. 10195 Alsys, AlsyCOMP 012, Version 5.1, HP 9000 S 370 Host and Motorola MVME121 (68010) Target

    DTIC Science & Technology

    1989-11-02

    STD -1815A. This report explains all technical terms used within it and thoroughly reports the results of testing this compiler using the Ada Compiler...Language, ANSI/MIL- STD -1815A, February 1983, and ISO 8652-1987. 2. Ada Compiler Validation Procedures and, Ada Joint Program Office, May 1989. 3. Ada...are given a unique identification number having the form AI-ddddd. Ada Standard ANSI/MIL- STD -1815A, February 1983 and ISO 8652-1987. Applicant The

  20. Programming Language Software For Graphics Applications

    NASA Technical Reports Server (NTRS)

    Beckman, Brian C.

    1993-01-01

    New approach reduces repetitive development of features common to different applications. High-level programming language and interactive environment with access to graphical hardware and software created by adding graphical commands and other constructs to standardized, general-purpose programming language, "Scheme". Designed for use in developing other software incorporating interactive computer-graphics capabilities into application programs. Provides alternative to programming entire applications in C or FORTRAN, specifically ameliorating design and implementation of complex control and data structures typifying applications with interactive graphics. Enables experimental programming and rapid development of prototype software, and yields high-level programs serving as executable versions of software-design documentation.

  1. The Role of Language Program Directors in the Articulation of American Sign Language Foreign Language Programs

    ERIC Educational Resources Information Center

    Knigga, Margaret E.

    2012-01-01

    Lange (1988) has defined "articulation" as "the interrelationship and continuity of contents, curriculum, instruction, and evaluation with programs which focus on the progress of student in learning to both comprehend and communicate in a second language" (p. 16-17). It is the continuity of one course to the next without…

  2. A W-Grammar Description for ADA.

    DTIC Science & Technology

    1986-12-01

    Language Reference Manual. In MT opinion, the W- gramars fall short of this goal since they are less readable than BNF for determining Ada’s syntax, and...37 Summary . . . . . . . . . . . . . . .... . 39 V. Conclusion .. . . . . . . . . . .. . . .* . . . . 40 Ada Constructs Not Covered in W- gramar B...library unit. The problem with the Language Reference Manual description is not that BNF is too antiquated for language definition, but that English

  3. ADA interpretative system for image algebra

    NASA Astrophysics Data System (ADS)

    Murillo, Juan J.; Wilson, Joseph N.

    1992-06-01

    An important research problem in image processing is to find appropriate tools to support algorithm development. There have been efforts to build algorithm development support systems for image algebra in several languages, but these systems still have the disadvantage of the time consuming algorithm development style associated with compilation-oriented programming. This paper starts with a description of the Run-Time Support Library (RTSL), which serves as the base for executing programs on both the Image Algebra Ada Translator (IAAT) and Image Algebra Ada Interpreter (IAAI). A presentation on the current status of IAAT and its capabilities is followed by a brief introduction to the utilization of the Image Display Manager (IDM) for image manipulation and analysis. We then discuss in detail the current development stage of IAAI and its relation with RTSL and IDM. The last section describes the design of a syntax-directed graphical user interface for IAAI. We close with an analysis of the current performance of IAAI, and future trends are discussed. Appendix A gives a brief introduction to Image Algebra (IA), and in Appendix B the reader is presented to the Image Algebra Ada (IAA) grammar.

  4. PR and the Language Program.

    ERIC Educational Resources Information Center

    Humbach, Nancy

    The yearly task of the foreign language department is to seek new students and to retain current students by convincing them of the value of foreign language study. Therefore, a continuing public relations campaign directed at incoming and continuing students, parents, and administrators is of vital importance. A subtle change in methodology to…

  5. Starting a New Language Education Program

    ERIC Educational Resources Information Center

    Harris, Kathy

    2015-01-01

    Early years and primary teachers have a unique opportunity to apply their strong teaching practices, classroom management and understanding of childhood literacy development to teaching a language. This paper reports on a project from Independent Schools Queensland to increase language programs in schools by retraining classroom teachers.…

  6. Second Language Proficiency Assessment and Program Evaluation.

    ERIC Educational Resources Information Center

    Nunan, David

    A discussion of the role of second language proficiency assessment in the evaluation of language programs argues that for four reasons, the use of proficiency is inappropriate as a central element in evaluation. The reasons are: (1) the construct of proficiency has not been operationalized in a way that enables it to be used usefully; (2)…

  7. Speech and Language Program for Migrant Children.

    ERIC Educational Resources Information Center

    Haviland, Richard T.

    A curriculum in speech and language improvement for migrant children is provided. The overall methodology used is similar to the audiolingual method of teaching a foreign language, emphasizing pattern drill and listening rather than learning rules and their exceptions. Primary goals of the program are (1) the development of listening skills and…

  8. Ada training evaluation and recommendations from the Gamma Ray Observatory Ada Development Team

    NASA Technical Reports Server (NTRS)

    1985-01-01

    The Ada training experiences of the Gamma Ray Observatory Ada development team are related, and recommendations are made concerning future Ada training for software developers. Training methods are evaluated, deficiencies in the training program are noted, and a recommended approach, including course outline, time allocation, and reference materials, is offered.

  9. Ada training evaluation and recommendations from the Gamma Ray Observatory Ada Development Team

    SciTech Connect

    Not Available

    1985-10-01

    The Ada training experiences of the Gamma Ray Observatory Ada development team are related, and recommendations are made concerning future Ada training for software developers. Training methods are evaluated, deficiencies in the training program are noted, and a recommended approach, including course outline, time allocation, and reference materials, is offered.

  10. The repository-based software engineering program: Redefining AdaNET as a mainstream NASA source

    NASA Technical Reports Server (NTRS)

    1993-01-01

    The Repository-based Software Engineering Program (RBSE) is described to inform and update senior NASA managers about the program. Background and historical perspective on software reuse and RBSE for NASA managers who may not be familiar with these topics are provided. The paper draws upon and updates information from the RBSE Concept Document, baselined by NASA Headquarters, Johnson Space Center, and the University of Houston - Clear Lake in April 1992. Several of NASA's software problems and what RBSE is now doing to address those problems are described. Also, next steps to be taken to derive greater benefit from this Congressionally-mandated program are provided. The section on next steps describes the need to work closely with other NASA software quality, technology transfer, and reuse activities and focuses on goals and objectives relative to this need. RBSE's role within NASA is addressed; however, there is also the potential for systematic transfer of technology outside of NASA in later stages of the RBSE program. This technology transfer is discussed briefly.

  11. VAXELN Experimentation: Programming a Real-Time Periodic Task Dispatcher Using VAXELN Ada 1.1

    DTIC Science & Technology

    1987-11-01

    and is approved for publication. FOR THE COMMANDER Karl Shingler SEI Joint Program Office This work is sponsored by the U.S. Department of Defense...34); 28 CMU/SEI-87.TR-532 boom I@. Pat (OXT"rant.mimlteo). slaw- Lise ; WmttedStriaoLvat (0em.dl; BOOCNOZO.Vat (Caguemi S.stio); enale) M%.: i Fremttedl

  12. Applied Computer Technology in Cree and Naskapi Language Programs.

    ERIC Educational Resources Information Center

    Jancewicz, Bill; MacKenzie, Marguerite

    2002-01-01

    Discusses the parameters for the application of computer technology in Cree and Naskapi language programs, and shows that the deliberate and structured introduction of these technologies to indigenous language programs can facilitate indigenous language stabilization and development. (Author/VWL)

  13. AN ADA LINEAR ALGEBRA PACKAGE MODELED AFTER HAL/S

    NASA Technical Reports Server (NTRS)

    Klumpp, A. R.

    1994-01-01

    This package extends the Ada programming language to include linear algebra capabilities similar to those of the HAL/S programming language. The package is designed for avionics applications such as Space Station flight software. In addition to the HAL/S built-in functions, the package incorporates the quaternion functions used in the Shuttle and Galileo projects, and routines from LINPAK that solve systems of equations involving general square matrices. Language conventions in this package follow those of HAL/S to the maximum extent practical and minimize the effort required for writing new avionics software and translating existent software into Ada. Valid numeric types in this package include scalar, vector, matrix, and quaternion declarations. (Quaternions are fourcomponent vectors used in representing motion between two coordinate frames). Single precision and double precision floating point arithmetic is available in addition to the standard double precision integer manipulation. Infix operators are used instead of function calls to define dot products, cross products, quaternion products, and mixed scalar-vector, scalar-matrix, and vector-matrix products. The package contains two generic programs: one for floating point, and one for integer. The actual component type is passed as a formal parameter to the generic linear algebra package. The procedures for solving systems of linear equations defined by general matrices include GEFA, GECO, GESL, and GIDI. The HAL/S functions include ABVAL, UNIT, TRACE, DET, INVERSE, TRANSPOSE, GET, PUT, FETCH, PLACE, and IDENTITY. This package is written in Ada (Version 1.2) for batch execution and is machine independent. The linear algebra software depends on nothing outside the Ada language except for a call to a square root function for floating point scalars (such as SQRT in the DEC VAX MATHLIB library). This program was developed in 1989, and is a copyrighted work with all copyright vested in NASA.

  14. Transferring data objects: A focused Ada investigation

    NASA Technical Reports Server (NTRS)

    Legrand, Sue

    1988-01-01

    The use of the Ada language does not guarantee that data objects will be in the same form or have the same value after they have been stored or transferred to another system. There are too many possible variables in such things as the formats used and other protocol conditions. Differences may occur at many different levels of support. These include program level, object level, application level, and system level. A standard language is only one aspect of making a complex system completely homogeneous. Many components must be standardized and the various standards must be integrated. The principal issues in providing for interaction between systems are of exchanging files and data objects between systems which may not be compatible in terms of their host computer, operating system or other factors. A typical resolution of the problem of invalidating data involves at least a common external form, for data objects and for representing the relationships and attributes of data collections. Some of the issues dealing with the transfer of data are listed and consideration is given on how these issues may be handled in the Ada language.

  15. SDI satellite autonomy using AI and Ada

    NASA Technical Reports Server (NTRS)

    Fiala, Harvey E.

    1990-01-01

    The use of Artificial Intelligence (AI) and the programming language Ada to help a satellite recover from selected failures that could lead to mission failure are described. An unmanned satellite will have a separate AI subsystem running in parallel with the normal satellite subsystems. A satellite monitoring subsystem (SMS), under the control of a blackboard system, will continuously monitor selected satellite subsystems to become alert to any actual or potential problems. In the case of loss of communications with the earth or the home base, the satellite will go into a survival mode to reestablish communications with the earth. The use of an AI subsystem in this manner would have avoided the tragic loss of the two recent Soviet probes that were sent to investigate the planet Mars and its moons. The blackboard system works in conjunction with an SMS and a reconfiguration control subsystem (RCS). It can be shown to be an effective way for one central control subsystem to monitor and coordinate the activities and loads of many interacting subsystems that may or may not contain redundant and/or fault-tolerant elements. The blackboard system will be coded in Ada using tools such as the ABLE development system and the Ada Production system.

  16. Ada task scheduling: A focused Ada investigation

    NASA Technical Reports Server (NTRS)

    Legrand, Sue

    1988-01-01

    The types of control that are important for real time task scheduling are discussed. Some closely related real time issues are mentioned and major committee and research activities in this area are delineated. Although there are some problems with Ada and its real time task scheduling, Ada presents fewer than any known alternative. Ada was designed for the domain of real time embedded systems, but Ada compilers may not contain a level of task scheduling support that is adequate for all real time applications. The question addressed is which implementations of Ada's task scheduling are adequate for effective real time systems for NASA applications.

  17. On Programming Transputers to Capture Ada Multitasking for the NPS autonomous Underwater Vehicle

    DTIC Science & Technology

    1991-12-01

    Beginning Location End Location AUTQPILOT MARS MARS AVOIDANCE PLUTO SATURN EXEMISSION SATURN PLUTO GUIDANCE VENUS SATURN MONITOR PLUTO PLUTO NAVIGATION...wsl, in, out, ws2) [IOOOJINT d: SEQ SKIP 51 d. Pluto - File: plutoh.occ #OPTION "AGNVW" #INCLUDE "hostio-inc" PROC pluto.hamness (CHAN OF INT Mars2Pluto...INTEGER; type PATH-ARRAY is array (1..NUM_PATHS) of INTEGER; type PROGRAMS is (EARTH, MARS, VENUS, SATURN, PLUTO ); - These constants defined for passing

  18. The Defense Language Institute Foreign Language Center Achievement Test Program.

    ERIC Educational Resources Information Center

    Henderson, Robert G.

    This article describes the organization, functions, and components of the Defense Language Institute. The test division is responsible for aptitude, achievement, and proficiency tests and for test development in a variety of resident and non-resident programs. The progress that has been made over a 10-year period is also described and special…

  19. Update of GRASP/Ada reverse engineering tools for Ada

    NASA Technical Reports Server (NTRS)

    Cross, James H., II

    1993-01-01

    The GRASP/Ada project (Graphical Representations of Algorithms, Structures, and Processes for Ada) successfully created and prototyped a new algorithmic 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, as a result, improve reliability and reduce costs. The emphasis was on the automatic generation of the CSD from Ada PDL or source code to support reverse engineering and maintenance. The CSD has the potential to replace traditional pretty printed 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 CSD generator (Version 1) was designed and implemented using FLEX and BISON running under 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 using the HP widget toolkit and the X Windows System. In Phase 3, the user interface was extensively reworked using the Athena widget toolkit and X Windows. The prototype was applied successfully to numerous Ada programs ranging in size from several hundred to several thousand lines of source code. Following Phase 3,e two update phases were completed. Update'92 focused on the initial analysis of evaluation data collected from software engineering students at Auburn University and the addition of significant enhancements to the user interface. Update'93 (the current update) focused on the statistical analysis of the data collected in the previous update and preparation of Version 3.4 of the prototype for limited distribution to facilitate further evaluation. The current prototype provides the capability for the user to generate CSD's from Ada PDL or source code in a reverse engineering as well as forward engineering mode with a level of flexibility suitable for practical

  20. The Dynamics of Language Program Direction. Issues in Language Program Direction: A Series of Annual Volumes.

    ERIC Educational Resources Information Center

    Benseler, David P., Ed.

    This collection papers begins with "Introduction: The Dynamics of Successful Leadership in Foreign Language Programs," then features the following: "The Undergraduate Program: Autonomy and Empowerment" (Wilga M. Rivers); "TA Supervision: Are We Preparing a Future Professoriate?" (Cathy Pons); "Applied Scholarship…

  1. Ada and the rapid development lifecycle

    NASA Technical Reports Server (NTRS)

    Deforrest, Lloyd; Gref, Lynn

    1991-01-01

    JPL is under contract, through NASA, with the US Army to develop a state-of-the-art Command Center System for the US European Command (USEUCOM). The Command Center System will receive, process, and integrate force status information from various sources and provide this integrated information to staff officers and decision makers in a format designed to enhance user comprehension and utility. The system is based on distributed workstation class microcomputers, VAX- and SUN-based data servers, and interfaces to existing military mainframe systems and communication networks. JPL is developing the Command Center System utilizing an incremental delivery methodology called the Rapid Development Methodology with adherence to government and industry standards including the UNIX operating system, X Windows, OSF/Motif, and the Ada programming language. Through a combination of software engineering techniques specific to the Ada programming language and the Rapid Development Approach, JPL was able to deliver capability to the military user incrementally, with comparable quality and improved economies of projects developed under more traditional software intensive system implementation methodologies.

  2. Reconceptualising Learning Programs for Intercultural Language Learning

    ERIC Educational Resources Information Center

    Scarino, Angela

    2008-01-01

    This paper describes the need to reconceptualise teaching and learning programs for intercultural language learning. The shift is from concepts such as "content" and its "coverage" (intended to address "learner needs and interests") to developing programs focused on meaning making in interaction and on learners as…

  3. Career Development in Language Education Programs

    ERIC Educational Resources Information Center

    Shawer, Saad Fathy; Alkahtani, Saad Ali

    2013-01-01

    This study assesses the influence of a two-year language program evaluation on program directors and faculty career development. The study makes use of mixed-paradigms (positivism and qualitative interpretive), mixed-strategies (survey research and qualitative evaluation), one-way analysis of variance (ANOVA) and a post-hoc test of multiple…

  4. PROGRAMMED LEARNING OF A SECOND LANGUAGE.

    ERIC Educational Resources Information Center

    LANE, HARLAN

    THE PROCESSES OF EXPERIMENTAL PROGRAMING OF A FOREIGN LANGUAGE ARE EXAMINED ACCORDING TO THE PRINCIPLES OF OPERANT CONDITIONING, WHICH IS THE BASIS OF PROGRAMING TECHNIQUES. DISCUSSION OF FORMAL REPERTOIRES COVERS THE USE OF SUCH CONDITIONING METHODS AS DISCRIMINATION LEARNING AND TRANSFER, STIMULUS GENERALIZATION, RESPONSE GENERALIZATION, AND…

  5. The Language Improvement Partnership Program.

    ERIC Educational Resources Information Center

    Grasso, Rena; Vallone, Kerren

    Two English-as-a-Second-Language (ESL) curricula for hotel employees are outlined. The first is limited-English-proficient (LEP) housekeeping staff. It contains notes on initial background and needs assessment, assessment results, course logistics and project design, course content, evaluation, and results. The 60-hour beginning-level curriculum…

  6. Programming language for computations in the Interkosmos program

    NASA Technical Reports Server (NTRS)

    Schmidt, K.

    1975-01-01

    The programming system for Intercosmos data processing, based on the structural programming theory, which considers a program as an ordered set of standardized elementary parts, from which the user programs are automatically generated, is described. The programs are comprised of several modules, which are briefly summarized. The general structure of the programming system is presented in a block diagram. A programming control language developed to formulate the problem quickly and completely is presented along with basic symbols which are characteristic of the Intercosmos programming system.

  7. Initial Ada components evaluation

    NASA Technical Reports Server (NTRS)

    Moebes, Travis

    1989-01-01

    The SAIC has the responsibility for independent test and validation of the SSE. They have been using a mathematical functions library package implemented in Ada to test the SSE IV and V process. The library package consists of elementary mathematical functions and is both machine and accuracy independent. The SSE Ada components evaluation includes code complexity metrics based on Halstead's software science metrics and McCabe's measure of cyclomatic complexity. Halstead's metrics are based on the number of operators and operands on a logical unit of code and are compiled from the number of distinct operators, distinct operands, and total number of occurrences of operators and operands. These metrics give an indication of the physical size of a program in terms of operators and operands and are used diagnostically to point to potential problems. McCabe's Cyclomatic Complexity Metrics (CCM) are compiled from flow charts transformed to equivalent directed graphs. The CCM is a measure of the total number of linearly independent paths through the code's control structure. These metrics were computed for the Ada mathematical functions library using Software Automated Verification and Validation (SAVVAS), the SSE IV and V tool. A table with selected results was shown, indicating that most of these routines are of good quality. Thresholds for the Halstead measures indicate poor quality if the length metric exceeds 260 or difficulty is greater than 190. The McCabe CCM indicated a high quality of software products.

  8. The BLAZE language - A parallel language for scientific programming

    NASA Technical Reports Server (NTRS)

    Mehrotra, Piyush; Van Rosendale, John

    1987-01-01

    A Pascal-like scientific programming language, BLAZE, is described. BLAZE contains array arithmetic, forall loops, and APL-style accumulation operators, which allow natural expression of fine grained parallelism. It also employs an applicative or functional procedure invocation mechanism, which makes it easy for compilers to extract coarse grained parallelism using machine specific program restructuring. Thus BLAZE should allow one to achieve highly parallel execution on multiprocessor architectures, while still providing the user with conceptually sequential control flow. A central goal in the design of BLAZE is portability across a broad range of parallel architectures. The multiple levels of parallelism present in BLAZE code, in principle, allow a compiler to extract the types of parallelism appropriate for the given architecture while neglecting the remainder. The features of BLAZE are described and it is shown how this language would be used in typical scientific programming.

  9. The BLAZE language: A parallel language for scientific programming

    NASA Technical Reports Server (NTRS)

    Mehrotra, P.; Vanrosendale, J.

    1985-01-01

    A Pascal-like scientific programming language, Blaze, is described. Blaze contains array arithmetic, forall loops, and APL-style accumulation operators, which allow natural expression of fine grained parallelism. It also employs an applicative or functional procedure invocation mechanism, which makes it easy for compilers to extract coarse grained parallelism using machine specific program restructuring. Thus Blaze should allow one to achieve highly parallel execution on multiprocessor architectures, while still providing the user with onceptually sequential control flow. A central goal in the design of Blaze is portability across a broad range of parallel architectures. The multiple levels of parallelism present in Blaze code, in principle, allow a compiler to extract the types of parallelism appropriate for the given architecture while neglecting the remainder. The features of Blaze are described and shows how this language would be used in typical scientific programming.

  10. Hierarchical Ada robot programming system (HARPS)- A complete and working telerobot control system based on the NASREM model

    NASA Technical Reports Server (NTRS)

    Leake, Stephen; Green, Tom; Cofer, Sue; Sauerwein, Tim

    1989-01-01

    HARPS is a telerobot control system that can perform some simple but useful tasks. This capability is demonstrated by performing the ORU exchange demonstration. HARPS is based on NASREM (NASA Standard Reference Model). All software is developed in Ada, and the project incorporates a number of different CASE (computer-aided software engineering) tools. NASREM was found to be a valid and useful model for building a telerobot control system. Its hierarchical and distributed structure creates a natural and logical flow for implementing large complex robust control systems. The ability of Ada to create and enforce abstraction enhanced the implementation of such control systems.

  11. Ada in Introductory Computer Science Courses

    DTIC Science & Technology

    1993-01-01

    Sacred Heart University’s current computer science curriculum has been modified in the 1992-1993 school year after receiving an ARPA grant(Advanced...grant entitled Ada in Introductory Computer Science Course, allowed for the modification of both introductory programming courses to use Ada as the...introductory computer science courses CS050 (Introduction to Computer Science ) and CS051 (Data Structures) were developed to include Ada and software

  12. Programming effort analysis of the ELLPACK language

    NASA Technical Reports Server (NTRS)

    Rice, J. R.

    1978-01-01

    ELLPACK is a problem statement language and system for elliptic partial differential equations which is implemented by a FORTRAN preprocessor. ELLPACK's principal purpose is as a tool for the performance evaluation of software. However, it is used here as an example with which to study the programming effort required for problem solving. It is obvious that problem statement languages can reduce programming effort tremendously; the goal is to quantify this somewhat. This is done by analyzing the lengths and effort (as measured by Halstead's software science technique) of various approaches to solving these problems.

  13. Flight program language requirements. Volume 2: Requirements and evaluations

    NASA Technical Reports Server (NTRS)

    1972-01-01

    The efforts and results are summarized for a study to establish requirements for a flight programming language for future onboard computer applications. Several different languages were available as potential candidates for future NASA flight programming efforts. The study centered around an evaluation of the four most pertinent existing aerospace languages. Evaluation criteria were established, and selected kernels from the current Saturn 5 and Skylab flight programs were used as benchmark problems for sample coding. An independent review of the language specifications incorporated anticipated future programming requirements into the evaluation. A set of detailed language requirements was synthesized from these activities. The details of program language requirements and of the language evaluations are described.

  14. Do students' programming skills depend on programming language?

    NASA Astrophysics Data System (ADS)

    Savić, Miloš; Ivanović, Mirjana; Budimac, Zoran; Radovanović, Miloš

    2016-06-01

    Bachelor studies in Computer Science at our department in the last decades cover several successive core courses in programming: Introduction to Programming, Data Structures and Algorithms 1 and 2, Operating Systems and Compiler Construction. For a long time our intention was not to insist on the realization of subjects in a specific programming language, but to put emphasis on abstract reasoning and appropriate data structures and algorithms. Also, to avoid teaching different languages and programming environments, we decided to use one good educational language - Modula-2. In the last several years we were under different kinds of pressure to change the language. Starting from the last school-year we decided to adopt Java within the introductory programming course, using the imperative approach first. Some comparisons of students' advancements and success between Modula-2 and Java generations are presented in the paper. The results of the analytical evaluation indicate that the choice of the first programming language does not have a deep influence to students' success at the course.

  15. Visible Languages for Program Visualization

    DTIC Science & Technology

    1986-02-01

    Comments 38 The Presentation of Program Metadata 39 The Spatial Composition of Comments 41 The Typography of Punctuation 42 Typographic Encodings... Typography of Program Punctuation 6. In this example the "" appears in 10 point regular Helvetica type, and thus uses the same typographic parameters as...Results. Conclusions Chapter 4 Graphic Design of C Source Code and Comments Section 4 3 1 he Typography of Punctuation Page 41 l ft. Section

  16. IDA and the Technical Cooperation Program Real-Time Systems and Ada Workshop, 21-23 June 1988

    DTIC Science & Technology

    1988-06-01

    Deputy Under Secretary of Defense RAM Random Access Memory R&AT Reasearch and Advance Technology RISC Reduced Instruction Set Computer SE1 Software...D-,dz Ada Information Clearing House 3D139 1211 S. Fern St. (C107) Pentagon Washington, D.C. 20301 (703) 694-0211 jbatz@ajpo.sei.cmu.edu Ms. Mary

  17. Proceedings of the First NASA Ada Users' Symposium

    NASA Technical Reports Server (NTRS)

    1988-01-01

    Ada has the potential to be a part of the most significant change in software engineering technology within NASA in the last twenty years. Thus, it is particularly important that all NASA centers be aware of Ada experience and plans at other centers. Ada activity across NASA are covered, with presenters representing five of the nine major NASA centers and the Space Station Freedom Program Office. Projects discussed included - Space Station Freedom Program Office: the implications of Ada on training, reuse, management and the software support environment; Johnson Space Center (JSC): early experience with the use of Ada, software engineering and Ada training and the evaluation of Ada compilers; Marshall Space Flight Center (MSFC): university research with Ada and the application of Ada to Space Station Freedom, the Orbital Maneuvering Vehicle, the Aero-Assist Flight Experiment and the Secure Shuttle Data System; Lewis Research Center (LeRC): the evolution of Ada software to support the Space Station Power Management and Distribution System; Jet Propulsion Laboratory (JPL): the creation of a centralized Ada development laboratory and current applications of Ada including the Real-time Weather Processor for the FAA; and Goddard Space Flight Center (GSFC): experiences with Ada in the Flight Dynamics Division and the Extreme Ultraviolet Explorer (EUVE) project and the implications of GSFC experience for Ada use in NASA. Despite the diversity of the presentations, several common themes emerged from the program: Methodology - NASA experience in general indicates that the effective use of Ada requires modern software engineering methodologies; Training - It is the software engineering principles and methods that surround Ada, rather than Ada itself, which requires the major training effort; Reuse - Due to training and transition costs, the use of Ada may initially actually decrease productivity, as was clearly found at GSFC; and real-time work at LeRC, JPL and GSFC shows

  18. GRASP/Ada 95: Reverse Engineering Tools for Ada

    NASA Technical Reports Server (NTRS)

    Cross, James H., II

    1996-01-01

    The GRASP/Ada project (Graphical Representations of Algorithms, Structures, and Processes for Ada) has successfully created and prototyped an algorithmic level graphical representation for Ada software, the Control Structure Diagram (CSD), and a new visualization for a fine-grained complexity metric called the Complexity Profile Graph (CPG). By synchronizing the CSD and the CPG, the CSD view of control structure, nesting, and source code is directly linked to the corresponding visualization of statement level complexity in the CPG. GRASP has been integrated with GNAT, the GNU Ada 95 Translator to provide a comprehensive graphical user interface and development environment for Ada 95. The user may view, edit, print, and compile source code as a CSD with no discernible addition to storage or computational overhead. The primary impetus for creation of the CSD was to improve the comprehension efficiency of Ada software and, as a result, improve reliability and reduce costs. The emphasis has been on the automatic generation of the CSD from Ada 95 source code to support reverse engineering and maintenance. The CSD has the potential to replace traditional prettyprinted Ada source code. The current update has focused on the design and implementation of a new Motif compliant user interface, and a new CSD generator consisting of a tagger and renderer. The Complexity Profile Graph (CPG) is based on a set of functions that describes the context, content, and the scaling for complexity on a statement by statement basis. When combined graphicafly, the result is a composite profile of complexity for the program unit. Ongoing research includes the development and refinement of the associated functions, and the development of the CPG generator prototype. The current Version 5.0 prototype provides the capability for the user to generate CSDs and CPGs from Ada 95 source code in a reverse engineering as well as forward engineering mode with a level of flexibility suitable for

  19. A Spanish-Language Preschool Program.

    ERIC Educational Resources Information Center

    Campos, James

    The Carpinteria school district in California has developed a model preschool program to bring Spanish-dominant preschool children up to a level of readiness for school that compares favorably with that of English-speaking children in the same community. That goal is achieved by developing skills in four major areas: Spanish language, cognition,…

  20. English Language Learners' Programs. Research Brief

    ERIC Educational Resources Information Center

    Walker, Karen

    2007-01-01

    What are programs for ELL? The United States is made up of immigrants and each group has had to face the challenges of learning the culture and/or the English language. There has been a huge backlash in this country against bilingual education. A common sentiment about it has been that if a person lives in America they should speak English and…

  1. English Language Teachers as Program Administrators

    ERIC Educational Resources Information Center

    Tannacito, Dan J.

    2013-01-01

    An administrator, broadly conceived, is a person who has authority to lead and manage people, practices, materials, and policies in an educational unit. Dan Tannacito shows teachers the pathway to becoming English language program administrators (ELPAs) and the myriad benefits they can derive. Most may be surprised to see that they are already on…

  2. The RSZ BASIC programming language manual

    NASA Technical Reports Server (NTRS)

    Stattel, R. J.; Niswander, J. K.; Kochhar, A. K.

    1980-01-01

    The RSZ BASIC interactive language is described. The RSZ BASIC interpreter is resident in the Telemetry Data Processor, a system dedicated to the processing and displaying of PCM telemetry data. A series of working examples teaches the fundamentals of RSZ BASIC and shows how to construct, edit, and manage storage of programs.

  3. An Empirical Investigation into Programming Language Syntax

    ERIC Educational Resources Information Center

    Stefik, Andreas; Siebert, Susanna

    2013-01-01

    Recent studies in the literature have shown that syntax remains a significant barrier to novice computer science students in the field. While this syntax barrier is known to exist, whether and how it varies across programming languages has not been carefully investigated. For this article, we conducted four empirical studies on programming…

  4. Guidelines for Selecting English Language Training Programs.

    ERIC Educational Resources Information Center

    Center for Applied Linguistics, Arlington, VA.

    These guidelines are addressed to individuals, organizations, corporations or foreign governments who are considering placing students in English Language Training (ELT) programs. They outline steps to be taken and items to be considered in first determining needs, and then selecting an ELT contractor. Part One describes the necessary procedures…

  5. GUIDELINES FOR EVALUATING FOREIGN LANGUAGE PROGRAMS.

    ERIC Educational Resources Information Center

    CASTLE, PAT; JAY, CHARLES D.

    A NEED FOR A STATEMENT OF SIMPLIFIED CRITERIA BY WHICH SECONDARY SCHOOLS MAY MEASURE THE EXCELLENCE OF THEIR FOREIGN LANGUAGE PROGRAMS HAS STIMULATED THE DEVELOPMENT OF THESE GUIDELINES, DESIGNED TO ASSIST IN SETTING UP THE BEST POSSIBLE AUDIOLINGUALLY-ORIENTED CURRICULUM TO MEET THE INDIVIDUAL NEEDS OF SCHOOLS. FOLLOWING AN OUTLINE OF BASIC…

  6. Self Assessment of a Sign Language Program.

    ERIC Educational Resources Information Center

    Kemp, Mike

    1988-01-01

    The CIPP (Context Input Process Product) Evaluation Model is recommended for use in self-assessment of sign language programs. Five areas should be assessed: personnel selection, curriculum, student placement, media utilization, and supervision. For each area, a checklist is offered to determine whether existing goals and objectives require…

  7. A Programming Language /1500 (APL/1500).

    ERIC Educational Resources Information Center

    McMurchie, Thomas D.; And Others

    APL/1500 is an interpretive time-sharing system that builds upon the array operations and structural integrity of APL (A Programming Language) to allow the implementation of the IBM 1500 Instructional System. This is a revision of the original user's guide supplied with the first release of the APL system for the 1500. This version of APL/1500…

  8. PROGRAMMED INSTRUCTION AND LANGUAGE LEARNING.

    ERIC Educational Resources Information Center

    LUELSDORFF, PHILIP A.

    PROGRAMED INSTRUCTION, A TEACHING METHOD WHICH INCORPORATES (1) A DETAILED SPECIFICATION OF TERMINAL BEHAVIOR, (2) A CAREFUL SEQUENCING OF THE MATERIAL INTO GRADED STEPS, AND (3) THE REINFORCEMENT OF STUDENT RESPONSE, WORKS MORE FAVORABLY IN CERTAIN INSTRUCTIONAL MEDIA THAN IN OTHERS. CARROLL AND SKINNER BELIEVE THAT SUCCESS IN PROGRAMED…

  9. Programming as a Second Language

    ERIC Educational Resources Information Center

    Solomon, Justin

    2005-01-01

    Standard methods of teaching an introductory course in computer science, designed to introduce computer programming as a tool for mathematicians and engineers at the university level, are unnecessarily complicated and difficult. They lack a common thread that unifies each unit of material and frequently make use of mathematical notation, technical…

  10. Evaluating Workplace English Language Programs

    ERIC Educational Resources Information Center

    Ekkens, Kristin; Winke, Paula

    2009-01-01

    Companies across the United States provide workplace English classes to non-native-English-speaking employees to increase productivity, retention, and on-the-job safety. Institutions that financially support the programs often require evidence of learning through standardized tests as a prerequisite for continued funding. However, the tests…

  11. Ada in AI or AI in Ada. On developing a rationale for integration

    NASA Technical Reports Server (NTRS)

    Collard, Philippe E.; Goforth, Andre

    1988-01-01

    The use of Ada as an Artificial Intelligence (AI) language is gaining interest in the NASA Community, i.e., by parties who have a need to deploy Knowledge Based-Systems (KBS) compatible with the use of Ada as the software standard for the Space Station. A fair number of KBS and pseudo-KBS implementations in Ada exist today. Currently, no widely used guidelines exist to compare and evaluate these with one another. The lack of guidelines illustrates a fundamental problem inherent in trying to compare and evaluate implementations of any sort in languages that are procedural or imperative in style, such as Ada, with those in languages that are functional in style, such as Lisp. Discussed are the strengths and weakness of using Ada as an AI language and a preliminary analysis provided of factors needed for the development of criteria for the integration of these two families of languages and the environments in which they are implemented. The intent for developing such criteria is to have a logical rationale that may be used to guide the development of Ada tools and methodology to support KBS requirements, and to identify those AI technology components that may most readily and effectively be deployed in Ada.

  12. TCOL Ada: An Intermediate Representation for the DoD Standard Programming Language

    DTIC Science & Technology

    1979-03-07

    34 Dracula "! book,date t= 1897 END li SYMBOL (NAME "BOOK") (TYPE RECORD) (LIFE STACK) (GLOBAL NO) (FIELDS 2: 3: 4i) . 2: SYMBOL (NAME...6» LITERAL (VALUE " Dracula ") (TYPE STRING) (LENGTH 7) 7» LITERAL (VALUE 1897) (TYPE INT) 20» TREE (OP j) (ANCESTOR Oi) (SUBNODES 21

  13. An Approach for Implementing a Microcomputer Based Report Origination System in the Ada Programming Language

    DTIC Science & Technology

    1983-03-01

    data structure * IF NCT valid fileC UNITOOO ) TEEN tertrinete(fileerror,"UNITOOO"); ENE n~; -serial/dtg crossref IF NCT valid f𔃻le("CRCSSRIF") THIN...u.l.stdtus.currEn.t_ seridl & & i..l.rressage.dtg; first.rext := NUjLL; trark := first; Open(fyle,"*CROSSRIF" ,Eead_ Only); -read out old crossref ...mark.next :=1; mrarkr := 1; ENr tccp; CLOSI(fyle); -write In the altered crossref list DILETE(" CROSSREF ); Create(fyle, CROSSREF ",WOriteOnly); 4 mark :- first

  14. Towards a formal semantics for Ada 9X

    NASA Technical Reports Server (NTRS)

    Guaspari, David; Mchugh, John; Wolfgang, Polak; Saaltink, Mark

    1995-01-01

    The Ada 9X language precision team was formed during the revisions of Ada 83, with the goal of analyzing the proposed design, identifying problems, and suggesting improvements, through the use of mathematical models. This report defines a framework for formally describing Ada 9X, based on Kahn's 'natural semantics', and applies the framework to portions of the language. The proposals for exceptions and optimization freedoms are also analyzed, using a different technique.

  15. Teaching Adaptability of Object-Oriented Programming Language Curriculum

    ERIC Educational Resources Information Center

    Zhu, Xiao-dong

    2012-01-01

    The evolution of object-oriented programming languages includes update of their own versions, update of development environments, and reform of new languages upon old languages. In this paper, the evolution analysis of object-oriented programming languages is presented in term of the characters and development. The notion of adaptive teaching upon…

  16. HAL/SM language specification. [programming languages and computer programming for space shuttles

    NASA Technical Reports Server (NTRS)

    Williams, G. P. W., Jr.; Ross, C.

    1975-01-01

    A programming language is presented for the flight software of the NASA Space Shuttle program. It is intended to satisfy virtually all of the flight software requirements of the space shuttle. To achieve this, it incorporates a wide range of features, including applications-oriented data types and organizations, real time control mechanisms, and constructs for systems programming tasks. It is a higher order language designed to allow programmers, analysts, and engineers to communicate with the computer in a form approximating natural mathematical expression. Parts of the English language are combined with standard notation to provide a tool that readily encourages programming without demanding computer hardware expertise. Block diagrams and flow charts are included. The semantics of the language is discussed.

  17. Ada Compiler Validation Summary Report: Certificate Number: 890919W1. 10156 R. R. Software, Inc., Janus/ADA, Version 2.1.3 Zenith Z-386/25.

    DTIC Science & Technology

    1989-09-19

    Compiler Validation Summary Repcrt, Ada Cor piler Validation Capability, ACVC, Validation Testing, Ada Validation Office, AVO , Ada Validation Facility...results of the validation tesiing performed on an Ada compiler. Testing was carried out for the following purposes: • To attempt to identify any language...the Ada Validation Organization ( AVO ). On-site testing was completed 19 September 1989 at Madison WI. 1.2 USE OF THIS VALIDATION SUMMARY REPORT

  18. Implementation of and Ada real-time executive: A case study

    NASA Technical Reports Server (NTRS)

    Laird, James D.; Burton, Bruce A.; Koppes, Mary R.

    1986-01-01

    Current Ada language implementations and runtime environments are immature, unproven and are a key risk area for real-time embedded computer system (ECS). A test-case environment is provided in which the concerns of the real-time, ECS community are addressed. A priority driven executive is selected to be implemented in the Ada programming language. The model selected is representative of real-time executives tailored for embedded systems used missile, spacecraft, and avionics applications. An Ada-based design methodology is utilized, and two designs are considered. The first of these designs requires the use of vendor supplied runtime and tasking support. An alternative high-level design is also considered for an implementation requiring no vendor supplied runtime or tasking support. The former approach is carried through to implementation.

  19. Flexible Language Constructs for Large Parallel Programs

    DOE PAGES

    Rosing, Matt; Schnabel, Robert

    1994-01-01

    The goal of the research described in this article is to develop flexible language constructs for writing large data parallel numerical programs for distributed memory (multiple instruction multiple data [MIMD]) multiprocessors. Previously, several models have been developed to support synchronization and communication. Models for global synchronization include single instruction multiple data (SIMD), single program multiple data (SPMD), and sequential programs annotated with data distribution statements. The two primary models for communication include implicit communication based on shared memory and explicit communication based on messages. None of these models by themselves seem sufficient to permit the natural and efficient expression ofmore » the variety of algorithms that occur in large scientific computations. In this article, we give an overview of a new language that combines many of these programming models in a clean manner. This is done in a modular fashion such that different models can be combined to support large programs. Within a module, the selection of a model depends on the algorithm and its efficiency requirements. In this article, we give an overview of the language and discuss some of the critical implementation details.« less

  20. Flexible language constructs for large parallel programs

    NASA Technical Reports Server (NTRS)

    Rosing, Matthew; Schnabel, Robert

    1993-01-01

    The goal of the research described is to develop flexible language constructs for writing large data parallel numerical programs for distributed memory (MIMD) multiprocessors. Previously, several models have been developed to support synchronization and communication. Models for global synchronization include SIMD (Single Instruction Multiple Data), SPMD (Single Program Multiple Data), and sequential programs annotated with data distribution statements. The two primary models for communication include implicit communication based on shared memory and explicit communication based on messages. None of these models by themselves seem sufficient to permit the natural and efficient expression of the variety of algorithms that occur in large scientific computations. An overview of a new language that combines many of these programming models in a clean manner is given. This is done in a modular fashion such that different models can be combined to support large programs. Within a module, the selection of a model depends on the algorithm and its efficiency requirements. An overview of the language and discussion of some of the critical implementation details is given.

  1. Ada Compiler Validation Summary Report. Certificate Number: 891121A1. 10197. Alsys AlsyCOMP 036, Version 5.1, APOLLO DN3000 Host and Motorola MVME101 (68000) Target. Completion of On-Site Testing: 21 November 1989

    DTIC Science & Technology

    1989-11-21

    Language, ANSI/MIL-STD-1815A, February 1Q83, and ISO 8652-1987. 2. Ada Compiler Validation Procedures and, Ada Joint Program Office, May 1989. 3. Ada...comments are given a unique identification number having the form AI-ddddd. Ada Standard ANSI/MIL-STD-1815A, February 1983 and ISO 8652-1987. Applicant The...INTEGERLASTPLUS_1 ’ 2768 A universal integer literal whose value is INTEGER’LAST + 1. 25 TEST PARAMETERS Name and Meaning Valie $LESSTHAN DURATION

  2. Language Training Opportunities: Today and Tomorrow 2000 Command Language Program Manager Seminar.

    ERIC Educational Resources Information Center

    Orr, Joseph

    2000-01-01

    Highlights the sixth Command Language Program Manager seminar, hosted by the Defense Language Institute Foreign Language Center, which focused on language training opportunities that are available now as well as those that will be in the future. New initiatives discussed include an Arabic in Action course, Web-based language training, training…

  3. Ada (Trade Name) Compiler Validation Summary Report: Harris Corporation. Harris Ada Compiler, Version 3.1. Harris H1200.

    DTIC Science & Technology

    1987-06-03

    DATE Ada Joint Pi’ogram Office 33 June 1987 United States Department of Defense 13. NUMBER Of PAGLS Washington, DC 20301-3081 37 14. MONITORING...Prepared By: Ada Validation Facility ASD/SCOL l Wright-Patterson AFB OH 454133-6503 Prepared For: Ada Joint Program Office United States Department of...Defense Washington, D.C. MAda. is a registered trademark of the United States Government (Ada Joint Program Office). + + + Place NTIS form here

  4. Experiences with Ada in an embedded system

    NASA Technical Reports Server (NTRS)

    Labaugh, Robert J.

    1988-01-01

    Recent experiences with using Ada in a real time environment are described. The application was the control system for an experimental robotic arm. The objectives of the effort were to experiment with developing embedded applications in Ada, evaluating the suitability of the language for the application, and determining the performance of the system. Additional objectives were to develop a control system based on the NASA/NBS Standard Reference Model for Telerobot Control System Architecture (NASREM) in Ada, and to experiment with the control laws and how to incorporate them into the NASREM architecture.

  5. Development of an Ada package library

    NASA Technical Reports Server (NTRS)

    Burton, Bruce; Broido, Michael

    1986-01-01

    A usable prototype Ada package library was developed and is currently being evaluated for use in large software development efforts. The library system is comprised of an Ada-oriented design language used to facilitate the collection of reuse information, a relational data base to store reuse information, a set of reusable Ada components and tools, and a set of guidelines governing the system's use. The prototyping exercise is discussed and the lessons learned from it have led to the definition of a comprehensive tool set to facilitate software reuse.

  6. NATAL-74; Towards a Common Programming Language for CAL.

    ERIC Educational Resources Information Center

    Brahan, J. W.; Colpitts, B. A.

    NATAL-74 is a programing language designed for Canadian computer aided learning (CAL) programs. The language has two fundamental elements: the UNIT provides the interface between the student and the subject matter, and the PROCEDURE element embodies teaching strategy. Desirable features of several programing languages have been adapted to cope…

  7. The BASIC Instructional Program: Conversion into MAINSAIL Language.

    ERIC Educational Resources Information Center

    Dageforde, Mary L.

    This report summarizes the rewriting of the BASIC Instructional Program (BIP) (a "hands-on laboratory" that teaches elementary programming in the BASIC language) from SAIL (a programming language available only on PDP-10 computers) into MAINSAIL (a language designed for portability on a broad class of computers). Four sections contain…

  8. Simulation of the space station information system in Ada

    NASA Technical Reports Server (NTRS)

    Spiegel, James R.

    1986-01-01

    The Flexible Ada Simulation Tool (FAST) is a discrete event simulation language which is written in Ada. FAST has been used to simulate a number of options for ground data distribution of Space Station payload data. The fact that Ada language is used for implementation has allowed a number of useful interactive features to be built into FAST and has facilitated quick enhancement of its capabilities to support new modeling requirements. General simulation concepts are discussed, and how these concepts are implemented in FAST. The FAST design is discussed, and it is pointed out how the used of the Ada language enabled the development of some significant advantages over classical FORTRAN based simulation languages. The advantages discussed are in the areas of efficiency, ease of debugging, and ease of integrating user code. The specific Ada language features which enable these advances are discussed.

  9. A small evaluation suite for Ada compilers

    NASA Technical Reports Server (NTRS)

    Wilke, Randy; Roy, Daniel M.

    1986-01-01

    After completing a small Ada pilot project (OCC simulator) for the Multi Satellite Operations Control Center (MSOCC) at Goddard last year, the use of Ada to develop OCCs was recommended. To help MSOCC transition toward Ada, a suite of about 100 evaluation programs was developed which can be used to assess Ada compilers. These programs compare the overall quality of the compilation system, compare the relative efficiencies of the compilers and the environments in which they work, and compare the size and execution speed of generated machine code. Another goal of the benchmark software was to provide MSOCC system developers with rough timing estimates for the purpose of predicting performance of future systems written in Ada.

  10. A programming language for composable DNA circuits.

    PubMed

    Phillips, Andrew; Cardelli, Luca

    2009-08-06

    Recently, a range of information-processing circuits have been implemented in DNA by using strand displacement as their main computational mechanism. Examples include digital logic circuits and catalytic signal amplification circuits that function as efficient molecular detectors. As new paradigms for DNA computation emerge, the development of corresponding languages and tools for these paradigms will help to facilitate the design of DNA circuits and their automatic compilation to nucleotide sequences. We present a programming language for designing and simulating DNA circuits in which strand displacement is the main computational mechanism. The language includes basic elements of sequence domains, toeholds and branch migration, and assumes that strands do not possess any secondary structure. The language is used to model and simulate a variety of circuits, including an entropy-driven catalytic gate, a simple gate motif for synthesizing large-scale circuits and a scheme for implementing an arbitrary system of chemical reactions. The language is a first step towards the design of modelling and simulation tools for DNA strand displacement, which complements the emergence of novel implementation strategies for DNA computing.

  11. Programming Language Use in US Academia and Industry

    ERIC Educational Resources Information Center

    Ben Arfa Rabai, Latifa; Cohen, Barry; Mili, Ali

    2015-01-01

    In the same way that natural languages influence and shape the way we think, programming languages have a profound impact on the way a programmer analyzes a problem and formulates its solution in the form of a program. To the extent that a first programming course is likely to determine the student's approach to program design, program analysis,…

  12. Language Enabled Airmen Program: Language Intensive Training Events 2011 Results

    DTIC Science & Technology

    2013-07-01

    learning a second language ? Motivational orientations and self-determination theory . Language Learning , 53, 33-64. Nyikos, M...largely on improving language proficiency. Cultural learning and growth was a weak second focus. However, the challenges that the participants most...and motivations in language learning : Advances in theory , research and applications. Malden, MA: Wiley-Blackwell. Gardner, R.C. (1982). Language

  13. Software and the future of programming languages.

    PubMed

    Aho, Alfred V

    2004-02-27

    Although software is the key enabler of the global information infrastructure, the amount and extent of software in use in the world today are not widely understood, nor are the programming languages and paradigms that have been used to create the software. The vast size of the embedded base of existing software and the increasing costs of software maintenance, poor security, and limited functionality are posing significant challenges for the software R&D community.

  14. Language and Program for Documenting Software Design

    NASA Technical Reports Server (NTRS)

    Kleine, H.; Zepko, T. M.

    1986-01-01

    Software Design and Documentation Language (SDDL) provides effective communication medium to support design and documentation of complex software applications. SDDL supports communication among all members of software design team and provides for production of informative documentation on design effort. Use of SDDL-generated document to analyze design makes it possible to eliminate many errors not detected until coding and testing attempted. SDDL processor program translates designer's creative thinking into effective document for communication. Processor performs as many automatic functions as possible, freeing designer's energy for creative effort. SDDL processor program written in PASCAL.

  15. Reshaping Foreign Language Programs: Implications for Department Chairs.

    ERIC Educational Resources Information Center

    Gay-Crosier, Raymond

    1987-01-01

    A chair of a university's department of Romance languages and literature addresses the status of two high priorities in the teaching of foreign languages: the integration of linguistics in the "new" curriculum; the continuing development of language teaching approaches in the classroom; and the commitment of foreign language programs in the…

  16. Proceedings of the third international IEEE conference on Ada applications and environments

    SciTech Connect

    Not Available

    1988-01-01

    These proceedings collect papers on software applications. Topics include: An interleaving symbolic execution approach for the formal verification of Ada programs with tasking, fault-tolerant Ada software, object-oriented frameworks for Ada, and generating multitasking Ada programs from high-level specifications.

  17. Award-Winning Foreign Language Programs: Prescriptions for Success.

    ERIC Educational Resources Information Center

    Sims, William D.; Hammond, Sandra B.

    The study reviews 50 foreign language programs in the United States that are said to be both inspirational and useful for providing concrete information about the creation and preservation of successful language programs. The programs cited are exemplary and can serve as models for educators and administrators to study and visit. Program selection…

  18. A Program That Acquires Language Using Positive and Negative Feedback.

    ERIC Educational Resources Information Center

    Brand, James

    1987-01-01

    Describes the language learning program "Acquire," which is a sample of grammar induction. It is a learning algorithm based on a pattern-matching scheme, using both a positive and negative network to reduce overgeneration. Language learning programs may be useful as tutorials for learning the syntax of a foreign language. (Author/LMO)

  19. A Practical Handbook for Implementation of Foreign Language Programs.

    ERIC Educational Resources Information Center

    Foreign Language Committee of the California Association for Supervision and Curriculum Development.

    A handbook for use by curriculum supervisors, teachers, and administrators presents guidelines for the establishment, operation, and evaluation of foreign language programs in California. The first part outlines the state's legal provisions for foreign language study while the second section deals with sources of assistance in language programs.…

  20. Ada (trademark) projects at NASA. Runtime environment issues and recommendations

    NASA Technical Reports Server (NTRS)

    Roy, Daniel M.; Wilke, Randall W.

    1988-01-01

    Ada practitioners should use this document to discuss and establish common short term requirements for Ada runtime environments. The major current Ada runtime environment issues are identified through the analysis of some of the Ada efforts at NASA and other research centers. The runtime environment characteristics of major compilers are compared while alternate runtime implementations are reviewed. Modifications and extensions to the Ada Language Reference Manual to address some of these runtime issues are proposed. Three classes of projects focusing on the most critical runtime features of Ada are recommended, including a range of immediately feasible full scale Ada development projects. Also, a list of runtime features and procurement issues is proposed for consideration by the vendors, contractors and the government.

  1. Artificial intelligence programming languages for computer aided manufacturing

    NASA Technical Reports Server (NTRS)

    Rieger, C.; Samet, H.; Rosenberg, J.

    1979-01-01

    Eight Artificial Intelligence programming languages (SAIL, LISP, MICROPLANNER, CONNIVER, MLISP, POP-2, AL, and QLISP) are presented and surveyed, with examples of their use in an automated shop environment. Control structures are compared, and distinctive features of each language are highlighted. A simple programming task is used to illustrate programs in SAIL, LISP, MICROPLANNER, and CONNIVER. The report assumes reader knowledge of programming concepts, but not necessarily of the languages surveyed.

  2. Investigating Principals' Knowledge and Perceptions of Second Language Programs for English Language Learners

    ERIC Educational Resources Information Center

    Padron, Yolanda N.; Waxman, Hersh C.

    2016-01-01

    This study examined principals' knowledge and perceptions of second language programs for English language learners (ELLs) operating in their schools. An open-ended survey and in-depth interviews were used to examine elementary school principals' knowledge of the second language programs implemented at their schools. The survey asked principals…

  3. A Different Kind of Language: Prolog, Programming in Logic.

    ERIC Educational Resources Information Center

    Cabrol, D.

    1986-01-01

    Prolog is one of the most successful "very high level languages." Describes this programming language (a product of artificial intelligence research) and attempts to show how it functions by using some short examples to illustrate its essential features. (JN)

  4. An Ada Linear-Algebra Software Package Modeled After HAL/S

    NASA Technical Reports Server (NTRS)

    Klumpp, Allan R.; Lawson, Charles L.

    1990-01-01

    New avionics software written more easily. Software package extends Ada programming language to include linear-algebra capabilities similar to those of HAL/S programming language. Designed for such avionics applications as Space Station flight software. In addition to built-in functions of HAL/S, package incorporates quaternion functions used in Space Shuttle and Galileo projects and routines from LINPAK solving systems of equations involving general square matrices. Contains two generic programs: one for floating-point computations and one for integer computations. Written on IBM/AT personal computer running under PC DOS, v.3.1.

  5. Using C++ as a scientific programming language

    SciTech Connect

    Peery, J.S.; Budge, K.G.; Robinson, A.C. ); Whitney, D. )

    1991-01-01

    Large computational physics codes are increasing in complexity as customers demand improved physics packages and more flexible algorithms and problem specifications. It is not uncommon for a code to exceed one hundred thousand lines of FORTRAN, and some codes are much larger. This poses a considerable challenge for program management. The Computational Physics Research and Development Division at Sandia National Laboratories is aggressively pursuing C++ as the language of choice for new coding efforts. We feel that we cannot meet the stringent customer requirements and delivery schedules we now face with either FORTRAN77 or Fortran-90. 8 refs., 3 tabs.

  6. ELAPSE - NASA AMES LISP AND ADA BENCHMARK SUITE: EFFICIENCY OF LISP AND ADA PROCESSING - A SYSTEM EVALUATION

    NASA Technical Reports Server (NTRS)

    Davis, G. J.

    1994-01-01

    One area of research of the Information Sciences Division at NASA Ames Research Center is devoted to the analysis and enhancement of processors and advanced computer architectures, specifically in support of automation and robotic systems. To compare systems' abilities to efficiently process Lisp and Ada, scientists at Ames Research Center have developed a suite of non-parallel benchmarks called ELAPSE. The benchmark suite was designed to test a single computer's efficiency as well as alternate machine comparisons on Lisp, and/or Ada languages. ELAPSE tests the efficiency with which a machine can execute the various routines in each environment. The sample routines are based on numeric and symbolic manipulations and include two-dimensional fast Fourier transformations, Cholesky decomposition and substitution, Gaussian elimination, high-level data processing, and symbol-list references. Also included is a routine based on a Bayesian classification program sorting data into optimized groups. The ELAPSE benchmarks are available for any computer with a validated Ada compiler and/or Common Lisp system. Of the 18 routines that comprise ELAPSE, provided within this package are 14 developed or translated at Ames. The others are readily available through literature. The benchmark that requires the most memory is CHOLESKY.ADA. Under VAX/VMS, CHOLESKY.ADA requires 760K of main memory. ELAPSE is available on either two 5.25 inch 360K MS-DOS format diskettes (standard distribution) or a 9-track 1600 BPI ASCII CARD IMAGE format magnetic tape. The contents of the diskettes are compressed using the PKWARE archiving tools. The utility to unarchive the files, PKUNZIP.EXE, is included. The ELAPSE benchmarks were written in 1990. VAX and VMS are trademarks of Digital Equipment Corporation. MS-DOS is a registered trademark of Microsoft Corporation.

  7. Righting the ADA

    ERIC Educational Resources Information Center

    National Council on Disability, 2004

    2004-01-01

    Many Americans with disabilities feel that a series of negative court decisions is reducing their status to that of "second-class citizens," a status that the Americans with Disabilities Act (ADA) was supposed to remedy forever. In this report, the National Council on Disability (NCD), which first proposed the enactment of an ADA and…

  8. Going Global: Can Dual-Language Programs Save Bilingual Education?

    ERIC Educational Resources Information Center

    Varghese, Manka M.; Park, Caryn

    2010-01-01

    In this commentary, we extend the cautionary tales regarding dual-language programs raised by several scholars by considering the interface of such programs with global education. We consider the possible pitfalls of uncritically framing dual-language programs within the global education movement in the United States, especially in light of how…

  9. Language Programs at Villababel High: Rethinking Ideologies of Social Inclusion

    ERIC Educational Resources Information Center

    Mijares, Laura; Relano Pastor, Ana M.

    2011-01-01

    This article explores language ideologies underlying two language programs implemented in one secondary school in Madrid (Spain). The Spanish for newcomers immersion program ("Aula de Enlace") is aimed at immigrant origin students who do not know or have a poor command of Spanish; and the Spanish-English bilingual program targets…

  10. The ulam Programming Language for Artificial Life.

    PubMed

    Ackley, David H; Ackley, Elena S

    2016-01-01

    Traditional digital computing demands perfectly reliable memory and processing, so programs can build structures once then use them forever-but such deterministic execution is becoming ever more costly in large-scale systems. By contrast, living systems, viewed as computations, naturally tolerate fallible hardware by repairing and rebuilding structures even while in use-and suggest ways to compute using massive amounts of unreliable, merely best-effort hardware. However, we currently know little about programming without deterministic execution, in architectures where traditional models of computation-and deterministic ALife models such as the Game of Life-need not apply. This expanded article presents ulam, a language designed to balance concurrency and programmability upon best-effort hardware, using lifelike strategies to achieve robust and scalable computations. The article reviews challenges for traditional architecture, introduces the active-media computational model for which ulam is designed, and then presents the language itself, touching on its nomenclature and surface appearance as well as some broader aspects of robust software engineering. Several ulam examples are presented; then the article concludes with a brief consideration of the couplings between a computational model and its physical implementation.

  11. Impact of Ada in the Flight Dynamics Division: Excitement and frustration

    NASA Technical Reports Server (NTRS)

    Bailey, John; Waligora, Sharon; Stark, Mike

    1993-01-01

    In 1985, NASA Goddard's Flight Dynamics Division (FDD) began investigating how the Ada language might apply to their software development projects. Although they began cautiously using Ada on only a few pilot projects, they expected that, if the Ada pilots showed promising results, they would fully transition their entire development organization from FORTRAN to Ada within 10 years. However, nearly 9 years later, the FDD still produces 80 percent of its software in FORTRAN, despite positive results on Ada projects. This paper reports preliminary results of an ongoing study, commissioned by the FDD, to quantify the impact of Ada in the FDD, to determine why Ada has not flourished, and to recommend future directions regarding Ada. Project trends in both languages are examined as are external factors and cultural issues that affected the infusion of this technology. This paper is the first public report on the Ada assessment study, which will conclude with a comprehensive final report in mid 1994.

  12. Languages across Borders: Social Network Development in an Adolescent Two-Way Dual-Language Program

    ERIC Educational Resources Information Center

    Kibler, Amanda K.; Atteberry, Allison; Hardigree, Christine N.; Salerno, April S.

    2015-01-01

    Background/Context: Two-way dual-language programs have become an increasingly popular educational model in the United States for language minority and majority speakers, with a small but growing number of programs at the high school level. Little is known, however, about how adolescents' social networks develop in the contexts of these programs.…

  13. Examining Evaluation System of an English Language Program in China

    ERIC Educational Resources Information Center

    Si-hong, Li

    2007-01-01

    In the field of EFL, effective language evaluation is receiving more and more attention. However, in many Chinese EFL situations, the evaluation of language development is still considered to be product-oriented. It is the purpose of this article to examine an evaluation system of an English language program offered by a university in Yunnan…

  14. Articulation for Elementary School Foreign Language Programs: Challenges and Opportunities.

    ERIC Educational Resources Information Center

    Pesola, Carol Ann

    While foreign language instruction for elementary school children is gaining attention, poor articulation is a problem that has become more complex because of the variety of foreign language program models being developed. Five main types are in use: total immersion, partial immersion, foreign languages in the elementary school (FLES),…

  15. A Parent-Assisted Early Childhood Environmental Language Intervention Program.

    ERIC Educational Resources Information Center

    Kemper, Robert L.

    1980-01-01

    Five children, aged 3 years 5 months to 4 years 11 months, who were speaking only in single word utterances and who exhibited a wide discrepancy between their language comprehension and production, were placed in a 12 week parent assisted environmental language intervention program using a sensorimotor approach to language training. (Author)

  16. Implementation of a production Ada project: The GRODY study

    NASA Technical Reports Server (NTRS)

    Godfrey, Sara; Brophy, Carolyn Elizabeth

    1989-01-01

    The use of the Ada language and design methodologies that encourage full use of its capabilities have a strong impact on all phases of the software development project life cycle. At the National Aeronautics and Space Administration/Goddard Space Flight Center (NASA/GSFC), the Software Engineering Laboratory (SEL) conducted an experiment in parallel development of two flight dynamics systems in FORTRAN and Ada. The differences observed during the implementation, unit testing, and integration phases of the two projects are described and the lessons learned during the implementation phase of the Ada development are outlined. Included are recommendations for future Ada development projects.

  17. Native Language Arts--English as a Second Language Program; School Year 1974-1975.

    ERIC Educational Resources Information Center

    Spivack, Frieda K.

    This Native Language Arts-English as a Second Language Program funded under Elementary Secondary Education Act Title I was designed for economically disadvantaged students who were speakers of a language other than English, and whose ability to read and write in their native tongue and in English was not adequate to permit through June 1975 in 34…

  18. Language and Man: An Exploratory Foreign-Language Program for Grade Six.

    ERIC Educational Resources Information Center

    Bartos, Marilyn; And Others

    This curriculum guide presents a program introducing sixth-grade children to the study of language, of languages other than English, and specifically of French. An initial section includes a variety of activities designed to interest students in the study of language, its peculiarties, complexities, and importance in life. Prior to the first…

  19. Language Choice & Language Power: Children's Use of Korean & English in a Two-Way Immersion Program

    ERIC Educational Resources Information Center

    Lee, Soyong

    2014-01-01

    In this article, the author explores the phenomenon of children's language choice and language use in a Korean-English two-way immersion (TWI) program. She does so by drawing on situations in which the children spoke of the principles guiding their choice of languages, and instances in which they voluntarily adopted Korean as the means of…

  20. Real-Time Multiprocessor Programming Language (RTMPL) user's manual

    NASA Technical Reports Server (NTRS)

    Arpasi, D. J.

    1985-01-01

    A real-time multiprocessor programming language (RTMPL) has been developed to provide for high-order programming of real-time simulations on systems of distributed computers. RTMPL is a structured, engineering-oriented language. The RTMPL utility supports a variety of multiprocessor configurations and types by generating assembly language programs according to user-specified targeting information. Many programming functions are assumed by the utility (e.g., data transfer and scaling) to reduce the programming chore. This manual describes RTMPL from a user's viewpoint. Source generation, applications, utility operation, and utility output are detailed. An example simulation is generated to illustrate many RTMPL features.

  1. Programming parallel architectures: The BLAZE family of languages

    NASA Technical Reports Server (NTRS)

    Mehrotra, Piyush

    1988-01-01

    Programming multiprocessor architectures is a critical research issue. An overview is given of the various approaches to programming these architectures that are currently being explored. It is argued that two of these approaches, interactive programming environments and functional parallel languages, are particularly attractive since they remove much of the burden of exploiting parallel architectures from the user. Also described is recent work by the author in the design of parallel languages. Research on languages for both shared and nonshared memory multiprocessors is described, as well as the relations of this work to other current language research projects.

  2. Introducing ALAS: A Novel Agent-Oriented Programming Language

    NASA Astrophysics Data System (ADS)

    Mitrović, Dejan; Ivanović, Mirjana; Vidaković, Milan

    2011-09-01

    Agent-oriented programming languages represent a family of programming languages that provide developers with high-level abstractions and constructs necessary for implementing and using agent-related concepts. In this paper a novel agent-oriented programming language for rapid and efficient development of reactive agents, named ALAS, is presented. The simple, but powerful set of language constructs is designed to support the execution of agents in heterogenous environments, and to enable easy employment of advanced agent features, such as mobility and web service integration.

  3. The Katydid system for compiling KEE applications to Ada

    NASA Technical Reports Server (NTRS)

    Filman, Robert E.; Bock, Conrad; Feldman, Roy

    1990-01-01

    Components of a system known as Katydid are developed in an effort to compile knowledge-based systems developed in a multimechanism integrated environment (KEE) to Ada. The Katydid core is an Ada library supporting KEE object functionality, and the other elements include a rule compiler, a LISP-to-Ada translator, and a knowledge-base dumper. Katydid employs translation mechanisms that convert LISP knowledge structures and rules to Ada and utilizes basic prototypes of a run-time KEE object-structure library module for Ada. Preliminary results include the semiautomatic compilation of portions of a simple expert system to run in an Ada environment with the described algorithms. It is suggested that Ada can be employed for AI programming and implementation, and the Katydid system is being developed to include concurrency and synchronization mechanisms.

  4. Nociones de la programacion de lenguas extranjeras (Ensayo metodologico) (Programming Foreign Languages [A Methodological Study])

    ERIC Educational Resources Information Center

    Feldman, David

    1975-01-01

    Stresses the importance of language laboratories and other technical devices used in foreign language teaching, particularly in programed language instruction. Illustrates, by means of taxonomies, the various stages a foreign language learning program should follow. (Text is in Spanish.) (DS)

  5. Software engineering capability for Ada (GRASP/Ada Tool)

    NASA Technical Reports Server (NTRS)

    Cross, James H., II

    1995-01-01

    The GRASP/Ada project (Graphical Representations of Algorithms, Structures, and Processes for Ada) has successfully created and prototyped a new algorithmic 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, as a result, improve reliability and reduce costs. The emphasis has been on the automatic generation of the CSD from Ada PDL or source code to support reverse engineering and maintenance. The CSD has the potential to replace traditional prettyprinted Ada Source code. A new Motif compliant graphical user interface has been developed for the GRASP/Ada prototype.

  6. Programming parallel architectures - The BLAZE family of languages

    NASA Technical Reports Server (NTRS)

    Mehrotra, Piyush

    1989-01-01

    This paper gives an overview of the various approaches to programming multiprocessor architectures that are currently being explored. It is argued that two of these approaches, interactive programming environments and functional parallel languages, are particularly attractive, since they remove much of the burden of exploiting parallel architectures from the user. This paper also describes recent work in the design of parallel languages. Research on languages for both shared and nonshared memory multiprocessors is described.

  7. Writing Scale Development and Use within a Language Program

    ERIC Educational Resources Information Center

    Plakans, Lia

    2013-01-01

    Developing assessments within a program can create more useful measures of our students' language. This includes rating scales used in performance assessments such as writing or speaking tests. This article describes the process of development, use, and revision of a writing placement scale by teachers in an intensive English language program. To…

  8. A Program for Reading and Language Development. An Adopter's Guide.

    ERIC Educational Resources Information Center

    Carter, Nancy Hay

    "Project SAILS" (Symbolic and Innovative Language Systems) is a special program developed by the Portland, Oregon, public schools for training teachers to work with children who have learning and reading difficulties. Teachers are instructed in the use of the Monterey Reading and Language Programs, highly structured and highly…

  9. Guide to Conducting a Language Immersion/Homestay Program.

    ERIC Educational Resources Information Center

    Drysdale, Susan; Killelea, Frances

    This handbook, designed to assist foreign language teachers in planning and executing a language immersion/homestay program for their students, is based on a successful program in Switzerland undertaken by Northport (New York) High School French teachers in 1980. The material is presented in three parts: (1) preparation of the exchange, including…

  10. Language constructs and runtime systems for compositional parallel programming

    SciTech Connect

    Foster, I.; Kesselman, C.

    1995-03-01

    In task-parallel programs, diverse activities can take place concurrently, and communication and synchronization patterns are complex and not easily predictable. Previous work has identified compositionality as an important design principle for task-parallel programs. In this paper, we discuss alternative approaches to the realization of this principle. We first provide a review and critical analysis of Strand, an early compositional programming language. We examine the strengths of the Strand approach and also its weaknesses, which we attribute primarily to the use of a specialized language. Then, we present an alternative programming language framework that overcomes these weaknesses. This framework uses simple extensions to existing sequential languages (C++ and Fortran) and a common runtime system to provide a basis for the construction of large, task-parallel programs. We also discuss the runtime system techniques required to support these languages on parallel and distributed computer systems.

  11. Foreign Language Immersion Programs. ERIC Digest.

    ERIC Educational Resources Information Center

    Met, Myriam

    Immersion is defined as a method of foreign language instruction in which the regular school curriculum is taught through the medium of the language. The foreign language is the vehicle for content instruction; it is not the subject of instruction. Different questions pertaining to the following subjects are answered: (1) long-range goals of a…

  12. A strategy for automatically generating programs in the lucid programming language

    NASA Technical Reports Server (NTRS)

    Johnson, Sally C.

    1987-01-01

    A strategy for automatically generating and verifying simple computer programs is described. The programs are specified by a precondition and a postcondition in predicate calculus. The programs generated are in the Lucid programming language, a high-level, data-flow language known for its attractive mathematical properties and ease of program verification. The Lucid programming is described, and the automatic program generation strategy is described and applied to several example problems.

  13. Programmed Learning and Computer-Assisted Instruction in Foreign Languages.

    ERIC Educational Resources Information Center

    Feldman, David M.

    Following an introductory review of foreign language teaching since the Second World War, the author discusses the cybernetic aspects and psychological basis of instructional technology; programmed learning/computer-assisted instruction and behavioral objectives; hardware versus software; linear programming; branching programs; programming verbal…

  14. 25 CFR 39.132 - Can a school integrate Language Development programs into its regular instructional program?

    Code of Federal Regulations, 2012 CFR

    2012-04-01

    ... 25 Indians 1 2012-04-01 2011-04-01 true Can a school integrate Language Development programs into... Language Development Programs § 39.132 Can a school integrate Language Development programs into its regular instructional program? A school may offer Language Development programs to students as part of...

  15. 25 CFR 39.132 - Can a school integrate Language Development programs into its regular instructional program?

    Code of Federal Regulations, 2014 CFR

    2014-04-01

    ... 25 Indians 1 2014-04-01 2014-04-01 false Can a school integrate Language Development programs into... Language Development Programs § 39.132 Can a school integrate Language Development programs into its regular instructional program? A school may offer Language Development programs to students as part of...

  16. 25 CFR 39.132 - Can a school integrate Language Development programs into its regular instructional program?

    Code of Federal Regulations, 2013 CFR

    2013-04-01

    ... 25 Indians 1 2013-04-01 2013-04-01 false Can a school integrate Language Development programs into... Language Development Programs § 39.132 Can a school integrate Language Development programs into its regular instructional program? A school may offer Language Development programs to students as part of...

  17. 25 CFR 39.132 - Can a school integrate Language Development programs into its regular instructional program?

    Code of Federal Regulations, 2011 CFR

    2011-04-01

    ... 25 Indians 1 2011-04-01 2011-04-01 false Can a school integrate Language Development programs into... Language Development Programs § 39.132 Can a school integrate Language Development programs into its regular instructional program? A school may offer Language Development programs to students as part of...

  18. 25 CFR 39.132 - Can a school integrate Language Development programs into its regular instructional program?

    Code of Federal Regulations, 2010 CFR

    2010-04-01

    ... 25 Indians 1 2010-04-01 2010-04-01 false Can a school integrate Language Development programs into... Language Development Programs § 39.132 Can a school integrate Language Development programs into its regular instructional program? A school may offer Language Development programs to students as part of...

  19. 75 FR 12221 - Foreign Language Assistance Program-Local Educational Agencies with Institutions of Higher Education

    Federal Register 2010, 2011, 2012, 2013, 2014

    2010-03-15

    ... Foreign Language Assistance Program--Local Educational Agencies with Institutions of Higher Education... Announcement I. Funding Opportunity Description Purpose of Program: The Foreign Language Assistance Program... the establishment, improvement, or expansion of foreign language study for elementary and...

  20. Processing sequence annotation data using the Lua programming language.

    PubMed

    Ueno, Yutaka; Arita, Masanori; Kumagai, Toshitaka; Asai, Kiyoshi

    2003-01-01

    The data processing language in a graphical software tool that manages sequence annotation data from genome databases should provide flexible functions for the tasks in molecular biology research. Among currently available languages we adopted the Lua programming language. It fulfills our requirements to perform computational tasks for sequence map layouts, i.e. the handling of data containers, symbolic reference to data, and a simple programming syntax. Upon importing a foreign file, the original data are first decomposed in the Lua language while maintaining the original data schema. The converted data are parsed by the Lua interpreter and the contents are stored in our data warehouse. Then, portions of annotations are selected and arranged into our catalog format to be depicted on the sequence map. Our sequence visualization program was successfully implemented, embedding the Lua language for processing of annotation data and layout script. The program is available at http://staff.aist.go.jp/yutaka.ueno/guppy/.

  1. ADA Integrated Environment I. System Specification.

    DTIC Science & Technology

    1981-12-01

    returned. UNCLASSIFIED SECt AITY CLASSIFICATION O r THiS PAGE ("On’ Dese ,9nA.,d)l ,_ REPORT DOCUMENTATION PAGE BEFO scOL’No RM 1. RqEPl~ORT, NUM1191N 2...statements, symbols, names, etc.; 2. build and develop (and maintain) Ada programs by linking (and maintaining) collections of separate Ada...program build by selecting a consistent set of library units for input to the Linker. Only those units actually used shall be included; 22 INTERMETRICS

  2. Preliminary Version: Ada (Trade Name)/SQL: A Standard, Portable Ada-DBMS Interface.

    DTIC Science & Technology

    1987-04-01

    process the SQL functions of ’ SELECT, UPDATE, INSERT, and DELETE. 2.4. Application and Tool Portability Concerns Ada/SQL is more than just an interface...database to the underlying DBMS. Once the database has been defined, the application programs may use Ada/SQL statements to process the data stored...totally transportable. Output can also be targeted for bulk load of a database, if warranted by the data volumes and processing speed. As already noted

  3. A Debate over the Teaching of a Legacy Programming Language in an Information Technology (IT) Program

    ERIC Educational Resources Information Center

    Ali, Azad; Smith, David

    2014-01-01

    This paper presents a debate between two faculty members regarding the teaching of the legacy programming course (COBOL) in a Computer Science (CS) program. Among the two faculty members, one calls for the continuation of teaching this language and the other calls for replacing it with another modern language. Although CS programs are notorious…

  4. Report on Ada (Trademark) Program Libraries Workshop Held at Monterey, California on November 1-3, 1983,

    DTIC Science & Technology

    1983-11-03

    SRI on a system called PegaSys was described. PegaSys describes system structure (also called mforme) using graphical methods in three ways: pictorial...have computational meaning; and execution results can be graphically displayed. PegaSys might be of great value in tracking changes to a system, since...the PegaSys visual programming environment being developed by Mark Moriconi et al at SRI. Standard relations are Ocall-by-value,m odatafoow, etc., and

  5. Assessment and Evaluation in Whole Language Programs.

    ERIC Educational Resources Information Center

    Harp, Bill, Ed.

    Intended for practioners, this book discusses many of the critical questions being asked about the role of whole language in schools. The book not only examines the growing research base that supports whole language, but also offers practical and realistic suggestions for tackling the many thorny issues involved in the assessment and evaluation of…

  6. A VOCABULARY PROGRAM USING "LANGUAGE REDUNDANCY."

    ERIC Educational Resources Information Center

    SCHAEFER, HALMUTH H.

    THE THESIS OF THIS REPORT IS THAT REDUNDANT PARTS OF A SENTENCE MAY EITHER BE OMITTED OR REPLACED BY NONSENSE WORDS WITHOUT LOSS OF COMPREHENSION. AND IF THE NONSENSE WORDS ARE IN A LANGUAGE FOREIGN TO THE READER, THEIR CONSISTENT USE SHOULD EVENTUALLY EQUATE THEM TO EQUIVALENTS IN THE READER'S LANGUAGE. GRAMMATICAL STRUCTURE WILL ALSO BE ACQUIRED…

  7. Business Language: Programs and Resources in Europe.

    ERIC Educational Resources Information Center

    Crane, Robert

    An overview of business education in four European countries (Italy, Great Britain, France, and West Germany) is presented and the development of business language instruction in Europe is surveyed, with emphasis on the experiences in Great Britain and Denmark. Suggestions are given for future cooperation in business language between the United…

  8. 25 CFR 39.136 - What is the WSU for Language Development programs?

    Code of Federal Regulations, 2012 CFR

    2012-04-01

    ... 25 Indians 1 2012-04-01 2011-04-01 true What is the WSU for Language Development programs? 39.136... EQUALIZATION PROGRAM Indian School Equalization Formula Language Development Programs § 39.136 What is the WSU for Language Development programs? Language Development programs are funded at 0.13 WSUs per student....

  9. 25 CFR 39.131 - What is a Language Development Program?

    Code of Federal Regulations, 2012 CFR

    2012-04-01

    ... 25 Indians 1 2012-04-01 2011-04-01 true What is a Language Development Program? 39.131 Section 39... EQUALIZATION PROGRAM Indian School Equalization Formula Language Development Programs § 39.131 What is a Language Development Program? A Language Development program is one that serves students who either:...

  10. 25 CFR 39.136 - What is the WSU for Language Development programs?

    Code of Federal Regulations, 2010 CFR

    2010-04-01

    ... 25 Indians 1 2010-04-01 2010-04-01 false What is the WSU for Language Development programs? 39.136... EQUALIZATION PROGRAM Indian School Equalization Formula Language Development Programs § 39.136 What is the WSU for Language Development programs? Language Development programs are funded at 0.13 WSUs per student....

  11. 25 CFR 39.131 - What is a Language Development Program?

    Code of Federal Regulations, 2013 CFR

    2013-04-01

    ... 25 Indians 1 2013-04-01 2013-04-01 false What is a Language Development Program? 39.131 Section 39... EQUALIZATION PROGRAM Indian School Equalization Formula Language Development Programs § 39.131 What is a Language Development Program? A Language Development program is one that serves students who either:...

  12. 25 CFR 39.136 - What is the WSU for Language Development programs?

    Code of Federal Regulations, 2013 CFR

    2013-04-01

    ... 25 Indians 1 2013-04-01 2013-04-01 false What is the WSU for Language Development programs? 39.136... EQUALIZATION PROGRAM Indian School Equalization Formula Language Development Programs § 39.136 What is the WSU for Language Development programs? Language Development programs are funded at 0.13 WSUs per student....

  13. 25 CFR 39.131 - What is a Language Development Program?

    Code of Federal Regulations, 2010 CFR

    2010-04-01

    ... 25 Indians 1 2010-04-01 2010-04-01 false What is a Language Development Program? 39.131 Section 39... EQUALIZATION PROGRAM Indian School Equalization Formula Language Development Programs § 39.131 What is a Language Development Program? A Language Development program is one that serves students who either:...

  14. 25 CFR 39.131 - What is a Language Development Program?

    Code of Federal Regulations, 2011 CFR

    2011-04-01

    ... 25 Indians 1 2011-04-01 2011-04-01 false What is a Language Development Program? 39.131 Section 39... EQUALIZATION PROGRAM Indian School Equalization Formula Language Development Programs § 39.131 What is a Language Development Program? A Language Development program is one that serves students who either:...

  15. 25 CFR 39.131 - What is a Language Development Program?

    Code of Federal Regulations, 2014 CFR

    2014-04-01

    ... 25 Indians 1 2014-04-01 2014-04-01 false What is a Language Development Program? 39.131 Section 39... EQUALIZATION PROGRAM Indian School Equalization Formula Language Development Programs § 39.131 What is a Language Development Program? A Language Development program is one that serves students who either:...

  16. 25 CFR 39.136 - What is the WSU for Language Development programs?

    Code of Federal Regulations, 2014 CFR

    2014-04-01

    ... 25 Indians 1 2014-04-01 2014-04-01 false What is the WSU for Language Development programs? 39.136... EQUALIZATION PROGRAM Indian School Equalization Formula Language Development Programs § 39.136 What is the WSU for Language Development programs? Language Development programs are funded at 0.13 WSUs per student....

  17. 25 CFR 39.136 - What is the WSU for Language Development programs?

    Code of Federal Regulations, 2011 CFR

    2011-04-01

    ... 25 Indians 1 2011-04-01 2011-04-01 false What is the WSU for Language Development programs? 39.136... EQUALIZATION PROGRAM Indian School Equalization Formula Language Development Programs § 39.136 What is the WSU for Language Development programs? Language Development programs are funded at 0.13 WSUs per student....

  18. 25 CFR 39.130 - Can ISEF funds be used for Language Development Programs?

    Code of Federal Regulations, 2010 CFR

    2010-04-01

    ... implement Language Development programs that demonstrate the positive effects of Native language programs on... 25 Indians 1 2010-04-01 2010-04-01 false Can ISEF funds be used for Language Development Programs... INDIAN SCHOOL EQUALIZATION PROGRAM Indian School Equalization Formula Language Development Programs §...

  19. Spanish-Language Assessment in a Bilingual Teacher Education Program.

    ERIC Educational Resources Information Center

    Blanco, George M.

    A diagnostic Spanish proficiency exam for a bilingual education teacher preparation program was pilot tested with 38 students, both native and non-native speakers. Other standardized proficiency exams were considered but judged inappropriate. The Modern Language Association Cooperative Foreign Language Proficiency Test: Spanish seemed more useful…

  20. Learning in Two Languages: A Bilingual Program in Western Australia.

    ERIC Educational Resources Information Center

    Barratt-Pugh, Caroline; Rohl, Mary

    2001-01-01

    Describes a one-year research project in a Western Australia primary school in a low socioeconomic area, which has a Khmer-English bilingual program to develop and extend children's English and Khmer language and literacy. Discusses findings concerning the children's written progress in both languages, and children's perceptions of their identity…

  1. A Survey of Object Oriented Languages in Programming Environments.

    DTIC Science & Technology

    1987-06-01

    Chairman. Depart fient of Computer Science Dean of Information and Policy .c$ 4iAI ABSTRACT This thesis addresses object oriented programming languages...5. Instances......................................... 55 6. Methods......................................... 5 C. INFORMATION HIDING...56 1. Definition ........................................ 56 2. Information Hiding in Object Oriented Languages .......... 56 D. DATA

  2. Impact of Language Immersion Programs on Foreign Language

    DTIC Science & Technology

    2008-03-01

    autonomous learner as a potentially rich source of feedback or can be discarded if it is 29 judged to be irrelevant or unhelpful. According to...Nunan (1997) found that strategy instruction led to increased English as a Foreign Language ( EFL ) learning motivation. Similarly, Chamot et al...0.31, p < .01). However, in other studies, such as that of Mullins (1992) with EFL learners in Thailand, affective strategies showed a negative

  3. The Ethics of Test Preparation at Intensive English Language Programs.

    ERIC Educational Resources Information Center

    Palmer, Ian C.

    It is concluded from a review of the literature and consideration of the type and objectives of tests and programs in English as a second language that, just as limiting an instructional program to what is to be tested in standardized tests would be inappropriate, so would constructing such a program without regard for what was to be tested. It is…

  4. Creating a Speech-Language Pathology Assistant Program.

    ERIC Educational Resources Information Center

    Hambrecht, Georgia, Ed.; Stimley, Mark, Ed.

    This document consists of 11 short articles about the development of the Associate of Science degree program for speech-language pathology assistants (SLPAs) at Indiana State University. The three sections address the program's background, course planning, and program implementation, respectively. Individual articles are: (1) "Top 10 List of…

  5. Language Arts Program Objectives (Grades 7, 8, and 9).

    ERIC Educational Resources Information Center

    East Allen County Schools, New Haven, IN.

    A language arts program for the seventh, eighth, and ninth grades is detailed in this document. Outlines of the scope and sequence of course components and lists of program objectives are given for each grade. Following these program objectives, the document consists of outline sketches for each course topic, including the scope and sequence of…

  6. Programming-Languages as a Conceptual Framework for Teaching Mathematics.

    ERIC Educational Resources Information Center

    Feurzeig, Wallace; And Others

    LOGO is a programming language developed at Bolt, Beranek and Newman, Inc., specifically for use in teaching. It provides the student with a set of numerical and symbolic primitives as elements for gradually building extended, complex program structures. The building of these structures is facilitated by a procedure-oriented programming heuristic…

  7. Modern & Classical Languages: K-12 Program EValuation 1988-89.

    ERIC Educational Resources Information Center

    Martinez, Margaret Perea

    This evaluation of the modern and classical languages programs, K-12, in the Albuquerque (New Mexico) public school system provides general information on the program's history, philosophy, recognition, curriculum development, teachers, and activities. Specific information is offered on the different program components, namely, the elementary…

  8. Teacher and Student Language Practices and Ideologies in a Third-Grade Two-Way Dual Language Program Implementation

    ERIC Educational Resources Information Center

    Henderson, Kathryn I.; Palmer, Deborah K.

    2015-01-01

    This article provides an in-depth exploration of the language ecologies of two classrooms attempting to implement a two-way dual language (TWDL) program and its mediating conditions. Drawing on ethnographic methods and a sociocultural understanding of language, we examined both teachers' and students' language ideologies and language practices,…

  9. Software engineering and Ada (Trademark) training: An implementation model for NASA

    NASA Technical Reports Server (NTRS)

    Legrand, Sue; Freedman, Glenn

    1988-01-01

    The choice of Ada for software engineering for projects such as the Space Station has resulted in government and industrial groups considering training programs that help workers become familiar with both a software culture and the intricacies of a new computer language. The questions of how much time it takes to learn software engineering with Ada, how much an organization should invest in such training, and how the training should be structured are considered. Software engineering is an emerging, dynamic discipline. It is defined by the author as the establishment and application of sound engineering environments, tools, methods, models, principles, and concepts combined with appropriate standards, guidelines, and practices to support computing which is correct, modifiable, reliable and safe, efficient, and understandable throughout the life cycle of the application. Neither the training programs needed, nor the content of such programs, have been well established. This study addresses the requirements for training for NASA personnel and recommends an implementation plan. A curriculum and a means of delivery are recommended. It is further suggested that a knowledgeable programmer may be able to learn Ada in 5 days, but that it takes 6 to 9 months to evolve into a software engineer who uses the language correctly and effectively. The curriculum and implementation plan can be adapted for each NASA Center according to the needs dictated by each project.

  10. AdaNET phase 0 support for the AdaNET Dynamic Software Inventory (DSI) management system prototype. Catalog of available reusable software components

    NASA Technical Reports Server (NTRS)

    Hanley, Lionel

    1989-01-01

    The Ada Software Repository is a public-domain collection of Ada software and information. The Ada Software Repository is one of several repositories located on the SIMTEL20 Defense Data Network host computer at White Sands Missile Range, and available to any host computer on the network since 26 November 1984. This repository provides a free source for Ada programs and information. The Ada Software Repository is divided into several subdirectories. These directories are organized by topic, and their names and a brief overview of their topics are contained. The Ada Software Repository on SIMTEL20 serves two basic roles: to promote the exchange and use (reusability) of Ada programs and tools (including components) and to promote Ada education.

  11. Ada Compiler Validation Summary Report: R.R. Software, Inc., Janus/ADA, Version 2.1.3, IBM PS/2, Model 70-80386 (Host & Target) 890919W1.10158

    DTIC Science & Technology

    1989-09-19

    Capability, ACVC, Validation Testing, Ada Validation Office, AVO , Ada Validation Facility, AVF, A%.SI/.UL-STD- 1815A, Ada Joint Program Office, AJPO 20...the direction of the AVF according to procedures established by the Ada JQ.Int Program Office and administered by the Ada Validation Organization ( AVO ...originating country, the AVO may make full and free public disclosure of this report. In the United States, this is provided in accordance with the

  12. Real-Time MENTAT programming language and architecture

    NASA Technical Reports Server (NTRS)

    Grimshaw, Andrew S.; Silberman, Ami; Liu, Jane W. S.

    1989-01-01

    Real-time MENTAT, a programming environment designed to simplify the task of programming real-time applications in distributed and parallel environments, is described. It is based on the same data-driven computation model and object-oriented programming paradigm as MENTAT. It provides an easy-to-use mechanism to exploit parallelism, language constructs for the expression and enforcement of timing constraints, and run-time support for scheduling and exciting real-time programs. The real-time MENTAT programming language is an extended C++. The extensions are added to facilitate automatic detection of data flow and generation of data flow graphs, to express the timing constraints of individual granules of computation, and to provide scheduling directives for the runtime system. A high-level view of the real-time MENTAT system architecture and programming language constructs is provided.

  13. Money and Policy Make Languages Go Round: Language Programs in Australia after NALSAS

    ERIC Educational Resources Information Center

    Slaughter, Yvette

    2009-01-01

    This article considers telling differences that have emerged in participation rates in languages other than English study in the States of Victoria and New South Wales since the introduction and completion of the NALSAS program. It explores the role that language planning, policy and funding, both at a State and Federal level, have played in this…

  14. Challenges in the 1990s for College Foreign Language Programs. Issues in Language Program Direction: A Series of Annual Volumes.

    ERIC Educational Resources Information Center

    Magnan, Sally Seiloff, Ed.

    This collection of papers includes the following: "Style Wars: Teacher-Student Style Conflicts in the Language Classroom" (Rebecca L. Oxford, Madeline E. Ehrman, and Roberta Z. Lavine); "Articulating Learning in High School and College Programs: Holistic Theory in the Foreign Language Curriculum" (Janet Swaffar);…

  15. On a programming language for graph algorithms

    NASA Technical Reports Server (NTRS)

    Rheinboldt, W. C.; Basili, V. R.; Mesztenyi, C. K.

    1971-01-01

    An algorithmic language, GRAAL, is presented for describing and implementing graph algorithms of the type primarily arising in applications. The language is based on a set algebraic model of graph theory which defines the graph structure in terms of morphisms between certain set algebraic structures over the node set and arc set. GRAAL is modular in the sense that the user specifies which of these mappings are available with any graph. This allows flexibility in the selection of the storage representation for different graph structures. In line with its set theoretic foundation, the language introduces sets as a basic data type and provides for the efficient execution of all set and graph operators. At present, GRAAL is defined as an extension of ALGOL 60 (revised) and its formal description is given as a supplement to the syntactic and semantic definition of ALGOL. Several typical graph algorithms are written in GRAAL to illustrate various features of the language and to show its applicability.

  16. Towards an agent-oriented programming language based on Scala

    NASA Astrophysics Data System (ADS)

    Mitrović, Dejan; Ivanović, Mirjana; Budimac, Zoran

    2012-09-01

    Scala and its multi-threaded model based on actors represent an excellent framework for developing purely reactive agents. This paper presents an early research on extending Scala with declarative programming constructs, which would result in a new agent-oriented programming language suitable for developing more advanced, BDI agent architectures. The main advantage the new language over many other existing solutions for programming BDI agents is a natural and straightforward integration of imperative and declarative programming constructs, fitted under a single development framework.

  17. Alma Flor Ada and the Quest for Change

    ERIC Educational Resources Information Center

    Manna, Anthony, L.; Hill, Janet; Kellogg, Kathy

    2004-01-01

    Alma Flor Ada, a folklorist, novelist, scholar, teacher, and children's book author has passionate dedication to education for social justice, equality, and peace. As a faculty member at the University of San Francisco, Ada has developed programs that help students and others transform their lives and has written several bilingual legends and…

  18. A LISP-Ada connection

    NASA Technical Reports Server (NTRS)

    Jaworski, Allan; Lavallee, David; Zoch, David

    1987-01-01

    The prototype demonstrates the feasibility of using Ada for expert systems and the implementation of an expert-friendly interface which supports knowledge entry. In the Ford LISP-Ada Connection (FLAC) system LISP and Ada are used in ways which complement their respective capabilities. Future investigation will concentrate on the enhancement of the expert knowledge entry/debugging interface and on the issues associated with multitasking and real-time expert systems implementation in Ada.

  19. Towards programming languages for genetic engineering of living cells.

    PubMed

    Pedersen, Michael; Phillips, Andrew

    2009-08-06

    Synthetic biology aims at producing novel biological systems to carry out some desired and well-defined functions. An ultimate dream is to design these systems at a high level of abstraction using engineering-based tools and programming languages, press a button, and have the design translated to DNA sequences that can be synthesized and put to work in living cells. We introduce such a programming language, which allows logical interactions between potentially undetermined proteins and genes to be expressed in a modular manner. Programs can be translated by a compiler into sequences of standard biological parts, a process that relies on logic programming and prototype databases that contain known biological parts and protein interactions. Programs can also be translated to reactions, allowing simulations to be carried out. While current limitations on available data prevent full use of the language in practical applications, the language can be used to develop formal models of synthetic systems, which are otherwise often presented by informal notations. The language can also serve as a concrete proposal on which future language designs can be discussed, and can help to guide the emerging standard of biological parts which so far has focused on biological, rather than logical, properties of parts.

  20. 34 CFR 669.1 - What is the Language Resource Centers Program?

    Code of Federal Regulations, 2014 CFR

    2014-07-01

    ... 34 Education 3 2014-07-01 2014-07-01 false What is the Language Resource Centers Program? 669.1... POSTSECONDARY EDUCATION, DEPARTMENT OF EDUCATION LANGUAGE RESOURCE CENTERS PROGRAM General § 669.1 What is the Language Resource Centers Program? The Language Resource Centers Program makes awards, through grants...

  1. 34 CFR 669.1 - What is the Language Resource Centers Program?

    Code of Federal Regulations, 2012 CFR

    2012-07-01

    ... 34 Education 3 2012-07-01 2012-07-01 false What is the Language Resource Centers Program? 669.1... POSTSECONDARY EDUCATION, DEPARTMENT OF EDUCATION LANGUAGE RESOURCE CENTERS PROGRAM General § 669.1 What is the Language Resource Centers Program? The Language Resource Centers Program makes awards, through grants...

  2. 34 CFR 658.1 - What is the Undergraduate International Studies and Foreign Language Program?

    Code of Federal Regulations, 2011 CFR

    2011-07-01

    ... Foreign Language Program? 658.1 Section 658.1 Education Regulations of the Offices of the Department of... STUDIES AND FOREIGN LANGUAGE PROGRAM General § 658.1 What is the Undergraduate International Studies and Foreign Language Program? The Undergraduate International Studies and Foreign Language Program is...

  3. 34 CFR 669.1 - What is the Language Resource Centers Program?

    Code of Federal Regulations, 2013 CFR

    2013-07-01

    ... 34 Education 3 2013-07-01 2013-07-01 false What is the Language Resource Centers Program? 669.1... POSTSECONDARY EDUCATION, DEPARTMENT OF EDUCATION LANGUAGE RESOURCE CENTERS PROGRAM General § 669.1 What is the Language Resource Centers Program? The Language Resource Centers Program makes awards, through grants...

  4. 34 CFR 658.1 - What is the Undergraduate International Studies and Foreign Language Program?

    Code of Federal Regulations, 2013 CFR

    2013-07-01

    ... Foreign Language Program? 658.1 Section 658.1 Education Regulations of the Offices of the Department of... STUDIES AND FOREIGN LANGUAGE PROGRAM General § 658.1 What is the Undergraduate International Studies and Foreign Language Program? The Undergraduate International Studies and Foreign Language Program is...

  5. 34 CFR 669.1 - What is the Language Resource Centers Program?

    Code of Federal Regulations, 2011 CFR

    2011-07-01

    ... 34 Education 3 2011-07-01 2011-07-01 false What is the Language Resource Centers Program? 669.1... POSTSECONDARY EDUCATION, DEPARTMENT OF EDUCATION LANGUAGE RESOURCE CENTERS PROGRAM General § 669.1 What is the Language Resource Centers Program? The Language Resource Centers Program makes awards, through grants...

  6. 34 CFR 658.1 - What is the Undergraduate International Studies and Foreign Language Program?

    Code of Federal Regulations, 2014 CFR

    2014-07-01

    ... Foreign Language Program? 658.1 Section 658.1 Education Regulations of the Offices of the Department of... STUDIES AND FOREIGN LANGUAGE PROGRAM General § 658.1 What is the Undergraduate International Studies and Foreign Language Program? The Undergraduate International Studies and Foreign Language Program is...

  7. 34 CFR 658.1 - What is the Undergraduate International Studies and Foreign Language Program?

    Code of Federal Regulations, 2012 CFR

    2012-07-01

    ... Foreign Language Program? 658.1 Section 658.1 Education Regulations of the Offices of the Department of... STUDIES AND FOREIGN LANGUAGE PROGRAM General § 658.1 What is the Undergraduate International Studies and Foreign Language Program? The Undergraduate International Studies and Foreign Language Program is...

  8. 34 CFR 658.1 - What is the Undergraduate International Studies and Foreign Language Program?

    Code of Federal Regulations, 2010 CFR

    2010-07-01

    ... Foreign Language Program? 658.1 Section 658.1 Education Regulations of the Offices of the Department of... STUDIES AND FOREIGN LANGUAGE PROGRAM General § 658.1 What is the Undergraduate International Studies and Foreign Language Program? The Undergraduate International Studies and Foreign Language Program is...

  9. Trends in programming languages for neuroscience simulations.

    PubMed

    Davison, Andrew P; Hines, Michael L; Muller, Eilif

    2009-01-01

    Neuroscience simulators allow scientists to express models in terms of biological concepts, without having to concern themselves with low-level computational details of their implementation. The expressiveness, power and ease-of-use of the simulator interface is critical in efficiently and accurately translating ideas into a working simulation. We review long-term trends in the development of programmable simulator interfaces, and examine the benefits of moving from proprietary, domain-specific languages to modern dynamic general-purpose languages, in particular Python, which provide neuroscientists with an interactive and expressive simulation development environment and easy access to state-of-the-art general-purpose tools for scientific computing.

  10. Chinese Treasure Chest: An Integrated Exploratory Chinese Language & Culture Program.

    ERIC Educational Resources Information Center

    Jensen, Inge-Lise; Verg-in, Yen-ti

    This publication describes the Chinese Treasure Chest project, an exploratory Chinese language and culture program developed by two elementary school teachers in the Aleutians East Borough (Alaska) School District. The project centers on the use of a large box of materials and a program plan designed to introduce elementary students in…

  11. Equating in Small-Scale Language Testing Programs

    ERIC Educational Resources Information Center

    LaFlair, Geoffrey T.; Isbell, Daniel; May, L. D. Nicolas; Gutierrez Arvizu, Maria Nelly; Jamieson, Joan

    2017-01-01

    Language programs need multiple test forms for secure administrations and effective placement decisions, but can they have confidence that scores on alternate test forms have the same meaning? In large-scale testing programs, various equating methods are available to ensure the comparability of forms. The choice of equating method is informed by…

  12. Commercial Video Programs: A Component to Enhance Language Skills.

    ERIC Educational Resources Information Center

    Linares, H. A.

    After the passage of a resolution by the South Dakota Board of Regents to place greater emphasis on the study of foreign language, Northern State College introduced commercial video programs in Spanish for classroom use. After installing a parabolic antenna and the other necessary equipment, the department selected and edited a series of programs,…

  13. English as a Second Language: Implementing Effective Adult Education Programs.

    ERIC Educational Resources Information Center

    California State Dept. of Education, Sacramento. Adult, Alternative, and Continuation Education Div.

    The manual is designed to assist California educators and public in understanding the various aspects of an effective English-as-a-Second-Language (ESL) program for adults. It provides theory-based and practical guidelines for conceptualizing, planning, designing, managing, and evaluating such programs. Chapters address these topics: the adult ESL…

  14. Foreign Language Immersion Programs and School Policy: Conflicting Agendas

    ERIC Educational Resources Information Center

    Olson Beal, Heather K.; Haj-Broussard, Michelle; Boudreaux, Nicole

    2012-01-01

    In this position article, we explore what happens when school district policies regarding desegregation, accountability, and foreign language immersion education collide. Specifically, we contrast 2 immersion programs that experienced distinct outcomes as a result of the conflicting agendas underlying these 3 policies. One program, originally…

  15. Language Program as Ecology: A Perspective for Leadership

    ERIC Educational Resources Information Center

    Pennington, Martha C.; Hoekje, Barbara J.

    2010-01-01

    A language program is a delicate and intricate system of interacting resources or components, which, like a biological ecology, is in a constant state of evolution and change. The interactive system making up the program's internal culture is connected ecologically to the external environment. The ecological model is introduced as a useful…

  16. Dynamic Learning Objects to Teach Java Programming Language

    ERIC Educational Resources Information Center

    Narasimhamurthy, Uma; Al Shawkani, Khuloud

    2010-01-01

    This article describes a model for teaching Java Programming Language through Dynamic Learning Objects. The design of the learning objects was based on effective learning design principles to help students learn the complex topic of Java Programming. Visualization was also used to facilitate the learning of the concepts. (Contains 1 figure and 2…

  17. Developing College English as a Second Language (ESL) Programs

    ERIC Educational Resources Information Center

    Orlova, Irina A.; Kennedy, Jelane A.

    2009-01-01

    This article examines available literature on college English as a Second Language (ESL) programs. The literature available on college ESL programs falls into three categories: (1) research reports and articles, (2) recent theoretical discussions on ESL teaching, and (3) thought pieces discussing college ESL curriculum development and assessment…

  18. HAL/S - The programming language for Shuttle

    NASA Technical Reports Server (NTRS)

    Martin, F. H.

    1974-01-01

    HAL/S is a higher order language and system, now operational, adopted by NASA for programming Space Shuttle on-board software. Program reliability is enhanced through language clarity and readability, modularity through program structure, and protection of code and data. Salient features of HAL/S include output orientation, automatic checking (with strictly enforced compiler rules), the availability of linear algebra, real-time control, a statement-level simulator, and compiler transferability (for applying HAL/S to additional object and host computers). The compiler is described briefly.

  19. Classroom Application of a Language Remediation Program.

    ERIC Educational Resources Information Center

    Wiseman, Douglas E.

    Definitions and specific breakdowns of four (auditory reception, visual sequential memory, verbal expression, and auditory closure) of the 12 language areas of the new Illinois Test of Psycholinguistic Abilities (ITPA) are presented. Auditory reception is defined as the ability to understand the meaning of materials or stimuli that are heard and…

  20. Language Programing for the Foreign Student.

    ERIC Educational Resources Information Center

    Rocklyn, Eugene H.

    The desirability of and problems inherent in a core language course designed to teach the speaking and understanding skills of English on a completely automated or self-instructional basis are considered. Such courses could be developed for specific countries to instruct foreign students prior to their arrival for technical instruction here, or…

  1. Blackfeet Language Coloring Book. Blackfeet Heritage Program.

    ERIC Educational Resources Information Center

    Lewis, Elizabeth, Comp.

    A part of the Blackfeet Indian Heritage Project, this coloring book features 21 pages of pictures of animal and plant life, foods, and numbers. Arranged in alphabetical order, the pictures are accompanied with their names printed in both the English and Blackfeet languages. The reverse side of each page is left blank to give the student room to…

  2. Articulation in Programs of Chinese Language.

    ERIC Educational Resources Information Center

    Fenn, Henry C.

    1970-01-01

    The teaching of the Chinese language in the United States needs first to depart from the classical attitude that the sole goal is research, and to include among its objectives the occupational needs of all types of learners. To meet the problem of student "nomadism" at home and abroad, there should be certification of all transfers in terms of…

  3. Software Engineering in Ada

    DTIC Science & Technology

    1988-03-22

    Avo Valmu - An aces value provides the locationi of. or "polnah. to". ani 4bjec which has been craea~d by the evaluation of an allocator. Keyword: amis...and traininp need.. of the DOD community. including methodologies and materials to rill those needu. Ada Va~lidation Orgamluatlo ( AVO ) - The component...type we the tesis for equality and inequality and the assignment operation. unless the type is limited.. in which case no operations awe implicitly

  4. A high-order language for a system of closely coupled processing elements

    NASA Technical Reports Server (NTRS)

    Feyock, S.; Collins, W. R.

    1986-01-01

    The research reported in this paper was occasioned by the requirements on part of the Real-Time Digital Simulator (RTDS) project under way at NASA Lewis Research Center. The RTDS simulation scheme employs a network of CPUs running lock-step cycles in the parallel computations of jet airplane simulations. Their need for a high order language (HOL) that would allow non-experts to write simulation applications and that could be implemented on a possibly varying network can best be fulfilled by using the programming language Ada. We describe how the simulation problems can be modeled in Ada, how to map a single, multi-processing Ada program into code for individual processors, regardless of network reconfiguration, and why some Ada language features are particulary well-suited to network simulations.

  5. Between Language as Problem and Resource: Examining Teachers' Language Orientations in Dual-Language Programs

    ERIC Educational Resources Information Center

    Zúñiga, Christian E.

    2016-01-01

    Using a case study methodology, the article examines the language practices of two third-grade bilingual, dual-language education teachers as they prepare their students for their state's standardized assessment. Findings revealed that both teachers taught in between the contradicting tensions of the language-as-problem and -resource orientations…

  6. Programming a real code in a functional language (part 1)

    SciTech Connect

    Hendrickson, C.P.

    1991-09-10

    For some, functional languages hold the promise of allowing ease of programming massively parallel computers that imperative languages such as Fortran and C do not offer. At LLNL, we have initiated a project to write the physics of a major production code in Sisal, a functional language developed at LLNL in collaboration with researchers throughout the world. We are investigating the expressibility of Sisal, as well as its performance on a shared-memory multiprocessor, the Y-MP. An interesting aspect of the project is that Sisal modules can call Fortran modules, and are callable by them. This eliminates the rewriting of 80% of the production code that would not benefit from parallel execution. Preliminary results indicate that the restrictive nature of the language does not cause problems in expressing the algorithms we have chosen. Some interesting aspects of programming in a mixed functional-imperative environment have surfaced, but can be managed. 8 refs.

  7. Defining an Appropriate Role for Language Tests in Intensive English Language Programs.

    ERIC Educational Resources Information Center

    Des Brisay, Margaret; Ready, Doreen

    The use of test results as a criterion for evaluating the design of an intensive English language program is examined in one Canadian university program in Indonesia. The study was investigating whether: (1) realistic estimates of training needs were being made; (2) data from other tests would enable better prediction of student outcomes, and…

  8. The Full-Year Asian Language Concentration FALCON Program in Chinese Language at Cornell University.

    ERIC Educational Resources Information Center

    McCoy, John

    The Full-Year Asian Language Concentration (FALCON) program was designed for students who need an intensive program in Chinese to make them proficient enough for graduate study. Using L1, FALCON teaches students to express adult concepts in L2. Since good writing requires a great degree of proficiency, it is neglected initially for the sake of a…

  9. A Comparison of Programming Languages and Algebraic Notation as Expressive Languages for Physics.

    ERIC Educational Resources Information Center

    Sherin, Bruce L.

    2001-01-01

    Considers some of the implications of replacing, for the purposes of physics instruction, algebraic notation with programming language. Introduces a framework based on two theoretical constructs. Concludes that algebra-physics can be characterized as the physics of balance and equilibrium and programming-physics as the physics of processes and…

  10. Requirements for a geometry programming language for CFD applications

    NASA Technical Reports Server (NTRS)

    Gentry, Arvel E.

    1992-01-01

    A number of typical problems faced by the aerodynamicist in using computational fluid dynamics are presented to illustrate the need for a geometry programming language. The overall requirements for such a language are illustrated by examples from the Boeing Aero Grid and Paneling System (AGPS). Some of the problems in building such a system are also reviewed along with suggestions as to what to look for when evaluating new software problems.

  11. Development of a computer program to generate typical measurement values for various systems on a space station

    NASA Technical Reports Server (NTRS)

    Deacetis, Louis A.

    1987-01-01

    The elements of a simulation program written in Ada were developed. The program will eventually serve as a data generator of typical readings from various space station equipment involved with Communications and Tracking, and will simulate various scenarios that may arise due to equipment malfunction or failure, power failure, etc. In addition, an evaluation of the Ada language was made from the viewpoint of a FORTRAN programmer learning Ada for the first time. Various strengths and difficulties associated with the learning and use of Ada are considered.

  12. Spot: A Programming Language for Verified Flight Software

    NASA Technical Reports Server (NTRS)

    Bocchino, Robert L., Jr.; Gamble, Edward; Gostelow, Kim P.; Some, Raphael R.

    2014-01-01

    The C programming language is widely used for programming space flight software and other safety-critical real time systems. C, however, is far from ideal for this purpose: as is well known, it is both low-level and unsafe. This paper describes Spot, a language derived from C for programming space flight systems. Spot aims to maintain compatibility with existing C code while improving the language and supporting verification with the SPIN model checker. The major features of Spot include actor-based concurrency, distributed state with message passing and transactional updates, and annotations for testing and verification. Spot also supports domain-specific annotations for managing spacecraft state, e.g., communicating telemetry information to the ground. We describe the motivation and design rationale for Spot, give an overview of the design, provide examples of Spot's capabilities, and discuss the current status of the implementation.

  13. Do They Make a Difference? The Impact of English Language Programs on Second Language Students in Canadian Universities

    ERIC Educational Resources Information Center

    Fox, Janna; Cheng, Liying; Zumbo, Bruno D.

    2014-01-01

    Few studies have investigated the impact of English language programs on second language (L2) students studying in Canadian universities (Cheng & Fox, 2008; Fox, 2005, 2009). This article reports on questionnaire responses of 641 L2 students studying in 36 English language programs in 26 Canadian universities. The researchers identified…

  14. Evaluating Locally-Developed Language Testing: A Predictive Study of "Direct Entry" Language Programs at an Australian University

    ERIC Educational Resources Information Center

    Cope, Nicholas

    2011-01-01

    The study reported here investigates the predictive validity of language assessments by "Direct Entry" programs at an Australian University--programs developed on site for Non English Speaking Background international students, principally to provide (i) pre-entry academic and language preparation and (ii) language assessment for…

  15. The Scratch Programming Language and Environment

    ERIC Educational Resources Information Center

    Maloney, John; Resnick, Mitchel; Rusk, Natalie; Silverman, Brian; Eastmond, Evelyn

    2010-01-01

    Scratch is a visual programming environment that allows users (primarily ages 8 to 16) to learn computer programming while working on personally meaningful projects such as animated stories and games. A key design goal of Scratch is to support self-directed learning through tinkering and collaboration with peers. This article explores how the…

  16. Visual Teaching Model for Introducing Programming Languages

    ERIC Educational Resources Information Center

    Shehane, Ronald; Sherman, Steven

    2014-01-01

    This study examines detailed usage of online training videos that were designed to address specific course problems that were encountered in an online computer programming course. The study presents the specifics of a programming course where training videos were used to provide students with a quick start path to learning a new programming…

  17. Ada and software management in NASA: Symposium/forum

    NASA Technical Reports Server (NTRS)

    1989-01-01

    The promises of Ada to improve software productivity and quality, and the claims that a transition to Ada would require significant changes in NASA's training programs and ways of doing business were investigated. The study assesses the agency's ongoing and planned Ada activities. A series of industry representatives (Computer Sciences Corporation, General Electric Aerospace, McDonnell Douglas Space Systems Company, TRW, Lockheed, and Boeing) reviewed the recommendations and assessed their impact from the Company's perspective. The potential effects on NASA programs were then discussed.

  18. Programming real-time executives in higher order language

    NASA Technical Reports Server (NTRS)

    Foudriat, E. C.

    1982-01-01

    Methods by which real-time executive programs can be implemented in a higher order language are discussed, using HAL/S and Path Pascal languages as program examples. Techniques are presented by which noncyclic tasks can readily be incorporated into the executive system. Situations are shown where the executive system can fail to meet its task scheduling and yet be able to recover either by rephasing the clock or stacking the information for later processing. The concept of deadline processing is shown to enable more effective mixing of time and information synchronized systems.

  19. Integrated Task And Data Parallel Programming: Language Design

    NASA Technical Reports Server (NTRS)

    Grimshaw, Andrew S.; West, Emily A.

    1998-01-01

    his research investigates the combination of task and data parallel language constructs within a single programming language. There are an number of applications that exhibit properties which would be well served by such an integrated language. Examples include global climate models, aircraft design problems, and multidisciplinary design optimization problems. Our approach incorporates data parallel language constructs into an existing, object oriented, task parallel language. The language will support creation and manipulation of parallel classes and objects of both types (task parallel and data parallel). Ultimately, the language will allow data parallel and task parallel classes to be used either as building blocks or managers of parallel objects of either type, thus allowing the development of single and multi-paradigm parallel applications. 1995 Research Accomplishments In February I presented a paper at Frontiers '95 describing the design of the data parallel language subset. During the spring I wrote and defended my dissertation proposal. Since that time I have developed a runtime model for the language subset. I have begun implementing the model and hand-coding simple examples which demonstrate the language subset. I have identified an astrophysical fluid flow application which will validate the data parallel language subset. 1996 Research Agenda Milestones for the coming year include implementing a significant portion of the data parallel language subset over the Legion system. Using simple hand-coded methods, I plan to demonstrate (1) concurrent task and data parallel objects and (2) task parallel objects managing both task and data parallel objects. My next steps will focus on constructing a compiler and implementing the fluid flow application with the language. Concurrently, I will conduct a search for a real-world application exhibiting both task and data parallelism within the same program m. Additional 1995 Activities During the fall I collaborated

  20. The implementation and use of ADA on distributed systems with high reliability requirements

    NASA Technical Reports Server (NTRS)

    Knight, J. C.

    1985-01-01

    The use and implementation of Ada in distributed environments in which reliability is the primary concern is investigated. Emphasis is placed on the possibility that a distributed system may be programmed entirely in Ada so that the individual tasks of the system are unconcerned with which processors they are executing on, and that failures may occur in the software or underlying hardware. A new linguistic construct, the colloquy, is introduced which solves the problems identified in an earlier proposal, the conversation. It was shown that the colloquy is at least as powerful as recovery blocks, but it is also as powerful as all the other language facilities proposed for other situations requiring backward error recovery: recovery blocks, deadlines, generalized exception handlers, traditional conversations, s-conversations, and exchanges. The major features that distinguish the colloquy are described. Sample programs that were written, but not executed, using the colloquy show that extensive backward error recovery can be included in these programs simply and elegantly. These ideas are being implemented in an experimental Ada test bed.

  1. ADAS Update and Maintainability

    NASA Technical Reports Server (NTRS)

    Watson, Leela R.

    2010-01-01

    Since 2000, both the National Weather Service Melbourne (NWS MLB) and the Spaceflight Meteorology Group (SMG) have used a local data integration system (LOIS) as part of their forecast and warning operations. The original LOIS was developed by the Applied Meteorology Unit (AMU) in 1998 (Manobianco and Case 1998) and has undergone subsequent improvements. Each has benefited from three-dimensional (3-D) analyses that are delivered to forecasters every 15 minutes across the peninsula of Florida. The intent is to generate products that enhance short-range weather forecasts issued in support of NWS MLB and SMG operational requirements within East Central Florida. The current LDIS uses the Advanced Regional Prediction System (ARPS) Data Analysis System (AD AS) package as its core, which integrates a wide variety of national, regional, and local observational data sets. It assimilates all available real-time data within its domain and is run at a finer spatial and temporal resolution than current national or regional-scale analysis packages. As such, it provides local forecasters with a more comprehensive understanding of evolving fine-scale weather features. Over the years, the LDIS has become problematic to maintain since it depends on AMU-developed shell scripts that were written for an earlier version of the ADAS software. The goals of this task were to update the NWS MLB/SMG LDIS with the latest version of ADAS, incorporate new sources of observational data, and upgrade and modify the AMU-developed shell scripts written to govern the system. In addition, the previously developed ADAS graphical user interface (GUI) was updated. Operationally, these upgrades will result in more accurate depictions of the current local environment to help with short-range weather forecasting applications, while also offering an improved initialization for local versions of the Weather Research and Forecasting (WRF) model used by both groups.

  2. Validation Summary Report: Digital Equipment Corporation, DEC Ada for Open VMS VAX Systems, Version 3.0-7, VAXstation 4000 Model 60 (host) => VAXstation 3100 Model 48 (target), 930319S1.11317

    DTIC Science & Technology

    1993-03-19

    language, Ada Compiler Val. Summary Report, Ada Compiler Val. ........ Capability, Val. Testing, Ada Val. Office, Ada Val. Facility, ANSI/MIL- STD ...ABbr RACT UNCLASSIFIED UNCLASSIFED UNCLASSIFIED NSN 7540-01-280-550 Standard Form 298, (Rev. 2-89) Prescribed by ANSI Std 239-128 AVF Control Number...ANSI/MIL- STD -1815B is approved by ANSI. This report has been reviewed and is approved. Ada Va idat on/ acl ty Ada Validation Facility Dr. David K. J fe

  3. Catalog of Resources for Education in Ada (Trade Name) and Software Engineering (CREASE). Version 4.0.

    DTIC Science & Technology

    1986-05-01

    type of organization offering the course is a company. Name and Address of offeror: Infotrans 27 Poter Pond Lexington. MA 02173 Offeror s B ckgound: The...Ada language (1982 Department of Defense Standard). Introduction to Ada CREASE Version 4.0 231 Invitation to Ada & Ada Reference Manual Author(s) Harry ...s) Harry Katzan Jr., Katzan International Published by: Petrocelli Books, Inc. Publication date: 1984 ISBN: 089433-239-2 Ubrary of Congress: 83-26968

  4. Implementing embedded artificial intelligence rules within algorithmic programming languages

    NASA Technical Reports Server (NTRS)

    Feyock, Stefan

    1988-01-01

    Most integrations of artificial intelligence (AI) capabilities with non-AI (usually FORTRAN-based) application programs require the latter to execute separately to run as a subprogram or, at best, as a coroutine, of the AI system. In many cases, this organization is unacceptable; instead, the requirement is for an AI facility that runs in embedded mode; i.e., is called as subprogram by the application program. The design and implementation of a Prolog-based AI capability that can be invoked in embedded mode are described. The significance of this system is twofold: Provision of Prolog-based symbol-manipulation and deduction facilities makes a powerful symbolic reasoning mechanism available to applications programs written in non-AI languages. The power of the deductive and non-procedural descriptive capabilities of Prolog, which allow the user to describe the problem to be solved, rather than the solution, is to a large extent vitiated by the absence of the standard control structures provided by other languages. Embedding invocations of Prolog rule bases in programs written in non-AI languages makes it possible to put Prolog calls inside DO loops and similar control constructs. The resulting merger of non-AI and AI languages thus results in a symbiotic system in which the advantages of both programming systems are retained, and their deficiencies largely remedied.

  5. AdaNET executive summary

    NASA Technical Reports Server (NTRS)

    Digman, R. Michael

    1988-01-01

    The goal of AdaNET is to transfer existing and emerging software engineering technology from the Federal government to the private sector. The views and perspectives of the current project participants on long and short term goals for AdaNET; organizational structure; resources and returns; summary of identified AdaNET services; and the summary of the organizational model currently under discussion are presented.

  6. Fine-Tuning ADAS Algorithm Parameters for Optimizing Traffic ...

    EPA Pesticide Factsheets

    With the development of the Connected Vehicle technology that facilitates wirelessly communication among vehicles and road-side infrastructure, the Advanced Driver Assistance Systems (ADAS) can be adopted as an effective tool for accelerating traffic safety and mobility optimization at various highway facilities. To this end, the traffic management centers identify the optimal ADAS algorithm parameter set that enables the maximum improvement of the traffic safety and mobility performance, and broadcast the optimal parameter set wirelessly to individual ADAS-equipped vehicles. After adopting the optimal parameter set, the ADAS-equipped drivers become active agents in the traffic stream that work collectively and consistently to prevent traffic conflicts, lower the intensity of traffic disturbances, and suppress the development of traffic oscillations into heavy traffic jams. Successful implementation of this objective requires the analysis capability of capturing the impact of the ADAS on driving behaviors, and measuring traffic safety and mobility performance under the influence of the ADAS. To address this challenge, this research proposes a synthetic methodology that incorporates the ADAS-affected driving behavior modeling and state-of-the-art microscopic traffic flow modeling into a virtually simulated environment. Building on such an environment, the optimal ADAS algorithm parameter set is identified through an optimization programming framework to enable th

  7. AdaNET research project

    NASA Technical Reports Server (NTRS)

    Digman, R. Michael

    1988-01-01

    The components necessary for the success of the commercialization of an Ada Technology Transition Network are reported in detail. The organizational plan presents the planned structure for services development and technical transition of AdaNET services to potential user communities. The Business Plan is the operational plan for the AdaNET service as a commercial venture. The Technical Plan is the plan from which the AdaNET can be designed including detailed requirements analysis. Also contained is an analysis of user fees and charges, and a proposed user fee schedule.

  8. 25 CFR 39.130 - Can ISEF funds be used for Language Development Programs?

    Code of Federal Regulations, 2012 CFR

    2012-04-01

    ... 25 Indians 1 2012-04-01 2011-04-01 true Can ISEF funds be used for Language Development Programs... INDIAN SCHOOL EQUALIZATION PROGRAM Indian School Equalization Formula Language Development Programs § 39.130 Can ISEF funds be used for Language Development Programs? Yes, schools can use ISEF funds...

  9. 25 CFR 39.130 - Can ISEF funds be used for Language Development Programs?

    Code of Federal Regulations, 2011 CFR

    2011-04-01

    ... 25 Indians 1 2011-04-01 2011-04-01 false Can ISEF funds be used for Language Development Programs... INDIAN SCHOOL EQUALIZATION PROGRAM Indian School Equalization Formula Language Development Programs § 39.130 Can ISEF funds be used for Language Development Programs? Yes, schools can use ISEF funds...

  10. 25 CFR 39.130 - Can ISEF funds be used for Language Development Programs?

    Code of Federal Regulations, 2013 CFR

    2013-04-01

    ... 25 Indians 1 2013-04-01 2013-04-01 false Can ISEF funds be used for Language Development Programs... INDIAN SCHOOL EQUALIZATION PROGRAM Indian School Equalization Formula Language Development Programs § 39.130 Can ISEF funds be used for Language Development Programs? Yes, schools can use ISEF funds...

  11. 25 CFR 39.130 - Can ISEF funds be used for Language Development Programs?

    Code of Federal Regulations, 2014 CFR

    2014-04-01

    ... 25 Indians 1 2014-04-01 2014-04-01 false Can ISEF funds be used for Language Development Programs... INDIAN SCHOOL EQUALIZATION PROGRAM Indian School Equalization Formula Language Development Programs § 39.130 Can ISEF funds be used for Language Development Programs? Yes, schools can use ISEF funds...

  12. The Development of an Indigenous Knowledge Program in a New Zealand Maori-Language Immersion School

    ERIC Educational Resources Information Center

    Harrison, Barbara; Papa, Rahui

    2005-01-01

    In 1985, Te Wharekura o Rakaumangamanga initiated a Maori-language immersion program for children ages 5 through 18. In recent years, a program based on Waikato-Tainui tribal epistemology has been incorporated into the language immersion program. This article describes the community context and the language immersion and tribal knowledge programs.…

  13. The FORCE - A highly portable parallel programming language

    NASA Technical Reports Server (NTRS)

    Jordan, Harry F.; Benten, Muhammad S.; Alaghband, Gita; Jakob, Ruediger

    1989-01-01

    This paper explains why the FORCE parallel programming language is easily portable among six different shared-memory multiprocessors, and how a two-level macro preprocessor makes it possible to hide low-level machine dependencies and to build machine-independent high-level constructs on top of them. These FORCE constructs make it possible to write portable parallel programs largely independent of the number of processes and the specific shared-memory multiprocessor executing them.

  14. The FORCE: A highly portable parallel programming language

    NASA Technical Reports Server (NTRS)

    Jordan, Harry F.; Benten, Muhammad S.; Alaghband, Gita; Jakob, Ruediger

    1989-01-01

    Here, it is explained why the FORCE parallel programming language is easily portable among six different shared-memory microprocessors, and how a two-level macro preprocessor makes it possible to hide low level machine dependencies and to build machine-independent high level constructs on top of them. These FORCE constructs make it possible to write portable parallel programs largely independent of the number of processes and the specific shared memory multiprocessor executing them.

  15. Language Is the Key: A Multilingual Language Building Program for Young Children. Training Manual To Accompany the Video Programs: Talking and Books [and] Talking and Play.

    ERIC Educational Resources Information Center

    Notari-Syverson, Angela; Madddox, Mary; Lim, Young Sook; Cole, Kevin

    This educational program, comprised of a training manual and 2 accompanying videotapes (each about 25 minutes long), is designed to develop language skills in young children with language disorders and/or children from minority backgrounds. The program model is based on the following principles: (1) early language is critical to later academic…

  16. Tutorial on Generalized Programming Language s and Systems. Instructor Edition.

    ERIC Educational Resources Information Center

    Fasana, Paul J., Ed.; Shank, Russell, Ed.

    This instructor's manual is a comparative analysis and review of the various computer programing languages currently available and their capabilities for performing text manipulation, information storage, and data retrieval tasks. Based on materials presented at the 1967 Convention of the American Society for Information Science, the manual…

  17. Programming-Languages as a Conceptual Framework for Teaching Mathematics

    ERIC Educational Resources Information Center

    Feurzeig, Wallace; Papert, Seymour A.

    2011-01-01

    Formal mathematical methods remain, for most high school students, mysterious, artificial and not a part of their regular intuitive thinking. The authors develop some themes that could lead to a radically new approach. According to this thesis, the teaching of programming languages as a regular part of academic progress can contribute effectively…

  18. Fast Track: A Language Arts Program for Middle School Gifted

    ERIC Educational Resources Information Center

    Schneider, Jean

    2008-01-01

    "Fast Track" is a pseudonym for an accelerated, advanced language arts program for verbally gifted and high potential students in grades 6-8. The critical thinking model used for "Fast Track" was gleaned from Coalition of Essential Schools founder Ted Sizer's Habits of Mind: significance, evidence, connections, perspective, and supposition, as…

  19. Toward Useful Program Evaluation in College Foreign Language Education

    ERIC Educational Resources Information Center

    Norris, John M., Ed.; Davis, John McE., Ed.; Sinicrope, Castle, Ed.; Watanabe, Yukiko, Ed.

    2009-01-01

    This volume reports on innovative, useful evaluation work conducted within U.S. college foreign language programs. An introductory chapter scopes out the territory, reporting key findings from research into the concerns, impetuses, and uses for evaluation that FL educators identify. Seven chapters then highlight examples of evaluations conducted…

  20. Designing the Holographic Whole Language Program. Opinion Paper.

    ERIC Educational Resources Information Center

    Fluellen, Jerry

    A paper describes how David Bohm's holographic world view can be used to design a whole language program. Characterized by interconnectedness and multidimensionality, Bohm's holographic paradigm joins Eastern and Western belief systems in an old fashion pursuit of wisdom, on the one hand, and a new fashion pursuit of solutions to nonlinear…

  1. Effective Strategies for a Successful R-9 Language Program.

    ERIC Educational Resources Information Center

    Parsons, Miriam

    2003-01-01

    Highlights strategies and processes implemented across two schools as part of the Languages Focus Schools project in Australia. The intention was to improve outcomes for student learning in Spanish through a streamlined approach to programming, assessment, and transition from the first year of primary school to Grade 9, with a focus on the middle…

  2. PAL--A Language Designed for Teaching Programming Linguistics.

    ERIC Educational Resources Information Center

    Evans, Arthur, Jr.

    This paper describes PAL--a new computer language. It is used as a pedagogical vehicle in an undergraduate subject called "Programming Linguistics." This subject is designed primarily for sophomores who anticipate a major professional interest in computer science and has two objectives. The first is to study linguistic constructs for the…

  3. The Computer "Glass Box": Teaching With A Programming Language.

    ERIC Educational Resources Information Center

    Peelle, Howard A.

    Using A Programing Language (APL), a "computer glass box" was designed to stimulate students to think about selected concepts as well as to elucidate and reveal understanding. This approach is pedagogically suitable for a wide range of educational levels--from elementary school children to university graduate students. Using APL computer…

  4. Handbook for First Year Experimental Language Development Program, Book Two.

    ERIC Educational Resources Information Center

    Koppe, J., Comp.

    This hand book is to be used in conjunction with Book Two of an English as a second language program for young aboriginal children. It outlines in detail suggested activities for each week of class, emphasizing oral and reading skills. There are numerous games, poems, and short stories. Also included are appendixes on teaching equipment,…

  5. ADA 9X project report: ADA 9X requirements document. Draft report

    SciTech Connect

    Not Available

    1990-08-27

    This document contains a distillation of requests for language changes submitted by the general public and from special workshops held to identify potential areas for revision. The purpose of this document is to specify needs that are considered to be the appropriate focus of the Ada 9X revision effort and to identify revision requirements that are to be satisfied by the Mapping/Revision Team.

  6. More than Words, A Way of Life: Language Restoration Programs Reach beyond Tribal Colleges and Universities

    ERIC Educational Resources Information Center

    Paskus, Laura

    2013-01-01

    In North America, and worldwide, Indigenous languages are disappearing at an alarming rate. There are, however, models of success for language revitalization in immersion language programs, usually found in tribal colleges and universities. Whether the language learners are tribal college students greeting one another in their native language,…

  7. QUEST/Ada: Query utility environment for software testing of Ada

    NASA Technical Reports Server (NTRS)

    Brown, David B.

    1989-01-01

    Results of research and development efforts are presented for Task 1, Phase 2 of a general project entitled, The Development of a Program Analysis Environment for Ada. A prototype of the QUEST/Ada system was developed to collect data to determine the effectiveness of the rule-based testing paradigm. The prototype consists of five parts: the test data generator, the parser/scanner, the test coverage analyzer, a symbolic evaluator, and a data management facility, known as the Librarian. These components are discussed at length. Also presented is an experimental design for the evaluations, an overview of the project, and a schedule for its completion.

  8. A Comparison of String Handling in Four Programming Languages. Technical Progress Report.

    ERIC Educational Resources Information Center

    Mir, Carol Loeb

    Character string handling in the programing languages SNOBOL 4, TRAC, APL, and PL/I are compared. The first two of these are representatives of string processing languages, while the latter two represent general purpose programing languages. A description of each language is given and examples of string handling problems coded in the four…

  9. The Family of Concurrent Logic Programming Languages

    DTIC Science & Technology

    1989-05-01

    nature , such as the solution of large numerical problems. Following Harel [70], we call concurrent systems that are transforma- tional as a whole parallel...nondeterminitic finite mtompla, and logic programs. Reactive systems are also nondeter- ministic. However, the nature of nondetaminism in the former is very...0l) Im(EXIXs],S) fail Figure 4: Examples of input matching of goals with clause heads The dataflow nature of matching is evident: an "instruction

  10. The Effect of the English Language Learner Pull out Program on Primary Students' Language Achievement

    ERIC Educational Resources Information Center

    Penke, Heidi T.

    2011-01-01

    The purpose of this study was to determine the impact of the English Language Learner (ELL) pull out program on student achievement. Schools are facing the unprecedented challenge to educate a multicultural and multilingual student body with varied abilities and backgrounds of learning. The independent variables in this study were the…

  11. Language Learning Shifts and Attitudes towards Language Learning in an Online Tandem Program for Beginner Writers

    ERIC Educational Resources Information Center

    Tolosa, Constanza; Ordóñez, Claudia Lucía; Guevara, Diana Carolina

    2017-01-01

    We present findings of a project that investigated the potential of an online tandem program to enhance the foreign language learning of two groups of school-aged beginner learners, one learning English in Colombia and the other learning Spanish in New Zealand. We assessed the impact of the project on students' learning with a free writing…

  12. ADA Guide for Small Businesses.

    ERIC Educational Resources Information Center

    Department of Justice, Washington, DC. Civil Rights Div.

    This guide presents an informal overview of some basic Americans with Disabilities Act (ADA) requirements for small businesses that provide goods or services to the public. References to key sections of the regulations or other information are included. The first section describes the ADA briefly. Section two lists the 12 categories of public…

  13. Theoretical Foundations of the Language Development Program and Rationale for the Learning System: Language Development Program for Bilingual Education.

    ERIC Educational Resources Information Center

    Southwest Educational Development Lab., Austin, TX.

    Four theoretical papers and fourteen modules are presented that are to be used by local school systems to educate teachers and staff members in the understanding of curriculum content and acquisition of skills in teaching-learning procedures. The papers discuss the selected theories upon which the language program of the Southwest Educational…

  14. Robot Independent Programming Environment and Language

    SciTech Connect

    Lennox, Charleene

    1995-04-05

    RIPE is an object-oriented approach to robot system architectures; it is a software environment which facilitates rapid design and implementation of complex robot systems for diverse applications. The robot work cell is modeled using software objects and supports model-based automated programming of robotic and machining devices, real-time sensor-based control, error handling, robust communications and graphical interfaces for robot system control. The objects include robots, sensors, end effectors, workpieces, NC machines and various other devices. A set of generic classes is defined to represent these objects, and the interfaces to them become RIPL.

  15. The programming language HAL: A specification

    NASA Technical Reports Server (NTRS)

    1971-01-01

    HAL accomplishes three significant objectives: (1) increased readability, through the use of a natural two-dimensional mathematical format; (2) increased reliability, by providing for selective recognition of common data and subroutines, and by incorporating specific data-protect features; (3) real-time control facility, by including a comprehensive set of real-time control commands and signal conditions. Although HAL is designed primarily for programming on-board computers, it is general enough to meet nearly all the needs in the production, verification and support of aerospace, and other real-time applications.

  16. Implementing Task-Based Language Teaching to Integrate Language Skills in an EFL Program at a Colombian University

    ERIC Educational Resources Information Center

    Córdoba Zúñiga, Eulices

    2016-01-01

    This article reports the findings of a qualitative research study conducted with six first semester students of an English as a foreign language program in a public university in Colombia. The aim of the study was to implement task-based language teaching as a way to integrate language skills and help learners to improve their communicative…

  17. A Classroom-Home Language Intervention Program for Preschool Children "At Risk" for Language/Learning Disabilities.

    ERIC Educational Resources Information Center

    Quin, Paul E.; And Others

    The Children's Language Institute Preschool Project developed a successful classroom-home language intervention program for mildly to mildly-to-moderately language-impaired preschool children. An overview of the project, its rationale, and its results in terms of positive change in families and children are described. This volume is designed to…

  18. The implementation and use of Ada on distributed systems with high reliability requirements

    NASA Technical Reports Server (NTRS)

    Knight, J. C.

    1986-01-01

    The use and implementation of Ada in distributed environments in which reliability is the primary concern were investigted. A distributed system, programmed entirely in Ada, was studied to assess the use of individual tasks without concern for the processor used. Continued development and testing of the fault tolerant Ada testbed; development of suggested changes to Ada to cope with the failures of interest; design of approaches to fault tolerant software in real time systems, and the integration of these ideas into Ada; and the preparation of various papers and presentations were discussed.

  19. Review guidelines for software languages for use in nuclear power plant safety systems: Final report. Revision 1

    SciTech Connect

    Hecht, M.; Decker, D.; Graff, S.; Green, W.; Lin, D.; Dinsmore, G.; Koch, S.

    1997-10-01

    Guidelines for the programming and auditing of software written in high level languages for safety systems are presented. The guidelines are derived from a framework of issues significant to software safety which was gathered from relevant standards and research literature. Language-specific adaptations of these guidelines are provided for the following high level languages: Ada83 and Ada95; C and C++; International Electrochemical Commission (IEC) Standard 1131-3 Ladder Logic, Sequential Function Charts, Structured Text, and Function Block Diagrams; Pascal; and PL/M. Appendices to the report include a tabular summary of the guidelines and additional information on selected languages.

  20. Associative programming language and virtual associative access manager

    NASA Technical Reports Server (NTRS)

    Price, C.

    1978-01-01

    APL provides convenient associative data manipulation functions in a high level language. Six statements were added to PL/1 via a preprocessor: CREATE, INSERT, FIND, FOR EACH, REMOVE, and DELETE. They allow complete control of all data base operations. During execution, data base management programs perform the functions required to support the APL language. VAAM is the data base management system designed to support the APL language. APL/VAAM is used by CADANCE, an interactive graphic computer system. VAAM is designed to support heavily referenced files. Virtual memory files, which utilize the paging mechanism of the operating system, are used. VAAM supports a full network data structure. The two basic blocks in a VAAM file are entities and sets. Entities are the basic information element and correspond to PL/1 based structures defined by the user. Sets contain the relationship information and are implemented as arrays.

  1. 75 FR 10225 - Office of Postsecondary Education; Overview Information; Language Resource Centers Program...

    Federal Register 2010, 2011, 2012, 2013, 2014

    2010-03-05

    ...; Language Resource Centers Program; Notice Inviting Applications for New Awards for Fiscal Year (FY) 2010... Opportunity Description Purpose of Program: The Language Resource Centers (LRC) program provides grants to... improving the Nation's capacity for teaching and learning foreign languages. Priorities: This...

  2. Ada Compiler Validation Summary Report: NYU Ada/ED, Version 19.7 V-001.

    DTIC Science & Technology

    1983-04-11

    SCz25 C~z37 EC85 C37304A- ABADA P SCa22 CTs63 1.7.10.9 £7.38 Validation Summary Report for NYU Ada/ED April 11, 1983 A-6 A CMplete Li3t Of Tst3 and...9 NOa 352002E- ABADA PM SWaS CT*23 ECz2 B520021-8. ADA P SCs5 CTs11 EC.1 55202- ABADA P SC85 CT89 ECul Validation Summary Report for M! Ad a/ ED April... ABADA , P SCx17 C7.16 M~al B9710OA.AB.ADA P4 SC.18 CTx18 ECal C97101AADA PH SCu13 CT.66 1..1.6£75 C9711GA-A.ADi PM SCs1 CTx17 LT.13. 76 B97115A-B.ADA

  3. Declarative Programming with Temporal Constraints, in the Language CG.

    PubMed

    Negreanu, Lorina

    2015-01-01

    Specifying and interpreting temporal constraints are key elements of knowledge representation and reasoning, with applications in temporal databases, agent programming, and ambient intelligence. We present and formally characterize the language CG, which tackles this issue. In CG, users are able to develop time-dependent programs, in a flexible and straightforward manner. Such programs can, in turn, be coupled with evolving environments, thus empowering users to control the environment's evolution. CG relies on a structure for storing temporal information, together with a dedicated query mechanism. Hence, we explore the computational complexity of our query satisfaction problem. We discuss previous implementation attempts of CG and introduce a novel prototype which relies on logic programming. Finally, we address the issue of consistency and correctness of CG program execution, using the Event-B modeling approach.

  4. ART/Ada design project, phase 1. Task 2 report: Detailed design

    NASA Technical Reports Server (NTRS)

    Allen, Bradley P.

    1988-01-01

    Various issues are studied in the context of the design of an Ada based expert system building tool. Using an existing successful design as a starting point, the impact is analyzed of the Ada language and Ada development methodologies on that design, the Ada system is redesigned, and its performance is analyzed using both complexity-theoretic and empirical techniques. The algorithms specified in the overall design are refined, resolving and documenting any open design issues, identifying each system module, documenting the internal architecture and control logic, and describing the primary data structures involved in the module.

  5. A Multicultural Awareness Program To Improve Language and Thinking Skills to a Group of Language Deficient Preschool Students.

    ERIC Educational Resources Information Center

    Altamura, Marilyn T.

    This practicum project exposed seven preschool students with language deficiencies to multicultural experiences and strategies, resulting in improvements in both language and thinking skills. The children were included in a regular preschool program serving low-income families. The program was based on a multicultural awareness curriculum which…

  6. The Impact of Ada and Object-Oriented Design in NASA Goddard's Flight Dynamics Division

    NASA Technical Reports Server (NTRS)

    Waligora, Sharon; Bailey, John; Stark, Mike

    1996-01-01

    This paper presents the highlights and key findings of 10 years of use and study of Ada and object-oriented design in NASA Goddard's Flight Dynamics Division (FDD). In 1985, the Software Engineering Laboratory (SEL) began investigating how the Ada language might apply to FDD software development projects. Although they began cautiously using Ada on only a few pilot projects, they expected that, if the Ada pilots showed promising results, the FDD would fully transition its entire development organization from FORTRAN to Ada within 10 years. However, 10 years later, the FDD still produced 80 percent of its software in FORTRAN and had begun using C and C++, despite positive results on Ada projects. This paper presents the final results of a SEL study to quantify the impact of Ada in the FDD, to determine why Ada has not flourished, and to recommend future directions regarding Ada. Project trends in both languages are examined as are external factors and cultural issues that affected the infusion of this technology. The detailed results of this study were published in a formal study report in March of 1995. This paper supersedes the preliminary results of this study that were presented at the Eighteenth Annual Software Engineering Workshop in 1993.

  7. Advanced Foreign Language Learning: A Challenge to College Programs. Issues in Language Program Direction.

    ERIC Educational Resources Information Center

    Byrnes, Heidi, Ed.; Maxim, Hiram H., Ed.

    This book includes the following chapters: "Literacy and Advanced Foreign Language Learning: Rethinking he Curriculum" (Richard G. Kern); "A Template for Advanced Learner Tasks: Staging Genre Reading and Cultural Literacy Through the Precis" (Janet Swaffar); "Fostering Advanced L2 Literacy: A Genre-Based, Cognitive…

  8. GRODY - GAMMA RAY OBSERVATORY DYNAMICS SIMULATOR IN ADA

    NASA Technical Reports Server (NTRS)

    Stark, M.

    1994-01-01

    Analysts use a dynamics simulator to test the attitude control system algorithms used by a satellite. The simulator must simulate the hardware, dynamics, and environment of the particular spacecraft and provide user services which enable the analyst to conduct experiments. Researchers at Goddard's Flight Dynamics Division developed GRODY alongside GROSS (GSC-13147), a FORTRAN simulator which performs the same functions, in a case study to assess the feasibility and effectiveness of the Ada programming language for flight dynamics software development. They used popular object-oriented design techniques to link the simulator's design with its function. GRODY is designed for analysts familiar with spacecraft attitude analysis. The program supports maneuver planning as well as analytical testing and evaluation of the attitude determination and control system used on board the Gamma Ray Observatory (GRO) satellite. GRODY simulates the GRO on-board computer and Control Processor Electronics. The analyst/user sets up and controls the simulation. GRODY allows the analyst to check and update parameter values and ground commands, obtain simulation status displays, interrupt the simulation, analyze previous runs, and obtain printed output of simulation runs. The video terminal screen display allows visibility of command sequences, full-screen display and modification of parameters using input fields, and verification of all input data. Data input available for modification includes alignment and performance parameters for all attitude hardware, simulation control parameters which determine simulation scheduling and simulator output, initial conditions, and on-board computer commands. GRODY generates eight types of output: simulation results data set, analysis report, parameter report, simulation report, status display, plots, diagnostic output (which helps the user trace any problems that have occurred during a simulation), and a permanent log of all runs and errors. The

  9. A report on NASA software engineering and Ada training requirements

    NASA Technical Reports Server (NTRS)

    Legrand, Sue; Freedman, Glenn B.; Svabek, L.

    1987-01-01

    NASA's software engineering and Ada skill base are assessed and information that may result in new models for software engineering, Ada training plans, and curricula are provided. A quantitative assessment which reflects the requirements for software engineering and Ada training across NASA is provided. A recommended implementation plan including a suggested curriculum with associated duration per course and suggested means of delivery is also provided. The distinction between education and training is made. Although it was directed to focus on NASA's need for the latter, the key relationships to software engineering education are also identified. A rationale and strategy for implementing a life cycle education and training program are detailed in support of improved software engineering practices and the transition to Ada.

  10. Cost/Benefit Evaluation of Three English Language Training Programs for Potential Navy Use.

    ERIC Educational Resources Information Center

    Swope, William M.; And Others

    As part of its plans to recruit Hispanic personnel who speak English as a second language, the U.S. Navy will have to provide English language training as well as technical training to prepare these personnel for fleet duty. A cost/benefit analysis was conducted of three English language training programs: the English Technical Language School…

  11. A Proposal for a CA-Integrated English Language Teacher Education Program in Turkey

    ERIC Educational Resources Information Center

    Sert, Olcay

    2010-01-01

    This study proposes a comprehensive framework for a Conversation Analysis (CA) informed English language teacher education program in Turkey. By reviewing recent studies in CA, Critical Reflective Practice, Teacher Language Awareness and language teacher education in general; the author calls for a more effective language teacher education program…

  12. Ada Compiler Validation Summary Report: Certificate Number: 890919W1. 10168, R.R. Software, Inc., Janus/ADA, Version 2.1.3, Northgate 386 under SCO UNIX

    DTIC Science & Technology

    1989-09-19

    Capability, ACVC, Validation Testing, Ada Validation Office, AVO , Ada Validation Facility, AVF, ANSI/PIL-STD- l8lSA, Ada Joint Program Office, A3PO 20...the Ada Validation Organization ( AVO ). On-site testing was completed 19 September 1989 at Madison WI. 1.2 USE OF THIS VALIDATION SUMMARY REPORT...Consistent with the national laws of the originating country, the AVO may make full and free public disclosure of this report. In the United States, this is

  13. 34 CFR 657.1 - What is the Foreign Language and Area Studies Fellowships Program?

    Code of Federal Regulations, 2013 CFR

    2013-07-01

    ... Fellowships Program? 657.1 Section 657.1 Education Regulations of the Offices of the Department of Education... FELLOWSHIPS PROGRAM General § 657.1 What is the Foreign Language and Area Studies Fellowships Program? Under the Foreign Language and Area Studies Fellowships Program, the Secretary awards fellowships,...

  14. 34 CFR 657.1 - What is the Foreign Language and Area Studies Fellowships Program?

    Code of Federal Regulations, 2011 CFR

    2011-07-01

    ... Fellowships Program? 657.1 Section 657.1 Education Regulations of the Offices of the Department of Education... FELLOWSHIPS PROGRAM General § 657.1 What is the Foreign Language and Area Studies Fellowships Program? Under the Foreign Language and Area Studies Fellowships Program, the Secretary awards fellowships,...

  15. 34 CFR 657.1 - What is the Foreign Language and Area Studies Fellowships Program?

    Code of Federal Regulations, 2014 CFR

    2014-07-01

    ... Fellowships Program? 657.1 Section 657.1 Education Regulations of the Offices of the Department of Education... FELLOWSHIPS PROGRAM General § 657.1 What is the Foreign Language and Area Studies Fellowships Program? Under the Foreign Language and Area Studies Fellowships Program, the Secretary awards fellowships,...

  16. 34 CFR 657.1 - What is the Foreign Language and Area Studies Fellowships Program?

    Code of Federal Regulations, 2012 CFR

    2012-07-01

    ... Fellowships Program? 657.1 Section 657.1 Education Regulations of the Offices of the Department of Education... FELLOWSHIPS PROGRAM General § 657.1 What is the Foreign Language and Area Studies Fellowships Program? Under the Foreign Language and Area Studies Fellowships Program, the Secretary awards fellowships,...

  17. 34 CFR 657.1 - What is the Foreign Language and Area Studies Fellowships Program?

    Code of Federal Regulations, 2010 CFR

    2010-07-01

    ... Fellowships Program? 657.1 Section 657.1 Education Regulations of the Offices of the Department of Education... FELLOWSHIPS PROGRAM General § 657.1 What is the Foreign Language and Area Studies Fellowships Program? Under the Foreign Language and Area Studies Fellowships Program, the Secretary awards fellowships,...

  18. 34 CFR 669.1 - What is the Language Resource Centers Program?

    Code of Federal Regulations, 2010 CFR

    2010-07-01

    ... improving the nation's capacity for teaching and learning foreign languages effectively. (Authority: 20 U.S... 34 Education 3 2010-07-01 2010-07-01 false What is the Language Resource Centers Program? 669.1... POSTSECONDARY EDUCATION, DEPARTMENT OF EDUCATION LANGUAGE RESOURCE CENTERS PROGRAM General § 669.1 What is...

  19. Learning Through Survival: An Approach to Foreign Language Teaching. A Program Description and Evaluation.

    ERIC Educational Resources Information Center

    Travers, Claudia S.; Reilly, Joseph T. M.

    A foreign travel program for eighth grade French language students from Shoreham, New York was developed to provide language speaking practice in Quebec, Canada. The program was designed to allow students to spend as much time as possible speaking the language and interacting with the people. The following "survival through speaking"…

  20. Building a Cross-Cultural Community through a Dual Language Immersion Program

    ERIC Educational Resources Information Center

    Hood, Sally

    2011-01-01

    This research study evaluates the effectiveness of a Spanish-English dual language immersion (DLI) program. Many researchers have found that high-quality and long-term DLI programs promote academic achievement and high levels of language proficiency for both language groups. Despite the evidence, leaders from the field of bilingual education have…

  1. Continuation of research into language concepts for the mission support environment

    NASA Technical Reports Server (NTRS)

    1991-01-01

    A concept for a more intuitive and graphically based Computation (Comp) Builder was developed. The Graphical Comp Builder Prototype was developed, which is an X Window based graphical tool that allows the user to build Comps using graphical symbols. Investigation was conducted to determine the availability and suitability of the Ada programming language for the development of future control center type software. The Space Station Freedom Project identified Ada as the desirable programming language for the development of Space Station Control Center software systems.

  2. An Evaluation of the Impact of the Preservice Teacher Education Program at the Defense Language Institute Foreign Language Center on the Foreign Language Teaching Beliefs of Preservice Language Instructors

    ERIC Educational Resources Information Center

    Bey, Claudia

    2011-01-01

    Preservice foreign-language teachers are adults with well-established beliefs. They start teacher-education programs with traditional beliefs about language teaching reflecting their own experiences. The field of foreign-language teaching, however, underwent a paradigm shift from grammar-based to communicative foreign-language instruction.…

  3. QUEST/Ada (Query Utility Environment for Software Testing of Ada): The development of a prgram analysis environment for Ada, task 1, phase 2

    NASA Technical Reports Server (NTRS)

    Brown, David B.

    1990-01-01

    The results of research and development efforts are described for Task one, Phase two of a general project entitled The Development of a Program Analysis Environment for Ada. The scope of this task includes the design and development of a prototype system for testing Ada software modules at the unit level. The system is called Query Utility Environment for Software Testing of Ada (QUEST/Ada). The prototype for condition coverage provides a platform that implements expert system interaction with program testing. The expert system can modify data in the instrument source code in order to achieve coverage goals. Given this initial prototype, it is possible to evaluate the rule base in order to develop improved rules for test case generation. The goals of Phase two are the following: (1) to continue to develop and improve the current user interface to support the other goals of this research effort (i.e., those related to improved testing efficiency and increased code reliable); (2) to develop and empirically evaluate a succession of alternative rule bases for the test case generator such that the expert system achieves coverage in a more efficient manner; and (3) to extend the concepts of the current test environment to address the issues of Ada concurrency.

  4. Where Do We Stand? Language Program Direction as Reflected in the "MLA Job Information List."

    ERIC Educational Resources Information Center

    Glew, Ellen

    2000-01-01

    Compares information gleaned from the Modern Language Association's "MLA Job Information List" seeking language program directors in 1996 and provides an overview of changes in the profession during that time. (Author/VWL)

  5. Lessons learned in creating spacecraft computer systems: Implications for using Ada (R) for the space station

    NASA Technical Reports Server (NTRS)

    Tomayko, James E.

    1986-01-01

    Twenty-five years of spacecraft onboard computer development have resulted in a better understanding of the requirements for effective, efficient, and fault tolerant flight computer systems. Lessons from eight flight programs (Gemini, Apollo, Skylab, Shuttle, Mariner, Voyager, and Galileo) and three reserach programs (digital fly-by-wire, STAR, and the Unified Data System) are useful in projecting the computer hardware configuration of the Space Station and the ways in which the Ada programming language will enhance the development of the necessary software. The evolution of hardware technology, fault protection methods, and software architectures used in space flight in order to provide insight into the pending development of such items for the Space Station are reviewed.

  6. Discussion on copy constructor in C++ programming language

    NASA Astrophysics Data System (ADS)

    Luo, Fafen; Du, Ruiqing

    2011-12-01

    C++ is a widely used object-orientated programming language in the software industry. The purpose of this paper is to discuss concept and application of the copy constructor, a special constructor in C++. As fundamental knowledge, constructor and destructor were introduced at first. Several examples of copy constructor were presented to illustrate concept of copy constructor and its use. Shallow copy and deep copy were also presented. After discussions on copy constructor by analyzing all the examples of copy constructor, the conclusion was made about that how to define a copy constructor and how to use it properly.

  7. Introductory Computer Programming Course Teaching Improvement Using Immersion Language, Extreme Programming, and Education Theories

    ERIC Educational Resources Information Center

    Velez-Rubio, Miguel

    2013-01-01

    Teaching computer programming to freshmen students in Computer Sciences and other Information Technology areas has been identified as a complex activity. Different approaches have been studied looking for the best one that could help to improve this teaching process. A proposed approach was implemented which is based in the language immersion…

  8. A Program Evaluation of the Language Lab™: Response to Intervention Program for Teaching Grammar, Vocabulary, and Storytelling

    ERIC Educational Resources Information Center

    Wiechmann, JoAnn; Richardson, Martha; Jones, Don

    2014-01-01

    This program evaluation study addressed the struggle of local elementary school speech-language pathologists (SLPs) in a school district to provide evidence-based intervention in language for students below grade level as required by the U.S. Department of Education. Recently, Language Lab™ was published to address the needs of oral language…

  9. Ada Implementation Guide. Software Engineering With Ada. Volume 1

    DTIC Science & Technology

    1994-04-01

    teaching, the student is less likely to readily adopt new, more powerful ways of accomplishing old tasks 122 Depatn of the NaY I ! Trablng and Educaion and...Maturity Model3 (CMU/SEI-92-TR-25, ESC-TR-/92-0M5). Pittsburgh, PA : Carnegie-Mellon University, 1992. SBoehm. B.W. Software Engineering Economics...Pittsburgh, PA : Carnegie-Mellon University, 19-21 March 1991. £ Contrast: Ada 9X and C++, Schonberg, E. New York University, 1992 (Distributed by Ada IC on

  10. Health care under the ADA: a vision or a mirage?

    PubMed

    Mudrick, Nancy R; Schwartz, Michael A

    2010-10-01

    Problems in health care access are identified using recent studies documenting the health disparities experienced by people with disabilities. Some of these health care access barriers qualify as discrimination prohibited under the Americans with Disabilities Act. Focusing on the past decade of ADA enforcement, issues reported in the U.S. Department of Justice listing of resolved ADA complaints and settlements are compared to the profile of access problems. Key court case outcomes of the past decade also are presented. These sources indicate that the majority of resolved complaints and settlements involved failure to provide effective communication (often sign language interpretation). A smaller percentage of complaints and settlements addressed issues of refusal to provide treatment, physical access, equipment access, and provider procedures. Most of the key settlements involved hospitals and larger provider organizations, while many complaints also focused on individual physicians. Although the record indicates that the ADA can be, and has been, effectively used to increase access in many instances, other types of access problems have been lightly addressed through application of the ADA. This likely stems from enforcement choices made by the Department of Justice and the dynamics of the patient-doctor relationship. The broad challenge for the coming decade is to develop means to achieve effective communication and eliminate physical and programmatic barriers in more health care provider settings more consistently. The ADA can be a vigorous force in this effort as part of a multipronged strategy.

  11. Dual Language Development of Latino Children: Effect of Instructional Program Type and the Home and School Language Environment

    PubMed Central

    Collins, Brian A.

    2014-01-01

    Latino dual language children typically enter school with a wide range of proficiencies in Spanish and English, many with low proficiency in both languages, yet do make gains in one or both languages during their first school years. Dual language development is associated with how language is used at home and school, as well as the type of instructional program children receive at school. The present study investigates how changes in both Spanish and English proficiencies of Latino, second-generation immigrant children (n =163) from kindergarten to second grade relate to instructional program type as well as language use at home and school. A series of MANCOVAs demonstrated significant dual language gains in children who were in bilingual classrooms and schools where Spanish was used among the teachers, students, and staff. Furthermore, only in classrooms where both Spanish and English were used did children reach age-appropriate levels of academic proficiency in both languages. Home language use was also significantly associated with dual language gains as was maternal Spanish vocabulary knowledge before controlling for maternal education. Educational implications and potential benefits associated with bilingualism are discussed. PMID:25264401

  12. Dual Language Development of Latino Children: Effect of Instructional Program Type and the Home and School Language Environment.

    PubMed

    Collins, Brian A

    2014-01-01

    Latino dual language children typically enter school with a wide range of proficiencies in Spanish and English, many with low proficiency in both languages, yet do make gains in one or both languages during their first school years. Dual language development is associated with how language is used at home and school, as well as the type of instructional program children receive at school. The present study investigates how changes in both Spanish and English proficiencies of Latino, second-generation immigrant children (n =163) from kindergarten to second grade relate to instructional program type as well as language use at home and school. A series of MANCOVAs demonstrated significant dual language gains in children who were in bilingual classrooms and schools where Spanish was used among the teachers, students, and staff. Furthermore, only in classrooms where both Spanish and English were used did children reach age-appropriate levels of academic proficiency in both languages. Home language use was also significantly associated with dual language gains as was maternal Spanish vocabulary knowledge before controlling for maternal education. Educational implications and potential benefits associated with bilingualism are discussed.

  13. The Effect of an English Language Learner Program on Student Achievement Outcomes in Language, Reading, and Math

    ERIC Educational Resources Information Center

    Reid, Jennifer L.

    2011-01-01

    The purpose of the study was to determine the reading, math, and language proficiency outcomes of 4th-grade through 7th-grade students with limited English proficiency following nearly two years or more of instruction in the English Language Learner Program (ELL) and concurrent general education studies. The maximum accrual for this study was…

  14. Teaching Practices and Language Use in Two-Way Dual Language Immersion Programs in a Large Public School District

    ERIC Educational Resources Information Center

    Li, Jennifer; Steele, Jennifer; Slater, Robert; Bacon, Michael; Miller, Trey

    2016-01-01

    Many educators and policy makers look to two-way dual language immersion as one of the most promising options to close achievement gaps for English learners. However, the programs' effectiveness depends on the quality of their implementation. This article reports on a large-scale study of the implementation of dual language immersion across a…

  15. Examination of Sign Language Education According to the Opinions of Members from a Basic Sign Language Certification Program

    ERIC Educational Resources Information Center

    Akmese, Pelin Pistav

    2016-01-01

    Being hearing impaired limits one's ability to communicate in that it affects all areas of development, particularly speech. One of the methods the hearing impaired use to communicate is sign language. This study, a descriptive study, intends to examine the opinions of individuals who had enrolled in a sign language certification program by using…

  16. Can Ada™ Be a Standard Language for Medical Information Processing?*

    PubMed Central

    Feldman, Michael B.

    1984-01-01

    In this paper the virtues of the new programming language Ada are discussed with respect to the design and implementation of integrated information systems, in particular for medical applications. Ada provides a number of important facilities for building large on-line systems. These include modern data structures and program control operations; built-in operations for describing concurrent real-time processes; direct programmer control of computational precision; straightforward description of low-level hardware dependencies; and an unprecedentedly high degree of standardization and portability.

  17. An iconic programming language for sensor-based robots

    NASA Technical Reports Server (NTRS)

    Gertz, Matthew; Stewart, David B.; Khosla, Pradeep K.

    1993-01-01

    In this paper we describe an iconic programming language called Onika for sensor-based robotic systems. Onika is both modular and reconfigurable and can be used with any system architecture and real-time operating system. Onika is also a multi-level programming environment wherein tasks are built by connecting a series of icons which, in turn, can be defined in terms of other icons at the lower levels. Expert users are also allowed to use control block form to define servo tasks. The icons in Onika are both shape and color coded, like the pieces of a jigsaw puzzle, thus providing a form of error control in the development of high level applications.

  18. AdaNET research plan

    NASA Technical Reports Server (NTRS)

    Mcbride, John G.

    1990-01-01

    The mission of the AdaNET research effort is to determine how to increase the availability of reusable Ada components and associated software engineering technology to both private and Federal sectors. The effort is structured to define the requirements for transfer of Federally developed software technology, study feasible approaches to meeting the requirements, and to gain experience in applying various technologies and practices. The overall approach to the development of the AdaNET System Specification is presented. A work breakdown structure is presented with each research activity described in detail. The deliverables for each work area are summarized. The overall organization and responsibilities for each research area are described. The schedule and necessary resources are presented for each research activity. The estimated cost is summarized for each activity. The project plan is fully described in the Super Project Expert data file contained on the floppy disk attached to the back cover of this plan.

  19. Multiprocessor performance modeling with ADAS

    NASA Technical Reports Server (NTRS)

    Hayes, Paul J.; Andrews, Asa M.

    1989-01-01

    A graph managing strategy referred to as the Algorithm to Architecture Mapping Model (ATAMM) appears useful for the time-optimized execution of application algorithm graphs in embedded multiprocessors and for the performance prediction of graph designs. This paper reports the modeling of ATAMM in the Architecture Design and Assessment System (ADAS) to make an independent verification of ATAMM's performance prediction capability and to provide a user framework for the evaluation of arbitrary algorithm graphs. Following an overview of ATAMM and its major functional rules are descriptions of the ADAS model of ATAMM, methods to enter an arbitrary graph into the model, and techniques to analyze the simulation results. The performance of a 7-node graph example is evaluated using the ADAS model and verifies the ATAMM concept by substantiating previously published performance results.

  20. Business with Words: Language Programs That Generate Revenue and Impact Communities

    ERIC Educational Resources Information Center

    Eaton, Sarah Elaine

    2006-01-01

    This paper examines the "business" of language programs. In particular, it focuses on the economic impact of English as a Second language programs physically located in Calgary, Alberta, Canada which draw and serve foreign students. The impact such programs have on the wider community will also be explored. A bibliography is included.…

  1. Children Learning Computer Programming: Experiments with Languages, Curricula and Programmable Devices. Technical Report No. 250.

    ERIC Educational Resources Information Center

    Weyer, S. A.; Cannara, A. B.

    An experiment was conducted to study how children, aged 10-15 years, learn concepts relevant to computer programing and how they learn modern programing languages. The implicit educational goal was to teach thinking strategies through the medium of programing concepts and their applications. The computer languages Simper and Logo were chosen…

  2. Peterson's Summer Study Abroad: A Guide to Summer Academic and Language Programs. First Edition.

    ERIC Educational Resources Information Center

    Peterson's Guides, Inc., Princeton, NJ.

    This guide provides descriptions of over 900 summer academic and language study-abroad programs in 80 countries that range from 1-week language study courses to full-summer university programs. An introductory section provides general information on study abroad programs and the use of the guide. The bulk of the guide consists of individual…

  3. Planning for Success: Common Pitfalls in the Planning of Early Foreign Language Programs. ERIC Digest.

    ERIC Educational Resources Information Center

    Curtain, Helena; Dahlberg, Carol Ann Pesola

    There has been a significant increase in new foreign language programs at the elementary school level in recent years. Many of these programs, often referred to as foreign language in the elementary school or FLES programs, have been implemented to comply with state mandates, while others have been developed in response to parental pressure for…

  4. Ada Implementation Guide. Software Engineering With Ada. Volume 2

    DTIC Science & Technology

    1994-04-01

    Standards and Technology ............. A-4 DON Software Executive Official ...................... A-4 DON Ada Representative...Cost Analysis ........................ A-6 Software Technology Support Center .................... A-6 Software Engineering Institute...A-7 Software Technology for Adaptable, Reliable Systems (STARS) ....................................... A-7 A.1.2 Training

  5. Language Arts Grades 6-12. Program Evaluation 1992-93. Focus on Program Evaluation 93-144.

    ERIC Educational Resources Information Center

    Wadden, Jerry M.

    The Language Arts Supervisor of the Des Moines, Iowa Independent Community School District is responsible for supervising and coordinating all aspects of the middle and high school language arts program. Aspects of the program include curriculum development, instructional material selection and implementation, staff development, evaluation, and…

  6. Transparent Ada rendezvous in a fault tolerant distributed system

    NASA Technical Reports Server (NTRS)

    Racine, Roger

    1986-01-01

    There are many problems associated with distributing an Ada program over a loosely coupled communication network. Some of these problems involve the various aspects of the distributed rendezvous. The problems addressed involve supporting the delay statement in a selective call and supporting the else clause in a selective call. Most of these difficulties are compounded by the need for an efficient communication system. The difficulties are compounded even more by considering the possibility of hardware faults occurring while the program is running. With a hardware fault tolerant computer system, it is possible to design a distribution scheme and communication software which is efficient and allows Ada semantics to be preserved. An Ada design for the communications software of one such system will be presented, including a description of the services provided in the seven layers of an International Standards Organization (ISO) Open System Interconnect (OSI) model communications system. The system capabilities (hardware and software) that allow this communication system will also be described.

  7. 25 CFR 39.137 - May schools operate a language development program without a specific appropriation from Congress?

    Code of Federal Regulations, 2010 CFR

    2010-04-01

    ... 25 Indians 1 2010-04-01 2010-04-01 false May schools operate a language development program... Formula Language Development Programs § 39.137 May schools operate a language development program without a specific appropriation from Congress? Yes, a school may operate a language development...

  8. 25 CFR 39.137 - May schools operate a language development program without a specific appropriation from Congress?

    Code of Federal Regulations, 2011 CFR

    2011-04-01

    ... 25 Indians 1 2011-04-01 2011-04-01 false May schools operate a language development program... Formula Language Development Programs § 39.137 May schools operate a language development program without a specific appropriation from Congress? Yes, a school may operate a language development...

  9. 25 CFR 39.137 - May schools operate a language development program without a specific appropriation from Congress?

    Code of Federal Regulations, 2012 CFR

    2012-04-01

    ... 25 Indians 1 2012-04-01 2011-04-01 true May schools operate a language development program without... Formula Language Development Programs § 39.137 May schools operate a language development program without a specific appropriation from Congress? Yes, a school may operate a language development...

  10. 25 CFR 39.137 - May schools operate a language development program without a specific appropriation from Congress?

    Code of Federal Regulations, 2013 CFR

    2013-04-01

    ... 25 Indians 1 2013-04-01 2013-04-01 false May schools operate a language development program... Formula Language Development Programs § 39.137 May schools operate a language development program without a specific appropriation from Congress? Yes, a school may operate a language development...

  11. 25 CFR 39.137 - May schools operate a language development program without a specific appropriation from Congress?

    Code of Federal Regulations, 2014 CFR

    2014-04-01

    ... 25 Indians 1 2014-04-01 2014-04-01 false May schools operate a language development program... Formula Language Development Programs § 39.137 May schools operate a language development program without a specific appropriation from Congress? Yes, a school may operate a language development...

  12. A design for a reusable Ada library

    NASA Technical Reports Server (NTRS)

    Litke, John D.

    1986-01-01

    A goal of the Ada language standardization effort is to promote reuse of software, implying the existence of substantial software libraries and the storage/retrieval mechanisms to support them. A searching/cataloging mechanism is proposed that permits full or partial distribution of the database, adapts to a variety of searching mechanisms, permits a changine taxonomy with minimal disruption, and minimizes the requirement of specialized cataloger/indexer skills. The important observation is that key words serve not only as indexing mechanism, but also as an identification mechanism, especially via concatenation and as support for a searching mechanism. By deliberately separating these multiple uses, the modifiability and ease of growth that current libraries require, is achieved.

  13. How I treat ADA deficiency.

    PubMed

    Gaspar, H Bobby; Aiuti, Alessandro; Porta, Fulvio; Candotti, Fabio; Hershfield, Michael S; Notarangelo, Luigi D

    2009-10-22

    Adenosine deaminase deficiency is a disorder of purine metabolism leading to severe combined immunodeficiency (ADA-SCID). Without treatment, the condition is fatal and requires early intervention. Haematopoietic stem cell transplantation is the major treatment for ADA-SCID, although survival following different donor sources varies considerably. Unlike other SCID forms, 2 other options are available for ADA-SCID: enzyme replacement therapy (ERT) with pegylated bovine ADA, and autologous haematopoietic stem cell gene therapy (GT). Due to the rarity of the condition, the lack of large scale outcome studies, and availability of different treatments, guidance on treatment strategies is limited. We have reviewed the currently available evidence and together with our experience of managing this condition propose a consensus management strategy. Matched sibling donor transplants represent a successful treatment option with high survival rates and excellent immune recovery. Mismatched parental donor transplants have a poor survival outcome and should be avoided unless other treatments are unavailable. ERT and GT both show excellent survival, and therefore the choice between ERT, MUD transplant, or GT is difficult and dependent on several factors, including accessibility to the different modalities, response of patients to long-term ERT, and the attitudes of physicians and parents to the short- and potential long-term risks associated with different treatments.

  14. Renovating To Meet ADA Standards.

    ERIC Educational Resources Information Center

    Huber, Judy; Jones, Garry

    2003-01-01

    Using the examples of Owen D. Young School in Van Hornesville, New York, and the Tonawanda City school district in Buffalo, New York, describes how school planners should take the accessibility standards mandated by the Americans with Disabilities Act (ADA) into account when renovating. (EV)

  15. An Experience with Language. Fort Smith T.E.P. (Teacher Education Program).

    ERIC Educational Resources Information Center

    Northwest Territories Dept. of Education, Yellowknife.

    The booklet offers activities, language lessons (oral and written), and suggestions from students and teachers participating in the language programs of four dialects of the Dene Language (Loucheux, Slavey, Dogrib, and Chipewyan) spoken in the Northwest Territories. Beginning consonant sounds are also offered for Inuktitut. Suggested activities…

  16. The English Language Learner Program Survey for Principals. REL 2014-027

    ERIC Educational Resources Information Center

    Grady, Matthew W.; O'Dwyer, Laura M.

    2014-01-01

    REL Northeast & Islands at Education Development Center, in partnership with the English Language Learners Alliance, has developed a new survey tool--The English Language Learner Program Survey for Principals--to help state education departments collect consistent data on the education of English language learner students. Designed for school…

  17. Analyzing Student Performance and Attitudes toward Textual versus Iconic Programming Languages

    ERIC Educational Resources Information Center

    Lin, Janet Mei-Chuen; Yang, Mei-Ching

    2009-01-01

    In this study half of 52 sixth graders learned to program in MSWLogo and the other half in Drape. An analysis of students' test scores revealed that Drape (an iconic language) seemed to have a steeper learning curve than MSWLogo (a textual language). However, as students gradually became more familiar with either language, the difference in…

  18. Foreign Language Writing Fellows Programs: A Model for Improving Advanced Writing Skills

    ERIC Educational Resources Information Center

    Snyder, Delys Waite; Nielson, Rex P.; Kurzer, Kendon

    2016-01-01

    Within the growing field of scholarly literature on foreign language (FL) writing pedagogy, few studies have addressed pedagogical questions regarding the teaching of writing to advanced language learners. Writing fellows peer tutoring programs, although typically associated with first language writing instruction, likely can benefit and support…

  19. Handbook for Classroom Testing in Peace Corps Language Programs. Manual T0068.

    ERIC Educational Resources Information Center

    Anderson, Neil J.

    This manual provides instructors in Peace Corps language training programs with information about two kinds of classroom testing: formative, ongoing testing and summative testing that occurs at the end of an instructional period. The first of the manual's four chapters on the purposes of language testing, discusses language testing within a…

  20. Funding Policy for Language Programs = Politique de financement des programmes de langue.

    ERIC Educational Resources Information Center

    Manitoba Dept. of Education and Training, Winnipeg.

    This policy statement, presented in both English and French, describes the funding support available for heritage language and English-as-a-Second-Language (ESL) programs for K-12 students in the province of Manitoba, Canada. The two parts of the statement, headed "Heritage Language Instruction" and "ESL for Students with Limited…

  1. The implementation and use of Ada on distributed systems with high reliability requirements

    NASA Technical Reports Server (NTRS)

    Knight, J. C.

    1988-01-01

    The use and implementation of Ada were investigated in distributed environments in which reliability is the primary concern. In particular, the focus was on the possibility that a distributed system may be programmed entirely in Ada so that the individual tasks of the system are unconcerned with which processors are being executed, and that failures may occur in the software and underlying hardware. A secondary interest is in the performance of Ada systems and how that performance can be gauged reliably. Primary activities included: analysis of the original approach to recovery in distributed Ada programs using the Advanced Transport Operating System (ATOPS) example; review and assessment of the original approach which was found to be capable of improvement; development of a refined approach to recovery that was applied to the ATOPS example; and design and development of a performance assessment scheme for Ada programs based on a flexible user-driven benchmarking system.

  2. Language-Agnostic Reproducible Data Analysis Using Literate Programming.

    PubMed

    Vassilev, Boris; Louhimo, Riku; Ikonen, Elina; Hautaniemi, Sampsa

    2016-01-01

    A modern biomedical research project can easily contain hundreds of analysis steps and lack of reproducibility of the analyses has been recognized as a severe issue. While thorough documentation enables reproducibility, the number of analysis programs used can be so large that in reality reproducibility cannot be easily achieved. Literate programming is an approach to present computer programs to human readers. The code is rearranged to follow the logic of the program, and to explain that logic in a natural language. The code executed by the computer is extracted from the literate source code. As such, literate programming is an ideal formalism for systematizing analysis steps in biomedical research. We have developed the reproducible computing tool Lir (literate, reproducible computing) that allows a tool-agnostic approach to biomedical data analysis. We demonstrate the utility of Lir by applying it to a case study. Our aim was to investigate the role of endosomal trafficking regulators to the progression of breast cancer. In this analysis, a variety of tools were combined to interpret the available data: a relational database, standard command-line tools, and a statistical computing environment. The analysis revealed that the lipid transport related genes LAPTM4B and NDRG1 are coamplified in breast cancer patients, and identified genes potentially cooperating with LAPTM4B in breast cancer progression. Our case study demonstrates that with Lir, an array of tools can be combined in the same data analysis to improve efficiency, reproducibility, and ease of understanding. Lir is an open-source software available at github.com/borisvassilev/lir.

  3. Language-Agnostic Reproducible Data Analysis Using Literate Programming

    PubMed Central

    Vassilev, Boris; Louhimo, Riku; Ikonen, Elina; Hautaniemi, Sampsa

    2016-01-01

    A modern biomedical research project can easily contain hundreds of analysis steps and lack of reproducibility of the analyses has been recognized as a severe issue. While thorough documentation enables reproducibility, the number of analysis programs used can be so large that in reality reproducibility cannot be easily achieved. Literate programming is an approach to present computer programs to human readers. The code is rearranged to follow the logic of the program, and to explain that logic in a natural language. The code executed by the computer is extracted from the literate source code. As such, literate programming is an ideal formalism for systematizing analysis steps in biomedical research. We have developed the reproducible computing tool Lir (literate, reproducible computing) that allows a tool-agnostic approach to biomedical data analysis. We demonstrate the utility of Lir by applying it to a case study. Our aim was to investigate the role of endosomal trafficking regulators to the progression of breast cancer. In this analysis, a variety of tools were combined to interpret the available data: a relational database, standard command-line tools, and a statistical computing environment. The analysis revealed that the lipid transport related genes LAPTM4B and NDRG1 are coamplified in breast cancer patients, and identified genes potentially cooperating with LAPTM4B in breast cancer progression. Our case study demonstrates that with Lir, an array of tools can be combined in the same data analysis to improve efficiency, reproducibility, and ease of understanding. Lir is an open-source software available at github.com/borisvassilev/lir. PMID:27711123

  4. Ada (Trade Name) Compiler Validation Summary Report: Alsys, Inc. AlsyComp 008/V1.0 VAX-11/750 Host and IBM PC-AT Target.

    DTIC Science & Technology

    1985-12-05

    purposes: .O To identify any language constructs supported by the translator that do not conform to the Ada Standard h To identify any unsupported...from Version 1.6. 2-8 °f TEST RESULTS B67001A-B: This test is missing the "BEGIN NULL; END;" at line 414 needed to complete the block for case H ...C52103M-AB.ADA P C511A24A-AB.ADA P C57004B-AB.ADA P C52103P- ABADA P C54A24B.4DA P C57004C-AB.ADA P C52103Q-AB.ADA P C5𔃾A26A.ADA P C57005A-B.ADA p

  5. Computationally intensive econometrics using a distributed matrix-programming language.

    PubMed

    Doornik, Jurgen A; Hendry, David F; Shephard, Neil

    2002-06-15

    This paper reviews the need for powerful computing facilities in econometrics, focusing on concrete problems which arise in financial economics and in macroeconomics. We argue that the profession is being held back by the lack of easy-to-use generic software which is able to exploit the availability of cheap clusters of distributed computers. Our response is to extend, in a number of directions, the well-known matrix-programming interpreted language Ox developed by the first author. We note three possible levels of extensions: (i) Ox with parallelization explicit in the Ox code; (ii) Ox with a parallelized run-time library; and (iii) Ox with a parallelized interpreter. This paper studies and implements the first case, emphasizing the need for deterministic computing in science. We give examples in the context of financial economics and time-series modelling.

  6. SPPTOOLS: Programming tools for the IRAF SPP language

    NASA Technical Reports Server (NTRS)

    Fitzpatrick, M.

    1992-01-01

    An IRAF package to assist in SPP code development and debugging is described. SPP is the machine-independent programming language used by virtually all IRAF tasks. Tools have been written to aide both novice and advanced SPP programmers with development and debugging by providing tasks to check the code for the number and type of arguments in all calls to IRAF VOS library procedures, list the calling sequences of IRAF tasks, create a database of identifiers for quick access, check for memory which is not freed, and a source code formatter. Debugging is simplified since the programmer is able to get a better understanding of the structure of his/her code, and IRAF library procedure calls (probably the most common source of errors) are automatically checked for correctness.

  7. Lowering the Barriers to Programming: A Survey of Programming Environments and Languages for Novice Programmers

    DTIC Science & Technology

    2003-05-12

    DARPA, NSF, NASA, or ONR. School of Computer Science Carnegie Mellon University Pittsburgh, PA 15213 Lowering the Barriers to...languages, novice, Computer Science Education, learning 1. INTRODUCTION Learning to program can be very difficult for beginning students of all ages. In...designed to have rapid turn-around time and sacrifice computer time for user time (in 1963, the computer science community was arguing against high

  8. Biocoder: A programming language for standardizing and automating biology protocols

    PubMed Central

    2010-01-01

    Background Published descriptions of biology protocols are often ambiguous and incomplete, making them difficult to replicate in other laboratories. However, there is increasing benefit to formalizing the descriptions of protocols, as laboratory automation systems (such as microfluidic chips) are becoming increasingly capable of executing them. Our goal in this paper is to improve both the reproducibility and automation of biology experiments by using a programming language to express the precise series of steps taken. Results We have developed BioCoder, a C++ library that enables biologists to express the exact steps needed to execute a protocol. In addition to being suitable for automation, BioCoder converts the code into a readable, English-language description for use by biologists. We have implemented over 65 protocols in BioCoder; the most complex of these was successfully executed by a biologist in the laboratory using BioCoder as the only reference. We argue that BioCoder exposes and resolves ambiguities in existing protocols, and could provide the software foundations for future automation platforms. BioCoder is freely available for download at http://research.microsoft.com/en-us/um/india/projects/biocoder/. Conclusions BioCoder represents the first practical programming system for standardizing and automating biology protocols. Our vision is to change the way that experimental methods are communicated: rather than publishing a written account of the protocols used, researchers will simply publish the code. Our experience suggests that this practice is tractable and offers many benefits. We invite other researchers to leverage BioCoder to improve the precision and completeness of their protocols, and also to adapt and extend BioCoder to new domains. PMID:21059251

  9. The Effect of Data-Based Translation Program Used in Foreign Language Education on the Correct Use of Language

    ERIC Educational Resources Information Center

    Darancik, Yasemin

    2016-01-01

    It has been observed that data-based translation programs are often used both in and outside the class unconsciously and thus there occurs many problems in foreign language learning and teaching. To draw attention to this problem, with this study, whether the program has satisfactory results or not has been revealed by making translations from…

  10. A Parallel Vector Machine for the PM Programming Language

    NASA Astrophysics Data System (ADS)

    Bellerby, Tim

    2016-04-01

    PM is a new programming language which aims to make the writing of computational geoscience models on parallel hardware accessible to scientists who are not themselves expert parallel programmers. It is based around the concept of communicating operators: language constructs that enable variables local to a single invocation of a parallelised loop to be viewed as if they were arrays spanning the entire loop domain. This mechanism enables different loop invocations (which may or may not be executing on different processors) to exchange information in a manner that extends the successful Communicating Sequential Processes idiom from single messages to collective communication. Communicating operators avoid the additional synchronisation mechanisms, such as atomic variables, required when programming using the Partitioned Global Address Space (PGAS) paradigm. Using a single loop invocation as the fundamental unit of concurrency enables PM to uniformly represent different levels of parallelism from vector operations through shared memory systems to distributed grids. This paper describes an implementation of PM based on a vectorised virtual machine. On a single processor node, concurrent operations are implemented using masked vector operations. Virtual machine instructions operate on vectors of values and may be unmasked, masked using a Boolean field, or masked using an array of active vector cell locations. Conditional structures (such as if-then-else or while statement implementations) calculate and apply masks to the operations they control. A shift in mask representation from Boolean to location-list occurs when active locations become sufficiently sparse. Parallel loops unfold data structures (or vectors of data structures for nested loops) into vectors of values that may additionally be distributed over multiple computational nodes and then split into micro-threads compatible with the size of the local cache. Inter-node communication is accomplished using

  11. System testing of a production Ada (trademark) project: The GRODY study

    NASA Technical Reports Server (NTRS)

    Seigle, Jeffrey; Esker, Linda; Shi, Ying-Liang

    1990-01-01

    The use of the Ada language and design methodologies that utilize its features has a strong impact on all phases of the software development project lifecycle. At the National Aeronautics and Space Administration/Goddard Space Flight Center (NASA/GSFC), the Software Engineering Laboratory (SEL) conducted an experiment in parallel development of two flight dynamics systems in FORTRAN and Ada. The teams found some qualitative differences between the system test phases of the two projects. Although planning for system testing and conducting of tests were not generally affected by the use of Ada, the solving of problems found in system testing was generally facilitated by Ada constructs and design methodology. Most problems found in system testing were not due to difficulty with the language or methodology but to lack of experience with the application.

  12. Ada 9X Project Report: Ada 9X Requirements Document

    DTIC Science & Technology

    1990-08-27

    Reviewers which include E. Ploedereder - DR Chair ( Tartan ), G. Booch (Rational), B. Brosgol (Alsys), N. Cohen (IBM), R. Dewar (NYU), G. Dismukes...developing a report (the Ada Com- mentary Integration Document ( ACID )) that reflects the impact of the approved commentaries by suggesting revised...wording for appropriate sections of the standard. ACID would be a good starting point for satisfying this requirement. Of course, some of the approved

  13. Integrating English as a Second Language into Special Education Teacher Personnel Preparation Programs

    ERIC Educational Resources Information Center

    Pappamihiel, N. Eleni; Al Otaiba, Stephanie; Hudson, Roxanne F.

    2010-01-01

    Preparing educators who are culturally responsive and prepared to meet the needs of English-language learners is a national priority. Consequently, many teacher preparation programs are being encouraged to include English as a second-language content in their programs of study. The following case study describes the development and implementation…

  14. What about a Simple Language? Analyzing the Difficulties in Learning to Program

    ERIC Educational Resources Information Center

    Mannila, Linda; Peltomaki, Mia; Salakoski, Tapio

    2006-01-01

    In this paper, we present the results from a two-part study. We analyze 60 programs written by novice programmers aged 16-19 after their first programming course, in either Java or Python. The aim is to find difficulties independent of the language used, and such originating from the language. Second, we analyze the transition from a…

  15. Incidental Foreign-Language Acquisition by Children Watching Subtitled Television Programs

    ERIC Educational Resources Information Center

    Ina, Lekkai

    2014-01-01

    Series of international studies have shown that subtitled television programs provide a rich context for foreign language acquisition. This study investigated whether incidental language acquisition occurs from watching a television program with/without subtitles. Children in the experimental conditions watch: (a) a 15 minute snapshot of a well…

  16. Master Program in Foreign Language Education at New York University Steinhardt (US)

    ERIC Educational Resources Information Center

    Ikonnikova, Maryna

    2016-01-01

    The article deals with master program in foreign language education at New York University Steinhardt (US). Thus, its peculiarities have been revealed. It has been defined that the study program presupposes mastering of foreign language teaching approaches that meet various needs of learners. It has been indicated that students acquire the…

  17. Language Development and Science Inquiry: A Child-Initiated and Teacher-Facilitated Program.

    ERIC Educational Resources Information Center

    Klein, Evelyn R.; Hammrich, Penny L.; Bloom, Stefanie; Ragins, Anika

    The Head Start on Science and Communication Program (HSSC) is a model that fosters science learning for young children through a systematic approach to language development. The HSSC program emphasizes the development of language skills through an explicit teacher-directed and exploratory child-centered approach to acquiring science knowledge and…

  18. MODERN FOREIGN LANGUAGES, A SIX-YEAR PROGRAM (GRADES 7-12)--FRENCH, GERMAN, SPANISH.

    ERIC Educational Resources Information Center

    LADU, TORA TUVE

    THIS BRIEF BULLETIN, OUTLINING A 6-YEAR FOREIGN LANGUAGE PROGRAM IN FRENCH, GERMAN, AND SPANISH, COMPLEMENTS A 1962 CURRICULUM GUIDE OF A 4-YEAR SEQUENCE OF LANGUAGE STUDY ISSUED BY THE NORTH CAROLINA STATE DEPARTMENT OF PUBLIC INSTRUCTION. OF SPECIAL SIGNIFICANCE IN THE DOCUMENT IS A CHART OF A 6-YEAR PROGRAM HIGHLIGHTING, AT EVERY LEVEL,…

  19. The Relationships among Group Size, Participation, and Performance of Programming Language Learning Supported with Online Forums

    ERIC Educational Resources Information Center

    Shaw, Ruey-Shiang

    2013-01-01

    This study examined the relationships among group size, participation, and learning performance factors when learning a programming language in a computer-supported collaborative learning (CSCL) context. An online forum was used as the CSCL environment for learning the Microsoft ASP.NET programming language. The collaborative-learning experiment…

  20. Language Immersion Programs for Young Children? Yes . . . but Proceed with Caution

    ERIC Educational Resources Information Center

    Soderman, Anne K.

    2010-01-01

    A dual immersion program in Chinese and English at the 3e International School in Beijing is helping children become fluent in both languages, even though many students spoke neither language when they entered the school. Children enter the program as young as two years old. Studies indicate that bilingual children have higher levels of cognitive…