Search Sciweavers | Sciweavers

15777 search results - page 466 / 3156

» The Reformulation-Optimization Software Engine

127

click to vote

ISPW
2005
IEEE

57views Software Engineering» more ISPW 2005»

Translation of Nets Within Nets in Cross-organizational Software Process Modeling

16 years 1 months ago

Download www.icsp-conferences.org

JiDong Ge, Haiyang Hu, Ping Lu, Hao Hu, Jian L&uum...

claim paper

Read More »

156

click to vote

KBSE
2005
IEEE

95views Software Engineering» more KBSE 2005»

Application of design for verification with concurrency controllers to air traffic control software

16 years 1 months ago

Download www.fi.muni.cz

Aysu Betin-Can, Tevfik Bultan, Mikael Lindvall, Be...

claim paper

Read More »

118

click to vote

ICSE
2010
IEEE-ACM

102views Software Engineering» more ICSE 2010»

Using symbolic evaluation to understand behavior in configurable software systems

16 years 12 days ago

Download www.cs.umd.edu

Elnatan Reisner, Charles Song, Kin-Keung Ma, Jeffr...

claim paper

Read More »

143

click to vote

LSO
2001
Springer

98views Software Engineering» more LSO 2001»

Supporting Knowledge Management in University Software R&D Groups

16 years 1 days ago

Download www.inf.ufsc.br

Christiane Gresse von Wangenheim, Daniel Lichtnow,...

claim paper

Read More »

128

click to vote

CODES
2000
IEEE

61views Software Engineering» more CODES 2000»

Software performance estimation strategies in a system-level design tool

16 years 1 days ago

Download myslu.stlawu.edu

À ¹Ð Ú Ð Ó×Ø Ò Ô Ö ÓÖÑ Ò ×Ø Ñ Ø ÓÒ¸ ÓÙÔÐ Û Ø ×Ø Ö Û Ö »×Ó ØÛ Ö Ó¹× ÑÙÐ Ø ÓÒ Ö Ñ ÛÓÖ ¸ × Ý Ò Ð Ö ØÓ ×Ø Ñ ×Ý×Ø Ñ...

Jwahar R. Bammi, Wido Kruijtzer, Luciano Lavagno, ...

claim paper

Read More »

« Prev « First page 466 / 3156 Last » Next »

Sciweavers

Explore & Download

Productivity Tools

Sciweavers