Search Sciweavers | Sciweavers

15974 search results - page 401 / 3195

» Object-Oriented Software Engineering

113

Voted

VMCAI
2005
Springer

81views Software Engineering» more VMCAI 2005»

Verifying Safety of a Token Coherence Implementation by Parametric Compositional Refinement

15 years 10 months ago

Download www.cis.upenn.edu

Sebastian Burckhardt, Rajeev Alur, Milo M. K. Mart...

claim paper

Read More »

Voted

VMCAI
2005
Springer

93views Software Engineering» more VMCAI 2005»

Abstract Interpretation with Alien Expressions and Heap Structures

15 years 10 months ago

Download www.cs.colorado.edu

Bor-Yuh Evan Chang, K. Rustan M. Leino

claim paper

Read More »

125

click to vote

VMCAI
2005
Springer

65views Software Engineering» more VMCAI 2005»

Scalable Analysis of Linear Systems Using Mathematical Programming

15 years 10 months ago

Download ropas.snu.ac.kr

Sriram Sankaranarayanan, Henny B. Sipma, Zohar Man...

claim paper

Read More »

111

click to vote

VSTTE
2005
Springer

156views Software Engineering» more VSTTE 2005»

Abstraction of Graph Transformation Systems by Temporal Logic and Its Verification

15 years 10 months ago

Download vstte.ethz.ch

Mitsuharu Yamamoto, Yoshinori Tanabe, Koichi Takah...

claim paper

Read More »

113

Voted

WER
2005
Springer

98views Software Engineering» more WER 2005»

Uso de Agentes no Processo de Requisitos em Ambientes Distribuídos de Desenvolvimento

15 years 10 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers