An ontology-based approach to software comprehension -reasoning about security concerns

Proceedings - International Computer Software and Applications Conference

Volumn 1, Issue , 2006, Pages 333-340

  Yonggang, Zhang ^a   Rilling, Juergen ^a   Haarslev, Volker ^a  

^a Gina Cody School of Engineering and Computer Science   (Canada)

Author keywords

[No Author keywords available]

Indexed keywords

CODES (SYMBOLS); ONTOLOGY; QUERY LANGUAGES; SECURITY OF DATA;

HUMAN CODE REVIEWS; SOFTWARE SECURITY;

COMPUTER SOFTWARE;

EID: 34247486166     PISSN: 07303157     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/COMPSAC.2006.27     Document Type: Conference Paper

References (20)

1. B. Shneiderman, "Software Psychology: Human Factors in Computer and Information Systems". Winthrop Publishers Inc. 1980.
2. R. Brooks, "Towards a theory of the comprehension of computer programs". International Journal of Man-Machine Studies, 18:543-554, 1983.
3. A. von Mayrhauser and A. M. Vans, "Program comprehension during software maintenance and evolution". IEEE Computer, pp 44-55, Aug. 1995.
4. S. Letovsky, "Cognitive processes in program comprehension". In Empirical Studies of Programmers, pp58-79, Ablex Publishing Corp. 1986.
5. M. Weiser, "Program Slicing", IEEE Transactions onSoftware Engineering, 10(4):352-357, June 1984.
6. D. Jin and J. R. Cordy. "A Service Sharing Approach to Integrating Program Comprehension Tools". In Proceedings of the European Software Engineering Conference, Helsinki, Finland, 2003.
7. M. Shaw and D. Garlan, "Software Architecture: Perspectives on an Emerging Discipline", Prentice Hall Publisher, 1996.
8. J. Ebert, B. Kullbach, and A. Winter. "GraX - An Interchange Format for Reengineering Tools". In Proc. Of the 6th Working Conference on Reverse Engineering, 1999.
9. P. N. Johnson-Laird. "Mental models: towards a cognitive science of language, inference, and consciousness". Cambridge, Mass. : Harvard University Press, 1983.
10. T. R. Gruber. "Toward principles for the design of ontologies used for knowledge sharing". Presented at the Padua workshop on Formal Ontology, 1993.
11. V. Haarslev and R. Möller, "Description of the RACER System and its Applications", In proceedings of the International Workshop on Description Logics, Stanford, USA, 2001.
12. F. Baader et al, "The Description Logic Handbook", Cambridge University Press, 2003.
13. R. Möller and V. Haarslev, "Description Logics for the Semantic Web: Racer as a Basis for Building Agent Systems", In: KI - Zeitschrift für Künstliche Intelligenz (special issue on Semantic Web), No.3, July 2003.
14. D. Evans and D. Larochelle, "Improving Security Using Extensible Lightweight Static Analysis", IEEE Software, Vol 19, No. 1, Jan/Feb 2002.
15. U. Lindqvist and E. Jonsson, "A Map of Security Risks Associated with Using COTS", IEEE Computer, Vol 31, Issue 6, June 1998.
16. B. Chess and G. McGraw, "Static Analysis for Security". IEEE Security & Privacy, Vol2, No. 6, Nov 2004.
17. P. Devanbu, R. J. Brachman, P. G. Selfridge, and B. W. Ballard, "LaSSIE: a Knowledge-based Software Information System", Communications of the ACM, 34(5):36-49, 1991.
18. C. Welty, "Augmenting Abstract Syntax Trees for Program Understanding", Proceedings of The 1997 International Conference on Automated Software Engineering. IEEE Computer Society Press. P. 126-133. November, 1997.
19. V. Haarslev, R. Möller, and M. Wessel, "Querying the Semantic Web with Racer + nRQL", In Proc. of the KI-2004 International Workshop on Applications of Description Logics (ADL'04), Ulm, Germany, September 24, 2004.
20. OWL Web Ontology Language Reference, W3C Recommendation, 10 February 2004, URL: http://www.w3.org/TR/owl-ref/