Search Sciweavers | Sciweavers

1988 search results - page 10 / 398

» Engineering formal metatheory

112

click to vote

CBSE
2009
Springer

78views Software Engineering» more CBSE 2009»

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

15 years 10 months ago

Download secure.ucd.ie

Joseph R. Kiniry, Fintan Fairmichael

claim paper

Read More »

click to vote

EMSOFT
2009
Springer

93views Software Engineering» more EMSOFT 2009»

Formal and executable contracts for transaction-level modeling in SystemC

15 years 10 months ago

Download www-verimag.imag.fr

Tayeb Bouhadiba, Florence Maraninchi, Giovanni Fun...

claim paper

Read More »

117

click to vote

ICFEM
2009
Springer

114views Software Engineering» more ICFEM 2009»

European Train Control System: A Case Study in Formal Verification

15 years 10 months ago

Download www.avacs.org

André Platzer, Jan-David Quesel

claim paper

Read More »

131

Voted

PASTE
2005
ACM

115views Software Engineering» more PASTE 2005»

Invariants and state in testing and formal methods

15 years 9 months ago

Download groups.csail.mit.edu

Dick Hamlet

claim paper

Read More »

118

Voted

VSTTE
2005
Springer

113views Software Engineering» more VSTTE 2005»

Meta-Logical Frameworks and Formal Digital Libraries

15 years 9 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers