Mostra 41 - 50 risultati di 51 ricerca '"Language classifications."', tempo di risposta: 0,02s Raffina i risultati
  1. 41

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

    Articolo

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

    Deadlock detection in distribution object systems. di Kaveh, Nima

    Articolo

    Deadlock detection in distribution object systems.
  3. 43

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

    Articolo

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

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

    Articolo

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

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

    Articolo

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

    A structured TCP in standard ML. di Biagioni, Edoardo

    Articolo

    A structured TCP in standard ML.
  7. 47

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

    Articolo

    Objective viewpoint JDBC - Java database connectivity.
  8. 48

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

    Articolo

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

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

    Articolo

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

    Verifying aspect advice modularly. di Krishnamurthi, Shriram

    Articolo

    Verifying aspect advice modularly.

Strumenti per la ricerca: