Search Sciweavers | Sciweavers

16725 search results - page 440 / 3345

» Engineering Software Correctness

124

click to vote

ECSA
2007
Springer

121views Software Engineering» more ECSA 2007»

A Distributed Staged Architecture for Multimodal Applications

15 years 8 months ago

Download subs.emis.de

Alessandro Costa Pereira, Falk Hartmann, Kay Kadne...

claim paper

Read More »

122

click to vote

EMSOFT
2008
Springer

91views Software Engineering» more EMSOFT 2008»

State space abstraction for parameterized self-stabilizing embedded systems

15 years 8 months ago

Download users.eecs.northwestern.edu

Nikolaos D. Liveris, Hai Zhou, Robert P. Dick, Pri...

claim paper

Read More »

113

click to vote

EMSOFT
2008
Springer

127views Software Engineering» more EMSOFT 2008»

Cyclic dependencies in modular performance analysis

15 years 8 months ago

Download people.ee.ethz.ch

Bengt Jonsson, Simon Perathoner, Lothar Thiele, Wa...

claim paper

Read More »

165

click to vote

ESEM
2008
ACM

104views Software Engineering» more ESEM 2008»

An empirical investigation of scenarios gained and lost in architecture evaluation meetings

15 years 8 months ago

Download qse.ifs.tuwien.ac.at

Dietmar Winkler, Stefan Biffl, Muhammad Ali Babar

claim paper

Read More »

146

click to vote

FASE
2008
Springer

156views Software Engineering» more FASE 2008»

An Automatic Verifier for Java-Like Programs Based on Dynamic Frames

15 years 8 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers