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

61–80 von 180 Ergebnissen
|

    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

    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

    Clone detection in automotive model-based development

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

    A language for advanced protocol analysis in automotive networks

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

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

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

    A Guidance Framework for the Generation of Implementation Models in the Automotive Domain

    Wozniak, E. / Mraidha, C. / Gerard, S. et al. | Tema Archiv | 2011

    The software development system

    Davis, C.G. / Vick, C.R. | Tema Archiv | 1977

    Generating MC/DC adequate test sequences through model checking

    Rayadurgam, S. / Heimdahl, M.P.E. | Tema Archiv | 2004

    Efficient scheduling of reliable automotive multi-core systems with PD2 by weakening ERfair task system requirements

    Deubzer, Michael / Margull, Ulrich / Mottok, Jürgen et al. | Tema Archiv | 2010

    Safety- and security-related features in AUTOSAR

    Bunzel, Stefan / Fürst, Simon / Stappert, Friedhelm et al. | Tema Archiv | 2010

    Decision model for automotive intrusion detection systems

    Müter, Michael / Hoppe, Tobias / Dittmann, Jana | Tema Archiv | 2010

    Reusing single system requirements from application family requirements

    Mannion, M. / Keepence, B. / Kaindl, H. et al. | Tema Archiv | 1999

    Sicherheitskritische Echtzeitsysteme mit Java

    Walter, Andy | Tema Archiv | 2010