76 search results - page 4 / 16 » re 2005 |
ICSE
2005
IEEE-ACM
15 years 9 months ago
2005
IEEE-ACM
In this paper, I make a case for integration of requirements engineering (RE) with clinical disciplines. To back my case, I look at two examples that employ a clinical RE approach...
CADE
2005
Springer
14 years 11 months ago
2005
Springer
We present the CoRe calculus for contextual reasoning which supports reasoning directly at the assertion level, where proof steps are justified in terms of applications of defini...
NDSS
2005
IEEE
15 years 2 months ago
2005
IEEE
In 1998, Blaze, Bleumer, and Strauss proposed an application called atomic proxy re-encryption, in which a semi-trusted proxy converts a ciphertext for Alice into a ciphertext for...
SEW
2005
IEEE
15 years 2 months ago
2005
IEEE
The VizzAnalyzer is a framework for analyses and visualizations of software. It has been developed over years, to a great deal by students and PhD students. In between it has been...
CAISE
2005
Springer
15 years 2 months ago
2005
Springer
Researchers and professionals know the importance of the documentation for the efficient maintenance of legacy software. Unfortunately, many legacy systems lack this important arti...