Search Sciweavers | Sciweavers

15860 search results - page 530 / 3172

» On agent-based software engineering

147

click to vote

ICSE
2005
IEEE-ACM

139views Software Engineering» more ICSE 2005»

A case study on the automated verification of groupware protocols

16 years 7 months ago

Download fmt.isti.cnr.it

Maurice H. ter Beek, Mieke Massink, Diego Latella,...

claim paper

Read More »

113

click to vote

ICSE
2005
IEEE-ACM

133views Software Engineering» more ICSE 2005»

DynAlloy: upgrading alloy with actions

16 years 7 months ago

Download www.fceia.unr.edu.ar

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

claim paper

Read More »

115

click to vote

ICSE
2005
IEEE-ACM

136views Software Engineering» more ICSE 2005»

One evaluation of model-based testing and its automation

16 years 7 months ago

Download www.inf.ethz.ch

Alexander Pretschner, Wolfgang Prenninger, Stefan ...

claim paper

Read More »

100

click to vote

ICSE
2007
IEEE-ACM

104views Software Engineering» more ICSE 2007»

Matching and Merging of Statecharts Specifications

16 years 7 months ago

Download www.cs.toronto.edu

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

claim paper

Read More »

129

click to vote

ICSE
2007
IEEE-ACM

96views Software Engineering» more ICSE 2007»

SoQueT: Query-Based Documentation of Crosscutting Concerns

16 years 7 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers