Sciweavers

15783 search results - page 175 / 3157

» Evidence-Based Software Engineering

23

PFE
2001
Springer

124views Software Engineering» more PFE 2001»

Architectural Evolution of Legacy Product Families

14 years 2 months ago

Architectural Evolution of Legacy Product Families

Download www.clody.org

Alessandro Maccari, Claudio Riva

claim paper

Read More »

25

RE
2001
Springer

82views Software Engineering» more RE 2001»

14 years 2 months ago

Download www.friendsofeurope.org

Jonathan Hammond, Rosamund Rawlings, Anthony Hall

claim paper

Read More »

25

TACS
2001
Springer

108views Software Engineering» more TACS 2001»

14 years 2 months ago

Download user.it.uu.se

Cosimo Laneve, Joachim Parrow, Björn Victor

claim paper

Read More »

27

TACS
2001
Springer

99views Software Engineering» more TACS 2001»

Nominal Logic: A First Order Theory of Names and Binding

14 years 2 months ago

Nominal Logic: A First Order Theory of Names and Binding

Download www.cl.cam.ac.uk

Andrew M. Pitts

claim paper

Read More »

38

TACS
2001
Springer

128views Software Engineering» more TACS 2001»

Model-Checking LTL with Regular Valuations for Pushdown Systems

14 years 2 months ago

Model-Checking LTL with Regular Valuations for Pushdown Systems

Download www.fmi.uni-stuttgart.de

Javier Esparza, Antonín Kucera, Stefan Schw...

claim paper

Read More »

« Prev « First page 175 / 3157 Last » Next »