Search Sciweavers | Sciweavers

15777 search results - page 181 / 3156

» The Reformulation-Optimization Software Engine

138

Voted

AGILEDC
2006
IEEE

134views Software Engineering» more AGILEDC 2006»

Critical Personality Traits in Successful Pair Programming

15 years 10 months ago

Download etd.ohiolink.edu

Joseph Chao, Gulgunes Atli

claim paper

Read More »

138

click to vote

AMAST
2004
Springer

116views Software Engineering» more AMAST 2004»

Abstracting Call-Stacks for Interprocedural Verification of Imperative Programs

15 years 10 months ago

Download www.irisa.fr

Bertrand Jeannet, Wendelin Serwe

claim paper

Read More »

142

Voted

AMAST
2004
Springer

90views Software Engineering» more AMAST 2004»

State Space Reduction for Process Algebra Specifications

15 years 10 months ago

Download www.inrialpes.fr

Hubert Garavel, Wendelin Serwe

claim paper

Read More »

121

click to vote

APSEC
2004
IEEE

63views Software Engineering» more APSEC 2004»

Weaving Multiple Viewpoint Specifications in Goal Oriented Requirements Analysis

15 years 10 months ago

Download kaiya.cs.shinshu-u.ac.jp

Haruhiko Kaiya, Motoshi Saeki

claim paper

Read More »

134

click to vote

ASWEC
2004
IEEE

103views Software Engineering» more ASWEC 2004»

Generating Web Applications from Use Case Scenarios

15 years 10 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers