Search Sciweavers | Sciweavers

15885 search results - page 506 / 3177

» The Modest Software Engineer

127

click to vote

KBSE
2008
IEEE

72views Software Engineering» more KBSE 2008»

Tool Support for Parametric Analysis of Large Software Simulation Systems

16 years 1 months ago

Download ti.arc.nasa.gov

Johann Schumann, Karen Gundy-Burlet, Corina S. Pas...

claim paper

Read More »

130

click to vote

SCAM
2008
IEEE

85views Software Engineering» more SCAM 2008»

DTS - A Software Defects Testing System

16 years 1 months ago

Download www.dcs.kcl.ac.uk

Zhao Hong Yang, Yun Zhan Gong, Xiao Qing, Wang Ya ...

claim paper

Read More »

118

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 19 days ago

Download www.icsp-conferences.org

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

claim paper

Read More »

146

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 19 days ago

Download www.fi.muni.cz

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

claim paper

Read More »

111

click to vote

ICSE
2010
IEEE-ACM

102views Software Engineering» more ICSE 2010»

Using symbolic evaluation to understand behavior in configurable software systems

15 years 12 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers