[FACS03 CfP - the Deadline is Monday July 14th, 2003]
[Apologies if you receive this more than once]
Call for Papers
Workshop on Formal Aspects of Component Software
(FACS03)
Satellite Workshop of FME 2003 Symposium
8-9 September 2003, Pisa, Italy
http://www.iist.unu.edu/facs03
Background and Objectives
==========================
It is an old idea to use and reuse components to build and to maintain
software systems. However, it is today's growing complexity of these
systems that forces us to turn this idea into practice. So far, there is no
agreement on standard technologies for designing and creating components,
nor on methods of composing them. Finding appropriate formal approaches for
describing components, the architectures for composing them, and the
methods for component-based software construction, is correspondingly
challenging.
The objective of this workshop is to bring together researchers in the
areas of software engineering and formal methods to clarify and discuss the
issues in component-based software development.
The topics of the workshop include, but are not limited to:
=========================================================
-- Models of components and their interaction.
-- Design and verification methods for component software.
-- Representation of functional and non-functional
attributes of components.
-- Requirements analysis for component software.
-- Composing components
-- Component software architectures and their
description languages.
-- Relations of component software to object software and UML.
-- Deployment of components
-- Testing components (off the shelf).
-- Experience with components (case studies)
-- Positions and views on component-based software
Invited Speakers
================
Manfred Broy (Technical University of Munich, Germany)
He Jifeng (UNU/IIST, Macau)
Tom Maibaum (King's College, London University, UK)
Organisation ============= The workshop is organised by UNU/IIST, the
International Institute for Software Technology of the United Nations
University.
Organising Committee
=====================
Bernhard K. Aichernig , Dang Van Hung , Chris George ,
He Jifeng (Chair), Zhiming Liu
Technical Support
=================
Kitty Chan
Sponsors
========
UNU/IIST, CoLogNet, FME
Program Committee
==================
Bernhard K. Aichernig, UNU/IIST, Macau
Ralph Back, Abo Akademi University and Turku Centre, Finland
Luis S. Barbosa, Univ. of Minho, Portugal
Manfred Broy, Technical University of Munich, Germany
Dang Van Hung, UNU/IIST, Macau
Jóse Fiadeiro, Leicester, UK
Mathai Joseph, Tata Research Development and Design Center, Pune, India
Kung-Kiu Lau, Manchester, UK
Zhiming Liu, UNU/IIST, Macau (Chair)
Ugo Montanari, Univ. of Pisa, Italy
Submission and Publication
==========================
Prospective participants are invited to submit their original papers or the
extended abstracts, not exceeding 10 pages with font size 11pt and single
space format. Submissions should be electronic, in PostScript (PS) or
Portable Document Format (PDF) and sent to:
[log in to unmask]
The review of the submissions will be organised by the program committee.
The preliminary proceedings will be published as a UNU/IIST technical
report and made available at the workshop. It is intended that the good
papers will be selected and published as an edited book in the series
Component-based Software Development by World Scientific after the
workshop.
Important Dates
===============
Deadline for submission: 14 July 2003
Acceptance notification: 31 July 2003
Final version ready: 25 August 2003
Workshop dates: 8-9 September 2003
All queries should be sent to:
==============================
[log in to unmask], or [log in to unmask]
|