11–20 von 479 Ergebnissen
|

Ihre Suche:
keywords:(Software)

    Using VDM + + in the Development of a Large Industrial Application

    Duerr, E. / European Space Agency | British Library Conference Proceedings | 1996
    Schlagwörter: on-board real-time software

    Use of Decision Analysis in Risk Management

    Preyssl, C. / Schmid, S. E. / European Space Agency | British Library Conference Proceedings | 1996
    Schlagwörter: software product assurance

    Unlocking the Grid

    Mattmann, C. A. / Medvidovic, N. / Ramirez, P. M. et al. | British Library Conference Proceedings | 2005
    Schlagwörter: Software engineering , Component-based software engineering

    Un Environnement de Programmation d'Applications Distribuees et Tolerantes aux Pannes sur une Architecture Parallele Reconfigurable

    Fraboul, C. / Siron, P. / North Atlantic Treaty Organization | British Library Conference Proceedings | 1993
    Schlagwörter: aerospace software engineering

    UML-based Specification of a Railway Interlocking and Signalling System

    Janota, A. / Rastocny, K. / Zahradnik, J. et al. | British Library Conference Proceedings | 2003
    Schlagwörter: software specification

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

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

    Transition Methodology from Specifications to a Network of ECUs Exemplarily with ASCET-SD and VCC

    Fuchs, M. / Schiele, P. / SAE | British Library Conference Proceedings | 2000
    Schlagwörter: in-vehicle software

    Towards Verification of Model Transformations Via Goal-Directed Certification

    Karsai, G. / Narayanan, A. | British Library Conference Proceedings | 2008
    Schlagwörter: Software engineering , Automotive software

    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: Software engineering , Automotive software

    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: Software engineering , Automotive software