Search Sciweavers | Sciweavers

5775 search results - page 70 / 1155

» A Rationale-based Analysis Tool

click to vote

RV
2009
Springer

84views Hardware» more RV 2009»

A Concurrency Testing Tool and Its Plug-Ins for Dynamic Analysis and Runtime Healing

15 years 4 months ago

Download www.fit.vutbr.cz

Bohuslav Krena, Zdenek Letko, Yarden Nir-Buchbinde...

claim paper

Read More »

click to vote

IPPS
2000
IEEE

94views Distributed And Parallel Com...» more IPPS 2000»

Specification Techniques for Automatic Performance Analysis Tools

15 years 4 months ago

Download ipdps.cc.gatech.edu

Michael Gerndt, Hans-Georg Eßer

claim paper

Read More »

click to vote

CAV
1999
Springer

85views Hardware» more CAV 1999»

PIL/SETHEO: A Tool for the Automatic Analysis of Authentication Protocols

15 years 4 months ago

Download ti.arc.nasa.gov

Johann Schumann

claim paper

Read More »

click to vote

UML
1999
Springer

127views Natural Language Processing» more UML 1999»

Timed Sequence Diagrams and Tool-Based Analysis - A Case Study

15 years 4 months ago

Download www.csm.ornl.gov

Thomas Firley, Michaela Huhn, Karsten Diethers, Th...

claim paper

Read More »

click to vote

KBSE
1998
IEEE

91views Software Engineering» more KBSE 1998»

Testing using Log File Analysis: Tools, Methods, and Issues

15 years 4 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers