Sciweavers

15860 search results - page 132 / 3172

» Agent-Based Software Engineering

108

Voted

VSTTE
2005
Springer

113views Software Engineering» more VSTTE 2005»

Meta-Logical Frameworks and Formal Digital Libraries

15 years 8 months ago

Meta-Logical Frameworks and Formal Digital Libraries

Download vstte.ethz.ch

Carsten Schürmann

claim paper

Read More »

84

Voted

VSTTE
2005
Springer

92views Software Engineering» more VSTTE 2005»

Constraint Solving and Symbolic Execution

15 years 8 months ago

Constraint Solving and Symbolic Execution

Download vstte.ethz.ch

Jian Zhang

claim paper

Read More »

95

Voted

XPU
2005
Springer

70views Software Engineering» more XPU 2005»

Extreme Programming for Critical Systems?

15 years 8 months ago

Extreme Programming for Critical Systems?

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

Ian Sommerville

claim paper

Read More »

111

Voted

AOSD
2004
ACM

94views Software Engineering» more AOSD 2004»

Untangling: a slice extraction refactoring

15 years 8 months ago

Untangling: a slice extraction refactoring

Download progtools.comlab.ox.ac.uk

Ran Ettinger, Mathieu Verbaere

claim paper

Read More »

97

Voted

AOSD
2004
ACM

108views Software Engineering» more AOSD 2004»

Using AspectJ to separate concerns in parallel scientific Java code

15 years 8 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 132 / 3172 Last » Next »