search-head

Sie sind hier: Homepage >  Suche

British Library Conference Proceedings   Physik   Informatik   Bautechnik   Elektrotechnik   Auswahl aufheben
1–50 von 359 Ergebnissen
|
Sortieren:

    Verification of the Behaviour of Reactive Software with CFFD-Semantics and ARA Tools

    Valmari, A. / Savola, R. / European Space Agency | British Library Conference Proceedings | 1996
    Schlagwörter: on-board real-time software

    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

    VEGA Software Cost Risk Modelling (V-SCRM)

    Koiza, N. / European Space Agency | British Library Conference Proceedings | 1996
    Schlagwörter: software product assurance

    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

    Validation of Component and Service Federations in Automotive Software Applications

    Baresi, L. / Ghezzi, C. | British Library Conference Proceedings | 2006
    Schlagwörter: Computer software , Automotive software

    Validation and Test of Complex Weapons Systems

    Stephenson, M. M. / North Atlantic Treaty Organization | British Library Conference Proceedings | 1993
    Schlagwörter: aerospace software engineering

    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

    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

    Towards a Component Architecture for Hard Real Time Control Applications

    Pree, W. / Templ, J. | British Library Conference Proceedings | 2006
    Schlagwörter: Computer software , Automotive software

    Tiny CAN Monitor

    Emaus, B. / SAE | British Library Conference Proceedings | 2000
    Schlagwörter: in-vehicle software

    The UNICON Approach to Through-Life Support and Evolution of Software-Intensive Systems

    Naim, D. / North Atlantic Treaty Organization | British Library Conference Proceedings | 1993
    Schlagwörter: aerospace software engineering

    The Significance of a Reference Architecture in the Automotive Industry

    Weber, J. / Peruzzi, F. / SAE | British Library Conference Proceedings | 2000
    Schlagwörter: in-vehicle software

    The Safety of Global Navigation by Satellite

    Atkins, R. K. / Magny, J.-P. / Tiemeyer, B. et al. | British Library Conference Proceedings | 1996
    Schlagwörter: software product assurance

    The Rafale Mission Computer - The Technical Choices and Standards Implementation for an Onboard Real-Time System

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

    The Packet TCE and the Farm Emulator as Test Environment for the TC Chain Applications

    Calzolari, G. P. / Di Giulio, M. / European Space Agency | British Library Conference Proceedings | 1996
    Schlagwörter: on-board real-time software

    The OSEK/VDX Standard for Automotive Applications - Current Status

    Kiencke, U. / Thierer, C. / SAE | British Library Conference Proceedings | 2000
    Schlagwörter: in-vehicle software

    The Key Points of the French Organisation for Nuclear Power Plants

    Poulverel, B. / European Space Agency | British Library Conference Proceedings | 1996
    Schlagwörter: software product assurance

    The Future of Reliability Predictions

    Schietecatte, B. / European Space Agency | British Library Conference Proceedings | 1996
    Schlagwörter: software product assurance

    The ECSS Product Assurance Standards for Space Products

    Marcoux, J. / European Space Agency | British Library Conference Proceedings | 1996
    Schlagwörter: software product assurance

    The Discipline of Defining the Software Product

    Bergey, J. K. / North Atlantic Treaty Organization | British Library Conference Proceedings | 1993
    Schlagwörter: aerospace software engineering

    The Development Procedures and Tools Applied for the Attitude Control Software of the Italian Satellite SAX

    Hameetman, G. J. / Dekker, G. J. / North Atlantic Treaty Organization | British Library Conference Proceedings | 1993
    Schlagwörter: aerospace software engineering

    The Challenge of ADA95

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

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

    TeStor: Deriving Test Sequences from Model-Based Specifications

    Pelliccione, P. / Muccini, H. / Bucchiarone, A. et al. | British Library Conference Proceedings | 2005
    Schlagwörter: Software engineering , Component-based software engineering

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

    Test Methods and Tools for Soho Mass Memory Unit Software

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

    Testing Operational Flight Programs (OFPs)

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

    Ten Obstacles Inspections Face in Organisations

    Fruehauf, K. / European Space Agency | British Library Conference Proceedings | 1996
    Schlagwörter: software product assurance

    Tailored Responsibility Within Component-Based Systems

    Franz, E. / Wappler, U. | British Library Conference Proceedings | 2005
    Schlagwörter: Software engineering , Component-based software engineering

    SQUID: A Method for Managing Software Quality During Development

    Boeegh, J. / De Panfilis, S. / European Space Agency | British Library Conference Proceedings | 1996
    Schlagwörter: software product assurance

    Specifications Executables des Logiciels des Systemes Complexes

    Delhaye, F. / Paquot, D. / North Atlantic Treaty Organization | British Library Conference Proceedings | 1993
    Schlagwörter: aerospace software engineering

    Software Testing Practices and their Evolution for the '90s

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

    Software Requirements: Is This the Magic Bullet?

    Leveille, L. / SAE | British Library Conference Proceedings | 2000
    Schlagwörter: in-vehicle software

    Software Quality and European Law

    Ellims, M. / Society of Automotive Engineers | British Library Conference Proceedings | 2001
    Schlagwörter: in-vehicle software

    Software Lessons Learned the Hard Way

    Weinfurther, J. M. / Fenderson, A. E. / King, D. M. et al. | British Library Conference Proceedings | 2001
    Schlagwörter: in-vehicle software

    Software for Automotive Systems: Model-Integrated Computing

    Neema, S. / Karsai, G. | British Library Conference Proceedings | 2006
    Schlagwörter: Computer software , Automotive software

    Software Faults: The Avoidable and the Unavoidable: Lessons From Real Systems

    Hatton, L. / European Space Agency | British Library Conference Proceedings | 1996
    Schlagwörter: software product assurance

    Software Failures, Faults and Errors: Their Risk Management and Control

    Borcz, R. / European Space Agency | British Library Conference Proceedings | 1996
    Schlagwörter: software product assurance

    Software Engineering Methods in the HERMES On-Board Software

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

    Software Engineering as Engineering

    Gruszczynski, R. / SAE | British Library Conference Proceedings | 2000
    Schlagwörter: in-vehicle software

    Software Development for Multiple OEMs Using Tool Configured Middleware for CAN Communication

    Jost, P. / Hoffmann, S. / Society of Automotive Engineers | British Library Conference Proceedings | 2001
    Schlagwörter: in-vehicle software

    Software Development and Software Quality at Surrey Satellite Technology Limited

    Loosekoot, M. / European Space Agency | British Library Conference Proceedings | 1996
    Schlagwörter: software product assurance

Ergebnisse anzeigen
10 20

Suchergebnisse filtern