6197 search results - page 438 / 1240 » Sandbridge Software Tools |
170
Voted
COMPSAC
2003
IEEE
16 years 5 days ago
2003
IEEE
This paper explores how to characterise security properties of software components, and how to reason about their suitability for a trustworthy compositional contract. Our framewo...
169
click to vote
ADAEUROPE
2010
Springer
15 years 11 months ago
2010
Springer
The technology for building dependable computing systems has advanced dramatically. Nevertheless, there is still no complete solution to building software for critical systems in w...
171
Voted
ICSE
2008
IEEE-ACM
16 years 7 months ago
2008
IEEE-ACM
Many software engineering projects use open source software tools or components. The project team's active participation in the open source community may be necessary for the...
189
click to vote
KBSE
2008
IEEE
16 years 1 months ago
2008
IEEE
Software engineering is a complex sociotechnical activity, due to the need for discussing and sharing knowledge among team members. This has raised the need for effective ways of ...
241
Voted
SEAFOOD
2007
Springer
16 years 29 days ago
2007
Springer
Abstract. As the volumes of software development increase and the cost reduction is required, most Japanese IT companies are interested in offshore software outsourcing. Although a...