Sciweavers

16206 search results - page 176 / 3242

» Software Engineering is Not Enough

140

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 »

131

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 »

94

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 »

145

FOSSACS
1999
Springer

69views Software Engineering» more FOSSACS 1999»

Equational Properties of Mobile Ambients

15 years 11 months ago

Equational Properties of Mobile Ambients

Download lucacardelli.name

Andrew D. Gordon, Luca Cardelli

claim paper

Read More »

« Prev « First page 176 / 3242 Last » Next »