Search Sciweavers | Sciweavers

15885 search results - page 306 / 3177

» The Modest Software Engineer

102

click to vote

EMSOFT
2009
Springer

117views Software Engineering» more EMSOFT 2009»

Compositional timing analysis

15 years 11 months ago

Download www-verimag.imag.fr

Ramzi Ben Salah, Marius Bozga, Oded Maler

claim paper

Read More »

101

click to vote

EMSOFT
2009
Springer

102views Software Engineering» more EMSOFT 2009»

On relational interfaces

15 years 11 months ago

Download www-verimag.imag.fr

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

claim paper

Read More »

126

click to vote

SERA
2009
Springer

85views Software Engineering» more SERA 2009»

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

15 years 11 months ago

Download users.encs.concordia.ca

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

claim paper

Read More »

click to vote

ESEM
2009
ACM

111views Software Engineering» more ESEM 2009»

Tool supported detection and judgment of nonconformance in process execution

15 years 11 months ago

Download www.cs.umd.edu

Nico Zazworka, Victor R. Basili, Forrest Shull

claim paper

Read More »

110

click to vote

INDIASE
2009
ACM

124views Software Engineering» more INDIASE 2009»

Event strictness for components with complex bindings

15 years 11 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers