Отображение 2,381 - 2,390 результаты of 3,416 для поиска '"Software"', время запроса: 0.03сек. Отмена результатов
  1. 2381

    A concept analysis inspired greedy algorithm for test suite minimization. по Tallam, Sriraman

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

    A concept analysis inspired greedy algorithm for test suite minimization.
  2. 2382

    MonDe safe updating through monitored deployment of new component versions. по Cook, Jonathan

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

    MonDe safe updating through monitored deployment of new component versions.
  3. 2383

    Making distributed systems secure with program analysis and transformation. по Myers, Andrew

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

    Making distributed systems secure with program analysis and transformation.
  4. 2384

    Invariants and state in testing and formal methods. по Hamlet, Dick

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

    Invariants and state in testing and formal methods.
  5. 2385

    Symbolic path simulation in path-sensitive dataflow analysis. по Hampapuram, Hari

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

    Symbolic path simulation in path-sensitive dataflow analysis.
  6. 2386

    String analysis for x86 binaries. по Christodorescu, Mihai

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

    String analysis for x86 binaries.
  7. 2387

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

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

    Static control-flow analysis for reverse engineering of UML sequence diagrams.
  8. 2388

    An ontology-based knowledge base for the representation and reuse of software patterns. по Girardi, Rosario

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

    An ontology-based knowledge base for the representation and reuse of software patterns.
  9. 2389

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

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

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

    Linguistic continuity in software engineering. по Riehle, Richard

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

    Linguistic continuity in software engineering.

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