Search Sciweavers | Sciweavers

15777 search results - page 31 / 3156

» The Reformulation-Optimization Software Engine

113

click to vote

FASE
2003
Springer

96views Software Engineering» more FASE 2003»

Model Checking Software via Abstraction of Loop Transitions

15 years 7 months ago

Download www.cs.cmu.edu

Natasha Sharygina, James C. Browne

claim paper

Read More »

click to vote

APSEC
2002
IEEE

110views Software Engineering» more APSEC 2002»

A Recommendation System for Software Function Discovery

15 years 7 months ago

Download www.isr.uci.edu

Naoki Ohsugi, Akito Monden, Ken-ichi Matsumoto

claim paper

Read More »

click to vote

COMPSAC
2002
IEEE

71views Software Engineering» more COMPSAC 2002»

Managing Software Quality with Defects

15 years 7 months ago

Download www.stsc.hill.af.mil

David N. Card

claim paper

Read More »

Voted

ICSM
2002
IEEE

87views Software Engineering» more ICSM 2002»

Behavioural Concern Modelling for Software Change Tasks

15 years 7 months ago

Download www.cs.ubc.ca

Albert Lai, Gail C. Murphy

claim paper

Read More »

Voted

KBSE
2002
IEEE

123views Software Engineering» more KBSE 2002»

Assumption Generation for Software Component Verification

15 years 7 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers