Cover Image

Proceedings of the Fourteenth Annual Software Engineering Workshop.

Bibliographic Details
Corporate Author:	Goddard Space Flight Center
Format:	Government Document Book
Language:	English
Published:	Greenbelt, Md. : NASA Goddard Space Flight Center, [1989]
Series:	Software Engineering Laboratory ; SEL-89-007. NASA technical memorandum ; 103389.
Subjects:	Computer programming. Computer programs. Computer systems programs. Conferences. Software engineering.
Online Access:	https://purl.fdlp.gov/GPO/LPS60540

Similar Items

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

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

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

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

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

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

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

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

NASA Workshop on Computational Structural Mechanics 1987 : proceedings of a workshop /
Published: (1989)

Transformational derivation of programs using the Focus system /
by: Reddy, Uday S.
Published: (1988)

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

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

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

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

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

An empirical study of flight control software reliability /
by: Dunham, Janet R.
Published: (1986)

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

An Experimental evaluation of software redundancy as a strategy for improving reliability /
Published: (1990)

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

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

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

Space station software issues : report of a workshop held at NASA Langley Research Center, Hampton, Virginia, August 20-21, 1984 /
by: Voigt, Susan, et al.
Published: (1985)

A common distributed language approach to software integration : final report /
by: Antonelli, Charles J.
Published: (1989)

Software requirements : guidance and control software development specification /
Published: (1990)

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

FREQ : a computational package for multivariable system loop-shaping procedures /
by: Giesy, Daniel P.
Published: (1989)

GCS programmer's manual /
Published: (1990)

Space station software recommendations : report of an open forum with industry and academia held at NASA Marshall Space Flight Center, Huntsville, Alabama, April 24-25, 1985 /
Published: (1985)

Observation model and parameter partials for the JPL geodetic GPS modeling software "GPSOMC" /
by: Sovers, Ojars J. (Ojars Juris), 1937-
Published: (1990)

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

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)

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

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

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

Software users manual (SUM) : extended testability analysis (ETA) tool /
by: Maul, William A.
Published: (2011)

Architecture-independent environment for developing engineering software on MIMD computers /
by: Valimohamed, Karim A.
Published: (1990)

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

Software development guidelines /
by: Kovalevsky, Nicholas, et al.
Published: (1979)

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

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