Отображение 34,431 - 34,440 результаты of 35,968 для поиска '"Language."', время запроса: 0.07сек. Отмена результатов
  1. 34431

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

    Опубликовано в: Software engineering notes.
    Статья

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

    Software performance modelling using PEPA nets. по Gilmore, Stephen

    Опубликовано в: Software engineering notes.
    Статья

    Software performance modelling using PEPA nets.
  3. 34433

    Topology based automation of distributed applications management. по Bellur, Umesh

    Опубликовано в: Software engineering notes.
    Статья

    Topology based automation of distributed applications management.
  4. 34434

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

    Опубликовано в: Software engineering notes.
    Статья

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

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

    Опубликовано в: Software engineering notes.
    Статья

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

    Deadlock detection in distribution object systems. по Kaveh, Nima

    Опубликовано в: Software engineering notes.
    Статья

    Deadlock detection in distribution object systems.
  7. 34437

    A micromodularity mechanism. по Jackson, Daniel

    Опубликовано в: Software engineering notes.
    Статья

    A micromodularity mechanism.
  8. 34438

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

    Опубликовано в: Software engineering notes.
    Статья

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

    Interface automata. по De Alfaro, Luca

    Опубликовано в: Software engineering notes.
    Статья

    Interface automata.
  10. 34440

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

    Опубликовано в: Software engineering notes.
    Статья

    Using symbolic execution for verifying safety-critical systems.

Инструменты поиска: