1–50 von 187 Ergebnissen
|

    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

    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

    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

    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

    Improving Reuse in Space (IRIS)

    Aldea, F. / Sanchez, G. / 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

    Onboard Software Maintenance - An Operational Task

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

    Patching Onboard ADA Software

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

    Onboard Software Design & Development Issues for the `Era'

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

    A Scheduling Algorithm for the OBDH Bus - Theory into Practice

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

    The Challenge of ADA95

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

    AXS: An ADA Coprocessor-Based Real-Time Kernel

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

    How to Reduce the Cost of Onboard Software

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

    Application of the Asynchronous Operating System ASTRES-1750 in Space Projects

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

    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