Cover Image

Transformational derivation of programs using the Focus system /

Bibliographic Details
Main Author:	Reddy, Uday S.
Corporate Author:	United States. National Aeronautics and Space Administration
Format:	Government Document eBook
Language:	English
Published:	[Washington, D.C.] : [National Aeronautics and Space Administration], [1988]
Series:	NASA contractor report ; NASA CR-184875.
Subjects:	Applications programs (computers) Computer programming. Program verification (computers) Software development tools. Software engineering.
Online Access:	https://purl.fdlp.gov/GPO/gpo30685

Similar Items

Formal assurance certifiable tooling strategy final report /
by: Bush, Eric Niels
Published: (2017)

Software design improvements /
by: Lalli, Vincent R., et al.
Published: (1997)

An introduction to requirements capture using PVS : specification of a simple autopilot /
by: Butler, Ricky W.
Published: (1996)

A distributed program composition system /
by: Brown, Robert L.
Published: (1989)

Final report for an expert system based software sizing tool, phase II /
by: Friedlander, David
Published: (1990)

PLATSIM : a simulation and analysis package for large-order flexible systems (version 2.0) /
by: Maghami, Peiman G., et al.
Published: (1997)

NASA software engineering benchmarking study /
by: Rarick, Heather L.
Published: (2013)

Fast causal multicast /
by: Birman, Kenneth
Published: (1990)

The cleanroom case study in the Software Engineering Laboratory : project description and early analysis.
Published: (1990)

User's guide for flight simulation data visualization workstation /
by: Kaplan, Joseph A., 1902-1991
Published: (1996)

Mastering algorithms with Perl /
by: Orwant, Jon
Published: (1999)

Annotated bibliography of Software Engineering Laboratory literature.
Published: (1990)

LabVIEW interface concepts used in NASA scientific investigations and virtual instruments /
by: Roth, Don J.
Published: (2001)

LabVIEW interface concepts used in NASA scientific investigations and virtual instruments /
Published: (2001)

Kodiak : an implementation framework for branch and bound algorithms /
by: Smith, Andrew P.
Published: (2015)

Integrating automated support for a software management cycle into the TAME system /
by: Sunazuka, Toshihiko
Published: (1989)

Proceedings of the Fourteenth Annual Software Engineering Workshop.
Published: (1989)

COSMIC annual report 1983.
Published: (1984)

The development of a program analysis environment for Ada /
by: Brown, David B., 1943-
Published: (1989)

HSCT4.0 application : software requirements specification /
Published: (2001)

Assess/mitigate risk through the use of computer-aided software engineering (CASE) tools /
by: Aguilar, Michael L.
Published: (2013)

RIACS workshop on the verification and validation of autonomous and adaptive systems /
by: Pecheur, Charles
Published: (2001)

Data analysis and software support for the Earth radiation budget experiment /
by: Edmonds, W.
Published: (1987)

ICEG2D (v2.0) : an integrated software package for automated prediction of flow fields for single-element airfoils with ice accretion /
by: Thompson, David (David S.)
Published: (2001)

Space Telecommunications Radio System (STRS) application repository design and analysis /
by: Handler, Louis M.
Published: (2013)

Hardware interface description for the integrated power, avionics, and software (iPAS) space telecommunications radio system (STRS) radio /
by: Shalkhauser, Mary Jo W., et al.
Published: (2017)

Enhancement/upgrade of Engine Structures Technology Best Estimator (EST/BEST) software system /
by: Shah, Ashwin
Published: (2003)

Baseline assessment and prioritization framework for IVHM integrity assurance enabling capabilities /
Published: (2009)

Fault-tolerant software for the FTMP /
by: Hecht, Herbert, et al.
Published: (1984)

GRC GSFC TDRSS waveform metrics report /
by: Mortensen, Dale J.
Published: (2013)

Ground systems development environment (GSDE) interface requirements analysis : final report /
Published: (1991)

Models and metrics for software management and engineering /
by: Basili, Victor R., 1940-
Published: (1988)

Parallel ALLSPD-3D : speeding up combustor analysis via parallel processing /
by: Fricker, David M.
Published: (1997)

Verifying data integrity of electronically scanned pressure systems at the NASA Glenn Research Center /
by: Panek, Joseph W.
Published: (2001)

Maintenance=reuse-oriented software development /
by: Basili, Victor R., 1940-
Published: (1989)

JavaScript : the definitive guide /
by: Flanagan, David
Published: (1998)

Field guide for designing human interaction with intelligent systems /
by: Thronesbery, Carroll G., et al.
Published: (1998)

Is model-based development a favorable approach for complex and safety-critical computer systems on commercial aircraft? /
by: Torres-Pomales, Wilfredo
Published: (2014)

Overview of design, lifecycle, and safety for computer-based systems /
by: Torres-Pomales, Wilfredo, et al.
Published: (2015)

Space Telecommunications Radio System (STRS) compliance testing /
by: Handler, Louis M.
Published: (2011)