8623 search results - page 338 / 1725 » Software engineering for secure systems |
160
click to vote
ISPW
2007
IEEE
16 years 1 months ago
2007
IEEE
Abstract. Software development processes are often not explicitly modelled and sometimes even chaotic. In order to keep track of the involved documents and files, engineers use So...
174
click to vote
CCS
2007
ACM
16 years 29 days ago
2007
ACM
In recent years, web applications have become tremendously popular, and nowadays they are routinely used in security-critical environments, such as medical, financial, and milita...
173
click to vote
ISSTA
2009
ACM
16 years 1 months ago
2009
ACM
The aim of requirements-based testing is to generate test cases from a set of requirements for a given system or piece of software. In this paper we propose a formal semantics for...
193
click to vote
ICSEA
2006
IEEE
16 years 25 days ago
2006
IEEE
In recent years component-based development has in resent years become an established approach. Component-based Software Engineering (CBSE) that deals with the entire lifecycle of ...
170
click to vote
ICSM
2002
IEEE
15 years 11 months ago
2002
IEEE
This paper describes an architecture analysis tool-set supporting the evolutionary improvement of the software architecture of an existing medical imaging system. The toolset has ...