| Keyword(2002-2006) | Frequency |
| software verification | 106 |
| software design techniques | 88 |
| language types | 63 |
| software development process management | 48 |
| software testing and debugging | 46 |
| software architectures | 30 |
| object oriented development | 26 |
| object oriented frameworks | 26 |
| human factors | 21 |
| software development methods | 19 |
| software configuration management and version control systems | 16 |
| software reliability | 16 |
| domain specific languages | 13 |
| model checking | 13 |
| object oriented languages | 13 |
| software creation and management | 13 |
| software development techniques | 13 |
| software libraries and repositories | 13 |
| software reverse engineering | 13 |
| process validation | 13 |
| program verification | 13 |
| verification by model checking | 13 |
| application | 12 |
| empirical software validation | 12 |
| formal methods | 12 |
| language features | 12 |
| program analysis | 12 |
| patterns | 11 |
| traceability | 11 |
| development frameworks and environments | 10 |
| logic and verification | 10 |
| organizing principles for web applications | 10 |
| program semantics | 10 |
| reliability | 10 |
| classes and objects | 9 |
| distributed systems organizing principles | 9 |
| integrated and visual development environments | 9 |
| model development and analysis | 9 |
| requirements analysis | 9 |
| software maintenance | 9 |
| client-server architectures | 8 |
| model verification and validation | 8 |
| modeling and modularity | 8 |
| modules / packages | 8 |
| state systems | 8 |
| web applications | 8 |
| web services | 8 |
| walkthroughs | 8 |
| rapid application development | 7 |
| error handling and recovery | 7 |
