1–10 of 29 hits
|

Your search:
keywords:(Software)

    An Instrumentation-Based Approach to Controller Model Validation

    Cleaveland, Rance / Smolka, Scott A. / Sims, Steven T. | Springer Verlag | 2008
    Keywords: 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
    Keywords: Embed Software , 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
    Keywords: Reusable Software , Software Engineering/Programming and Operating Systems , Software Engineering

    Software platform for manoeuvrability performance estimation in initial ship design

    Free access
    Dan Obreja | DOAJ | 2015
    Keywords: manoeuvrability, software platform, initial design.

    Small ships hydrodynamics software platform

    Free access
    Dan Obreja | DOAJ | 2019
    Keywords: small ships, resistance, powering, manoeuvring, software platform.

    Towards Verification of Model Transformations Via Goal-Directed Certification

    Karsai, Gabor / Narayanan, Anantha | Springer Verlag | 2008
    Keywords: 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
    Keywords: Software Engineering/Programming and Operating Systems , Software Engineering

    On the software DRSWIN designed for barges draught survey processing

    Free access
    Leonard Domnișoru / Florin Pacuraru / Alina Modiga | DOAJ | 2016
    Keywords: DS - draught survey records, barge, software code, validation.

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

    Grossmann, Juergen / Fey, Ines / Krupp, Alexander et al. | Springer Verlag | 2008
    Keywords: Software Engineering/Programming and Operating Systems , Software Engineering