Näytetään 9 401 - 9 410 yhteensä 11 408 tuloksesta haulle '"Modeling"', hakuaika: 0,04s Tarkenna hakua
  1. 9401

    The CORBA connector model. Tekijä Robert, Sylvain

    Artikkeli

    The CORBA connector model.
  2. 9402

    A middleware-independent model and language for component distribution. Tekijä Schmid, Hans Albrecht

    Artikkeli

    A middleware-independent model and language for component distribution.
  3. 9403

    Advances in model-based software testing (A-MOST). Tekijä Dalal, Siddhartha R.

    Artikkeli

    Advances in model-based software testing (A-MOST).
  4. 9404

    Scenarios and state machines: models, algorithms, and tools a summary of the 4th workshop. Tekijä Bontemps, Yves

    Artikkeli

    Scenarios and state machines: models, algorithms, and tools a summary of the 4th workshop.
  5. 9405

    Modeling biological systems a unified approach. Tekijä Darbari, Manuj

    Artikkeli

    Modeling biological systems a unified approach.
  6. 9406

    Automating comprehensive safety analysis of concurrent programs using verisoft and TXL. Tekijä Dingel, Juergen

    Artikkeli

    Automating comprehensive safety analysis of concurrent programs using verisoft and TXL.
  7. 9407

    Merging partial behavioural models. Tekijä Uchitel, Sebastian

    Artikkeli

    Merging partial behavioural models.
  8. 9408

    Reasoning about partial goal satisfaction for requirements and design engineering. Tekijä Letier, Emmanuel

    Artikkeli

    Reasoning about partial goal satisfaction for requirements and design engineering.
  9. 9409

    Explaining abstract counterexamples. Tekijä Chaki, Sagar

    Artikkeli

    Explaining abstract counterexamples.
  10. 9410

    Empirical evaluation of defect projection models for widely-deployed production software systems. Tekijä Luo Li, Paul

    Artikkeli

    Empirical evaluation of defect projection models for widely-deployed production software systems.

Työkalut: