1099 search results - page 19 / 220 » A tool for assisting the understanding and formal developmen... |
KBSE
1997
IEEE
13 years 12 months ago
1997
IEEE
Abstract: This paper describes some tools to support formal methods, and conversely some formal methods for developing such tools. We focus on distributed cooperative proving over ...
HICSS
2002
IEEE
14 years 19 days ago
2002
IEEE
Teamwork is always challenging. Adding the complication of problem solving and software design only amplifies this challenge. The challenges of developing software as a team can b...
IWPC
2008
IEEE
14 years 2 months ago
2008
IEEE
Many program comprehension tools use graphs to visualize and analyze source code. The main issue is that existing approaches create graphs overloaded with too much information. Gr...
ESE
1998
13 years 7 months ago
1998
Software inspection is an e ective method of defect detection. Recent research activity has considered the development of tool support to further increase the e ciency and e ectiv...
ASWSD
2004
Springer
14 years 1 months ago
2004
Springer
Embedded software development for automotive applications is widely considered as a significant source of innovation and improvements in cars. However, software development proces...