<--- Back to Details
First PageDocument Content
Greenbelt /  Maryland / Glenn Research Center / Goddard Space Flight Center / Marshall Space Flight Center / International Space Station program / Daniel Mulville / Ames Research Center / Spaceflight / NASA / Space technology
Date: 2013-06-26 21:53:55
Greenbelt
Maryland
Glenn Research Center
Goddard Space Flight Center
Marshall Space Flight Center
International Space Station program
Daniel Mulville
Ames Research Center
Spaceflight
NASA
Space technology

SEPTEMBER[removed]Volume 6 Issue 9

Add to Reading List

Source URL: www.nasa.gov

Download Document from Source Website

File Size: 1,56 MB

Share Document on Facebook

Similar Documents

Software engineering / Computing / Software / Compilers / Compiler construction / Compiler optimizations / Abstract interpretation / LLVM / Programming language implementation / Intermediate representation / Polyspace / Static program analysis

IKOS: A Framework for Static Analysis based on Abstract Interpretation (Tool Paper) Guillaume Brat, Jorge A. Navas, Nija Shi, and Arnaud Venet NASA Ames Research Center, Moffett Field, CAAbstract. The RTCA standar

DocID: 1xVJ1 - View Document

Computing / Software engineering / Models of computation / UML state machine / State diagram / HSM / Scala

Modeling and Monitoring of Hierarchical State Machines in Scala? Klaus Havelund and Rajeev Joshi Jet Propulsion Laboratory, California Inst. of Technology, USA {klaus.havelund,rajeev.joshi}@jpl.nasa.gov

DocID: 1xVoG - View Document

Formal methods / Theoretical computer science / Software engineering / Computing / Logic in computer science / Software testing / Model checking / Formal verification / Software verification / Flash memory / Verification / Software quality

New Challenges in Model Checking Gerard J. Holzmann, Rajeev Joshi, and Alex Groce NASA/JPL Laboratory for Reliable Software, Pasadena, CA 91109, USA {Gerard.Holzmann, Rajeev.Joshi,Alex.Groce}@jpl.nasa.gov

DocID: 1xV34 - View Document

Computing / Software engineering / Computer programming / Inter-process communication / UML state machine / Message queue / Message passing / Event loop / Futures and promises / Monitor / Scala / High-Speed SECS Message Services

Modeling Rover Communication using Hierarchical State Machines with Scala Klaus Havelund and Rajeev Joshi Jet Propulsion Laboratory, California Inst. of Technology, USA {klaus.havelund,rajeev.joshi}@jpl.nasa.gov

DocID: 1xUHd - View Document

Computing / Software quality / Engineering / Reliability engineering / Software engineering / Design for X / Materials science / Survival analysis / Fault tolerance / Redundancy / Software design / Modular programming

Reliable Software Systems Design: Defect Prevention, Detection, and Containment Gerard J. Holzmann Rajeev Joshi Laboratory for Reliable Software NASA/JPL Pasadena, CA 91109, USA

DocID: 1xThG - View Document