Showing 19,431 - 19,440 results of 22,919 for search '"System."', query time: 0.05s Refine Results
  1. 19431

    Detecting implied scenarios in message sequence chart specifications. by Uchitel, Sebastian

    Article

    Detecting implied scenarios in message sequence chart specifications.
  2. 19432

    A formal approach to the assessment and improvement of terminological models used in information systems engineering. by Wendorff, Peter

    Article

    A formal approach to the assessment and improvement of terminological models used in information systems engineering.
  3. 19433

    Using aspectC to improve the modularity of path-specific customization in operating system code. by Coady, Yvonne

    Article

    Using aspectC to improve the modularity of path-specific customization in operating system code.
  4. 19434

    Using symbolic execution for verifying safety-critical systems. by Coen-Porisini, Alberto

    Article

    Using symbolic execution for verifying safety-critical systems.
  5. 19435

    Automatic abstraction for model checking software systems with interrelated numeric constraints. by Choi, Yunja

    Article

    Automatic abstraction for model checking software systems with interrelated numeric constraints.
  6. 19436

    An algebraic approach to file synchronization. by Ramsey, Norman

    Article

    An algebraic approach to file synchronization.
  7. 19437

    Combining UML and formal notations for modelling real-time systems. by Lavazza, Luigi

    Article

    Combining UML and formal notations for modelling real-time systems.
  8. 19438

    Engineering component-based net-centric systems for embedded applications. by Jahnke, Jens H.

    Article

    Engineering component-based net-centric systems for embedded applications.
  9. 19439

    Behavioral contracts and behavioral subtyping. by Findler, Robert Bruce

    Article

    Behavioral contracts and behavioral subtyping.
  10. 19440

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

    Article

    Coverage criteria for GUI testing.

Search Tools: