|
FIT 2012 4th International Workshop on Foundations of Interface Technologies Satellite Workshop at ETAPS 2012 Tallinn, Estonia, March 25, 2012 |
Group Picture of FIT 2012
Thanks to all the participants and speakers for making FIT 2012 in Tallinn a successful event!
News
(22.03.2012) The workshop will take place (like all satellite workshops of ETAPS) in the campus of the Tallinn University of Technology (TUT), in the building of the Tallinn School of Economics and Business Administration, Building X of TUT (Akadeemia tee 3). The campus of TUT is 7 kms from the city center, but easily reached by public transport. For details please visit the ETAPS website for information about public transportation, time schedules, etc. The workshop will start at 9:00 AM. (25.01.2012) A list of invited and contributed talks is available, as well as a draft of the programme. (25.01.2012) The early registration for ETAPS and FIT ends on 29th of January! About FIT 2012
The fourth International Workshop on Foundations of Interface Technologies will be held as a Satellite Workshop to ETAPS 2012. 
Workshop Topic
Component-based design is widely considered as a major approach to developing complex systems in a time- and cost-effective way. Component interfaces are central in this approach and summarize the externally visible properties of a component which can be syntactic properties such as operation signatures, but can also be behavioral and extra-functional properties such as quality of service, security and dependability. In recent years, rich interface formalisms have been proposed to specify legal sequences of messages, or resource and timing constraints. The challenge is to achieve compositionality - the key requirement for the effective analysis and prediction of global system behavior based on individual component behaviors.
Workshop Format
This is a one day workshop. About half of the presentations are by invitation and half of the presentations are by submission. Organisers
|
