Showing 8,681 - 8,690 results of 9,877 for search '"Theory"', query time: 0.05s Refine Results
  1. 8681

    Towards a unified formal model for supporting mechanisms of dynamic component update Full text PdfPdf (268 KB). by Shen, Junrong

    Article

    Towards a unified formal model for supporting mechanisms of dynamic component update Full text PdfPdf (268 KB).
  2. 8682

    Arithmetic program paths. by Renieris, Manos

    Article

    Arithmetic program paths.
  3. 8683

    Relational analysis of algebraic datatypes. by Kuncak, Viktor

    Article

    Relational analysis of algebraic datatypes.
  4. 8684

    Lightweight object specification with typestates. by Bierhoff, Kevin

    Article

    Lightweight object specification with typestates.
  5. 8685

    Joining dataflow with predicates. by Fischer, Jeffrey

    Article

    Joining dataflow with predicates.
  6. 8686

    Reengineering towards components using "Reconn-exion". by Le Gear, Andrew

    Article

    Reengineering towards components using "Reconn-exion".
  7. 8687

    A refinement calculus for software components and architectures. by Barbosa, Marco Antonio

    Article

    A refinement calculus for software components and architectures.
  8. 8688

    Model-based testing for applications derived from software product lines. by Olimpiew, Erika Mir

    Article

    Model-based testing for applications derived from software product lines.
  9. 8689

    Generating optimal distinguishing sequences with a model checker. by Robinson-Mallett, Christopher

    Article

    Generating optimal distinguishing sequences with a model checker.
  10. 8690

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

    Article

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

Search Tools: