373 search results - page 36 / 75 » Empowering Software Development Environments by Automatic So... |
119
click to vote
ICSE
1998
IEEE-ACM
15 years 5 months ago
1998
IEEE-ACM
The design, implementation, and testing of virtual environments is complicated by the concurrency and realtime features of these systems. Therefore, the development of formal meth...
113
click to vote
ICSM
2006
IEEE
15 years 7 months ago
2006
IEEE
Programming languages provide various mechanisms to support information hiding. One problem with information hiding, however, is that providing a stable interface behind which to ...
136
click to vote
SAC
2008
ACM
14 years 11 months ago
2008
ACM
Detecting errors in an early phase of software development can help to reduce the cost of software systems. Many research attempts presented a fixed set of rules to help finding e...
121
click to vote
TRUST
2009
Springer
15 years 8 months ago
2009
Springer
Abstract. Virtual Private Networks are a popular mechanism for building complex network infrastructures. Such infrastructures are usually accompanied by strict administrative restr...
ECEASST
2010
14 years 10 months ago
2010
: For years, one of the main reasons to buy commercial software instead of adopting open-source applications was the, supposed, guarantee of quality. Unfortunately that was rarely ...