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

101–150 von 181 Ergebnissen
|

    Foundations for a model-driven integration of business services in a safety-critical application domain

    Mordinyi, Richard / Moser, Thomas / Kuhn, Eva et al. | Tema Archiv | 2009

    High reliable remote terminal unit for space applications

    Guzman, David / Prieto, Manuel / Garcia, Daniel et al. | Tema Archiv | 2009

    Safety of compilers and translation techniques - Status quo of technology and science

    Frank, Stephan / Grabmüller, Martin / Hofstedt, Petra et al. | Tema Archiv | 2008

    Modern software development tools in space projects on the example of a spacelab experiment

    Neff, O. / Schmidt, R. / Schneider, H.J. | Tema Archiv | 1983

    Software QA spacelab experience and future trends

    Davenport, R. | Tema Archiv | 1983

    IRAS end-to-end data system

    Holtz, R.C. van | Tema Archiv | 1983

    Software flexibility ensured success of dutch ANS and IRAS satellites

    Stuyvenberg, J.A. van / Voort Maarschalk, van der | Tema Archiv | 1983

    Ada and the NASA software environmenmt

    Ny, E.W. / Loesh, R. | Tema Archiv | 1983

    Avionic software and ADA

    Shepherd, J.T. | Tema Archiv | 1981

    Technology transfer issues for formal methods of software specification

    Abernethy, K. / Kelly, J. / Sobel, A. et al. | Tema Archiv | 2000

    Replay-basiertes Testen von MOST-Bus-Anwendungen im Automotive-Umfeld

    Machens, Holger / Kröger, Reinhold / Jell, Sylvia et al. | Tema Archiv | 2008

    Varianten in der Automobilelektronikentwicklung. Herausforderungen und Lösungsansätze

    Becker, Martin / Weber, Matthias / Wierczoch, Thomas | Tema Archiv | 2008

    Effizienzsteigerung im Systemtest von Steuergeräten. Eine empirische Untersuchung

    Wiemann, Matthias / Gericke, Jörg | Tema Archiv | 2008

    Industrial applications of software synthesis via category theory

    Williamson, K. / Healy, M. | Tema Archiv | 1999

    Konzeption eines Austauschformates für AUTOSAR Diagramme

    Stantchev, Vladimir / Kostrzycki, Dawid | Tema Archiv | 2008

    Ein Framework für die Testautomatisierung bei Fahrer-Assistenz-Systemen

    Entin, Vladimir / Meyer-Wegener, Klaus | Tema Archiv | 2008

    The legacy ECU software problem - Approach and research challenges

    Heinz, Thomas / Schneider, Jörn | Tema Archiv | 2008

    Deadlock control software for tow automated guided vehicles using Petri Nets

    Rovetto, Carlos / Cano, Elia / Colom, Jose-Manuel | Tema Archiv | 2010

    Micro TTCN - an approach to continuous signals in TTCN-3

    Bräuer, Jens / Kleinwechter, Henning / Leicher, Andreas | Tema Archiv | 2007

    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

    Model checking programs

    Visser, W. / Havelund, K. / Brat, G. et al. | Tema Archiv | 2000

    SPICE for development of mechatronics products

    Schlieder, R. / Augenstein, K.H. | Tema Archiv | 2008

    Towards a methodology for building safe software-based systems

    Ben Swarup, M. / Seetha Ramaiah, P. | Tema Archiv | 2008

    Multiple software product lines in automotive software development

    Beher, Uwe / Bönisch, Günter / Heidrich, Mike | Tema Archiv | 2008

    Software architecture recovery of a program family

    Eixelsberger, W. / Ogris, M. / Gall, H. et al. | Tema Archiv | 1998

    Review of the use of object-oriented technology in industry

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

    On or near the ground flight simulation

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

    The LAVI avionics development methodology

    Beiser, D. | Tema Archiv | 1989