Sciweavers

15860 search results - page 132 / 3172

» On agent-based software engineering

113

Voted

VSTTE
2005
Springer

113views Software Engineering» more VSTTE 2005»

Meta-Logical Frameworks and Formal Digital Libraries

15 years 9 months ago

Meta-Logical Frameworks and Formal Digital Libraries

Download vstte.ethz.ch

Carsten Schürmann

claim paper

Read More »

89

Voted

VSTTE
2005
Springer

92views Software Engineering» more VSTTE 2005»

Constraint Solving and Symbolic Execution

15 years 9 months ago

Constraint Solving and Symbolic Execution

Download vstte.ethz.ch

Jian Zhang

claim paper

Read More »

101

Voted

XPU
2005
Springer

70views Software Engineering» more XPU 2005»

Extreme Programming for Critical Systems?

15 years 9 months ago

Extreme Programming for Critical Systems?

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

Ian Sommerville

claim paper

Read More »

115

Voted

AOSD
2004
ACM

94views Software Engineering» more AOSD 2004»

Untangling: a slice extraction refactoring

15 years 9 months ago

Untangling: a slice extraction refactoring

Download progtools.comlab.ox.ac.uk

Ran Ettinger, Mathieu Verbaere

claim paper

Read More »

106

Voted

AOSD
2004
ACM

108views Software Engineering» more AOSD 2004»

Using AspectJ to separate concerns in parallel scientific Java code

15 years 9 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 »