Ch09lect1 ud
Software Testing Basics.
Z specification
Ch4
Software Process in Software Engineering SE3
Larflast
Lect6-An introduction to ontologies and ontology development
OpenHPI 4.2 - Ontologies in Computer Science
Covering (Rules-based) Algorithm
Introduction to OpenSemcq
Jazoon12: Tracing Requirements with the Eclipse Requirements Modeling Framework