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

181–200 von 370 Ergebnissen
|

    Cadena: an integrated development, analysis, and verification environment for component-based systems

    Hatcliff, J. / Deng, Xinghua / Dwyer, M.B. et al. | Tema Archiv | 2003

    Adopting Conversational Interfaces for Exploring OSGi-based Software Architectures in Augmented Reality

    Freier Zugriff
    Seipel, Peter / Stock, Adrian / Santhanam, Sivasurya et al. | Deutsches Zentrum für Luft- und Raumfahrt (DLR) | 2019

    The software development system

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

    A Guidance Framework for the Generation of Implementation Models in the Automotive Domain

    Wozniak, E. / Mraidha, C. / Gerard, S. et al. | Tema Archiv | 2011

    Generating MC/DC adequate test sequences through model checking

    Rayadurgam, S. / Heimdahl, M.P.E. | Tema Archiv | 2004

    Efficient scheduling of reliable automotive multi-core systems with PD2 by weakening ERfair task system requirements

    Deubzer, Michael / Margull, Ulrich / Mottok, Jürgen et al. | Tema Archiv | 2010

    A Semantic Segmentation Method of Front-View Pavement Distress Based on SegFormer

    Yang, Yuanji / Ning, Zhipeng / Li, Shenglin | IEEE | 2023

    Decision model for automotive intrusion detection systems

    Müter, Michael / Hoppe, Tobias / Dittmann, Jana | Tema Archiv | 2010

    Safety- and security-related features in AUTOSAR

    Bunzel, Stefan / Fürst, Simon / Stappert, Friedhelm et al. | Tema Archiv | 2010

    Intelligent Software Agents for Managing Road Speed Offences

    Abbas, Maythem K. / Jung, Low Tan / Mahmood, Ahmad Kamil et al. | Springer Verlag | 2019

    Reusing single system requirements from application family requirements

    Mannion, M. / Keepence, B. / Kaindl, H. et al. | Tema Archiv | 1999

    Sicherheitskritische Echtzeitsysteme mit Java

    Walter, Andy | Tema Archiv | 2010

    Mars Polar Lander fault identification using model-based testing

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

    Investigating the readability of state-based formal requirements specification languages

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