Search Sciweavers | Sciweavers

5407 search results - page 48 / 1082

» The Software Engineering Global Model

104

click to vote

EMSOFT
2010
Springer

108views Software Engineering» more EMSOFT 2010»

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

15 years 18 days 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

15 years 16 days ago

Download www.dsi.unifi.it

Daniele Grasso, Alessandro Fantechi, Alessio Ferra...

claim paper

Read More »

119

Voted

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 15 days ago

Download www.leduotang.com

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

claim paper

Read More »

Voted

KBSE
2010
IEEE

170views Software Engineering» more KBSE 2010»

Verification-driven slicing of UML/OCL models

15 years 15 days 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

15 years 14 days ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers