8623 search results - page 295 / 1725 » Software engineering for secure systems |
162
click to vote
SAFECOMP
1998
Springer
15 years 10 months ago
1998
Springer
A method is described for the analysis and the verification of safety in software systems. The method offers a formal notation for describing the software structure, the means for ...
158
Voted
SOFTVIS
2003
ACM
15 years 12 months ago
2003
ACM
The paper presents a new 3D representation for visualizing large software systems. The origins of this representation can be directly traced to the SeeSoft metaphor. This work ext...
168
click to vote
KBSE
2010
IEEE
15 years 5 months ago
2010
IEEE
In this paper, we present a prototype tool that supports the systematic development of software architectures driven by quality requirements using architectural tactics. The tool ...
197
click to vote
ICSEA
2009
IEEE
15 years 4 months ago
2009
IEEE
-- Software is increasing in size and complexity. As a direct implication, organizations nd it more difficult to achieve the desired product quality. Process improvement models are...
166
click to vote
OOPSLA
2005
Springer
16 years 6 days ago
2005
Springer
We describe CodeQuest, a system for querying source code. It combines two previous proposals, namely the use of logic programming and database system. Experiments (on projects ran...