Search Sciweavers | Sciweavers

769 search results - page 50 / 154

» The Real-Time Specification for Java

click to vote

NADA
1998
Springer

136views Hardware» more NADA 1998»

Towards an Algebraic Specification of the Java Virtual Machine

14 years 1 months ago

Download www.cs.swan.ac.uk

abstractions to focus on principle issues and impose structure - Model behaviour - Determine correctness - Recursive equational axiomatisations with precise semantics yet algorithm...

K. Stephenson

claim paper

Read More »

click to vote

SERP
2007

82views Software Engineering» more SERP 2007»

Random Test Data Generation for Java Classes Annotated with JML Specifications

13 years 11 months ago

Download www.cs.utep.edu

Yoonsik Cheon, Carlos E. Rubio-Medrano

claim paper

Read More »

click to vote

ENTCS
2007

89views more ENTCS 2007»

Measuring a Java Test Suite Coverage Using JML Specifications

13 years 9 months ago

Download react.cs.uni-sb.de

Frédéric Dadeau, Yves Ledru, Lydie d...

claim paper

Read More »

click to vote

JTRES
2010
ACM

158views Embedded Systems» more JTRES 2010»

A locality model for the real-time specification for Java

13 years 7 months ago

Download d3s.mff.cuni.cz

Abdul Haseeb Malik, Andy J. Wellings, Yang Chang

claim paper

Read More »

click to vote

ICISS
2009
Springer

133views Information Technology» more ICISS 2009»

Method-Specific Java Access Control via RMI Proxy Objects Using Annotations

13 years 7 months ago

Download patricklam.ca

We propose a novel approach for granting partial access on arbitrary objects at the granularity of methods to remote clients. The applications that we target use Remote Method Invo...

Jeff Zarnett, Patrick Lam, Mahesh V. Tripunitara

claim paper

Read More »

« Prev « First page 50 / 154 Last » Next »

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers