Integration and Verification Techniques

Course coordinator

A munkatárs fényképe
associate professor
Szoba: IE423
Tel.:
+36 1 463-4394
Email: strausz (*) mit * bme * hu

Lecturers

A munkatárs fényképe
associate professor
Szoba: IE423
Tel.:
+36 1 463-4394
Email: strausz (*) mit * bme * hu

Announcements

Syndicate content

Introduction

The subject aims to provide an overview of a variety of information integration systems, introduces the development and verification technics of such systems. We discuss the most common integration approches of distributed data, documents and other type of resources available on the Web. The subject deals with the semantic heterogeneity and structural problems, unveil the necessary technologies. We analyze in this framework the approaches and technologies of the Semantic Web concept.

The subject continues with the discussion of the verification processes and the checking possibilities in the typical development phases. Among the several verification tasks we focus on the static analysis of the specifications and plans for dealing with static controls, the dynamic verification of the components, and with the tests of integration. The subject ends with the overview of the system testing methods.

© 2010-2018 BME MIT