Sciweavers

16725 search results - page 82 / 3345

» Engineering Software Correctness

64

Voted

IWPC
2003
IEEE

103views Software Engineering» more IWPC 2003»

Software Components Capture Using Graph Clustering

15 years 8 months ago

Software Components Capture Using Graph Clustering

Download www.jos.org.cn

Yves Chiricota, Fabien Jourdan, Guy Melanço...

claim paper

Read More »

95

Voted

QSIC
2003
IEEE

117views Software Engineering» more QSIC 2003»

A Preliminary Checklist for Software Cost Management

15 years 8 months ago

A Preliminary Checklist for Software Cost Management

Download folk.uio.no

Magne Jørgensen, Kjetil Moløkken

claim paper

Read More »

115

Voted

FASE
2003
Springer

96views Software Engineering» more FASE 2003»

Model Checking Software via Abstraction of Loop Transitions

15 years 8 months ago

Model Checking Software via Abstraction of Loop Transitions

Download www.cs.cmu.edu

Natasha Sharygina, James C. Browne

claim paper

Read More »

93

Voted

APSEC
2002
IEEE

110views Software Engineering» more APSEC 2002»

A Recommendation System for Software Function Discovery

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

72

Voted

COMPSAC
2002
IEEE

71views Software Engineering» more COMPSAC 2002»

Managing Software Quality with Defects

15 years 7 months ago

Managing Software Quality with Defects

Download www.stsc.hill.af.mil

David N. Card

claim paper

Read More »

« Prev « First page 82 / 3345 Last » Next »