A mostrar 34,431 - 34,440 resultados de 35,968 para a pesquisa '"Language"', tempo de pesquisa: 0.09seg Refinar resultados
  1. 34431

    Using an SQL coverage measurement for testing database applications. Por Suárez-Cabal, María José

    Artigo

    Using an SQL coverage measurement for testing database applications.
  2. 34432

    Software performance modelling using PEPA nets. Por Gilmore, Stephen

    Artigo

    Software performance modelling using PEPA nets.
  3. 34433

    Topology based automation of distributed applications management. Por Bellur, Umesh

    Artigo

    Topology based automation of distributed applications management.
  4. 34434

    A graph based architectural (Re)configuration language. Por Wermelinger, Michel

    Artigo

    A graph based architectural (Re)configuration language.
  5. 34435

    An architecture for flexible, evolvable process-driven user-guidance environments. Por Sliski, Timothy J.

    Artigo

    An architecture for flexible, evolvable process-driven user-guidance environments.
  6. 34436

    Deadlock detection in distribution object systems. Por Kaveh, Nima

    Artigo

    Deadlock detection in distribution object systems.
  7. 34437

    A micromodularity mechanism. Por Jackson, Daniel

    Artigo

    A micromodularity mechanism.
  8. 34438

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

    Artigo

    Detecting implied scenarios in message sequence chart specifications.
  9. 34439

    Interface automata. Por De Alfaro, Luca

    Artigo

    Interface automata.
  10. 34440

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

    Artigo

    Using symbolic execution for verifying safety-critical systems.

Ferramentas de pesquisa: