Search Sciweavers | Sciweavers

15777 search results - page 181 / 3156

» The Reformulation-Optimization Software Engine

click to vote

AGILEDC
2006
IEEE

134views Software Engineering» more AGILEDC 2006»

Critical Personality Traits in Successful Pair Programming

13 years 12 months ago

Download etd.ohiolink.edu

Joseph Chao, Gulgunes Atli

claim paper

Read More »

click to vote

AMAST
2004
Springer

116views Software Engineering» more AMAST 2004»

Abstracting Call-Stacks for Interprocedural Verification of Imperative Programs

13 years 12 months ago

Download www.irisa.fr

Bertrand Jeannet, Wendelin Serwe

claim paper

Read More »

click to vote

AMAST
2004
Springer

90views Software Engineering» more AMAST 2004»

State Space Reduction for Process Algebra Specifications

13 years 12 months ago

Download www.inrialpes.fr

Hubert Garavel, Wendelin Serwe

claim paper

Read More »

click to vote

APSEC
2004
IEEE

63views Software Engineering» more APSEC 2004»

Weaving Multiple Viewpoint Specifications in Goal Oriented Requirements Analysis

13 years 12 months ago

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

Haruhiko Kaiya, Motoshi Saeki

claim paper

Read More »

click to vote

ASWEC
2004
IEEE

103views Software Engineering» more ASWEC 2004»

Generating Web Applications from Use Case Scenarios

13 years 12 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers