Search Sciweavers | Sciweavers

31387 search results - page 239 / 6278

» Abstracts

144

click to vote

ACSD
2001
IEEE

103views Hardware» more ACSD 2001»

Abstracting from Failure Probabilities

15 years 10 months ago

Download wwwbroy.informatik.tu-muenchen.de

Jan Jürjens

claim paper

Read More »

172

click to vote

APAQS
2001
IEEE

255views Software Engineering» more APAQS 2001»

Testable Use Cases in the Abstract State Machine Language

15 years 10 months ago

Download research.microsoft.com

Wolfgang Grieskamp, Markus Lepper, Wolfram Schulte...

claim paper

Read More »

164

click to vote

APAQS
2001
IEEE

226views Software Engineering» more APAQS 2001»

Combining the Animation and Testing of Abstract Data Types

15 years 10 months ago

Download espace.library.uq.edu.au

Data Types Tim Miller Paul Strooper May 2001 Phone: +61 7 3365 1003 Fax: +61 7 3365 1533 http://svrc.it.uq.edu.au

Tim Miller, Paul A. Strooper

claim paper

Read More »

137

click to vote

BIRTHDAY
2003
Springer

114views Applied Computing» more BIRTHDAY 2003»

Verification by Abstract Interpretation

15 years 10 months ago

Download www.di.ens.fr

Patrick Cousot

claim paper

Read More »

138

click to vote

GIS
1998
ACM

104views Automated Reasoning» more GIS 1998»

Abstract and Discrete Modeling of Spatio-Temporal Data Types

15 years 10 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers