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

1–20 von 808 Ergebnissen
|

    Developing IEC 61508 applications with model-based design

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

    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

    Neural Simplex Architecture

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

    New Challenges in Future Software Engineering

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

    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

    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

    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

    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

    Auto 2.0 - Mehr als nur Telefonieren beim Fahren

    Hess, Steffen / Breiner, Kai | Tema Archiv | 2012
    Schlagwörter: Software-Entwicklung

    Optimizing Resource Usage in Component-Based Real-Time Systems

    Fredriksson, J. / Sandstrom, K. / Akerholm, M. | British Library Conference Proceedings | 2005
    Schlagwörter: Software engineering , Component-based software engineering

    EJBMemProf - A Memory Profiling Framework for Enterprise JavaBeans

    Meyerhofer, M. / Volz, B. | British Library Conference Proceedings | 2005
    Schlagwörter: Software engineering , Component-based software engineering