Synonyme wurden verwendet für: Softwaretechnik
Suche ohne Synonyme: title:"Softwaretechnik"

101–150 von 701 Ergebnissen
|

    The LAVI avionics development methodology

    Beiser, D. | Tema Archiv | 1989

    Modelling of signalling for an interactive on-line rapid transit railway simulator

    Ho, T.K. / Allan, J. / Digby, G. et al. | Tema Archiv | 1989

    Formal methods in software engineering

    Hird, G.R. | Tema Archiv | 1990

    What software engineering can learn from practitioners

    Volovik, D. / Mojdehbakhsh, R. / Tsai, W.T. | Tema Archiv | 1990

    Software engineering tools for avionics embedded computer resources

    Harris, R.L. / Jackson, O. | Tema Archiv | 1990

    Fault injection for dependability validation: a methodology and some applications

    Arlat, J. / Aguera, M. / Amat, L. et al. | Tema Archiv | 1990

    Software product assurance at the Jet Propulsion Laboratory

    Fairley, R.E. / Bush, M. | Tema Archiv | 1990

    SACEM software validation

    Guiho, G. / Hennebert, C. | Tema Archiv | 1990

    Avionic system development and integration

    Lahad, Y. | Tema Archiv | 1990

    The T/D avionics integration methodology

    Harbi, R. / Beiser, D. | Tema Archiv | 1990

    Aerospace Software Engineering Works

    Hamon, J. / North Atlantic Treaty Organization; Advisory Group for Aerospace Research and Development; Guidance and Control Panel | British Library Conference Proceedings | 1991

    Aerospace software engineering : a collection of concepts

    Anderson, Christine / Dorfman, Merlin | TIBKAT | 1991

    Intelligent systems/software engineering methodology - A process to manage cost and risk

    FRIEDLANDER, CARL / LEHRER, NANCY | AIAA | 1991

    Standards for mission operations documentation

    Bender, H.J. / Gries, A. | Tema Archiv | 1991

    The application of multiple team inspections on a safety-critical software standard

    Tripp, L.L. / Struck, W.F. / Pflug, B.K. | Tema Archiv | 1991

    Review of the use of object-oriented technology in industry

    Dupont, M. / Sarrazin, H. / Tizzano, M. et al. | Tema Archiv | 1991

    Process assessments in NASA

    Bush, Marilyn W. | NTRS | 1991

    On or near the ground flight simulation

    Hogg, C. / Self, A. / Pearce, D. et al. | Tema Archiv | 1991

    CASE support for large systems

    Robinson, D. | Tema Archiv | 1991

    Applying linguistic engineering to spatial software engineering: the traceability problem

    Borillo, M. / Borillo, A. / Castell, N. et al. | Tema Archiv | 1992

    ICAS-92-6.10.1 A Control Technology of Integrated System of Engineering Supported by Software Engineering Environments

    Shen, G. Q. / Sha, Z. P. / International Council of Aeronautical Sciences | British Library Conference Proceedings | 1992

    Computer aided software engineering - benefits of formalization and automatic coding in the development of embedded software

    Durgeat, E. / Delort, P. / ERA Technology | British Library Conference Proceedings | 1992

    Detecting unsafe error recovery schedules

    Lutz, R.R. / Wong, J.S.K. | Tema Archiv | 1992

    The aims project: an overview

    Shorrock, T.R.J. | Tema Archiv | 1992

    Development and application of an acceptance testing model

    Pendley, Rex D. / Noonan, Caroline H. / Hall, Kenneth R. | NTRS | 1992

    Rome Laboratory Software Engineering Technology Program

    Kean, E. S. / North Atlantic Treaty Organization | British Library Conference Proceedings | 1993