Synonyme wurden verwendet für: Softwaretechnik
Suche ohne Synonyme: title:"Softwaretechnik"

181–200 von 369 Ergebnissen
|

    Software product assurance at the Jet Propulsion Laboratory

    Fairley, R.E. / Bush, M. | Tema Archiv | 1990

    The Effects of an ARMOR-based SIFT environment on the performance and dependability of user applications

    Whisnant, K. / Iyer, R.K. / Kalbarczyk, Z.T. et al. | Tema Archiv | 2004

    Model checking large software specifications

    Chan, W. / Anderson, R.J. / Beame, P. et al. | Tema Archiv | 1997

    Detecting unsafe error recovery schedules

    Lutz, R.R. / Wong, J.S.K. | Tema Archiv | 1992

    A hierarchical knowledge based system for airplane classification

    Moldovan, D.I. / Wu, C.I. | Tema Archiv | 1988

    Clone detection in automotive model-based development

    Deissenboeck, F. / Hummel, B. / Jurgens, E. et al. | Tema Archiv | 2008

    The effect of program and model structure on MC/DC test adequacy coverage

    Rajan, A. / Whalen, M.W. / Heimdahl, M.P.E. | Tema Archiv | 2008

    AHAA-Agile, hybrid assessment method for automotive, safety critical SMEs

    McCaffery, F. / Pikkarainen, M. / Richardson, I. | Tema Archiv | 2008

    A language for advanced protocol analysis in automotive networks

    Reichert, T. / Klaus, E. / Schoch, W. et al. | Tema Archiv | 2008

    Entwurf hochzuverlässiger Software in der Praxis : Workshop, 29. November 1995, Daimler-Benz AG, Stuttgart

    Deutsche Gesellschaft für Luft- und Raumfahrt - Lilienthal-Oberth | TIBKAT | 1995

    Cadena: an integrated development, analysis, and verification environment for component-based systems

    Hatcliff, J. / Deng, Xinghua / Dwyer, M.B. et al. | Tema Archiv | 2003

    Estimating Manual Test Execution Effort and Capacity based on Execution Points

    Aranha, E. / Borba, P. | British Library Online Contents | 2009

    Multi-Formalism Modelling and Model Execution

    Hardebolle, C. / Boulanger, F. | British Library Online Contents | 2009

    Automatically Generated CASE Workbenches: A Preliminary Case Study

    Deufemia, V. / Gravino, C. / Risi, M. | British Library Online Contents | 2009

    Estimating Web Application Development Effort using COSMIC-FFP Method

    Di Martino, S. / Gravino, C. | British Library Online Contents | 2009

    AgentService: A Framework for Distributed Multi-Agent System Development

    Vecchiola, C. / Grosso, A. / Passadore, A. et al. | British Library Online Contents | 2009

    Supporting Project Management with Fine-Grained Artefact Management in ADAMS

    Fasano, F. / Oliveto, R. | British Library Online Contents | 2009