Mostrando 271 - 280 resultados de 433 para a busca '"Specification."', tempo de busca: 0.02s Refinar Resultados
  1. 271

    Modeling requirements for combinatorial software testing. por Lott, C.

    Artigo

    Modeling requirements for combinatorial software testing.
  2. 272

    Requirements traceability in automated test generation application to smart card software validation. por Bouquet, F.

    Artigo

    Requirements traceability in automated test generation application to smart card software validation.
  3. 273

    Modeling for image processing system validation, verification and testing. por Li, Xing

    Artigo

    Modeling for image processing system validation, verification and testing.
  4. 274

    Model-based specification and testing applied to the Ground-Based Midcourse Defense (GMD) system an industry report. por Lakey, Peter B.

    Artigo

    Model-based specification and testing applied to the Ground-Based Midcourse Defense (GMD) system an industry report.
  5. 275

    Generating connectors for heterogeneous deployment. por Galik, Ondrej

    Artigo

    Generating connectors for heterogeneous deployment.
  6. 276

    Trustworthy software systems. por Bernstein, Larry

    Artigo

    Trustworthy software systems.
  7. 277

    System architecture the context for scenario-based model synthesis. por Uchitel, Sebastian

    Artigo

    System architecture the context for scenario-based model synthesis.
  8. 278

    Merging partial behavioural models. por Uchitel, Sebastian

    Artigo

    Merging partial behavioural models.
  9. 279

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

    Artigo

    Reasoning about partial goal satisfaction for requirements and design engineering.
  10. 280

    Software performance modelling using PEPA nets. por Gilmore, Stephen

    Artigo

    Software performance modelling using PEPA nets.

Ferramentas de busca: