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

13 years 11 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

13 years 11 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

13 years 11 months ago

Download disi.unitn.it

Claudio Passerone, Roberto Passerone, Claudio Sans...

claim paper

Read More »

Voted

VRML
1998
ACM

102views Internet Technology» more VRML 1998»

Efficient Dynamics Modeling for VRML and Java

13 years 11 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

13 years 11 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers