Search Sciweavers | Sciweavers

1988 search results - page 10 / 398

» Engineering formal metatheory

161

click to vote

CBSE
2009
Springer

78views Software Engineering» more CBSE 2009»

Ensuring Consistency between Designs, Documentation, Formal Specifications, and Implementations

16 years 2 months ago

Download secure.ucd.ie

Joseph R. Kiniry, Fintan Fairmichael

claim paper

Read More »

143

click to vote

EMSOFT
2009
Springer

93views Software Engineering» more EMSOFT 2009»

Formal and executable contracts for transaction-level modeling in SystemC

16 years 2 months ago

Download www-verimag.imag.fr

Tayeb Bouhadiba, Florence Maraninchi, Giovanni Fun...

claim paper

Read More »

178

Voted

ICFEM
2009
Springer

114views Software Engineering» more ICFEM 2009»

European Train Control System: A Case Study in Formal Verification

16 years 2 months ago

Download www.avacs.org

André Platzer, Jan-David Quesel

claim paper

Read More »

177

Voted

PASTE
2005
ACM

115views Software Engineering» more PASTE 2005»

Invariants and state in testing and formal methods

16 years 1 months ago

Download groups.csail.mit.edu

Dick Hamlet

claim paper

Read More »

180

Voted

VSTTE
2005
Springer

113views Software Engineering» more VSTTE 2005»

Meta-Logical Frameworks and Formal Digital Libraries

16 years 28 days ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers