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

1–20 von 685 Ergebnissen
|

    Developing IEC 61508 applications with model-based design

    Conrad, Mirko / Sandmann, Guido | Tema Archiv | 2009
    Schlagwörter: Programmentwurf

    Streamlining GNC Architecture Development and FSW Integration forthe Mars Ascent Vehicle

    Dorek A Biglari / Jason M Everett / Mike A Fritzinger et al. | NTRS
    Schlagwörter: Software Development

    Per-Location Simulation

    Li, Liyi / Gunter, Elsa L. | TIBKAT | 2020
    Schlagwörter: Softwareentwicklung

    On the Usefulness of Clause Strengthening in Parallel SAT Solving

    Vallade, Vincent / Frioux, Ludovic Le / Baarir, Souheib et al. | TIBKAT | 2020
    Schlagwörter: Softwareentwicklung

    Strengthening Deterministic Policies for POMDPs

    Winterer, Leonore / Wimmer, Ralf / Jansen, Nils et al. | TIBKAT | 2020
    Schlagwörter: Softwareentwicklung

    A Validation Methodology for OCaml-to-PVS Translation

    An, Xiaoxin / Tahat, Amer / Ravindran, Binoy | TIBKAT | 2020
    Schlagwörter: Softwareentwicklung

    New Challenges in Future Software Engineering

    Cheng, Jingde | Tema Archiv | 2014
    Schlagwörter: Software-Engineering

    Neural Simplex Architecture

    Phan, Dung T. / Grosu, Radu / Jansen, Nils et al. | TIBKAT | 2020
    Schlagwörter: Softwareentwicklung

    Reusable Dialog Component Framework for Rapid Voice Application Development

    Akolkar, R. P. / Faruquie, T. / Huerta, J. et al. | British Library Conference Proceedings | 2005
    Schlagwörter: Software engineering , Component-based software engineering

    A CCA-compliant Nuclear Power Plant Simulator Kernel

    Diaz, M. / Garrido, D. / Romero, S. et al. | British Library Conference Proceedings | 2005
    Schlagwörter: Software engineering , Component-based software engineering

    An Empirical Study on the Specification and Selection of Components Using Fuzzy Logic

    Cooper, K. / Cangussu, J. W. / Lin, R. et al. | British Library Conference Proceedings | 2005
    Schlagwörter: Software engineering , Component-based software engineering

    Model-Driven Safety Evaluation with State-Event-Based Component Failure Annotations

    Grunske, L. / Kaiser, B. / Papadopoulos, Y. | British Library Conference Proceedings | 2005
    Schlagwörter: Software engineering , Component-based software engineering

    Development and adaptation of a traction inverter control software to operate with minimum number of sensors

    Purcarea, C. / Comnac, V. / Cernat, M. et al. | Tema Archiv | 2006
    Schlagwörter: Programmentwicklung

    TeStor: Deriving Test Sequences from Model-Based Specifications

    Pelliccione, P. / Muccini, H. / Bucchiarone, A. et al. | British Library Conference Proceedings | 2005
    Schlagwörter: Software engineering , Component-based software engineering

    Efficient Upgrading in a Purely Functional Component Deployment Model

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

    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

    Experience Report: Design and Implementation of a Component-Based Protection Architecture for ASP.NET Web Services

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

    Finding a Needle in the Haystack: A Technique for Ranking Matches Between Components

    Tansalarak, N. / Claypool, K. | British Library Conference Proceedings | 2005
    Schlagwörter: Software engineering , Component-based software engineering

    Unlocking the Grid

    Mattmann, C. A. / Medvidovic, N. / Ramirez, P. M. et al. | British Library Conference Proceedings | 2005
    Schlagwörter: Software engineering , Component-based software engineering