2nd Call for Papers FASE 2002 - Fundamental Approaches to Software Engineering



Date view Thread view Subject view Author view

Ralf Kutsche (rkutsche@cs.tu-berlin.de)
Mon, 1 Oct 2001 11:11:48 +0200 (MET DST)


****************************** FASE 2002 ******************************* * * * FASE 2002 - Fundamental Approaches to Software Engineering * * Grenoble, France * * April 8-12, 2002 * * * * Part Conference of ETAPS 2002 * * European Joint Conferences on Theory and Practice of Software * * * * Second Call for Papers * * * ************************************************************************ Important Dates --------------- October 19, 2001 Submission deadline for FASE 2002 papers December 14, 2001 Notification of acceptance/rejection January 18, 2002 Camera-ready version due April 8-12, 2002 ETAPS 2002 conferences: CC, ESOP, FASE, FOSSACS, TACAS April 6-14, 2002 Satellite events Conference Description ---------------------- Large scale Information and Communication Infrastructures are of growing concern to industry and public organizations. They are expected to exist indefinitely long, are supposed to be flexibly adjustable to new requirements and are hence demanded to encompass evolvable software systems. This poses new challenges to software engineering research and practice: new software structuring and scaling concepts are needed for heterogeneous software federations that consist of numerous autonomously developed, communicating and inter-operating systems; new software development processes are needed to enable the continuous improvement and extension of heterogeneous software federations. Different component paradigms are under discussion now, a large number of specification and modeling language are proposed and an increasing number of software development tools and environments are made available to cope with the problems. At the same time research on new theories, concepts and techniques is under way that aims at the development of their precise and (mathematically) formal foundation. Contributions are encouraged that aim at both pragmatic concepts and their formal foundation that can lead to new engineering practices and a higher level of reliability robustness and evolvability of heterogeneous software federations. Especially sought are submissions on: * Component concepts and Component-based software architectures, including practical concepts like EJB, DCOM, or CORBA * Integration platforms and middleware systems for large scale heterogeneous software federations * Model-based software engineering * Semi-formal and formal modeling and specification techniques for component based software * Meta-models of modeling and specification concepts * Experience reports on best practices with component models and specifications, development tools, modeling environments, and software development kits * Integration of formal concepts and current best practices concepts in industrial software development Programme Committee ------------------- Egidio Astesiano (Genova, Italy) Dines Bj°rner (Lyngby, Denmark) John Daniels (London, UK) JosÚ Fiadeiro (Lisbon, Portugal) Anthony Finkelstein (London, UK) Marie-Claude Gaudel (Orsay, France) Heinrich Hu▀mann (Dresden, Germany) Ralf-Detlef Kutsche, co-chair (Berlin, Germany) Jean-Claude Laprie (Toulouse, France) Michael Loewe (Hannover, Germany) Tiziana Margaria (Dortmund, Germany) Narciso Marti Oliet (Madrid, Spain) Herbert Weber, co-chair (Berlin, Germany) Chairmen -------- Ralf-Detlef Kutsche (Germany), rkutsche@cs.tu-berlin.de Herbert Weber (Germany), herbert.weber@isst.fhg.de Invited Speaker --------------- John Daniels, Syntropy Limited, UK Submission Information ---------------------- Prospective authors are invited to submit full papers in English presenting original research. Submitted papers must be unpublished and not submitted for publication elsewhere. In particular, simultaneous submission of the same contribution to multiple ETAPS conferences is forbidden. Papers should be submitted electronically. Please send the PostScript or PDF file of your submission to fase2002@cs.tu-berlin.de Submissions in the format of any specific text processing system such as Latex, MS-Word, Adobe-Framemaker, or any other proprietary format cannot be accepted. The proceedings will be published in the Springer-Verlag Lecture Notes in Computer Science series. Final papers will be no more than 15 pages long in the format specified by Springer-Verlag at the url http://www.springer.de/comp/lncs/Authors.html It is recommended that submissions adhere to that format and length. Submissions that are clearly too long may be rejected immediately. E-mail addresses and fax numbers of the authors should be included on the title page. Additional Information ---------------------- ETAPS 2002: http://www-etaps.imag.fr/ FASE 2002: http://www.cis.cs.tu-berlin.de/~fase2002/index_general.html ----- You are cordially invited to submit a paper to the FASE conference. For any question, please send an email to the address below. Best regards, Herbert Weber & Ralf Kutsche ------------------------------------------------------------------------- Dr. Ralf-D. Kutsche | phone/international: ++49 30 ... TU Berlin, Fakultńt IV | phone/national : 030 ... Elektrotechnik und Informatik | phone : ... 314-23557 CIS - Sekr. EN7 | phone/secretary : ... 314-23555 Einsteinufer 17 | fax : ... 314-21601 D-10587 BERLIN | GERMANY | email: rkutsche@cs.tu-berlin.de -------------------------------------------------------------------------


Date view Thread view Subject view Author view