Search Sciweavers | Sciweavers

16725 search results - page 451 / 3345

» Engineering Software Correctness

140

click to vote

EMSOFT
2010
Springer

108views Software Engineering» more EMSOFT 2010»

Ptera: an event-oriented model of computation for heterogeneous systems

15 years 4 months ago

Download www.eecs.berkeley.edu

Thomas Huining Feng, Edward A. Lee, Lee W. Shruben

claim paper

Read More »

102

click to vote

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 »

129

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 »

120

Voted

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 »

116

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

Sciweavers

Explore & Download

Productivity Tools

Sciweavers