Sciweavers

1351 search results - page 11 / 271

» Towards a Spreadsheet Engineering

19

CSMR
1997
IEEE

69views Software Engineering» more CSMR 1997»

Towards a precise description of reverse engineering methods and tools

13 years 12 months ago

Towards a precise description of reverse engineering methods and tools

Download www.comp.nus.edu.sg

Stan Jarzabek, Irene Woon

claim paper

Read More »

16

FSEN
2009
Springer

118views Software Engineering» more FSEN 2009»

Towards a Notion of Unsatisfiable Cores for LTL

14 years 2 months ago

Towards a Notion of Unsatisfiable Cores for LTL

Download www.schuppan.de

Viktor Schuppan

claim paper

Read More »

18

SCAM
2007
IEEE

108views Software Engineering» more SCAM 2007»

Towards Path-Sensitive Points-to Analysis

14 years 2 months ago

Towards Path-Sensitive Points-to Analysis

Download www.dcs.kcl.ac.uk

Tobias Gutzmann, Jonas Lundberg, Welf Löwe

claim paper

Read More »

20

SIGSOFT
2006
ACM

126views Software Engineering» more SIGSOFT 2006»

SMArTIC: towards building an accurate, robust and scalable specification miner

14 years 1 months ago

SMArTIC: towards building an accurate, robust and scalable specification miner

Download www.comp.nus.edu.sg

David Lo, Siau-Cheng Khoo

claim paper

Read More »

22

IUI
2005
ACM

94views Software Engineering» more IUI 2005»

Towards automatic transcription of expressive oral percussive performances

14 years 1 months ago

Towards automatic transcription of expressive oral percussive performances

Download mtg.upf.edu

Amaury Hazan

claim paper

Read More »

« Prev « First page 11 / 271 Last » Next »