Sciweavers

15794 search results - page 70 / 3159

» Agent-Oriented Software Engineering

76

FASE
2003
Springer

96views Software Engineering» more FASE 2003»

Model Checking Software via Abstraction of Loop Transitions

15 years 3 months ago

Model Checking Software via Abstraction of Loop Transitions

Download www.cs.cmu.edu

Natasha Sharygina, James C. Browne

claim paper

Read More »

60

APSEC
2002
IEEE

110views Software Engineering» more APSEC 2002»

A Recommendation System for Software Function Discovery

15 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 »

48

COMPSAC
2002
IEEE

71views Software Engineering» more COMPSAC 2002»

Managing Software Quality with Defects

15 years 2 months ago

Managing Software Quality with Defects

Download www.stsc.hill.af.mil

David N. Card

claim paper

Read More »

62

ICSM
2002
IEEE

87views Software Engineering» more ICSM 2002»

Behavioural Concern Modelling for Software Change Tasks

15 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 »

57

KBSE
2002
IEEE

123views Software Engineering» more KBSE 2002»

Assumption Generation for Software Component Verification

15 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 70 / 3159 Last » Next »