search-head

Sie sind hier: Homepage >  Suche

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

    The Discipline of Defining the Software Product

    Bergey, J. K. / 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

    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

    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

    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

    A Generalization of the Software Engineering Maturity Model

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

    A Common Ada Run-Time System for Avionics Software

    Benjamin, C. L. / Pitarys, M. J. / Solomon, E. N. et al. | British Library Conference Proceedings | 1993
    Schlagwörter: aerospace software engineering

    Experiences with the HOOD Design Method on Avionics Software Development

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

    Object Oriented Design of the Autonomous Fixtaking Management System

    Diemunsch, J. / Hancock, J. / 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

    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

    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

    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

    Improving C Code Quality

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

    Quality And Productivity - Holistic Software Product Assurance

    Blackburn, W. / Brown, R. / Parsons, M. et al. | British Library Conference Proceedings | 1996
    Schlagwörter: software product assurance

    A Knowledge Based Approach to Safety and Reliability Assessment of Safety-Critical Software-Intensive Systems

    Scheer, S. / Maier, T. / European Space Agency | British Library Conference Proceedings | 1996
    Schlagwörter: software product assurance

    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

    European Cooperation for Space Standardisation (ECSS)

    El Gamal, Y. / Kriedte, W. / European Space Agency | British Library Conference Proceedings | 1996
    Schlagwörter: software product assurance

    Comparison of Russian P.A. Standards With Corresponding ESA Requirements

    Muenster, S. / Gericke, W. / European Space Agency | British Library Conference Proceedings | 1996
    Schlagwörter: software product assurance

    An Approach to Safety Assurance of Fuzzy Control Applications

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

    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

    A Pragmatic Approach to Software Quality Assurance in Scientific Laboratories

    Teodomante, S. / Nonon-Latapie, M. / 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

    CMM Self Assessment

    Birnbaum, G. / Munch, D. / European Space Agency | British Library Conference Proceedings | 1996
    Schlagwörter: software product assurance

    Eureca Post-Flight Investigations: Lessons Learned in the Triangle of Product Assurance, Technology and Systems Engineering

    Bogus, K. / Magny, J.-P. / Bongers, E. et al. | British Library Conference Proceedings | 1996
    Schlagwörter: software product assurance

    Implementation of RAMS During Early Phases of the Crew Rescue Vehicle/Crew Transportation Vehicle (CRV/CTV) Programme

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

    Experiences in the Implementation of Process Risk Analyses on Ariane Programme

    Davidowitsch, G. / Kersting, S. / European Space Agency | British Library Conference Proceedings | 1996
    Schlagwörter: software product assurance

    Lessons learned from Pilot Applications of Sneak Analysis in Space Projects

    Bougnol, C. / Dore, B. / Taylor, J. R. et al. | British Library Conference Proceedings | 1996
    Schlagwörter: software product assurance

Ergebnisse anzeigen
10 20

Suchergebnisse filtern