Search Sciweavers | Sciweavers

9974 search results - page 141 / 1995

» Software Interconnection Models

click to vote

SOCO
2010
Springer

110views Software Engineering» more SOCO 2010»

A multi-granular linguistic model for management decision-making in performance appraisal

15 years 8 days ago

Download www2.eco.uva.es

Rocío de Andrés, José Luis Ga...

claim paper

Read More »

click to vote

EMSOFT
2010
Springer

108views Software Engineering» more EMSOFT 2010»

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

14 years 12 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 12 months ago

Download www.dsi.unifi.it

Daniele Grasso, Alessandro Fantechi, Alessio Ferra...

claim paper

Read More »

109

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 11 months 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

14 years 11 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers