Search Sciweavers | Sciweavers

15777 search results - page 93 / 3156

» Engineering in Software

131

click to vote

ICST
2010
IEEE

117views Software Engineering» more ICST 2010»

Simulated Satisfaction of Coverage Criteria on UML State Machines

15 years 6 months ago

Download metrik.informatik.hu-berlin.de

Stephan Weißleder

claim paper

Read More »

144

click to vote

SEE
2010
Springer

97views Software Engineering» more SEE 2010»

Risk and Responsibility in a Manufactured World

15 years 5 months ago

Download www.philos.unifi.it

Luigi Pellizzoni

claim paper

Read More »

158

Voted

VSTTE
2010
Springer

124views Software Engineering» more VSTTE 2010»

The L4.verified Project - Next Steps

15 years 5 months ago

Download www.cse.unsw.edu.au

Gerwin Klein

claim paper

Read More »

179

click to vote

XPU
2010
Springer

154views Software Engineering» more XPU 2010»

Launchpad's Quest for a Better and Agile User Interface

15 years 5 months ago

Download beuno.com.ar

Martin Albisetti

claim paper

Read More »

184

click to vote

ADAEUROPE
2010
Springer

230views Software Engineering» more ADAEUROPE 2010»

Static Versioning of Global State for Race Condition Detection

15 years 5 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers