Sciweavers

15779 search results - page 87 / 3156

» Change-oriented software engineering

33

FASE
2003
Springer

96views Software Engineering» more FASE 2003»

Model Checking Software via Abstraction of Loop Transitions

14 years 2 months ago

Model Checking Software via Abstraction of Loop Transitions

Download www.cs.cmu.edu

Natasha Sharygina, James C. Browne

claim paper

Read More »

24

APSEC
2002
IEEE

110views Software Engineering» more APSEC 2002»

A Recommendation System for Software Function Discovery

14 years 2 months ago

A Recommendation System for Software Function Discovery

Download www.isr.uci.edu

Naoki Ohsugi, Akito Monden, Ken-ichi Matsumoto

claim paper

Read More »

14

COMPSAC
2002
IEEE

71views Software Engineering» more COMPSAC 2002»

Managing Software Quality with Defects

14 years 2 months ago

Managing Software Quality with Defects

Download www.stsc.hill.af.mil

David N. Card

claim paper

Read More »

18

ICSM
2002
IEEE

87views Software Engineering» more ICSM 2002»

Behavioural Concern Modelling for Software Change Tasks

14 years 2 months ago

Behavioural Concern Modelling for Software Change Tasks

Download www.cs.ubc.ca

Albert Lai, Gail C. Murphy

claim paper

Read More »

21

KBSE
2002
IEEE

123views Software Engineering» more KBSE 2002»

Assumption Generation for Software Component Verification

14 years 2 months ago

Assumption Generation for Software Component Verification

Download ase.informatik.uni-essen.de

Dimitra Giannakopoulou, Corina S. Pasareanu, Howar...

claim paper

Read More »

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