Sciweavers

16725 search results - page 576 / 3345
» Engineering Software Correctness
Sort
View
CASCON
2006
90views Education» more  CASCON 2006»
15 years 8 months ago
Introducing performance engineering by means of tools and practical exercises
Many software engineers complete their educa
Alexander Ufimtsev, Trevor Parsons, Lucian M. Patc...
VLSI
2010
Springer
15 years 5 months ago
Towards reverse engineering the brain: Modeling abstractions and simulation frameworks
Jayram Moorkanikara Nageswaran, Micah Richert, Nik...
SIGSOFT
2009
ACM
16 years 7 months ago
Supporting automatic model inconsistency fixing
Modern development environments often involve models with complex consistency relations. Some of the relations can be automatically established through "fixing procedures&quo...
Yingfei Xiong, Zhenjiang Hu, Haiyan Zhao, Hui Song...
SIGSOFT
2001
ACM
16 years 7 months ago
The structure and value of modularity in software design
Kevin J. Sullivan, William G. Griswold, Yuanfang C...
ISPASS
2010
IEEE
16 years 2 months ago
Dynamic program analysis of Microsoft Windows applications
—Software instrumentation is a powerful and flexible technique for analyzing the dynamic behavior of programs. By inserting extra code in an application, it is possible to study...
Alex Skaletsky, Tevi Devor, Nadav Chachmon, Robert...