-
41
A graph based architectural (Re)configuration language.
Argitaratua izan da Software engineering notes.Artikulua -
42
Deadlock detection in distribution object systems.
Argitaratua izan da Software engineering notes.Artikulua -
43
Using symbolic execution for verifying safety-critical systems.
Argitaratua izan da Software engineering notes.Artikulua -
44
A methodology for specifying and analyzing consistency of object-oriented behavioral models.
Argitaratua izan da Software engineering notes.Artikulua -
45
Combining UML and formal notations for modelling real-time systems.
Argitaratua izan da Software engineering notes.Artikulua -
46
-
47
Objective viewpoint JDBC - Java database connectivity.
Argitaratua izan da Crossroads :the ACM student magazine.Artikulua -
48
Classboxes an experiment in modeling compositional abstractions using explicit contexts.
Argitaratua izan da Software engineering notes.Artikulua -
49
SableSpMT a software framework for analysing speculative multithreading in Java.
Argitaratua izan da Software engineering notes.Artikulua -
50