|
Verification & Validation Introduction to the field of verification and validation for the newcomers. Overall description The purpose of this paper is to document the research conducted in the field of verification and validation. The research was performed during the course "Verification and Validation" at Blekinge Institute of Technology in Sweden. Problem description This paper is divided into three parts. The first is a summary of the report "Safety-Critical Systems, Formal Methods and Standards" by Jonathan Bowen and Victoria Stavridou. We present what we see as the main points from the report. The second part is a critical review of the report from our own view on the subject. The last part contains an evaluation from Fenton, Kitchenham, Tichy and Hamlet's point of view. File: The Requirement engenering report (pdf) |
| Java and AspectJ | |
 |
Lists and Huffman coding Example of Linked lists and Huffman coding. |
|
Aspect Oriented Programming Introduction to Aspect Oriented Programming. |
|
Aspect Tetris The game Tetris made in AspectJ. |
| Artificial Intelligence | |
|
Genetic Algorithms Optimizing Genetic Algorithms for time critical problems. |
| Requirement and V&V | |
|
Requirement engenering How to handle requirements when developing market driven products? |
|
Inspection vs Testing Which technique is best? |
|
Verification & Validation Introduction to the field of verification and validation for the newcomers. |
| Computer Science | |
|
RAID An overview of how RAID works. |
|
Human Computer Interaction What good is the technology if it too complex to use? |