Sciweavers

18898 search results - page 177 / 3780

» The Making of a Software Engineer

117

VSTTE
2005
Springer

75views Software Engineering» more VSTTE 2005»

Computational Logical Frameworks and Generic Program Analysis Technologies

15 years 10 months ago

Computational Logical Frameworks and Generic Program Analysis Technologies

Download vstte.ethz.ch

José Meseguer, Grigore Rosu

claim paper

Read More »

125

Voted

VSTTE
2005
Springer

113views Software Engineering» more VSTTE 2005»

Meta-Logical Frameworks and Formal Digital Libraries

15 years 10 months ago

Meta-Logical Frameworks and Formal Digital Libraries

Download vstte.ethz.ch

Carsten Schürmann

claim paper

Read More »

101

VSTTE
2005
Springer

92views Software Engineering» more VSTTE 2005»

Constraint Solving and Symbolic Execution

15 years 10 months ago

Constraint Solving and Symbolic Execution

Download vstte.ethz.ch

Jian Zhang

claim paper

Read More »

111

Voted

XPU
2005
Springer

70views Software Engineering» more XPU 2005»

Extreme Programming for Critical Systems?

15 years 10 months ago

Extreme Programming for Critical Systems?

Download www.cs.st-andrews.ac.uk

Ian Sommerville

claim paper

Read More »

124

AOSD
2004
ACM

94views Software Engineering» more AOSD 2004»

Untangling: a slice extraction refactoring

15 years 10 months ago

Untangling: a slice extraction refactoring

Download progtools.comlab.ox.ac.uk

Ran Ettinger, Mathieu Verbaere

claim paper

Read More »

« Prev « First page 177 / 3780 Last » Next »