Search Sciweavers | Sciweavers

5775 search results - page 68 / 1155

» A Rationale-based Analysis Tool

119

click to vote

VALUETOOLS
2006
ACM

129views Hardware» more VALUETOOLS 2006»

Automated benchmarking and analysis tool

15 years 10 months ago

Download d3s.mff.cuni.cz

Tomás Kalibera, Jakub Lehotsky, David Majda...

claim paper

Read More »

118

Voted

AIED
2005
Springer

74views Artificial Intelligence» more AIED 2005»

Using Schema Analysis for Feedback in Authoring Tools for Learning Environments

15 years 10 months ago

Download igitur-archive.library.uu.nl

Course material for electronic learning environments is often structured using schema languages. During the specification and development of course material, many mistakes can be m...

Harrie Passier, Johan Jeuring

claim paper

Read More »

133

click to vote

FASE
2005
Springer

112views Software Engineering» more FASE 2005»

Tools for Secure Systems Development with UML: Security Analysis with ATPs

15 years 10 months ago

Download www4.in.tum.de

Jan Jürjens, Pasha Shabalin

claim paper

Read More »

127

click to vote

ICSOC
2005
Springer

164views Applied Computing» more ICSOC 2005»

WofBPEL: A Tool for Automated Analysis of BPEL Processes

15 years 10 months ago

Download infolab.uvt.nl

Chun Ouyang, Eric Verbeek, Wil M. P. van der Aalst...

claim paper

Read More »

112

Voted

CAV
2004
Springer

90views Hardware» more CAV 2004»

WSAT: A Tool for Formal Analysis of Web Services

15 years 10 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers