21–40 von 76 Ergebnissen
|

    Qinna, a Component-Based QoS Architecture

    Tournier, J.-C. / Babau, J.-P. / Olive, V. | British Library Conference Proceedings | 2005
    Schlagwörter: Software engineering , Component-based software engineering

    A Contracting System for Hierarchical Components

    Collet, P. / Rousseau, R. / Coupaye, T. et al. | British Library Conference Proceedings | 2005
    Schlagwörter: Software engineering , Component-based software engineering

    Architecture Based Deployment of Large-Scale Component Based Systems: The Tool and Principles

    Lan, L. / Huang, G. / Ma, L. et al. | British Library Conference Proceedings | 2005
    Schlagwörter: Software engineering , Component-based software engineering

    Case Study: NASA Space Shuttle Flight Control Software

    Panel on Statistical Methods in Software Engineering | British Library Conference Proceedings | 1996
    Schlagwörter: software engineering , statistical software engineering

    Validation of Railway Interlocking Systems by Formal Verification, A Case Study

    Bonacchi, A. / Fantechi, A. / Bacherini, S. et al. | British Library Conference Proceedings | 2014
    Schlagwörter: Software engineering

    Verification of Solid State Interlocking Programs

    James, P. / Lawrence, A. / Moller, F. et al. | British Library Conference Proceedings | 2014
    Schlagwörter: Software engineering

    Applied Bounded Model Checking for Interlocking System Designs

    Haxthausen, A.E. / Peleska, J. / Pinger, R. | British Library Conference Proceedings | 2014
    Schlagwörter: Software engineering

    Twenty-Five Years of Formal Methods and Railways: What Next?

    Fantechi, A. | British Library Conference Proceedings | 2014
    Schlagwörter: Software engineering

    Verification of Scheme Plans Using CSP||B

    James, P. / Moller, F. / Nguyen, H.N. et al. | British Library Conference Proceedings | 2014
    Schlagwörter: Software engineering

    Formal Implementation of Data Validation for Railway Safety-Related Systems with OVADO

    Abo, R. / Voisin, L. | British Library Conference Proceedings | 2014
    Schlagwörter: 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

    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

    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

    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