Synonyme wurden verwendet für: Softwareentwicklung
Suche ohne Synonyme: keywords:("Softwareentwicklung")

21–40 von 868 Ergebnissen
|

    HelpMe: A Heuristic License Plate Correction Method for Big Data Application

    Jia, Guochao / Tao, Xu / Liu, Yan et al. | Tema Archiv | 2015
    Schlagwörter: Software-Engineering

    Multiscale matched filter-based lane detection scheme of the constant false alarm rate for driver assistance

    Weiwei Zhang | Online Contents | 2015
    Schlagwörter: Software engineering

    Cloud-based, service-oriented and knowledge-sharing architecture: its design and application in shipbuilding

    Cheng, Yune-Yu / Shaw, Heiu-Jou | Tema Archiv | 2015
    Schlagwörter: Software-Entwicklung

    Multiscale matched filter-based lane detection scheme of the constant false alarm rate for driver assistance

    Zhang, Weiwei / Song, Xiaolin / Cao, Xiaojuan | Tema Archiv | 2015
    Schlagwörter: Software-Entwicklung

    New Challenges in Future Software Engineering

    Cheng, Jingde | Tema Archiv | 2014
    Schlagwörter: Software-Engineering

    Autonomy Requirements Engineering for Space Missions

    Vassev, Emil / Hinchey, Mike | SLUB | 2014
    Schlagwörter: Software Engineering

    Characteristics Analysis and Library Development for Common Lamps by Using PSPICE Modeling

    Kim, Young-Choon / Cho, Moon-Taek / Song, Ho-Bin et al. | Tema Archiv | 2014
    Schlagwörter: Software-Engineering

    Simulation and testing for automotive electronics V : [Sixth Conference on Simulation and Testing for Automotive Electronics]

    expert-Verlag GmbH Fachverlag für Wirtschaft und Technik / Ingenieurgesellschaft Auto und Verkehr / Conference on Simulation and Testing for Automotive Electronics | TIBKAT | 2014
    Schlagwörter: Softwareentwicklung

    Verification of Solid State Interlocking Programs

    James, P. / Lawrence, A. / Moller, F. et al. | British Library Conference Proceedings | 2014
    Schlagwörter: Software engineering

    Verification of Scheme Plans Using CSP||B

    James, P. / Moller, F. / Nguyen, H.N. et al. | British Library Conference Proceedings | 2014
    Schlagwörter: Software engineering

    Formal Implementation of Data Validation for Railway Safety-Related Systems with OVADO

    Abo, R. / Voisin, L. | British Library Conference Proceedings | 2014
    Schlagwörter: Software engineering

    Validation of Railway Interlocking Systems by Formal Verification, A Case Study

    Bonacchi, A. / Fantechi, A. / Bacherini, S. et al. | British Library Conference Proceedings | 2014
    Schlagwörter: Software engineering

    Applied Bounded Model Checking for Interlocking System Designs

    Haxthausen, A.E. / Peleska, J. / Pinger, R. | British Library Conference Proceedings | 2014
    Schlagwörter: Software engineering

    Twenty-Five Years of Formal Methods and Railways: What Next?

    Fantechi, A. | British Library Conference Proceedings | 2014
    Schlagwörter: Software engineering

    Analysis of Urban Traffic Based on Taxi GPS Data

    Li, Meng / Li, Ru-tong / Xia, Yong et al. | Tema Archiv | 2014
    Schlagwörter: Software-Engineering

    A Requirement Analysis of Awareness-Based Vessel Traffic Service System for Maritime Safety

    Lee, Byunggil / Park, Namje / Kim, JuYoung | Tema Archiv | 2014
    Schlagwörter: Software-Engineering

    Simulation and Analysis of Space Station Redocking

    Chen, Rui / Tang, Shengjing / Sun, Guojiang | Tema Archiv | 2014
    Schlagwörter: Software-Engineering

    An Experience of Optimization Approach Application to Improve the Urban Passenger Transport Structure

    Krushel, Elena Georgievna / Stepanchenko, Ilya Victorovich / Panfilov, Alexander Eduardovich et al. | Tema Archiv | 2014
    Schlagwörter: Software-Engineering

    Optimized Design of Charger for Electric Vehicles with Enabled Efficient CCCV Mode Movement

    Chun, Ji-Yong / Kim, Young-Choon / Cho, Moon-Taek | Tema Archiv | 2014
    Schlagwörter: Software-Engineering