-
1801
-
1802Έκδοση 2007Πίνακας περιεχομένων: “… and Tool Support -- Preliminary Design of BML: A Behavioral Interface Specification Language for Java…”
Full Text via HEAL-Link
Ηλεκτρονική πηγή Ηλ. βιβλίο -
1803
-
1804
-
1805
-
1806
-
1807Έκδοση 2008Πίνακας περιεχομένων: “… Instrumentation -- Multithreading Strategies for Replicated Objects -- A Component Framework for Java-Based Real…”
Full Text via HEAL-Link
Ηλεκτρονική πηγή Ηλ. βιβλίο -
1808Έκδοση 2010Πίνακας περιεχομένων: “… -- Experiences with PDG-Based IFC -- Idea: Java vs. PHP: Security Implications of Language Choice for Web…”
Full Text via HEAL-Link
Ηλεκτρονική πηγή Ηλ. βιβλίο -
1809
-
1810
-
1811
-
1812
-
1813
-
1814Έκδοση 2008Πίνακας περιεχομένων: “… -- Contextual Integration Testing of Classes -- An Automatic Verifier for Java-Like Programs Based on Dynamic…”
Full Text via HEAL-Link
Ηλεκτρονική πηγή Ηλ. βιβλίο -
1815
-
1816
-
1817
-
1818
-
1819
-
1820