Visas 41 - 50 av 51 resultat för sökning '"Language classifications."', Sökningstid: 0,02s Förfina resultatet
  1. 41

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

    I publikationen Software engineering notes.
    Artikel

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

    Deadlock detection in distribution object systems. av Kaveh, Nima

    I publikationen Software engineering notes.
    Artikel

    Deadlock detection in distribution object systems.
  3. 43

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

    I publikationen Software engineering notes.
    Artikel

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

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

    I publikationen Software engineering notes.
    Artikel

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

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

    I publikationen Software engineering notes.
    Artikel

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

    A structured TCP in standard ML. av Biagioni, Edoardo

    Artikel

    A structured TCP in standard ML.
  7. 47

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

    Artikel

    Objective viewpoint JDBC - Java database connectivity.
  8. 48

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

    I publikationen Software engineering notes.
    Artikel

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

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

    I publikationen Software engineering notes.
    Artikel

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

    Verifying aspect advice modularly. av Krishnamurthi, Shriram

    I publikationen Software engineering notes.
    Artikel

    Verifying aspect advice modularly.

Sökverktyg: