Sciweavers

15799 search results - page 164 / 3160

» Software engineering: a roadmap

132

Voted

ESEC
1999
Springer

142views Software Engineering» more ESEC 1999»

The Concept of Dynamic Analysis

15 years 11 months ago

The Concept of Dynamic Analysis

Download www.cs.arizona.edu

Thomas Ball

claim paper

Read More »

142

Voted

ESEC
1999
Springer

114views Software Engineering» more ESEC 1999»

Using Model Checking to Generate Tests from Requirements Specifications

15 years 11 months ago

Using Model Checking to Generate Tests from Requirements Specifications

Download cs.unibg.it

Angelo Gargantini, Constance L. Heitmeyer

claim paper

Read More »

132

Voted

ESEC
1999
Springer

113views Software Engineering» more ESEC 1999»

Efficient Points-to Analysis for Whole-Program Analysis

15 years 11 months ago

Efficient Points-to Analysis for Whole-Program Analysis

Download www.cs.colostate.edu

Donglin Liang, Mary Jean Harrold

claim paper

Read More »

96

EWSPT
1999
Springer

66views Software Engineering» more EWSPT 1999»

Process Modelling Languages

15 years 11 months ago

Process Modelling Languages

Download www.tml.tkk.fi

Reidar Conradi, Maria Letizia Jaccheri

claim paper

Read More »

145

FOSSACS
1999
Springer

80views Software Engineering» more FOSSACS 1999»

Testing Hennessy-Milner Logic with Recursion

15 years 11 months ago

Testing Hennessy-Milner Logic with Recursion

Download www.brics.dk

Luca Aceto, Anna Ingólfsdóttir

claim paper

Read More »

« Prev « First page 164 / 3160 Last » Next »