Mostrar 13,261 - 13,270 resultats de 15,298 per cerca '"Engineer."', hora de la petició: 0.05sec Refinar resultats
  1. 13261

    Surfing the net for software engineering notes. per Doernhoefer, Mark

    Article

    Surfing the net for software engineering notes.
  2. 13262

    An empirical framework for comparing effectiveness of testing and property-based formal analysis. per Bradbury, Jeremy S.

    Article

    An empirical framework for comparing effectiveness of testing and property-based formal analysis.
  3. 13263

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

    Article

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

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

    Article

    Link-time static analysis for efficient separate compilation of object-oriented languages.
  5. 13265

    Low overhead program monitoring and profiling. per Kumar, Naveen

    Article

    Low overhead program monitoring and profiling.
  6. 13266

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

    Article

    A concept analysis inspired greedy algorithm for test suite minimization.
  7. 13267

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

    Article

    MonDe safe updating through monitored deployment of new component versions.
  8. 13268

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

    Article

    Making distributed systems secure with program analysis and transformation.
  9. 13269

    Invariants and state in testing and formal methods. per Hamlet, Dick

    Article

    Invariants and state in testing and formal methods.
  10. 13270

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

    Article

    Symbolic path simulation in path-sensitive dataflow analysis.

Eines de cerca: