Suche

Sie sind hier: Homepage > Suche

Auswahl aufheben

1–50 von 359 Ergebnissen

Treffer gruppieren

|

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

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

RELIASEP - A Technique for Safe Design

Pitton, J. P. / European Space Agency | British Library Conference Proceedings | 1996

Schlagwörter: software product assurance

Domain Engineering - An Enabling Technology for Product Assurance

Nichols, D. M. / Reddy, J. / European Space Agency | British Library Conference Proceedings | 1996

Schlagwörter: software product assurance

Developing a Successful Metrics Programme

Rosenberg, L. H. / Hyatt, L. E. / European Space Agency | British Library Conference Proceedings | 1996

Schlagwörter: software product assurance

Assurance Produit des Etudes: Une Approche Pragmatique

Farbos, D. / Obe, F. / European Space Agency | British Library Conference Proceedings | 1996

Schlagwörter: software product assurance

Learning Lessons: How to Collect and Use Past Experience

Kretzschmar, C. / Thevenot, D. / European Space Agency | British Library Conference Proceedings | 1996

Schlagwörter: software product assurance

Quality Information System (QIS)

Soubiron, P. / Tozeyre, J. / European Space Agency | British Library Conference Proceedings | 1996

Schlagwörter: software product assurance

ISO 9001 and the ESA Quality Assurance Requirements for Space Systems, ESA PSS-01-20: A Comparison

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

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

Rigorously Assessing Software Reliability and Safety

Strigini, L. / Fenton, N. / European Space Agency | British Library Conference Proceedings | 1996

Schlagwörter: software product assurance

Experiences in the Implementation of P.A. and Safety for the MOMS Instrument on the Russian Mir/Priroda Station

Jenkins, I. R. / 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