Synonyms were used for: Softwareentwicklung
Search without synonyms: keywords:("Softwareentwicklung")

21–30 of 76 hits
|

    Architecture Based Deployment of Large-Scale Component Based Systems: The Tool and Principles

    Lan, L. / Huang, G. / Ma, L. et al. | British Library Conference Proceedings | 2005
    Keywords: Software engineering , Component-based software engineering

    Optimizing Resource Usage in Component-Based Real-Time Systems

    Fredriksson, J. / Sandstrom, K. / Akerholm, M. | British Library Conference Proceedings | 2005
    Keywords: Software engineering , Component-based software engineering

    EJBMemProf - A Memory Profiling Framework for Enterprise JavaBeans

    Meyerhofer, M. / Volz, B. | British Library Conference Proceedings | 2005
    Keywords: Software engineering , Component-based software engineering

    Case Study: NASA Space Shuttle Flight Control Software

    Panel on Statistical Methods in Software Engineering | British Library Conference Proceedings | 1996
    Keywords: software engineering , statistical software engineering

    Verification of Solid State Interlocking Programs

    James, P. / Lawrence, A. / Moller, F. et al. | British Library Conference Proceedings | 2014
    Keywords: Software engineering

    Validation of Railway Interlocking Systems by Formal Verification, A Case Study

    Bonacchi, A. / Fantechi, A. / Bacherini, S. et al. | British Library Conference Proceedings | 2014
    Keywords: Software engineering

    Verification of Scheme Plans Using CSP||B

    James, P. / Moller, F. / Nguyen, H.N. et al. | British Library Conference Proceedings | 2014
    Keywords: Software engineering

    Formal Implementation of Data Validation for Railway Safety-Related Systems with OVADO

    Abo, R. / Voisin, L. | British Library Conference Proceedings | 2014
    Keywords: Software engineering

    Applied Bounded Model Checking for Interlocking System Designs

    Haxthausen, A.E. / Peleska, J. / Pinger, R. | British Library Conference Proceedings | 2014
    Keywords: Software engineering

    Twenty-Five Years of Formal Methods and Railways: What Next?

    Fantechi, A. | British Library Conference Proceedings | 2014
    Keywords: Software engineering