Sciweavers

16790 search results - page 167 / 3358

» A Future for Software Engineering

27

VSTTE
2005
Springer

113views Software Engineering» more VSTTE 2005»

Meta-Logical Frameworks and Formal Digital Libraries

14 years 2 months ago

Meta-Logical Frameworks and Formal Digital Libraries

Download vstte.ethz.ch

Carsten Schürmann

claim paper

Read More »

19

VSTTE
2005
Springer

92views Software Engineering» more VSTTE 2005»

Constraint Solving and Symbolic Execution

14 years 2 months ago

Constraint Solving and Symbolic Execution

Download vstte.ethz.ch

Jian Zhang

claim paper

Read More »

24

XPU
2005
Springer

70views Software Engineering» more XPU 2005»

Extreme Programming for Critical Systems?

14 years 2 months ago

Extreme Programming for Critical Systems?

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

Ian Sommerville

claim paper

Read More »

31

AOSD
2004
ACM

94views Software Engineering» more AOSD 2004»

Untangling: a slice extraction refactoring

14 years 2 months ago

Untangling: a slice extraction refactoring

Download progtools.comlab.ox.ac.uk

Ran Ettinger, Mathieu Verbaere

claim paper

Read More »

23

AOSD
2004
ACM

108views Software Engineering» more AOSD 2004»

Using AspectJ to separate concerns in parallel scientific Java code

14 years 2 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 167 / 3358 Last » Next »