7027 search results - page 330 / 1406 » Software process: a roadmap |
154
click to vote
IIE
2007
15 years 6 months ago
2007
Abstract. This article deals with the use of Open Source Software (OSS) at the primary and secondary level of education in Slovenia. The challenges and advantages of using OSS in e...
175
click to vote
ASPDAC
2012
ACM
14 years 2 months ago
2012
ACM
—Host-compiled simulation has been widely adopted as a practical approach for fast and high-level evaluation of complex software-intensive systems at early stages of the design p...
186
click to vote
CADE
2004
Springer
16 years 7 months ago
2004
Springer
Abstract. We describe a system for the automated certification of safety properties of NASA software. The system uses Hoare-style program verification technology to generate proof ...
198
click to vote
HICSS
2009
IEEE
16 years 1 months ago
2009
IEEE
With the growing economic importance of open source, we need to improve our understanding of how open source software development processes work. The analysis of code contribution...
177
click to vote
ICNS
2009
IEEE
16 years 1 months ago
2009
IEEE
Packet Tracer is a comprehensive instructional software application for teaching skills and concepts associated with computer networking. In addition to a wide range of simulation...