Search Sciweavers | Sciweavers

15727 search results - page 505 / 3146

» Software Engineering - Introduction

120

click to vote

FASE
2009
Springer

89views Software Engineering» more FASE 2009»

Proving Consistency of Pure Methods and Model Fields

16 years 1 months ago

Download research.microsoft.com

Abstract. Pure methods and model ﬁelds are useful and common speci

K. Rustan M. Leino, Ronald Middelkoop

claim paper

Read More »

127

click to vote

KBSE
2009
IEEE

169views Software Engineering» more KBSE 2009»

Clone-Aware Configuration Management

16 years 1 months ago

Download user.hnue.edu.vn

Tung Thanh Nguyen, Hoan Anh Nguyen, Nam H. Pham, J...

claim paper

Read More »

124

click to vote

ADAEUROPE
2009
Springer

121views Software Engineering» more ADAEUROPE 2009»

Formal Verification of AADL Specifications in the Topcased Environment

16 years 1 months ago

Download www.aadl.info

Bernard Berthomieu, Jean-Paul Bodeveix, Christelle...

claim paper

Read More »

137

click to vote

EMSOFT
2009
Springer

104views Software Engineering» more EMSOFT 2009»

Modal interfaces: unifying interface automata and modal specifications

16 years 1 months ago

Download www.irisa.fr

Jean-Baptiste Raclet, Eric Badouel, Albert Benveni...

claim paper

Read More »

157

click to vote

EMSOFT
2009
Springer

115views Software Engineering» more EMSOFT 2009»

An effective synchronization approach for fast and accurate multi-core instruction-set simulation

16 years 1 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers