Search Sciweavers | Sciweavers

31387 search results - page 211 / 6278

» Abstracts

113

click to vote

SIGADA
1998
Springer

75views Programming Languages» more SIGADA 1998»

Visual Support for Incremental Abstraction and Refinement in Ada 95

15 years 10 months ago

Download www.sigada.org

T. Dean Hendrix, James H. Cross II, Larry A. Barow...

claim paper

Read More »

134

click to vote

TABLEAUX
1998
Springer

81views Artificial Intelligence» more TABLEAUX 1998»

A Science of Reasoning (Extended Abstract)

15 years 10 months ago

Download folli.loria.fr

Alan Bundy

claim paper

Read More »

141

click to vote

TACAS
1998
Springer

82views Algorithms» more TACAS 1998»

Model Checking of Real-Time Reachability Properties Using Abstractions

15 years 10 months ago

Download www-verimag.imag.fr

Conrado Daws, Stavros Tripakis

claim paper

Read More »

352

click to vote

TAGT
1998
Springer

317views Graph Theory» more TAGT 1998»

A Fully Abstract Model for Graph-Interpreted Temporal Logic

15 years 10 months ago

Download www.cs.uni-paderborn.de

Fabio Gadducci, Reiko Heckel, Manuel Koch

claim paper

Read More »

137

click to vote

KBSE
1997
IEEE

68views Software Engineering» more KBSE 1997»

A Metric-based Approach to Detect Abstract Data Types and State Encapsulations

15 years 10 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers