Showing 271 - 280 results of 433 for search '"Specifications."', query time: 0.02s Refine Results
  1. 271

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

    Article

    Modeling requirements for combinatorial software testing.
  2. 272

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

    Article

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

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

    Article

    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. by Lakey, Peter B.

    Article

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

    Generating connectors for heterogeneous deployment. by Galik, Ondrej

    Article

    Generating connectors for heterogeneous deployment.
  6. 276

    Trustworthy software systems. by Bernstein, Larry

    Article

    Trustworthy software systems.
  7. 277

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

    Article

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

    Merging partial behavioural models. by Uchitel, Sebastian

    Article

    Merging partial behavioural models.
  9. 279

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

    Article

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

    Software performance modelling using PEPA nets. by Gilmore, Stephen

    Article

    Software performance modelling using PEPA nets.

Search Tools: