Source Code and Formal Analysis: A Hermeneutic Reading of Passage.
Ea Christina WillumsenPublished in: DiGRA/FDG (2016)
Keyphrases
- formal analysis
- source code
- program comprehension
- software systems
- open source
- open source software
- software maintenance
- software projects
- software evolution
- question answering
- agent model
- formal methods
- static analysis
- document retrieval
- software engineers
- open source projects
- high level
- plagiarism detection
- program understanding
- information systems
- software repositories
- relational databases
- legacy systems
- real world
- maintenance activities
- automated tools
- free software
- source files