77 search results - page 4 / 16 » New Software Development Paradigms and Possible Adoption for... |
KBSE
2005
IEEE
15 years 3 months ago
2005
IEEE
This paper presents a formal approach to threat-driven modeling and verification of secure software using aspect-oriented Petri nets. Based on the behavior model of intended funct...
FSE
2004
Springer
15 years 1 months ago
2004
Springer
ded abstract of this paper appears in Fast Software Encryption, FSE 2004, Lecture Notes in Computer Science, W. Meier and B. Roy editors, Springer-Verlag, 2004. This is the full ve...
137
click to vote
JUCS
2010
14 years 4 months ago
2010
: The idea of developing software through systematic development processes to improve software quality is not new. Nevertheless, there are still many information systems such as th...
ACSAC
2007
IEEE
15 years 4 months ago
2007
IEEE
The growth of the applications and services market for mobile devices is currently slowed down by the lack of a flexible and reliable security infrastructure. The development and...
MBUI
2004
14 years 11 months ago
2004
In this paper, we discuss the issues preventing adoption of analysis, design and modeling (AMD) software development tools. We argue that AMD tools are experiencing the same probl...