Showing 41 - 50 results of 51 for search '"Language Classifications."', tempo de consulta: 0.02s Limitar resultados
  1. 41

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

    Artigo

    A graph based architectural (Re)configuration language.
  2. 42

    Deadlock detection in distribution object systems. por Kaveh, Nima

    Artigo

    Deadlock detection in distribution object systems.
  3. 43

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

    Artigo

    Using symbolic execution for verifying safety-critical systems.
  4. 44

    A methodology for specifying and analyzing consistency of object-oriented behavioral models. por Engels, Gregor

    Artigo

    A methodology for specifying and analyzing consistency of object-oriented behavioral models.
  5. 45

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

    Artigo

    Combining UML and formal notations for modelling real-time systems.
  6. 46

    A structured TCP in standard ML. por Biagioni, Edoardo

    Artigo

    A structured TCP in standard ML.
  7. 47

    Objective viewpoint JDBC - Java database connectivity. por Henry, Kevin

    Artigo

    Objective viewpoint JDBC - Java database connectivity.
  8. 48

    Classboxes an experiment in modeling compositional abstractions using explicit contexts. por Lumpe, Markus

    Artigo

    Classboxes an experiment in modeling compositional abstractions using explicit contexts.
  9. 49

    SableSpMT a software framework for analysing speculative multithreading in Java. por Pickett, Christopher J. F.

    Artigo

    SableSpMT a software framework for analysing speculative multithreading in Java.
  10. 50

    Verifying aspect advice modularly. por Krishnamurthi, Shriram

    Artigo

    Verifying aspect advice modularly.

Ferramentas de procura: