search-head

Sie sind hier: Homepage >  Suche

British Library Conference Proceedings   Physik   Informatik   Bautechnik   Auswahl aufheben
201–246 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

    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

    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

    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

    Cognitive Agents for Sense and Respond Logistics

    Greene, K. / Cooper, D. G. / Buczak, A. L. et al. | British Library Conference Proceedings | 2006
    Schlagwörter: Intelligent agents (Computer software)

    Enhanced Maritime Situation Awareness with Negotiator Agents

    Hemaissia, M. / El Fallah Seghrouchni, A. / Mattioli, J. | British Library Conference Proceedings | 2006
    Schlagwörter: Intelligent agents (Computer software)

    A Multi-agent UAV Swarm for Automatic Target Recognition

    Dasgupta, P. / O Hara, S. / Petrov, P. | British Library Conference Proceedings | 2006
    Schlagwörter: Intelligent agents (Computer software)

    Application of Action Selection, Information Gathering, and Information Evaluation Technologies to UAV Target Tracking

    Han, D. C. / Park, J. / Fullam, K. et al. | British Library Conference Proceedings | 2006
    Schlagwörter: Intelligent agents (Computer software)

    Agent-Based Parsimonious Decision Support Paradigm Employing Bayesian Belief Networks

    Louvieris, P. / Gregoriades, A. / Mashanovich, N. et al. | British Library Conference Proceedings | 2006
    Schlagwörter: Intelligent agents (Computer software)

    A Mobile Agent-Based Middleware for Opportunistic Resource Allocation and Communications

    Carvalho, M. / Pechoucek, M. / Suri, N. | British Library Conference Proceedings | 2006
    Schlagwörter: Intelligent agents (Computer software)

    Distributed Decision-Making and Control for Agile Military Radio Networks

    Wise, J. / Smith, G. / Salt, J. et al. | British Library Conference Proceedings | 2006
    Schlagwörter: Intelligent agents (Computer software)

    Autonomous Agents and Multi-agent Systems (AAMAS) for the Military - Issues and Challenges

    Beautement, P. / Allsopp, D. / Greaves, M. et al. | British Library Conference Proceedings | 2006
    Schlagwörter: Intelligent agents (Computer software)

    Armed Services: Challenges for Military Distributed Systems

    Allsopp, D. N. | British Library Conference Proceedings | 2006
    Schlagwörter: Intelligent agents (Computer software)

    Analysis and Run-Time Verification of Dynamic Security Policies

    Janicke, H. / Siewe, F. / Jones, K. et al. | British Library Conference Proceedings | 2006
    Schlagwörter: Intelligent agents (Computer software)

    Representing Dispositions and Emotions in Simulated Combat

    Van Dyke Parunak, H. / Bisson, R. / Brueckner, S. et al. | British Library Conference Proceedings | 2006
    Schlagwörter: Intelligent agents (Computer software)

Ergebnisse anzeigen
10 20

Suchergebnisse filtern