Analysis of epic resources in Angels in America, by Tony Kushner (Part I, Millennium...

Partial generation of Java code from Z formal specifications

Simulating partnerships among agents: an extension of the PART-NET system

Generation of Java program properties from test purposes

Performance evaluation of Clojure transactional memory system as a synchronization...

Toward harnessing a Java high-level language virtual machine for supporting software...

Reconstruction three-dimensional of obstetritics images of ultrasound using computational...

A Java EE authorization service based on X.509 attribute certificates

Testing and formal verification of the exceptional behavior of Java programs

JAVA system for mammographic CADx managing