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

51–100 von 181 Ergebnissen
|

    Integration of functional, cognitive and quality requirements. A railways case study

    Felici, M. / Sujan, M.A. / Wimmer, M. | Tema Archiv | 2000

    A business object-oriented environment for CCISs interoperability

    Maamar, Z. / Charpentier, R. | Tema Archiv | 2000

    Formal requirements analysis of an avionics control system

    Dutertre, B. / Stavridou, V. | Tema Archiv | 1997

    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

    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

    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

    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

    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

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

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

    Mars Polar Lander fault identification using model-based testing

    Blackburn, M. / Busser, R. / Nauman, A. et al. | Tema Archiv | 2002

    Investigating the readability of state-based formal requirements specification languages

    Zimmerman, M.K. / Lundqvist, K. / Leveson, N. | Tema Archiv | 2002

    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

    The use of JSD on the Spearfish system (heavyweight torpedo)

    Cameron, J.R. / Butcher, J.M. | Tema Archiv | 1988

    SACEM software validation

    Guiho, G. / Hennebert, C. | Tema Archiv | 1990

    End-to-end protection for a fail-safe FlexRay communication system

    Gstöttenbauer, Bernhard / Stöger, Georg / Kalhammer, Manfred et al. | Tema Archiv | 2008

    Software systems engineering with model-based design

    Davey, C. / Friedman, J. | Tema Archiv | 2007

    Improving Design of Ground Control Station for Unmanned Aerial Vehicle: Borrowing from Design Patterns

    Jovanovic, Mladan / Starcevic, Dusan / Jovanovic, Zoran | Tema Archiv | 2010

    Misra C++: 2008 and safely embedded software - A safety approach for C++

    Mottok, Jürgen / Schiller, Frank | Tema Archiv | 2008

    Simulative Bestimmung der CAN-Bus-Lastgrenzen

    Groll, Andre / Holle, Jan / Ruland, Christoph | Tema Archiv | 2008

    Offshoring and outsourcing to India

    Burger, W. | Tema Archiv | 2007