Search Sciweavers | Sciweavers

1027 search results - page 32 / 206

» A Model for Java with Wildcards

click to vote

CAV
1999
Springer

85views Hardware» more CAV 1999»

Java Bytecode Verification by Model Checking

15 years 3 months ago

Download www.vs.inf.ethz.ch

David A. Basin, Stefan Friedrich, Joachim Posegga,...

claim paper

Read More »

click to vote

WCRE
1999
IEEE

105views Software Engineering» more WCRE 1999»

On the Relationships between Static and Dynamic Models in Reverse Engineering Java Software

15 years 3 months ago

Download www.cs.tut.fi

Tarja Systä

claim paper

Read More »

click to vote

CODES
1998
IEEE

103views Software Engineering» more CODES 1998»

Modeling reactive systems in Java

15 years 3 months ago

Download disi.unitn.it

Claudio Passerone, Roberto Passerone, Claudio Sans...

claim paper

Read More »

click to vote

VRML
1998
ACM

102views Internet Technology» more VRML 1998»

Efficient Dynamics Modeling for VRML and Java

15 years 3 months ago

Download pages.cs.wisc.edu

Stephen Chenney, Jeffrey Ichnowski, David A. Forsy...

claim paper

Read More »

click to vote

ICSE
2000
IEEE-ACM

120views Software Engineering» more ICSE 2000»

Bandera: extracting finite-state models from Java source code

15 years 2 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers