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

1–50 of 62 hits
|

    VIS/ACT: The next episode

    Maney, Tucker / Hamburger, Henry | NTRS | 1993
    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

    Validating system-level error recovery for spacecraft

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

    Using Visual Programming to Simulate, Test, and Display a Telemetry Stream

    Wells, G. / Baroth, E. | NTRS | 1995
    Keywords: visual programming real-time data display text-based code

    Unsupervised Change Detection for Space Habitats Using 3D Point Clouds

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

    Towards a Framework for Modeling Space Systems Architectures

    Shames, Peter / Skipper, Joseph | NTRS | 2006
    Keywords: Computer Programming And Software

    The virtual environment display system

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

    The Impact of Autonomous Systems Technology on JPL Mission Software

    Doyle, Richard J. | NTRS | 2000
    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

    The Cassini spacecraft: Object oriented flight control software

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

    Structuring the formal definition of Ada

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

    Spacecraft fault tolerance: The Magellan experience

    Kasuda, Rick / Packard, Donna Sexton | NTRS | 1993
    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

    Software development in Ada

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

    Safe Agents in Space: Preventing and Responding to Anomalies in the Autonomous Sciencecraft Experiment

    Tran, Daniel / Chien, Steve / Rabideau, Gregg et al. | NTRS | 2005
    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

    Requirements, architectures and risks

    Kiper, J. D. / Feather, M. S. | NTRS | 2003
    Keywords: Computer Programming And Software

    Reducing the risks of using Ada onboard the Space Station

    Humphrey, Terry D. | NTRS | 1988
    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

    Practical Application of Model-based Programming and State-based Architecture to Space Missions

    Horvath, Gregory / Ingham, Michel / Chung, Seung et al. | NTRS | 2006
    Keywords: Computer Programming And Software

    Organising geometric computations for space telerobotics

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

    Onboard autonomy software on the Three Corner Sat mission

    Chien, S. / Engelhardt, B. / Knight, R. et al. | NTRS | 2001
    Keywords: Computer Programming And Software

    Multidisciplinary analyses of segmented reflector telescopes

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

    Message Brokering Evaluation for Live Spacecraft Telemetry Monitoring, Recorded Playback, and Analysis

    Lee, Daren / Pomerantz, Marc | NTRS | 2015
    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

    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

    Lessons Learned from Autonomous Sciencecraft Experiment

    Chien, Steve A. / Sherwood, Rob / Tran, Daniel et al. | NTRS | 2005
    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

    Interesting viewpoints to those who will put Ada into practice

    Carlsson, Arne | NTRS | 1986
    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

    GSFC Ada programming guidelines

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

    Fuzzy and neural net processor and its programming environment

    Togai, Masaki | NTRS | 1988
    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

    Formal specification and verification of Ada software

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

    Formal Methods for Life-Critical Software

    Butler, Ricky W. / Johnson, Sally C. | NTRS | 1993
    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

    Fault-tolerant software - Experiment with the sift operating system

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

    Experiments with Ada

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

    Experience with the CAIS

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

    Experiences with Ada in an embedded system

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

    Exact and Heuristic Algorithms for Runway Scheduling

    Malik, Waqar A. / Jung, Yoon C. | NTRS | 2016
    Keywords: Computer Programming And Software

    DAQ: Software Architecture for Data Acquisition in Sounding Rockets

    Ahmad, Mohammad / Tran, Thanh / Nichols, Heidi et al. | NTRS | 2011
    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

    cFS Test Framework (CTF)

    Aly I Shehata / Tam M Ngo | NTRS
    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

    A software development environment utilizing PAMELA

    Flick, R. L. / Connelly, Richard W. | NTRS | 1986
    Keywords: Computer Programming And Software

    A risk management approach to CAIS development

    Hart, Hal / Kerner, Judy / Alden, Tony et al. | NTRS | 1986
    Keywords: Computer Programming And Software

    Aquarius' Object-Oriented, Plug and Play Component-Based Flight Software

    Murray, Alexander / Shahabuddin, Mohammad | NTRS | 2013
    Keywords: Computer Programming And Software