Lectures

Integration techniques

Please login to see the attached materials for integration technics topic!

Lecture materials:

1. Integration technologies

 A. Levy: Answering Queries Using Views (see attached paper)

2. Semantic web 

 Suggested SW book: http://people.mpi-inf.mpg.de/~dstepano/KRSW/literature/SWTechnologies.pdf

Chapters: 1, 2, 4, 7, 8

Suggested ontology/Protege tutorial: http://mowl-power.cs.man.ac.uk/protegeowltutorial/resources/ProtegeOWLTutorialP4_v1_3.pdf

 


Verification techniques

  • 08: Verification Techniques in the Software Development Lifecycle
  • 09: Static Verification Techniques
  • 10: Unit Testing and Mocking
  • 11: Test Design Techniques
  • 12: Test Automation
© 2010-2020 BME MIT