Synonyme wurden verwendet für: Softwareentwicklung
Suche ohne Synonyme: keywords:("Softwareentwicklung")

21–40 von 76 Ergebnissen
|

    A Component-Oriented Model for the Design of Safe Multi-threaded Applications

    Behrends, R. / Stirewalt, R. E. K. / Dillon, L. K. | British Library Conference Proceedings | 2005
    Schlagwörter: Software engineering , Component-based software engineering

    Component-Level Dataflow Analysis

    Rountev, A. | British Library Conference Proceedings | 2005
    Schlagwörter: Software engineering , Component-based software engineering

    Component-Based Open Middleware Supporting Aspect-Oriented Software Composition

    Lagaisse, B. / Joosen, W. | 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

    Verification of Solid State Interlocking Programs

    James, P. / Lawrence, A. / Moller, F. 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

    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 Scheme Plans Using CSP||B

    James, P. / Moller, F. / Nguyen, H.N. 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

    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

    The Discipline of Defining the Software Product

    Bergey, J. K. / 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

    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