search-head

You are here: Homepage >  Search

Conference paper   Economics   Computer Science   Material science   Other subjects   Social Sciences   Clear all

Synonyms were used for: Computer programming
Search without synonyms: keywords:("Computer programming")

1–50 of 398 hits
|
Sort by:

    cFS Test Framework (CTF)

    Aly I Shehata / Tam M Ngo | NTRS
    Keywords: Computer Programming And Software

    Formal Assurance for Cognitive Architecture Based Autonomous Agent

    Bhattacharyya, Siddhartha / Eskridge, Thomas / Neogi, Natasha et al. | NTRS | 2017
    Keywords: Computer Programming And Software

    Future trends in software architectures for automotive systems

    Voget, S. | Tema Archive | 2003
    Keywords: Programmerstellung

    Application Programming in AWIPS II

    Smit, Matt / McGrath, Kevin / Burks, Jason et al. | NTRS | 2012
    Keywords: Computer Programming And Software

    Formal Verification Toolkit for Requirements and Early Design Stages

    Badger, Julia M. / Miller, Sheena Judson | NTRS | 2011
    Keywords: Computer Programming And Software

    Unsupervised Change Detection for Space Habitats Using 3D Point Clouds

    Jamie Santos / Holly Dinkel / Julia Di et al. | NTRS
    Keywords: Computer Programming and Software

    Quality Attributes for Mission Flight Software: A Reference for Architects

    Wilmot, Jonathan / Fesq, Lorraine / Dvorak, Dan | NTRS | 2016
    Keywords: Computer Programming And Software

    Astrobee Robot Software: A Modern Software System for Space

    Fluckiger, Lorenzo / Browne, Kathryn / Coltin, Brian et al. | NTRS | 2018
    Keywords: Computer Programming And Software

    Flutter and gust response analysis of flexible aircraft with active control

    Noll, R. / Morino, L. | Tema Archive | 1976
    Keywords: PROGRAMMERSTELLUNG

    1D-Convolutional Neural Network Architecture for Generalized Time-Segmentation Tasks

    Koushik Chennakesavan / Magnus A. Haw / Alexandre Quintart | NTRS
    Keywords: Computer Programming And Software

      1D-Convolutional Neural Network Architecture for Generalized Time-Segmentation Tasks

      Koushik Chennakesavan / Magnus A. Haw / Alexandre Quintart | NTRS
      Keywords: Computer Programming And Software

    Software Engineering and Swarm-Based Systems

    Hinchey, Michael G. / Sterritt, Roy / Pena, Joaquin et al. | NTRS | 2006
    Keywords: Computer Programming And Software

    Application of a finite element computer program for investigating failure mechanisms in military ammunition

    Labra, J. / Talapatra, D. | Tema Archive | 1977
    Keywords: PROGRAMMERSTELLUNG

    The Impact of Autonomous Systems Technology on JPL Mission Software

    Doyle, Richard J. | NTRS | 2000
    Keywords: Computer Programming And Software

    Collaborative Software Development in Support of Fast Adaptive AeroSpace Tools (FAAST)

    Kleb, William L. / Nielsen, Eric J. / Gnoffo, Peter A. et al. | NTRS | 2003
    Keywords: Computer Programming And Software

    Abstract for 1999 Rational Software User Conference

    Dunphy, Julia / Rouquette, Nicolas / Feather, Martin et al. | NTRS | 1999
    Keywords: Computer Programming And Software

    The effects of software quality on vehicle manufacture

    Hetley, N.J. | Tema Archive | 1989
    Keywords: PROGRAMMERSTELLUNG

    Structuring the formal definition of Ada

    Hansen, Kurt W. | NTRS | 1986
    Keywords: Computer Programming And Software

    An approach to software baseline generation

    Romeu, J. L. | NTRS | 1983
    Keywords: Computer Programming And Software

    Adding run history to CLIPS

    Tuttle, Sharon M. / Eick, Christoph F. | NTRS | 1991
    Keywords: Computer Programming And Software

    Virtual agents in a simulated virtual training environment

    Achorn, Brett / Badler, Norman L. | NTRS | 1993
    Keywords: Computer Programming And Software

    A NASA initiative: Software engineering for reliable complex systems

    Holcomb, Lee B. | NTRS | 1987
    Keywords: Computer Programming And Software

    GSFC Ada programming guidelines

    Roy, Daniel M. / Nelson, Robert W. | NTRS | 1986
    Keywords: Computer Programming And Software

    Development of an expert system prototype for determining software functional requirements for command management activities at NASA Goddard

    Liebowitz, J. | NTRS | 1985
    Keywords: Computer Programming And Software

    Fault-tolerant software - Experiment with the sift operating system

    Brunelle, J. E. / Eckhardt, D. E., Jr. | NTRS | 1985
    Keywords: Computer Programming And Software

    Spacecraft fault tolerance: The Magellan experience

    Kasuda, Rick / Packard, Donna Sexton | NTRS | 1993
    Keywords: Computer Programming And Software

    Formal Methods for Life-Critical Software

    Butler, Ricky W. / Johnson, Sally C. | NTRS | 1993
    Keywords: Computer Programming And Software

    RT_BUILD: An expert programmer for implementing and simulating Ada real-time control software

    Lehman, Larry L. / Houtchens, Steve / Navab, Massoud et al. | NTRS | 1986
    Keywords: Computer Programming And Software

    A database management capability for Ada

    Chan, Arvola / Danberg, SY / Fox, Stephen et al. | NTRS | 1986
    Keywords: Computer Programming And Software

    The virtual environment display system

    Mcgreevy, Michael W. | NTRS | 1991
    Keywords: Computer Programming And Software

    A mission executor for an autonomous underwater vehicle

    Lee, Yuh-Jeng / Wilkinson, Paul | NTRS | 1991
    Keywords: Computer Programming And Software

    Knowledge-based systems and NASA's software support environment

    Dugan, Tim / Carmody, Cora / Lennington, Kent et al. | NTRS | 1990
    Keywords: Computer Programming And Software

    Knowledge-based simulation

    Newman, P. A. | NTRS | 1987
    Keywords: Computer Programming And Software

    Ada training evaluation and recommendation

    Murphy, Robert / Stark, Michael | NTRS | 1987
    Keywords: Computer Programming And Software

    Software development in Ada

    Basili, V. R. / Katz, E. E. | NTRS | 1985
    Keywords: Computer Programming And Software

    Validating system-level error recovery for spacecraft

    Lutz, Robyn R. / Wong, Johnny S. K. | NTRS | 1991
    Keywords: Computer Programming And Software

    Organising geometric computations for space telerobotics

    Cameron, Stephen | NTRS | 1989
    Keywords: Computer Programming And Software

    The embedded software life cycle - An expanded view

    Larman, Brian T. / Loesh, Robert E. | NTRS | 1989
    Keywords: Computer Programming And Software

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

    Tomayko, James E. | NTRS | 1986
    Keywords: Computer Programming And Software

    A computer-based specification methodology

    Munck, Robert G. | NTRS | 1986
    Keywords: Computer Programming And Software

    VIS/ACT: The next episode

    Maney, Tucker / Hamburger, Henry | NTRS | 1993
    Keywords: Computer Programming And Software

    Analysis of Ada as a prototyping language

    Holloway, C. Michael | NTRS | 1987
    Keywords: Computer Programming And Software

    Interesting viewpoints to those who will put Ada into practice

    Carlsson, Arne | NTRS | 1986
    Keywords: Computer Programming And Software

    The Cassini spacecraft: Object oriented flight control software

    Hackney, John C. / Bernard, Douglas E. / Rasmussen, Robert D. | NTRS | 1993
    Keywords: Computer Programming And Software

    Multidisciplinary analyses of segmented reflector telescopes

    Needels, Laura / Briggs, Hugh C. | NTRS | 1993
    Keywords: Computer Programming And Software

    Formal specification and verification of Ada software

    Hird, Geoffrey R. | NTRS | 1991
    Keywords: Computer Programming And Software

    Experiences with Ada in an embedded system

    Labaugh, Robert J. | NTRS | 1988
    Keywords: Computer Programming And Software

    Experience with the CAIS

    Tighe, Michael F. | NTRS | 1986
    Keywords: Computer Programming And Software

    Measuring Ada as a software development technology in the Software Engineering Laboratory (SEL)

    Agresti, W. W. | NTRS | 1985
    Keywords: Computer Programming And Software

    Experiments with Ada

    Roy, D. / Mcclimens, M. / Agresti, W. | NTRS | 1985
    Keywords: Computer Programming And Software

    Implementation of Ada protocols on Mil-STD-1553 B data bus

    Ruhman, Smil / Rosemberg, Flavia | NTRS | 1986
    Keywords: Computer Programming And Software

Number of results
10 20

Filter search results