Sciweavers

15777 search results - page 43 / 3156

» Engineering in Software

41

FASE
2003
Springer

96views Software Engineering» more FASE 2003»

Model Checking Software via Abstraction of Loop Transitions

14 years 4 months ago

Model Checking Software via Abstraction of Loop Transitions

Download www.cs.cmu.edu

Natasha Sharygina, James C. Browne

claim paper

Read More »

23

ICSM
2002
IEEE

87views Software Engineering» more ICSM 2002»

Behavioural Concern Modelling for Software Change Tasks

14 years 3 months ago

Behavioural Concern Modelling for Software Change Tasks

Download www.cs.ubc.ca

Albert Lai, Gail C. Murphy

claim paper

Read More »

39

ICSM
2000
IEEE

140views Software Engineering» more ICSM 2000»

Identifying Reasons for Software Changes using Historic Databases

14 years 3 months ago

Identifying Reasons for Software Changes using Historic Databases

Download libresoft.es

Audris Mockus, Lawrence G. Votta

claim paper

Read More »

32

WCRE
2000
IEEE

82views Software Engineering» more WCRE 2000»

A Short Introduction to the GXL Software Exchange Format

14 years 3 months ago

A Short Introduction to the GXL Software Exchange Format

Download plg.uwaterloo.ca

Richard C. Holt, Andreas Winter

claim paper

Read More »

22

SIGSOFT
2000
ACM

77views Software Engineering» more SIGSOFT 2000»

Coven: brewing better collaboration through software configuration management

14 years 3 months ago

Coven: brewing better collaboration through software configuration management

Download www.cis.udel.edu

Mark Chu-Carroll, Sara Sprenkle

claim paper

Read More »

« Prev « First page 43 / 3156 Last » Next »