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

41–60 von 181 Ergebnissen
|

    Formal analysis of a space-craft controller using SPIN

    Havelund, K. / Lowry, m. / Penix, J. | Tema Archiv | 2001

    Requirements specification for process-control systems

    Leveson, N.G. / Heimdahl, M.P.E. / Hildreth, H. et al. | Tema Archiv | 1994

    Fault injection for dependability validation: a methodology and some applications

    Arlat, J. / Aguera, M. / Amat, L. et al. | Tema Archiv | 1990

    Experiences using lightweight formal methods for requirements modeling

    Easterbrook, S. / Lutz, R. / Covington, R. et al. | Tema Archiv | 1998

    A framework for evaluating the effectiveness of real-time object-oriented models

    Kumarakulasingam, P. / Saiedian, H. | Tema Archiv | 2002

    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

    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

    Model checking large software specifications

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