Search Sciweavers | Sciweavers

3688 search results - page 76 / 738

» Static analysis of aspects

click to vote

SOFTWARE
2002

108views Applied Computing» more SOFTWARE 2002»

Improving Security Using Extensible Lightweight Static Analysis

14 years 11 months ago

Download www.cs.purdue.edu

David Evans, David Larochelle

claim paper

Read More »

click to vote

TMI
2002

78views more TMI 2002»

A Quasi-Static Analysis for a Class of Induced-Current EIT Systems using Discrete Coils

14 years 11 months ago

Download www.eee.metu.edu.tr

A discrete coil EIT system is investigated for the general case of an eccentric circular inhomogeneity. The solution methodology of the forward problem of this system is explained....

Adnan Koksal, B. Murat Eyuboglu, Mehmet Demirbilek

claim paper

Read More »

click to vote

FOSSACS
2010
Springer

115views Software Engineering» more FOSSACS 2010»

Model Checking Is Static Analysis of Modal Logic

14 years 10 months ago

Download wiki.ercim.eu

Flemming Nielson, Hanne Riis Nielson

claim paper

Read More »

click to vote

ICFEM
2010
Springer

161views Software Engineering» more ICFEM 2010»

Software Metrics in Static Program Analysis

14 years 10 months ago

Download www4.in.tum.de

Andreas Vogelsang, Ansgar Fehnker, Ralf Huuck, Wol...

claim paper

Read More »

101

click to vote

JOT
2008

120views more JOT 2008»

Converting Specifications in a Subset of Object-Z to Skeletal Spec# Code for both Static and Dynamic Analysis

14 years 10 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers