Search Sciweavers | Sciweavers

15811 search results - page 310 / 3163

» Search-based software engineering

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

Download www.emn.fr

Fabrício Fernandes, Robin Passama, Jean-Cla...

claim paper

Read More »

125

click to vote

ISSTA
2009
ACM

92views Software Engineering» more ISSTA 2009»

Testing CPU emulators

16 years 1 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers