2236 search results - page 360 / 448 » Secure Software Design in Practice |
ICECCS
2006
IEEE
14 years 5 months ago
2006
IEEE
Being a successful technique in software practice, Object Orientation (OO) is a hot topic in academic research fields. Among many formalisms, rCOS, a refinement calculus of obje...
SEFM
2006
IEEE
14 years 5 months ago
2006
IEEE
The key to many approaches to reason about pointerbased data structures is the availability of a decision procedure to automatically discharge proof obligations in a theory encomp...
LSO
2004
Springer
14 years 4 months ago
2004
Springer
Experience-based Information Systems (EbIS) enable organizations to capture, store and reuse knowledge and experiences for continuous competence development. However, there are sev...
ICSM
2003
IEEE
14 years 4 months ago
2003
IEEE
The use of product lines is recognized as beneficial in promoting and structuring both component and architecture reuse throughout an organization. While the business practices of...
JCDL
2003
ACM
14 years 4 months ago
2003
ACM
Although the OAI-PMH specification is focused on making it straightforward for data providers to expose metadata, practice shows that in certain significant situations deployment ...