Search Sciweavers | Sciweavers

16725 search results - page 637 / 3345

» Engineering Software Correctness

132

click to vote

KBSE
2002
IEEE

126views Software Engineering» more KBSE 2002»

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

16 years 4 days ago

Download www.inf.mit.bme.hu

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

claim paper

Read More »

147

click to vote

SCAM
2002
IEEE

98views Software Engineering» more SCAM 2002»

VADA: A Transformation-Based System for Variable Dependence Analysis

16 years 4 days ago

Download bura.brunel.ac.uk

Mark Harman, Chris Fox, Robert M. Hierons, Lin Hu,...

claim paper

Read More »

114

click to vote

WCRE
2002
IEEE

119views Software Engineering» more WCRE 2002»

ConSUS: A Scalable Approach to Conditioned Slicing

16 years 4 days ago

Download www.cse.dmu.ac.uk

Mohammed Daoudi, Lahcen Ouarbya, John Howroyd, Seb...

claim paper

Read More »

139

click to vote

WCRE
2002
IEEE

107views Software Engineering» more WCRE 2002»

Semantic Grep: Regular Expressions + Relational Abstraction

16 years 4 days ago

Download plg.uwaterloo.ca

R. Ian Bull, Andrew Trevors, Andrew J. Malton, Mic...

claim paper

Read More »

112

click to vote

ICSE
2010
IEEE-ACM

141views Software Engineering» more ICSE 2010»

Can clone detection support quality assessments of requirements specifications?

16 years 12 hour ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers