Search Sciweavers | Sciweavers

15778 search results - page 260 / 3156

» Aikido and software engineering

171

click to vote

KBSE
2010
IEEE

122views Software Engineering» more KBSE 2010»

SpecDiff: debugging formal specifications

15 years 4 months ago

Download www.comp.nus.edu.sg

Zhenchang Xing, Jun Sun 0001, Yang Liu 0003, Jin S...

claim paper

Read More »

131

click to vote

SIGSOFT
2010
ACM

123views Software Engineering» more SIGSOFT 2010»

FITE: future integrated testing environment

15 years 4 months ago

Download www.lta.disco.unimib.it

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

claim paper

Read More »

172

click to vote

WCET
2010

116views Software Engineering» more WCET 2010»

Timing Anomalies Reloaded

15 years 4 months ago

Download drops.dagstuhl.de

Computing tight WCET bounds in the presence of timing anomalies

Gernot Gebhard

claim paper

Read More »

154

click to vote

ICFEM
2009
Springer

103views Software Engineering» more ICFEM 2009»

Improving Automatic Verification of Security Protocols with XOR

15 years 4 months ago

Download satoss.uni.lu

Abstract. K

Xihui Chen, Ton van Deursen, Jun Pang

claim paper

Read More »

108

click to vote

ICSOFT
2009

107views Software Engineering» more ICSOFT 2009»

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

15 years 4 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers