Search Sciweavers | Sciweavers

15784 search results - page 544 / 3157

» Mega Software Engineering

138

click to vote

CODES
1998
IEEE

103views Software Engineering» more CODES 1998»

Modeling reactive systems in Java

15 years 11 months ago

Download disi.unitn.it

Claudio Passerone, Roberto Passerone, Claudio Sans...

claim paper

Read More »

141

click to vote

ICSE
1999
IEEE-ACM

96views Software Engineering» more ICSE 1999»

Decoupling Synchronization from Local Control for Efficient Symbolic Model Checking of Statecharts

15 years 11 months ago

Download www.cs.washington.edu

William Chan, Richard J. Anderson, Paul Beame, Dav...

claim paper

Read More »

142

click to vote

ICSE
1999
IEEE-ACM

112views Software Engineering» more ICSE 1999»

N Degrees of Separation: Multi-Dimensional Separation of Concerns

15 years 11 months ago

Download www.cs.wustl.edu

Peri L. Tarr, Harold Ossher, William H. Harrison, ...

claim paper

Read More »

156

click to vote

EUROMICRO
1998
IEEE

117views Software Engineering» more EUROMICRO 1998»

Managing Processes with Network Objects and Their Translation

15 years 11 months ago

Download www.csi.ucd.ie

Dmitry Arapov, Victor Ivannikov, Alexey Kalinov, A...

claim paper

Read More »

151

click to vote

ICSM
1998
IEEE

113views Software Engineering» more ICSM 1998»

Clone Detection Using Abstract Syntax Trees

15 years 11 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers