Search Sciweavers | Sciweavers

4036 search results - page 30 / 808

» Formal Methods

117

click to vote

FM
1994
Springer

104views Formal Methods» more FM 1994»

Seven More Myths of Formal Methods

15 years 8 months ago

Download sdg.csail.mit.edu

For whatever reason, formal methods remain one of the more contentious techniques in industrial software engineering. Despite some improvement in the uptake of formal methods, it i...

Jonathan P. Bowen, Michael G. Hinchey

claim paper

Read More »

121

click to vote

FMICS
2007
Springer

125views Formal Methods» more FMICS 2007»

Synchronous Design and Verification of Critical Embedded Systems Using SCADE and Esterel

15 years 10 months ago

Download www.cse.iitb.ac.in

Gérard Berry

claim paper

Read More »

116

click to vote

FM
2005
Springer

84views Formal Methods» more FM 2005»

The Informal Nature of Systems Engineering

15 years 10 months ago

Download www.gaudisite.nl

Gerrit Muller

claim paper

Read More »

104

click to vote

FM
2005
Springer

92views Formal Methods» more FM 2005»

Model-Based Testing in Practice

15 years 10 months ago

Download aetgweb.argreenhouse.com

Alexander Pretschner

claim paper

Read More »

112

click to vote

FMCO
2004
Springer

97views Formal Methods» more FMCO 2004»

A Theory of Predicate-Complete Test Coverage and Generation

15 years 9 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers