286 search results - page 13 / 58 » Crypto Engineering: Some History and Some Case Studies |
COMPSAC
2006
IEEE
14 years 1 months ago
2006
IEEE
This paper empirically explores the correlations between a suite of structural stability metrics for object-oriented designs and post-release defect density. The investigated stab...
SIGSOFT
1998
ACM
13 years 12 months ago
1998
ACM
CT This paper describes experiences from two organizations that have used the Riskit method for risk management in their software projects. This paper presents the Riskit method, t...
KES
2009
Springer
14 years 2 months ago
2009
Springer
In this paper we present a new methodology for the Domain modeling based on Engineering Standards. We discuss some benefits of standards as guidelines for a Knowledge Based Domain ...
IWFM
1998
13 years 9 months ago
1998
In this paper, we present a proof that the bitonic sort is sound using PVS, a powerful specification and verification environment. First, we briefly introduce this well-known para...
SEKE
2004
Springer
14 years 29 days ago
2004
Springer
This paper presents the Agent Factory Development Methodology, an Agent-Oriented Software Engineering (AOSE) methodology that employs a synthesis of the Unified Modelling Languag...