Search Sciweavers | Sciweavers

15787 search results - page 119 / 3158

» Is Software Engineering Training Enough for Software Enginee...

click to vote

VSTTE
2005
Springer

80views Software Engineering» more VSTTE 2005»

Verify Your Runs

14 years 2 months ago

Download vstte.ethz.ch

Klaus Havelund, Allen Goldberg

claim paper

Read More »

click to vote

VSTTE
2005
Springer

75views Software Engineering» more VSTTE 2005»

Computational Logical Frameworks and Generic Program Analysis Technologies

14 years 2 months ago

Download vstte.ethz.ch

José Meseguer, Grigore Rosu

claim paper

Read More »

click to vote

VSTTE
2005
Springer

113views Software Engineering» more VSTTE 2005»

Meta-Logical Frameworks and Formal Digital Libraries

14 years 2 months ago

Download vstte.ethz.ch

Carsten Schürmann

claim paper

Read More »

click to vote

VSTTE
2005
Springer

92views Software Engineering» more VSTTE 2005»

Constraint Solving and Symbolic Execution

14 years 2 months ago

Download vstte.ethz.ch

Jian Zhang

claim paper

Read More »

click to vote

XPU
2005
Springer

70views Software Engineering» more XPU 2005»

Extreme Programming for Critical Systems?

14 years 2 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers