search-head

Sie sind hier: Homepage >  Suche

British Library Conference Proceedings   Auswahl aufheben
1–50 von 479 Ergebnissen
|
Sortieren:

    Common ADA Missile Packages (CAMP)

    Mullins, B. E. / North Atlantic Treaty Organization; Advisory Group for Aerospace Research and Development; Guidance and Control Panel | British Library Conference Proceedings | 1991
    Schlagwörter: software

    Analyst Workbench

    Reese, T. F. / Armogida, F. / North Atlantic Treaty Organization; Advisory Group for Aerospace Research and Development; Guidance and Control Panel | British Library Conference Proceedings | 1991
    Schlagwörter: software

    Process/Object-Oriented ADA Software Design for an Experimental Helicopter

    Grambow, K. / North Atlantic Treaty Organization; Advisory Group for Aerospace Research and Development; Guidance and Control Panel | British Library Conference Proceedings | 1991
    Schlagwörter: software

    Formal Verification of a Redundancy Management Algorithm

    Draper, J. / North Atlantic Treaty Organization; Advisory Group for Aerospace Research and Development; Guidance and Control Panel | British Library Conference Proceedings | 1991
    Schlagwörter: software

    Guidance Software Development Workshop

    Caignault, D. / Gabison, S. / Lebrun, J.-L. et al. | British Library Conference Proceedings | 1991
    Schlagwörter: software

    A Practical Experience of ADA for Developing Embedded Software

    Goethals, C. / Grandjean, C. / North Atlantic Treaty Organization; Advisory Group for Aerospace Research and Development; Guidance and Control Panel | British Library Conference Proceedings | 1991
    Schlagwörter: software

    Computer Aided Design of Weapon System Guidance and Control with Predictive Functional Control Technique

    Cuadrado, D. / Guerchet, P. / Abu El Ata Doss, S. et al. | British Library Conference Proceedings | 1991
    Schlagwörter: software

    Softare Development Workstation

    Robin, H. / Mielnik, J.-C. / North Atlantic Treaty Organization; Advisory Group for Aerospace Research and Development; Guidance and Control Panel | British Library Conference Proceedings | 1991
    Schlagwörter: software

    Coprocessor Support for Real-Time ADA

    Page, R. K. / North Atlantic Treaty Organization; Advisory Group for Aerospace Research and Development; Guidance and Control Panel | British Library Conference Proceedings | 1991
    Schlagwörter: software

    The Development of a Requirement Specification for an Experimental Active Flight Control System for a Variable Stability Helicopter - an ADA Simulation in JSD

    Padfield, G. D. / Bowater, S. P. / Bradley, R. et al. | British Library Conference Proceedings | 1991
    Schlagwörter: software

    Military and Civil Software Standards and Guidelines for Guidance and Control

    Wright, K. W. / North Atlantic Treaty Organization; Advisory Group for Aerospace Research and Development; Guidance and Control Panel | British Library Conference Proceedings | 1991
    Schlagwörter: software

    Software Design Considerations for an Airborne Command and Control Workstation

    Kielhorn, P. / Kuehl, P. / Muth, B. et al. | British Library Conference Proceedings | 1991
    Schlagwörter: software

    Aerospace Software Engineering Works

    Hamon, J. / North Atlantic Treaty Organization; Advisory Group for Aerospace Research and Development; Guidance and Control Panel | British Library Conference Proceedings | 1991
    Schlagwörter: software

    The Data Oriented Requirements Implementation Scheme

    Thomas, C. / North Atlantic Treaty Organization; Advisory Group for Aerospace Research and Development; Guidance and Control Panel | British Library Conference Proceedings | 1991
    Schlagwörter: software

    Formal Specification of Satellite Telemetry: A Practical Experience

    Hufflen, J.-M. / Lemoine, M. / North Atlantic Treaty Organization; Advisory Group for Aerospace Research and Development; Guidance and Control Panel | British Library Conference Proceedings | 1991
    Schlagwörter: software

    Code Generation for Fast DSP-Based Real-Time Control

    Hanselmann, H. / Schwarte, A. / Henrichfreise, H. et al. | British Library Conference Proceedings | 1991
    Schlagwörter: software

    Network Programming: A Design Method and Programming Strategy for Large Software Systems

    Schuberth, L. / Kutscher, J. / Gruenewald, W.-J. et al. | British Library Conference Proceedings | 1991
    Schlagwörter: software

    A Methodology for Software Specification and Development based on Simulation

    Fernandez de la Mora, G. / Minguez, R. / Khan, S. et al. | British Library Conference Proceedings | 1991
    Schlagwörter: software

    Tool Supported Software Development - Experiences from the EFA Project

    Fraedrich, W. M. / North Atlantic Treaty Organization; Advisory Group for Aerospace Research and Development; Guidance and Control Panel | British Library Conference Proceedings | 1991
    Schlagwörter: software

    A Survey of Available Tools and Methods for Software Requirements Capture and Design

    Thewlis, D. J. / North Atlantic Treaty Organization; Advisory Group for Aerospace Research and Development; Guidance and Control Panel | British Library Conference Proceedings | 1991
    Schlagwörter: software

    Development and Verification of Software for Flight Safety Critical Systems

    Afzali, H. / Mattissek, A. / North Atlantic Treaty Organization; Advisory Group for Aerospace Research and Development; Guidance and Control Panel | British Library Conference Proceedings | 1991
    Schlagwörter: software

    Software Methodologies for Safety Critical Systems

    Dolman, W. C. / Ashdown, A. M. / Moores, T. C. et al. | British Library Conference Proceedings | 1991
    Schlagwörter: software

    Requirements and Traceability Management

    Cross, G. M. / North Atlantic Treaty Organization; Advisory Group for Aerospace Research and Development; Guidance and Control Panel | British Library Conference Proceedings | 1991
    Schlagwörter: 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

Ergebnisse anzeigen
10 20

Suchergebnisse filtern