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

1–33 von 33 Ergebnissen
|

    Software engineering education

    Fontana, R.E. / Peterson, J.B. / Lamont, G.B. | Tema Archiv | 1977

    An overview of software engineering

    Blum, B.I. / Sleight, T.P. | Tema Archiv | 1988

    Software-Engineering fuer die Flug-Zuverlaessigkeit

    Roemuss, W. / Kurth, W. / Molens, J. | Tema Archiv | 1981

    Fahrende Computer

    Große-Rhode, Martin / Fritsch, Werner | Tema Archiv | 2004

    Une mise en oeuvre d'outils de genie logiciel dans le domaine des transports

    Keller, F. / Gazet, A. / Berieau, M. | Tema Archiv | 1995

    SEI: the software battleground

    Joyce, E.J. | Tema Archiv | 1986

    Formal analysis of a space-craft controller using SPIN

    Havelund, K. / Lowry, m. / Penix, J. | Tema Archiv | 2001

    Fault injection for dependability validation: a methodology and some applications

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

    Requirements specification for process-control systems

    Leveson, N.G. / Heimdahl, M.P.E. / Hildreth, H. et al. | Tema Archiv | 1994

    Experiences using lightweight formal methods for requirements modeling

    Easterbrook, S. / Lutz, R. / Covington, R. et al. | Tema Archiv | 1998

    A framework for evaluating the effectiveness of real-time object-oriented models

    Kumarakulasingam, P. / Saiedian, H. | Tema Archiv | 2002

    Integration of functional, cognitive and quality requirements. A railways case study

    Felici, M. / Sujan, M.A. / Wimmer, M. | Tema Archiv | 2000

    A business object-oriented environment for CCISs interoperability

    Maamar, Z. / Charpentier, R. | Tema Archiv | 2000

    Formal requirements analysis of an avionics control system

    Dutertre, B. / Stavridou, V. | Tema Archiv | 1997

    Software product assurance at the Jet Propulsion Laboratory

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

    The Effects of an ARMOR-based SIFT environment on the performance and dependability of user applications

    Whisnant, K. / Iyer, R.K. / Kalbarczyk, Z.T. et al. | Tema Archiv | 2004

    A hierarchical knowledge based system for airplane classification

    Moldovan, D.I. / Wu, C.I. | Tema Archiv | 1988

    Detecting unsafe error recovery schedules

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

    The software development system

    Davis, C.G. / Vick, C.R. | Tema Archiv | 1977