1–20 von 21 Ergebnissen
|

    Software engineering technology transfer: Understanding the process

    Zelkowitz, Marvin V. | NTRS | 1993
    effectiveness of software engineering technology transfer is reported. ...
    Verlag: NASA National Aeronautics and Space Administration
    Schlagwörter: Computer Programming And Software

    What's Happening in the Software Engineering Laboratory?

    Pajerski, Rose / Green, Scott / Smith, Donald | NTRS | 1995
    Since 1976 the Software Engineering Laboratory (SEL) has been dedicated to understanding and improving the way in which one NASA ...
    Verlag: NASA National Aeronautics and Space Administration
    Schlagwörter: Computer Programming And Software

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

    Agresti, W. W. | NTRS | 1985
    An experiment is in progress to measure the effectiveness of Ada in the National Aeronautics and Space Administration/Goddard Space Flight ...
    Verlag: NASA National Aeronautics and Space Administration
    Schlagwörter: Computer Programming And Software

    SEL (Software Engineering Laboratory) Ada experiment: Status and design experiences

    Agresti, William W. | NTRS | 1986
    Verlag: NASA National Aeronautics and Space Administration
    Schlagwörter: Computer Programming And Software

    A quantitative analysis of the impact of modern software engineering techniques on software quality and development productivity

    Gaffney, J. E., Jr. / Drabant, T. M. / Ceely, W. D. | NTRS | 1986
    Verlag: NASA National Aeronautics and Space Administration
    Schlagwörter: Computer Programming And Software

    Self-checking software

    Cha, Sung D. / Leveson, Nancy G. / Shimeall, Timothy J. et al. | NTRS | 1986
    Verlag: NASA National Aeronautics and Space Administration
    Schlagwörter: Computer Programming And Software

    Software development in Ada

    Basili, V. R. / Katz, E. E. | NTRS | 1985
    directions for research into the use of Ada in software development in general and in the NASA Goddard environment in particular are described. ...
    Verlag: NASA National Aeronautics and Space Administration
    Schlagwörter: Computer Programming And Software

    A value-chain analysis of software productivity components

    Boehm, Barry W. / Papaccio, Phillip N. | NTRS | 1986
    Verlag: NASA National Aeronautics and Space Administration
    Schlagwörter: Computer Programming And Software

    Data diversity: An approach to fault-tolerant software

    Ammann, Paul E. / Knight, John C. | NTRS | 1986
    Verlag: NASA National Aeronautics and Space Administration
    Schlagwörter: Computer Programming And Software

    Applying reliability models to the maintenance of Space Shuttle software

    Schneidewind, Norman F. | NTRS | 1992
    Software reliability models provide the software manager with a powerful tool for predicting, controlling, and assessing the reliability of ...
    Verlag: NASA National Aeronautics and Space Administration
    Schlagwörter: Computer Programming And Software

    Visible connections: The open architecture of the software through Pictures environment

    Wasserman, Anthony I. | NTRS | 1986
    Verlag: NASA National Aeronautics and Space Administration
    Schlagwörter: Computer Programming And Software

    Mars Polar Lander fault identification using model-based testing

    Blackburn, M. / Busser, R. / Nauman, A. et al. | Tema Archiv | 2002
    This paper describes the application of the Test Automation Framework (TAF) on the Mars Polar Lander (MPL) software. The premature shutdown ...
    Schlagwörter: Software-Anforderung

    Generating MC/DC adequate test sequences through model checking

    Rayadurgam, S. / Heimdahl, M.P.E. | Tema Archiv | 2004
    We present a method for automatically generating test sequences to satisfy MC/DC like structural coverage criteria of software behavioral ...
    Schlagwörter: Software-Verifikation

    Lessons learned in transitioning to an open systems environment

    Boland, Dillard E. / Green, David S. / Steger, Warren L. | NTRS | 1994
    well-developed set of software engineering models and processes, transitioning to a new technology can be expensive and risky. Current industry ...
    Verlag: NASA National Aeronautics and Space Administration
    Schlagwörter: Computer Programming And Software

    Experiments with Ada

    Roy, D. / Mcclimens, M. / Agresti, W. | NTRS | 1985
    software from requirements to acceptance test. The system runs faster than its FORTRAN implementation and was produced on schedule and under budget ...
    Verlag: NASA National Aeronautics and Space Administration
    Schlagwörter: Computer Programming And Software

    Automating the design process with syntactic-based tools

    Zelkowitz, Marvin V. | NTRS | 1986
    Verlag: NASA National Aeronautics and Space Administration
    Schlagwörter: Computer Programming And Software

    Empirical research on the design process: The field study

    Shen, Vincent / Krasner, Herb / Iscoe, Neil et al. | NTRS | 1986
    Verlag: NASA National Aeronautics and Space Administration
    Schlagwörter: Computer Programming And Software

    An experimental comparison of FORTRAN and Ada program reliability

    Goel, Amrit L. / Cavano, Joseph / Farhat, F. Youwakim et al. | NTRS | 1986
    Verlag: NASA National Aeronautics and Space Administration
    Schlagwörter: Computer Programming And Software

    Development and application of an acceptance testing model

    Pendley, Rex D. / Noonan, Caroline H. / Hall, Kenneth R. | NTRS | 1992
    The process of acceptance testing large software systems for NASA has been analyzed, and an empirical planning model of the process ...
    Verlag: NASA National Aeronautics and Space Administration
    Schlagwörter: Computer Programming And Software

    TAME: Tailoring A Measurement Environment

    Basili, Victor R. / Rombach, H. Dieter | NTRS | 1986
    Verlag: NASA National Aeronautics and Space Administration
    Schlagwörter: Computer Programming And Software