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

101–150 von 240 Ergebnissen
|

    Software QA spacelab experience and future trends

    Davenport, R. | Tema Archiv | 1983

    Avionic software and ADA

    Shepherd, J.T. | Tema Archiv | 1981

    Scientific Developers v/s Static Analysis Tools: Vision and Position Paper

    Freier Zugriff
    Krishnamurthy, Rohan / Heinze, Thomas S. / Haupt, Carina et al. | Deutsches Zentrum für Luft- und Raumfahrt (DLR) | 2019

    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

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

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

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

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

    Konzeption eines Austauschformates für AUTOSAR Diagramme

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

    Multiple software product lines in automotive software development

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

    Technology transfer issues for formal methods of software specification

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

    Industrial applications of software synthesis via category theory

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

    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

    Model-Driven Development of FlexRay-Based Systems with the Timing Definition Language (TDL)

    Naderlinger, Andreas / Pletzer, Johannes / Pree, Wolfgang et al. | IEEE | 2007

    Automotive Software Development for a Multi-Core System-on-a-Chip

    Kopetz, Hermann / Obermaisser, Roman / El Salloum, Christian et al. | IEEE | 2007

    HMI generation for plug-in services from semantic descriptions

    Hildisch, Andreas / Steurer, Jurgen / Stolle, Reinhard | IEEE | 2007

    From Requirements to Statistical Testing of Embedded Systems

    Bauer, Thomas / Bohr, Frank / Landmann, Dennis et al. | IEEE | 2007

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

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

    Towards Model-Based Failure-Management for Automotive Software

    Ermagan, Vina / Mizutani, Jun-ichi / Oguchi, Kentaro et al. | IEEE | 2007

    Standards for mission operations documentation

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

    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

    Model checking programs

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

    The UNICON Approach to Through-Life Support and Evolution of Software-Intensive Systems

    Naim, D. / North Atlantic Treaty Organization | British Library Conference Proceedings | 1993

    Potential Software Failures Methodology Analysis

    Nogarino, M. / Coppola, D. / Contrastano, L. et al. | British Library Conference Proceedings | 1993

    Software architecture recovery of a program family

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

    Validation and Test of Complex Weapons Systems

    Stephenson, M. M. / North Atlantic Treaty Organization | British Library Conference Proceedings | 1993

    Conception Logicielle de Systeme Reactif avec une Methodologie d'Automates Utilisant le Language LDS

    Bosc, J. J. / North Atlantic Treaty Organization | British Library Conference Proceedings | 1993