Search Sciweavers | Sciweavers

5407 search results - page 74 / 1082

» The Software Engineering Global Model

click to vote

CODES
1999
IEEE

95views Software Engineering» more CODES 1999»

Designing digital video systems: modeling and scheduling

15 years 10 months ago

Download www.cecs.uci.edu

H. J. H. N. Kenter, Claudio Passerone, W. J. M. Sm...

claim paper

Read More »

116

click to vote

CODES
1998
IEEE

103views Software Engineering» more CODES 1998»

Modeling reactive systems in Java

15 years 10 months ago

Download disi.unitn.it

Claudio Passerone, Roberto Passerone, Claudio Sans...

claim paper

Read More »

128

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 10 months ago

Download www.cs.washington.edu

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

claim paper

Read More »

155

click to vote

ASWSD
2006
Springer

248views Software Engineering» more ASWSD 2006»

Towards Model-Driven Development of Hard Real-Time Systems

15 years 10 months ago

Download aswsd.ucsd.edu

Christian Ferdinand, Reinhold Heckmann, Hans-J&oum...

claim paper

Read More »

136

click to vote

ICSE
2000
IEEE-ACM

120views Software Engineering» more ICSE 2000»

Bandera: extracting finite-state models from Java source code

15 years 9 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers