Computer Science
Home

Computer Science Colloquium

Im Rahmen des Informatik-Kolloquiums, das von den Instituten des Fachbereichs Informatik, der Österreichischen Gesellschaft für Informatik (ÖGI), der Arbeitsgemeinschaft für Datenverarbeitung (ADV) sowie der Österreichischen Computergesellschaft (OCG) abgehalten wird, spricht

Dr. Jan Kofron

Forschungszentrum Informatik, Universität Karlsruhe, Department of Software Engineering, Charles University Prague

über das Thema:

TBP: Code-Oriented Component Behavior Specification

Zeit: Fri 12.12.2008, 13:15, 60 Minuten
Ort: HS4

Zusammenfassung

Assuring components compatibility plays a crucial role in developing a reliable component system; especially, when the components come from different vendors worldwide. In order to do so, an appropriate formalism for behavior specification of components is necessary. In my talk, I will present the formalism of Threaded Behavior Protocols (TBP), which allows for both analysis of correctness and substitutability checking and reasoning about conformance of a specification and the implementation. The formalism was designed to be simple enough and to directly support constructs known from implementation languages (e.g., method calls, threads, synchronized blocks), to be easy used by a non-professional.

Vortragender

Dr. Jan Kofron is an assistant professor at the Charles University in Prague. He is currently on leave at the Forschungszentrum Informatik in Karlsruhe. Kofron's research interests include behavior modeling of software components, model checking, and reverse engineering of behavior aspects of software components. Currently, he is involved in the Q-ImPrESS project (Quality Impact Prediction for Evolving Service-Oriented Software), which is an European project involving 8 partners both from academia and industry focusing on modeling and prediction of quality aspects of service-oriented software architectures.
Einladender: o. Univ.-Prof. Dr. Hanspeter Mössenböck

Liste aller Vorträge
Last modified on Thursday, 01-Jan-1970 01:00:00 CET