Sciweavers

15824 search results - page 121 / 3165

» Specialising in Software Engineering

21

VSTTE
2005
Springer

92views Software Engineering» more VSTTE 2005»

Constraint Solving and Symbolic Execution

14 years 3 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 3 months ago

Extreme Programming for Critical Systems?

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

Ian Sommerville

claim paper

Read More »

34

AOSD
2004
ACM

94views Software Engineering» more AOSD 2004»

Untangling: a slice extraction refactoring

14 years 3 months ago

Untangling: a slice extraction refactoring

Download progtools.comlab.ox.ac.uk

Ran Ettinger, Mathieu Verbaere

claim paper

Read More »

24

AOSD
2004
ACM

108views Software Engineering» more AOSD 2004»

Using AspectJ to separate concerns in parallel scientific Java code

14 years 3 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 »

26

IUI
2004
ACM

132views Software Engineering» more IUI 2004»

SUIDT: safe user interface design tool

14 years 3 months ago

SUIDT: safe user interface design tool

Download www.lisi.ensma.fr

Mickaël Baron, Patrick Girard

claim paper

Read More »

« Prev « First page 121 / 3165 Last » Next »