Search Sciweavers | Sciweavers

4036 search results - page 172 / 808

» Formal Methods

183

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 »

123

click to vote

CAV
2009
Springer

123views Hardware» more CAV 2009»

Generating and Analyzing Symbolic Traces of Simulink/Stateflow Models

16 years 6 months ago

Download www.cis.upenn.edu

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

claim paper

Read More »

120

click to vote

FM
2009
Springer

90views Formal Methods» more FM 2009»

Fair Model Checking with Process Counter Abstraction

16 years 27 days ago

Download www.comp.nus.edu.sg

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

claim paper

Read More »

121

Voted

MEMOCODE
2007
IEEE

116views Formal Methods» more MEMOCODE 2007»

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

16 years 18 days ago

Download www.ics.ele.tue.nl

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

claim paper

Read More »

156

click to vote

CAV
2005
Springer

101views Hardware» more CAV 2005»

Algorithmic Algebraic Model Checking I: Challenges from Systems Biology

15 years 12 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers