Search Sciweavers | Sciweavers

15777 search results - page 31 / 3156

» The Reformulation-Optimization Software Engine

click to vote

FASE
2003
Springer

96views Software Engineering» more FASE 2003»

Model Checking Software via Abstraction of Loop Transitions

14 years 1 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

14 years 24 days 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

14 years 23 days ago

Download www.stsc.hill.af.mil

David N. Card

claim paper

Read More »

click to vote

ICSM
2002
IEEE

87views Software Engineering» more ICSM 2002»

Behavioural Concern Modelling for Software Change Tasks

14 years 22 days ago

Download www.cs.ubc.ca

Albert Lai, Gail C. Murphy

claim paper

Read More »

click to vote

KBSE
2002
IEEE

123views Software Engineering» more KBSE 2002»

Assumption Generation for Software Component Verification

14 years 22 days ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers