Search Sciweavers | Sciweavers

8083 search results - page 41 / 1617

» A Formalization of Software Architecture

105

click to vote

EMSOFT
2009
Springer

93views Software Engineering» more EMSOFT 2009»

Formal and executable contracts for transaction-level modeling in SystemC

16 years 5 days ago

Download www-verimag.imag.fr

Tayeb Bouhadiba, Florence Maraninchi, Giovanni Fun...

claim paper

Read More »

136

Voted

ICFEM
2009
Springer

114views Software Engineering» more ICFEM 2009»

European Train Control System: A Case Study in Formal Verification

16 years 4 days ago

Download www.avacs.org

André Platzer, Jan-David Quesel

claim paper

Read More »

147

Voted

PASTE
2005
ACM

115views Software Engineering» more PASTE 2005»

Invariants and state in testing and formal methods

15 years 11 months ago

Download groups.csail.mit.edu

Dick Hamlet

claim paper

Read More »

138

Voted

VSTTE
2005
Springer

113views Software Engineering» more VSTTE 2005»

Meta-Logical Frameworks and Formal Digital Libraries

15 years 11 months ago

Download vstte.ethz.ch

Carsten Schürmann

claim paper

Read More »

115

click to vote

EDBTW
2010
Springer

141views Software Engineering» more EDBTW 2010»

Regular tree patterns: a uniform formalism for update queries and functional dependencies in XML

15 years 10 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers