Showing 341 - 350 results of 579 for search '"Tool."', query time: 0.02s Refine Results
  1. 341

    Behavioral contracts and behavioral subtyping. by Findler, Robert Bruce

    Article

    Behavioral contracts and behavioral subtyping.
  2. 342

    Analysis of the constraint solver in UNA based test data generation. by Edvardsson, Jon

    Article

    Analysis of the constraint solver in UNA based test data generation.
  3. 343

    Coverage criteria for GUI testing. by Memon, Atif M.

    Article

    Coverage criteria for GUI testing.
  4. 344

    Component revision identification based on IDL by Brada, Přemysl

    Article

    Component revision identification based on IDL
  5. 345

    Modelling and managing software federations. by Estublier, J.

    Article

    Modelling and managing software federations.
  6. 346

    STG a tool for generating symbolic test programs and oracles from operational specifications. by Clarke, Duncan

    Article

    STG a tool for generating symbolic test programs and oracles from operational specifications.
  7. 347

    York programming software components. by Sreedhar, Vugranam C.

    Article

    York programming software components.
  8. 348

    Desktop videoconferencing performance based on an ATM metropolitan area network. by Tobiet, H.

    Article

    Desktop videoconferencing performance based on an ATM metropolitan area network.
  9. 349

    SMAQ a measurement-based tool for traffic modeling and queuing analysis. I. Design methodologies and software architecture. by Li, San-Qi

    Article

    SMAQ a measurement-based tool for traffic modeling and queuing analysis. I. Design methodologies and software architecture.
  10. 350

    SMAQ a measurement-based tool for traffic modeling and queuing analysis. II. Network applications. by Li, San-Qi

    Article

    SMAQ a measurement-based tool for traffic modeling and queuing analysis. II. Network applications.

Search Tools: