1–20 von 26 Ergebnissen
|

Ihre Suche:
keywords:(Computer software)

    An Instrumentation-Based Approach to Controller Model Validation

    Cleaveland, Rance / Smolka, Scott A. / Sims, Steven T. | Springer Verlag | 2008
    Schlagwörter: Computer Science , Computer Communication Networks , Software Engineering/Programming and Operating Systems , Software Engineering

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

    Subramonian, Venkita / Gill, Christopher | Springer Verlag | 2008
    Schlagwörter: Reusable Software , Computer Science , Computer Communication Networks , Software Engineering/Programming and Operating Systems , Software Engineering

    Towards Verification of Model Transformations Via Goal-Directed Certification

    Karsai, Gabor / Narayanan, Anantha | Springer Verlag | 2008
    Schlagwörter: Computer Science , Computer Communication Networks , Software Engineering/Programming and Operating Systems , Software Engineering

    A Software and System Modeling Facility for Vehicle Environment Interactions

    Nelson, Edward / Huang, Henry | Springer Verlag | 2008
    Schlagwörter: Embed Software , Computer Science , Computer Communication Networks , Software Engineering/Programming and Operating Systems , Software Engineering

    Modeling with the Timing Definition Language (TDL)

    Pree, Wolfgang / Templ, Josef | Springer Verlag | 2008
    Schlagwörter: Computer Science , Computer Communication Networks , Software Engineering/Programming and Operating Systems , Software Engineering

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

    Prasad, K. Venkatesh / Giuli, Thomas J. / Watson, David | Springer Verlag | 2008
    Schlagwörter: Computer Science , Computer Communication Networks , Software Engineering/Programming and Operating Systems , Software Engineering

    Risiko und Zuverlässigkeit in kybernetischen Systemen

    Henning, Klau / Grobel, Kirsti / Stoffel, Beate | IuD Bahn | 2000
    Schlagwörter: Computer , Software

    Towards Model-Driven Development of Hard Real-Time Systems

    Integrating ASCET and aiT/StackAnalyzer
    Ferdinand, Christian / Heckmann, Reinhold / Wolff, Hans-Jörg et al. | Springer Verlag | 2008
    Schlagwörter: Computer Science , Computer Communication Networks , Software Engineering/Programming and Operating Systems , Software Engineering

    Generating Sound and Resource-Aware Code from Hybrid Systems Models

    Anand, Madhukar / Fischmeister, Sebastian / Kim, Jesung et al. | Springer Verlag | 2008
    Schlagwörter: Computer Science , Computer Communication Networks , Software Engineering/Programming and Operating Systems , Software Engineering

    Reusable Services and Semi-automatic Service Composition for Automotive Software

    Giese, Holger | Springer Verlag | 2008
    Schlagwörter: Computer Science , Computer Communication Networks , Software Engineering/Programming and Operating Systems , Software Engineering

    Soziale Wirkungen virtueller Helfer : Gestaltung und Evaluation von Mensch-Computer-Interaktion

    Krämer, Nicole C. | TIBKAT | 2008
    Schlagwörter: Human-computer interaction , Avatars (Computer graphics) , Intelligent agents (Computer software)

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

    Grossmann, Juergen / Fey, Ines / Krupp, Alexander et al. | Springer Verlag | 2008
    Schlagwörter: Computer Science , Computer Communication Networks , Software Engineering/Programming and Operating Systems , Software Engineering

    Multi-technology Vehicular Cooperative System Based on Software Defined Radio (SDR)

    Haziza, Nathalie / Kassab, Mohamed / Knopp, Raymond et al. | Springer Verlag | 2013
    Schlagwörter: Software-Defined Radio , Computer Science , Computer Communication Networks , Computer Science, general

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

    Neema, Sandeep / Birla, Sushil / Wang, Shige et al. | Springer Verlag | 2008
    Schlagwörter: Computer Science , Computer Communication Networks , Software Engineering/Programming and Operating Systems , Software Engineering

    Secure Automotive On-Board Protocols: A Case of Over-the-Air Firmware Updates

    Idrees, Muhammad Sabir / Schweppe, Hendrik / Roudier, Yves et al. | Springer Verlag | 2011
    Schlagwörter: software functionality , Computer Science , Computer Communication Networks

    Design and development of a virtual reality serious game with editable content

    Freier Zugriff
    Dickson Roig, Alexander | BASE | 2020
    Schlagwörter: Computer software

    Quality Assurance and Certification of Software Modules in Safety Critical Automotive Electronic Control Units Using a CASE-Tool Integration Platform

    Mueller-Glaser, Klaus D. / Reichmann, Clemens / Kuehl, Markus et al. | Springer Verlag | 2006
    Schlagwörter: Software Module , Computer Science , Software Engineering

    Simulink Integration of Giotto/TDL

    Pree, Wolfgang / Stieglbauer, Gerald / Templ, Josef | Springer Verlag | 2006
    Schlagwörter: Computer Science , Software Engineering

    Analyzing the Worst-Case Execution Time by Abstract Interpretation of Executable Code

    Ferdinand, Christian / Heckmann, Reinhold / Wilhelm, Reinhard | Springer Verlag | 2006
    Schlagwörter: Computer Science , Software Engineering

    Validation of Component and Service Federations in Automotive Software Applications

    Baresi, Luciano / Ghezzi, Carlo | Springer Verlag | 2006
    Schlagwörter: Computer Science , Software Engineering