Search Sciweavers | Sciweavers

15783 search results - page 33 / 3157

» Evidence-Based Software Engineering

click to vote

SIGSOFT
2010
ACM

123views Software Engineering» more SIGSOFT 2010»

FITE: future integrated testing environment

13 years 7 months ago

Download www.lta.disco.unimib.it

Michael W. Whalen, Patrice Godefroid, Leonardo Mar...

claim paper

Read More »

click to vote

WCET
2010

116views Software Engineering» more WCET 2010»

Timing Anomalies Reloaded

13 years 7 months ago

Download drops.dagstuhl.de

Computing tight WCET bounds in the presence of timing anomalies

Gernot Gebhard

claim paper

Read More »

click to vote

ICFEM
2009
Springer

103views Software Engineering» more ICFEM 2009»

Improving Automatic Verification of Security Protocols with XOR

13 years 7 months ago

Download satoss.uni.lu

Abstract. K

Xihui Chen, Ton van Deursen, Jun Pang

claim paper

Read More »

click to vote

ICSOFT
2009

107views Software Engineering» more ICSOFT 2009»

Towards a Strategic Requirements Elicitation - A Proposal of the PRINCE Model

13 years 7 months ago

Download sel.ics.es.osaka-u.ac.jp

Takako Nakatani, Shouzo Hori, Michio Tsuda, Mari I...

claim paper

Read More »

click to vote

ICSOFT
2009

94views Software Engineering» more ICSOFT 2009»

Applicability of BET to Elusive Bugs in Diverse Application Areas

13 years 7 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers