Search Sciweavers | Sciweavers

5407 search results - page 48 / 1082

» The Software Engineering Global Model

click to vote

EMSOFT
2010
Springer

108views Software Engineering» more EMSOFT 2010»

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

14 years 7 months ago

Download www.eecs.berkeley.edu

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

claim paper

Read More »

Voted

ICST
2010
IEEE

116views Software Engineering» more ICST 2010»

Model Based Testing and Abstract Interpretation in the Railway Signaling Context

14 years 7 months ago

Download www.dsi.unifi.it

Daniele Grasso, Alessandro Fantechi, Alessio Ferra...

claim paper

Read More »

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

14 years 7 months ago

Download www.leduotang.com

Sylvain Hallé, Taylor Ettema, Chris Bunch, ...

claim paper

Read More »

click to vote

KBSE
2010
IEEE

170views Software Engineering» more KBSE 2010»

Verification-driven slicing of UML/OCL models

14 years 7 months ago

Download www.lsi.upc.edu

Asadullah Shaikh, Robert Clarisó, Uffe Kock...

claim paper

Read More »

click to vote

SSIRI
2010

103views Software Engineering» more SSIRI 2010»

Model-Based Argument Analysis for Evolving Security Requirements

14 years 7 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers