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

301–350 von 708 Ergebnissen
|

    Model checking large software specifications

    Chan, W. / Anderson, R.J. / Beame, P. et al. | Tema Archiv | 1997

    Model-Based Software Technology Providing Safer Automotive Development and High Quality

    Feve, Florent / Le Calvez, Gilles / Foin, Gérard | SAE Technical Papers | 2004

      Model-Based Software Technology Providing Safer Automotive Development and High Quality

      Feve, F. / Foin, G. / Le Calvez, G. et al. | British Library Conference Proceedings | 2004

    Model-based software technology providing safer automotive development and high quality

    Feve,F. / Foin,G. / Le Calvez,G. et al. | Kraftfahrwesen | 2004

    Model-based software engineering for an imaging CubeSat and its extrapolation to other missions

    Mohammad, Atif / Straub, Jeremy / Korvald, Christoffer et al. | IEEE | 2013

    Mission Characteristics

    Hallock, Harold L. / Welter, Gary / Simpson, David G. et al. | Springer Verlag | 2017

    Misra C++: 2008 and safely embedded software - A safety approach for C++

    Mottok, Jürgen / Schiller, Frank | Tema Archiv | 2008

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

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

    Methoden und Werkzeuge in Produktion und Service

    Schäuffele, Jörg / Zurawka, Thomas | Springer Verlag | 2016

    Methoden und Werkzeuge in Produktion und Service

    Schäuffele, Jörg / Zurawka, Thomas | Springer Verlag | 2024

    Methoden und Werkzeuge in der Entwicklung

    Schäuffele, Jörg / Zurawka, Thomas | Springer Verlag | 2024

      Methoden und Werkzeuge in der Entwicklung

      Schäuffele, Jörg / Zurawka, Thomas | Springer Verlag | 2016

    Meta-Metrics for simulations in software engineering on the example of integral safety systems

    Bergers, Christian / Block, Delf / Honst, Christian et al. | Tema Archiv | 2012

    Measuring software development characteristics in the local environment

    Basili, Victor R. / Zelkowitz, Marvin V. | NTRS | 1982

    Mastering the Increasing Complexity of Avionics

    Chanet, P. / Cassigneul, V. / North Atlantic Treaty Organization | British Library Conference Proceedings | 1993

    Mars Polar Lander fault identification using model-based testing

    Blackburn, M. / Busser, R. / Nauman, A. et al. | Tema Archiv | 2002

    Making effective use of CASE (computer aided software engineering) tools in automotive systems development

    Stobart, R. C. / Pink, G. / IEE; Computing and Control Division; Professional Group C12 (Transport electronics and control) | British Library Conference Proceedings | 1994

    Lush: Smart Parking Reservation and Management Application

    Koneswara, Lathushanan / Subodha Prasansani Subasingha, A.S. / Ranaweera, Udagi Ranmini et al. | IEEE | 2022

    Low-cost Web-based Software Engineering Environment for Space Software

    Monteverde, J. A. / EUROSPACE / Centre National d'Etudes Spatiales et al. | British Library Conference Proceedings | 2000

    Lessons learned in transitioning to an open systems environment

    Boland, Dillard E. / Green, David S. / Steger, Warren L. | NTRS | 1994

    Lessons from 30 Years of Flight Software

    McComas, David C. | NTRS | 2015

    Le Developpement des Logiciels de Commandes de Vol - L'Experience Rafale

    Beurrier, D. / Vergnol, F. / Bourdais, P. et al. | British Library Conference Proceedings | 1993

    Languages for Specifying Missions of Robotic Applications

    Dragule, Swaib / Gonzalo, Sergio García / Berger, Thorsten et al. | Springer Verlag | 2020

    Konzeption eines Austauschformates für AUTOSAR Diagramme

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

    Knowledge tools to organise software engineering Data: Development and validation of an ontology based on ECSS standard

    Eito-Brun, Ricardo / Miguel Gómez-Berbís, Juan / de Amescua Seco, Antonio | Elsevier | 2022

    Keynote Address - Requirements Engineering Based on Automatic Programming of Software Architectures

    Royce, W. / North Atlantic Treaty Organization | British Library Conference Proceedings | 1993

    Kernprozess zur Entwicklung von elektronischen Systemen und Software

    Schäuffele, Jörg / Zurawka, Thomas | Springer Verlag | 2024

      Kernprozess zur Entwicklung von elektronischen Systemen und Software

      Schäuffele, Jörg / Zurawka, Thomas | Springer Verlag | 2016

    It's software engineering but not as we know it

    Hall, J. | British Library Online Contents | 2011

    IRAS end-to-end data system

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

    Investigation of DQN Algorithm for Driving Control for Smart Cities and Traffic Safety

    Yigit, Yildiray / Karabatak, Murat / Varol, Asaf et al. | IEEE | 2023

    Investigating the readability of state-based formal requirements specification languages

    Zimmerman, M.K. / Lundqvist, K. / Leveson, N. | Tema Archiv | 2002

    In-Vehicle Networks and Security

    Roermund, Timo | Springer Verlag | 2019

    Introduction

    Truszkowski, Walt / Hallock, Harold L. / Rouff, Christopher et al. | Springer Verlag | 2009