Search Sciweavers | Sciweavers

15777 search results - page 31 / 3156

» The Reformulation-Optimization Software Engine

156

click to vote

FASE
2003
Springer

96views Software Engineering» more FASE 2003»

Model Checking Software via Abstraction of Loop Transitions

15 years 11 months ago

Download www.cs.cmu.edu

Natasha Sharygina, James C. Browne

claim paper

Read More »

127

click to vote

APSEC
2002
IEEE

110views Software Engineering» more APSEC 2002»

A Recommendation System for Software Function Discovery

15 years 11 months ago

Download www.isr.uci.edu

Naoki Ohsugi, Akito Monden, Ken-ichi Matsumoto

claim paper

Read More »

104

click to vote

COMPSAC
2002
IEEE

71views Software Engineering» more COMPSAC 2002»

Managing Software Quality with Defects

15 years 11 months ago

Download www.stsc.hill.af.mil

David N. Card

claim paper

Read More »

133

Voted

ICSM
2002
IEEE

87views Software Engineering» more ICSM 2002»

Behavioural Concern Modelling for Software Change Tasks

15 years 11 months ago

Download www.cs.ubc.ca

Albert Lai, Gail C. Murphy

claim paper

Read More »

124

Voted

KBSE
2002
IEEE

123views Software Engineering» more KBSE 2002»

Assumption Generation for Software Component Verification

15 years 11 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers