Search Sciweavers | Sciweavers

15885 search results - page 377 / 3177

» Strategic Software Engineering

134

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 »

128

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 »

180

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 »

160

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

Download research.microsoft.com

Jan Smans, Bart Jacobs 0002, Frank Piessens, Wolfr...

claim paper

Read More »

137

click to vote

IESA
2007

103views Software Engineering» more IESA 2007»

Towards Interoperable Healthcare Information Systems: The HL7 Conformance Profile Approach

15 years 8 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers