8623 search results - page 264 / 1725 » Software engineering for secure systems |
177
click to vote
HICSS
2009
IEEE
16 years 1 months ago
2009
IEEE
The use of formal methods has long been advocated in the development of secure systems. Yet, methods for deriving design from requirements that guarantee retention of the intended...
171
Voted
ATAL
2008
Springer
15 years 8 months ago
2008
Springer
Software systems are subject to increasing complexity and in need of efficient structuring. Multi-agent system research has come up with approaches for an organization-oriented co...
192
Voted
ISESE
2006
IEEE
16 years 21 days ago
2006
IEEE
We consider empirical evaluation of the availability of the deployed software. Evaluation of real systems is more realistic, more accurate, and provides higher level of confidenc...
162
click to vote
EMSOFT
2004
Springer
16 years 2 days ago
2004
Springer
Until recently, in the automotive industry, reuse of software has entirely been a typical activity of suppliers. They try to reduce the increasing software development costs that ...
163
click to vote
ICSM
2007
IEEE
16 years 1 months ago
2007
IEEE
This paper explores how software developers debug integrated systems, where they have little or no access to the source code of the third-party software the system is composed of....