1–20 von 85 Ergebnissen
|

    Final Presentation of PATAS - Quality Assurance in Model-Driven Software Engineering for Spacecraft

    Freier Zugriff
    Höflinger, Kilian Johann / Sommer, Jan / Nepal, Ayush Mani et al. | Deutsches Zentrum für Luft- und Raumfahrt (DLR) | 2018
    Schlagwörter: model-driven development

    PaTaS: Quality Assurance for Model-driven Software Development

    Freier Zugriff
    Höflinger, Kilian Johann / Feiden, Arno / Sommer, Jan et al. | Deutsches Zentrum für Luft- und Raumfahrt (DLR) | 2019
    Schlagwörter: model-driven development

    A Model-driven Approach for the Formal Analysis of Human-Robot Interaction Scenarios

    Freier Zugriff
    L. Lestingi / M. Askarpour / M. M. Bersani et al. | BASE | 2020
    Schlagwörter: model-driven development

    'Lane Assist'. Das neue aktive Spurhaltesystem von Volkswagen

    Rohlfs, Michael / Schiebe, Sebastian / Müller, Jürgen et al. | Tema Archiv | 2008
    Schlagwörter: rechnerunterstützte Software-Entwicklung , modellbasierte Softwareentwicklung

    Rule-based Dynamic Safety Monitoring for Mobile Robots

    Freier Zugriff
    Sorin, Adam / Morten, Larsen / Kjeld, Jensen et al. | BASE | 2016
    Schlagwörter: model driven development

    Early Verification of Complex Distributed Systems Using Model Driven Development and Virtual Engineering

    Brooks, Lance / Wu, Jun / Teegarden, Darrell | Springer Verlag | 2012
    Schlagwörter: Model driven development

    Reusable Services and Semi-automatic Service Composition for Automotive Software

    Giese, H. | British Library Conference Proceedings | 2008
    Schlagwörter: Model-driven development

    Towards Integrated Model-Driven Verification and Empirical Validation of Reusable Software Frameworks for Automotive Systems

    Subramonian, V. / Gill, C. | British Library Conference Proceedings | 2008
    Schlagwörter: Model-driven development

    A Software and System Modeling Facility for Vehicle Environment Interactions

    Nelson, E. / Huang, H. | British Library Conference Proceedings | 2008
    Schlagwörter: Model-driven development

    Addressing Cross-Tool Semantic Ambiguities in Behavior Modeling for Vehicle Motion Control

    Neema, S. / Birla, S. / Wang, S. et al. | British Library Conference Proceedings | 2008
    Schlagwörter: Model-driven development

    The Case for Modeling Security, Privacy, Usability and Reliability (SPUR) in Automotive Software

    Prasad, K.V. / Giuli, T.J. / Watson, D. | British Library Conference Proceedings | 2008
    Schlagwörter: Model-driven development

    Towards Verification of Model Transformations Via Goal-Directed Certification

    Karsai, G. / Narayanan, A. | British Library Conference Proceedings | 2008
    Schlagwörter: Model-driven development

    TestML - A Test Exchange Language for Model-Based Testing of Embedded Software

    Grossmann, J. / Fey, I. / Krupp, A. et al. | British Library Conference Proceedings | 2008
    Schlagwörter: Model-driven development

    Modeling with the Timing Definition Language (TDL)

    Pree, W. / Templ, J. | British Library Conference Proceedings | 2008
    Schlagwörter: Model-driven development

    Generating Sound and Resource-Aware Code from Hybrid Systems Models

    Anand, M. / Fischmeister, S. / Kim, J. et al. | British Library Conference Proceedings | 2008
    Schlagwörter: Model-driven development

    An Instrumentation-Based Approach to Controller Model Validation

    Cleaveland, R. / Smolka, S.A. / Sims, S.T. | British Library Conference Proceedings | 2008
    Schlagwörter: Model-driven development

    Towards Model-Driven Development of Hard Real-Time Systems: Integrating ASCET and aiT/StackAnalyzer

    Ferdinand, C. / Heckmann, R. / Wolff, H.-J. et al. | British Library Conference Proceedings | 2008
    Schlagwörter: Model-driven development

    Model-Driven Development of Safety Architectures

    Denney, Ewen / Pai, Ganesh / Whiteside, Iain | NTRS | 2017
    Schlagwörter: Model-driven development

    Practical application of model-based software design for automotive

    Ranville, S. | Tema Archiv | 2002
    Schlagwörter: Software-Entwicklung , modellbasierte Softwareentwicklung