Sciweavers

1351 search results - page 11 / 271

» Towards a Spreadsheet Engineering

96

CSMR
1997
IEEE

69views Software Engineering» more CSMR 1997»

Towards a precise description of reverse engineering methods and tools

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

90

Voted

FSEN
2009
Springer

118views Software Engineering» more FSEN 2009»

Towards a Notion of Unsatisfiable Cores for LTL

15 years 10 months ago

Towards a Notion of Unsatisfiable Cores for LTL

Download www.schuppan.de

Viktor Schuppan

claim paper

Read More »

83

Voted

SCAM
2007
IEEE

108views Software Engineering» more SCAM 2007»

Towards Path-Sensitive Points-to Analysis

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

110

Voted

SIGSOFT
2006
ACM

126views Software Engineering» more SIGSOFT 2006»

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

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

85

Voted

IUI
2005
ACM

94views Software Engineering» more IUI 2005»

Towards automatic transcription of expressive oral percussive performances

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