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

Download www.cecs.uci.edu

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

claim paper

Read More »

click to vote

CODES
1998
IEEE

103views Software Engineering» more CODES 1998»

Modeling reactive systems in Java

15 years 7 months ago

Download disi.unitn.it

Claudio Passerone, Roberto Passerone, Claudio Sans...

claim paper

Read More »

100

Voted

ICSE
1999
IEEE-ACM

96views Software Engineering» more ICSE 1999»

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

15 years 7 months ago

Download www.cs.washington.edu

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

claim paper

Read More »

119

click to vote

ASWSD
2006
Springer

248views Software Engineering» more ASWSD 2006»

Towards Model-Driven Development of Hard Real-Time Systems

15 years 7 months ago

Download aswsd.ucsd.edu

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

claim paper

Read More »

click to vote

ICSE
2000
IEEE-ACM

120views Software Engineering» more ICSE 2000»

Bandera: extracting finite-state models from Java source code

15 years 6 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers