Search Sciweavers | Sciweavers

4036 search results - page 172 / 808

» Formal Methods

188

click to vote

DAGSTUHL
1992

192views Software Engineering» more DAGSTUHL 1992»

A Methodology for Evaluating Software Engineering Methods and Tools

15 years 7 months ago

Download www.inf.utfsm.cl

DESMET was a DTI-backed project with the goal of developing and validating a methodology for evaluating software engineering methods and tools. The project identified nine methods...

Barbara Kitchenham

claim paper

Read More »

129

click to vote

CAV
2009
Springer

123views Hardware» more CAV 2009»

Generating and Analyzing Symbolic Traces of Simulink/Stateflow Models

16 years 7 months ago

Download www.cis.upenn.edu

Aditya Kanade, Rajeev Alur, Franjo Ivancic, S. Ram...

claim paper

Read More »

123

click to vote

FM
2009
Springer

90views Formal Methods» more FM 2009»

Fair Model Checking with Process Counter Abstraction

16 years 1 months ago

Download www.comp.nus.edu.sg

Jun Sun 0001, Yang Liu 0003, Abhik Roychoudhury, S...

claim paper

Read More »

121

click to vote

MEMOCODE
2007
IEEE

116views Formal Methods» more MEMOCODE 2007»

Software/Hardware Engineering with the Parallel Object-Oriented Specification Language

16 years 22 days ago

Download www.ics.ele.tue.nl

Bart D. Theelen, Oana Florescu, Marc Geilen, Jinfe...

claim paper

Read More »

160

click to vote

CAV
2005
Springer

101views Hardware» more CAV 2005»

Algorithmic Algebraic Model Checking I: Challenges from Systems Biology

16 years 13 hour ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers