Search Sciweavers | Sciweavers

2212 search results - page 34 / 443

» Automated software wrapping

click to vote

ICSE
2005
IEEE-ACM

139views Software Engineering» more ICSE 2005»

A case study on the automated verification of groupware protocols

14 years 9 months ago

Download fmt.isti.cnr.it

Maurice H. ter Beek, Mieke Massink, Diego Latella,...

claim paper

Read More »

click to vote

ICSE
2005
IEEE-ACM

136views Software Engineering» more ICSE 2005»

One evaluation of model-based testing and its automation

14 years 9 months ago

Download www.inf.ethz.ch

Alexander Pretschner, Wolfgang Prenninger, Stefan ...

claim paper

Read More »

click to vote

KBSE
2003
IEEE

99views Software Engineering» more KBSE 2003»

Automated Requirements-based Generation of Test Cases for Product Families

14 years 2 months ago

Download www.irisa.fr

Clémentine Nebut, Simon Pickin, Yves Le Tra...

claim paper

Read More »

click to vote

KBSE
2002
IEEE

126views Software Engineering» more KBSE 2002»

VIATRA - Visual Automated Transformations for Formal Verification and Validation of UML Models

14 years 2 months ago

Download www.inf.mit.bme.hu

György Csertán, Gábor Huszerl, ...

claim paper

Read More »

click to vote

CSMR
2006
IEEE

81views Software Engineering» more CSMR 2006»

Semantic-Based Toolkit for Automated Building Block Composition in SAP R/3

14 years 1 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers