Search Sciweavers | Sciweavers

1199 search results - page 23 / 240

» Software Verification and Software Engineering a Practitione...

115

click to vote

ADAEUROPE
2009
Springer

121views Software Engineering» more ADAEUROPE 2009»

Formal Verification of AADL Specifications in the Topcased Environment

16 years 1 months ago

Download www.aadl.info

Bernard Berthomieu, Jean-Paul Bodeveix, Christelle...

claim paper

Read More »

123

click to vote

IWPC
2006
IEEE

111views Software Engineering» more IWPC 2006»

An Approach to High-Level Behavioral Program Documentation Allowing Lightweight Verification

16 years 14 days ago

Download soft.vub.ac.be

Coen De Roover, Isabel Michiels, Kim Gybels, Kris ...

claim paper

Read More »

116

click to vote

ADAEUROPE
2005
Springer

97views Software Engineering» more ADAEUROPE 2005»

Dynamic Tasks Verification with Quasar

16 years 18 hour ago

Download cedric.cnam.fr

Sami Evangelista, Claude Kaiser, Christophe Pajaul...

claim paper

Read More »

116

click to vote

KBSE
2002
IEEE

126views Software Engineering» more KBSE 2002»

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

15 years 11 months ago

Download www.inf.mit.bme.hu

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

claim paper

Read More »

132

click to vote

ISSTA
2000
ACM

79views Software Engineering» more ISSTA 2000»

Putting static analysis to work for verification: A case study

15 years 10 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers