Search Sciweavers | Sciweavers

15885 search results - page 306 / 3177

» The Modest Software Engineer

123

click to vote

EMSOFT
2009
Springer

117views Software Engineering» more EMSOFT 2009»

Compositional timing analysis

16 years 1 months ago

Download www-verimag.imag.fr

Ramzi Ben Salah, Marius Bozga, Oded Maler

claim paper

Read More »

129

click to vote

EMSOFT
2009
Springer

102views Software Engineering» more EMSOFT 2009»

On relational interfaces

16 years 1 months ago

Download www-verimag.imag.fr

Stavros Tripakis, Ben Lickly, Thomas A. Henzinger,...

claim paper

Read More »

154

click to vote

SERA
2009
Springer

85views Software Engineering» more SERA 2009»

Towards Specifying Reactive Autonomic Systems with a Categorical Approach: A Case Study

16 years 1 months ago

Download users.encs.concordia.ca

Heng Kuang, Olga Ormandjieva, Stan Klasa, Noorulai...

claim paper

Read More »

134

click to vote

ESEM
2009
ACM

111views Software Engineering» more ESEM 2009»

Tool supported detection and judgment of nonconformance in process execution

16 years 1 months ago

Download www.cs.umd.edu

Nico Zazworka, Victor R. Basili, Forrest Shull

claim paper

Read More »

140

click to vote

INDIASE
2009
ACM

124views Software Engineering» more INDIASE 2009»

Event strictness for components with complex bindings

16 years 1 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers