Sciweavers

20655 search results - page 292 / 4131

» Exploring Software Systems

166

SIGSOFT
2009
ACM

91views Software Engineering» more SIGSOFT 2009»

Behavioral automata composition for automatic topology independent verification of parameterized systems

16 years 7 months ago

Behavioral automata composition for automatic topology independent verification of parameterized systems

Download goedel.cs.uiowa.edu

Youssef Hanna, Samik Basu, Hridesh Rajan

claim paper

Read More »

132

SIGSOFT
2003
ACM

124views Software Engineering» more SIGSOFT 2003»

Eos: instance-level aspects for integrated system design

16 years 7 months ago

Eos: instance-level aspects for integrated system design

Download www.cs.virginia.edu

Hridesh Rajan, Kevin J. Sullivan

claim paper

Read More »

146

ICSE
2008
IEEE-ACM

114views Software Engineering» more ICSE 2008»

Leveraging analysis-aided design decision knowledge in UML-based development of embedded systems

16 years 6 months ago

Leveraging analysis-aided design decision knowledge in UML-based development of embedded systems

Download www.cs.rug.nl

David Servat, Huáscar Espinoza, Séba...

claim paper

Read More »

109

CISIS
2009
IEEE

94views Software Engineering» more CISIS 2009»

A Multipurpose Clustering Algorithm for Task Partitioning in Multicore Reconfigurable Systems

16 years 1 months ago

A Multipurpose Clustering Algorithm for Task Partitioning in Multicore Reconfigurable Systems

Download ce.et.tudelft.nl

S. Arash Ostadzadeh, Roel Meeuws, Kamana Sigdel, K...

claim paper

Read More »

126

ICSE
2009
IEEE-ACM

84views Software Engineering» more ICSE 2009»

From system specifications to component behavioral models

16 years 1 months ago

From system specifications to component behavioral models

Download www-scf.usc.edu

Ivo Krka, George Edwards, Yuriy Brun, Nenad Medvid...

claim paper

Read More »

« Prev « First page 292 / 4131 Last » Next »