Отображение 34,401 - 34,410 результаты of 35,968 для поиска '"Language."', время запроса: 0.09сек. Отмена результатов
  1. 34401

    A pumping condition for regular sets. по Varricchio, Stefano

    Опубликовано в: SIAM journal on computing.
    Статья

    A pumping condition for regular sets.
  2. 34402

    Dream types a domain specific type system for component-based message-oriented middleware. по Bidinger, Philippe

    Опубликовано в: Software engineering notes.
    Статья

    Dream types a domain specific type system for component-based message-oriented middleware.
  3. 34403

    A specification language for coordinated objects. по Ciobanu, Gabriel

    Опубликовано в: Software engineering notes.
    Статья

    A specification language for coordinated objects.
  4. 34404

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

    Опубликовано в: Software engineering notes.
    Статья

    Component-interaction automata as a verification-oriented component-based system specification.
  5. 34405

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

    Опубликовано в: Software engineering notes.
    Статья

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

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

    Опубликовано в: Software engineering notes.
    Статья

    Perceptions of extreme programming an exploratory study.
  7. 34407

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

    Опубликовано в: Software engineering notes.
    Статья

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

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

    Опубликовано в: Software engineering notes.
    Статья

    Evaluating and tuning a static analysis to find null pointer bugs.
  9. 34409

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

    Опубликовано в: Software engineering notes.
    Статья

    Link-time static analysis for efficient separate compilation of object-oriented languages.
  10. 34410

    Low overhead program monitoring and profiling. по Kumar, Naveen

    Опубликовано в: Software engineering notes.
    Статья

    Low overhead program monitoring and profiling.

Инструменты поиска: