search-head

Sie sind hier: Homepage >  Suche

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

    2005-01-1663 Validating Powertrain Controller Systems With the VPACS-HIL Powertrain Simulator

    Cardanha, T. / Society of Automotive Engineers | British Library Conference Proceedings | 2005
    Schlagwörter: Software testing validation

    2005-01-1660 Hardware-in-the-Loop Testing of Vehicle Dynamics Controllers - A Technical Survey

    Schuette, H. / Waeltermann, P. / Society of Automotive Engineers | British Library Conference Proceedings | 2005
    Schlagwörter: Software testing validation

    An Efficient Approach to Software Validation

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

    Software Architectures for Deeply Embedded Systems: The OMI Approach

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

    Development of Flight Software for Minisat-01 Attitude Determination and Control Subsystem

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

    An Alternative Lifecycle Based on Problem-Oriented Strategies

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

    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

    Conformance Testing on Complex Systems Using Lotos

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

    2005-01-1664 Software Quality is Not a Coincidence: A Model-Based Test Case Generator

    Hermes, T. / Schultze, A. / Predelli, O. et al. | British Library Conference Proceedings | 2005
    Schlagwörter: Software testing validation

    ADA Coding Rules for ATAC Instrumentation of Application Software

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

    OX: ADA Cyclic Executive for Embedded Applications

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

    Sciamachy ICU: An Application of Preemptive Scheduling with ADA on a 31750

    Kroesen, B. / European Space Agency | British Library Conference Proceedings | 1996
    Schlagwörter: on-board real-time 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

    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

    Process Modeling and Software Maintenance Aspects from the Point of View of Subcontractor in a Space Application

    Taramaa, J. / Ketola, T. / European Space Agency | British Library Conference Proceedings | 1996
    Schlagwörter: on-board real-time 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

    Improving Quality Over Price Ratio - A Fight Over a Lifecycle

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

    Impacts and Evaluations of a Software Reuse Methodology for Onboard Component Development

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

    Industrialisation of Tools for Hard Real-Time Software Development

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

    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

    SDE's for the year 2000 and Beyond: an EF Perspective

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

    Application of Information Management Methodologies for Project Quality Improvement in a Changing Environment

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

    Testing Operational Flight Programs (OFPs)

    Satterthwaite, C. P. / 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

    Object versus Functional Oriented Design

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

    A Common Approach for an Aerospace Software Environment

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

    Designing and Maintaining Decision-Making Processes

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

    Mastering the Increasing Complexity of Avionics

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

    Keynote Address - Requirements Engineering Based on Automatic Programming of Software Architectures

    Royce, W. / North Atlantic Treaty Organization | British Library Conference Proceedings | 1993
    Schlagwörter: aerospace 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

    Embedded Expert System: From the Mock-Up to the Real World

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

    DSSA-ADAGE: An Environment for Architecture-Based Avionics Development

    Coglianese, L. H. / Szymanski, R. / North Atlantic Treaty Organization | British Library Conference Proceedings | 1993
    Schlagwörter: aerospace software engineering

    A Distributed Object-Based Environment in Ada

    Corbin, M. J. / Butler, G. F. / Birkett, P. R. et al. | British Library Conference Proceedings | 1993
    Schlagwörter: aerospace software engineering

    A Disciplined Approach to Software Test and Evaluation

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

    Design of a Thin Wire Real-Time Multiprocessor Operating System

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

    The Discipline of Defining the Software Product

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

    On Ground System Integration and Testing: A Modern Approach

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

    Rome Laboratory Software Engineering Technology Program

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

    Artificial Intelligence Technology Program at Rome Laboratory

    Ruberti, R. N. / Hoebel, L. J. / 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

    Hierarchical Object Oriented Design - HOOD: Possibilities, Limitations and Challenges

    Micouin, P. M. / Ubeaud, D. J. / North Atlantic Treaty Organization | British Library Conference Proceedings | 1993
    Schlagwörter: aerospace software engineering

    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

    Potential Software Failures Methodology Analysis

    Nogarino, M. / Coppola, D. / Contrastano, L. et al. | British Library Conference Proceedings | 1993
    Schlagwörter: aerospace software engineering

    ENTREPRISE II: A PCTE Integrated Project Support Environment

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

    Integrated Formal Verification and Validation of Safety Critical Software

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

    Ada Run Time System Certification for Avionics Applications

    Brygier, J. / Richard-Foy, M. / North Atlantic Treaty Organization | British Library Conference Proceedings | 1993
    Schlagwörter: aerospace software engineering

    Validation and Test of Complex Weapons Systems

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

    Conception Logicielle de Systeme Reactif avec une Methodologie d'Automates Utilisant le Language LDS

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

    Le Developpement des Logiciels de Commandes de Vol - L'Experience Rafale

    Beurrier, D. / Vergnol, F. / Bourdais, P. et al. | British Library Conference Proceedings | 1993
    Schlagwörter: aerospace software engineering

    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

Ergebnisse anzeigen
10 20

Suchergebnisse filtern