Search Sciweavers | Sciweavers

15787 search results - page 384 / 3158

» Is Software Engineering Training Enough for Software Enginee...

111

Voted

FSTTCS
2010
Springer

124views Software Engineering» more FSTTCS 2010»

Reasoning About Strategies

15 years 4 months ago

Download www.cs.rice.edu

Fabio Mogavero, Aniello Murano, Moshe Y. Vardi

claim paper

Read More »

142

click to vote

ICST
2010
IEEE

116views Software Engineering» more ICST 2010»

Model Based Testing and Abstract Interpretation in the Railway Signaling Context

15 years 4 months ago

Download www.dsi.unifi.it

Daniele Grasso, Alessandro Fantechi, Alessio Ferra...

claim paper

Read More »

127

click to vote

ICST
2010
IEEE

96views Software Engineering» more ICST 2010»

Verified Firewall Policy Transformations for Test Case Generation

15 years 4 months ago

Download www.infsec.ethz.ch

Achim D. Brucker, Lukas Brügger, Paul Kearney...

claim paper

Read More »

129

click to vote

IWPSE
2010
IEEE

120views Software Engineering» more IWPSE 2010»

Redocumentation of a legacy banking system: an experience report

15 years 4 months ago

Download win.ua.ac.be

Joris Van Geet, Peter Ebraert, Serge Demeyer

claim paper

Read More »

178

click to vote

KBSE
2010
IEEE

190views Software Engineering» more KBSE 2010»

Eliminating navigation errors in web applications via model checking and runtime enforcement of navigation state machines

15 years 4 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers