Prikaz rezultata 34.411 – 34.420 od 35.974 za pretragu '"Languages."', vrijeme upita: 0,08s Detaljiziraj rezultate
  1. 34411

    Component-interaction automata as a verification-oriented component-based system specification. od Brim, Lubo?

    Članak

    Component-interaction automata as a verification-oriented component-based system specification.
  2. 34412

    π-AAL an architecture analysis language for formally specifying and verifying structural and behavioural properties of software architectures. od Mateescu, Radu

    Članak

    π-AAL an architecture analysis language for formally specifying and verifying structural and behavioural properties of software architectures.
  3. 34413

    Perceptions of extreme programming an exploratory study. od Mi?ić, Vojislav B.

    Članak

    Perceptions of extreme programming an exploratory study.
  4. 34414

    Evaluating the impact of context-sensitivity on Andersen's algorithm for Java programs. od Liang, Donglin

    Članak

    Evaluating the impact of context-sensitivity on Andersen's algorithm for Java programs.
  5. 34415

    Evaluating and tuning a static analysis to find null pointer bugs. od Hovemeyer, David

    Članak

    Evaluating and tuning a static analysis to find null pointer bugs.
  6. 34416

    Link-time static analysis for efficient separate compilation of object-oriented languages. od Privat, Jean

    Članak

    Link-time static analysis for efficient separate compilation of object-oriented languages.
  7. 34417

    Low overhead program monitoring and profiling. od Kumar, Naveen

    Članak

    Low overhead program monitoring and profiling.
  8. 34418

    Static control-flow analysis for reverse engineering of UML sequence diagrams. od Rountev, Atanas

    Članak

    Static control-flow analysis for reverse engineering of UML sequence diagrams.
  9. 34419

    Formally modelling software architectures with the UML 2.0 profile for π-ADL. od Oquendo, Flavio

    Članak

    Formally modelling software architectures with the UML 2.0 profile for π-ADL.
  10. 34420

    Robustness analysis of cognitive information complexity measure using Weyuker properties. od Kushwaha, Dharmender Singh

    Članak

    Robustness analysis of cognitive information complexity measure using Weyuker properties.

Alati za pretragu: