Search Sciweavers | Sciweavers

15777 search results - page 477 / 3156

» The Reformulation-Optimization Software Engine

click to vote

ICSE
2005
IEEE-ACM

133views Software Engineering» more ICSE 2005»

DynAlloy: upgrading alloy with actions

16 years 4 months ago

Download www.fceia.unr.edu.ar

Carlos López Pombo, Juan P. Galeotti, Marce...

claim paper

Read More »

Voted

ICSE
2005
IEEE-ACM

136views Software Engineering» more ICSE 2005»

One evaluation of model-based testing and its automation

16 years 4 months ago

Download www.inf.ethz.ch

Alexander Pretschner, Wolfgang Prenninger, Stefan ...

claim paper

Read More »

click to vote

ICSE
2007
IEEE-ACM

104views Software Engineering» more ICSE 2007»

Matching and Merging of Statecharts Specifications

16 years 4 months ago

Download www.cs.toronto.edu

Shiva Nejati, Mehrdad Sabetzadeh, Marsha Chechik, ...

claim paper

Read More »

click to vote

ICSE
2007
IEEE-ACM

96views Software Engineering» more ICSE 2007»

SoQueT: Query-Based Documentation of Crosscutting Concerns

16 years 4 months ago

Download swerl.tudelft.nl

Marius Marin, Leon Moonen, Arie van Deursen

claim paper

Read More »

click to vote

ICSE
2008
IEEE-ACM

117views Software Engineering» more ICSE 2008»

The design navigator: charting java programs

16 years 4 months ago

Download www.eden-study.org

The Design Navigator is a semi-automated design mining tool

Epameinondas Gasparis, Amnon H. Eden, Jonathan Nic...

claim paper

Read More »

« Prev « First page 477 / 3156 Last » Next »

Sciweavers

Explore & Download

Productivity Tools

Sciweavers