Sciweavers

16682 search results - page 164 / 3337

» Software Engineering Education

122

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 »

98

Voted

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 »

110

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

Voted

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 »

120

AOSD
2004
ACM

108views Software Engineering» more AOSD 2004»

Using AspectJ to separate concerns in parallel scientific Java code

15 years 10 months ago

Using AspectJ to separate concerns in parallel scientific Java code

Download www.cs.unc.edu

Bruno Harbulot, John R. Gurd

claim paper

Read More »

« Prev « First page 164 / 3337 Last » Next »