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

1–50 von 145 Ergebnissen
|

    Neue Softwaretechnologie für Kabelbaumentwicklung

    Elgert, Carsten | Tema Archiv | 2003

    New Challenges in Future Software Engineering

    Cheng, Jingde | Tema Archiv | 2014

    Modellierung variantenreicher Funktionsnetze im Automotive Software Engineering

    Mengi, Cem / Perez, Antonio Navarro / Fuß, Christian | Tema Archiv | 2009

    Integrating system and software engineering through modeling

    Mindock, J. / Watney, G. | Tema Archiv | 2008

    Integration of UML with Simulink into embedded software engineering

    Farkas, T. / Meiseki, E. / Neumann, C. et al. | Tema Archiv | 2009

    Software Technology Support Center

    Alder, R.S. | Tema Archiv | 1989

    Formal methods in software engineering

    Hird, G.R. | Tema Archiv | 1990

    What software engineering can learn from practitioners

    Volovik, D. / Mojdehbakhsh, R. / Tsai, W.T. | Tema Archiv | 1990

    Meta-Metrics for simulations in software engineering on the example of integral safety systems

    Bergers, Christian / Block, Delf / Honst, Christian et al. | Tema Archiv | 2012

    Applying software engineering principles in train control systems

    Zhang, L. / Katwijk, J. van / Brink, K. | Tema Archiv | 1994

    Software engineering tools for avionics embedded computer resources

    Harris, R.L. / Jackson, O. | Tema Archiv | 1990

    Applying linguistic engineering to spatial software engineering: the traceability problem

    Borillo, M. / Borillo, A. / Castell, N. et al. | Tema Archiv | 1992

    MUST - an integrated system of support tools for research flight software engineering

    Straeter, T.A. / Foudriat, E.C. / Will, R.W. | Tema Archiv | 1977

    Softwaretechnische Absicherung intelligenter Systeme im Fahrzeug

    Rumpe, B. / Berger, C. / Krahn, H. | Tema Archiv | 2006

    An Experience of Optimization Approach Application to Improve the Urban Passenger Transport Structure

    Krushel, Elena Georgievna / Stepanchenko, Ilya Victorovich / Panfilov, Alexander Eduardovich et al. | Tema Archiv | 2014

    Model checking large software specifications

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

    A language for advanced protocol analysis in automotive networks

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

    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

    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

    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

    Decision model for automotive intrusion detection systems

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

    Safety- and security-related features in AUTOSAR

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

    Generating MC/DC adequate test sequences through model checking

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

    Sicherheitskritische Echtzeitsysteme mit Java

    Walter, Andy | Tema Archiv | 2010

    Reusing single system requirements from application family requirements

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

    Increasing reliability and availability for automotive embedded devices by enhanced wiring diagnosis

    Förster, Ralf / Kempf, Annette / Niemetz, Michael et al. | Tema Archiv | 2010

    Virtualization technologies for cars solutions to increase safety and security of vehicular ECUs

    Pelzl, Jan / Wolf, Marko / Wollinger, Thomas | Tema Archiv | 2008

    Appropriate reactions in embedded systems

    Hermann, Dirk / Liebehenschel, Jens | Tema Archiv | 2008