Laboratory

Integraton techniques

Excercises (document attached in the list at the bottom of this page)

Databases used at the laboratory events:

RDF database of Museum of Fine Art in Budapest

Integrated RDF database of Museum of Fine Art in Budapest and DBpedia (narrowed content)

Ontology of Museum of Fine Art in Budapest and DBpedia (narrowed content)

Verification techniques

  • LAB4 (9 April): Version Control Systems, Build Automation and Continuous Integration
    • Material: see attached file
    • Exercises: HTML

 

  • LAB5 (23 April): Static Verification Techniques
    • Material: see the corresponding lecture (09: Static Verification Techniques)
    • Exercises: HTML

 

  • LAB6 (7 May): Dynamic Verification Techniques
    • Material: see the corresponding lectures (Unit Testing, Test Design)
    • Exercises: HTML
© 2010-2024 BME MIT