From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: X-Spam-Checker-Version: SpamAssassin 3.1.3 (2006-06-01) on yquem.inria.fr X-Spam-Level: X-Spam-Status: No, score=0.0 required=5.0 tests=HTML_MESSAGE autolearn=disabled version=3.1.3 X-Original-To: caml-list@yquem.inria.fr Delivered-To: caml-list@yquem.inria.fr Received: from mail3-relais-sop.national.inria.fr (mail3-relais-sop.national.inria.fr [192.134.164.104]) by yquem.inria.fr (Postfix) with ESMTP id 78475BC6B for ; Tue, 18 Sep 2007 15:29:31 +0200 (CEST) X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AgAAAHpv70bAXQImn2dsb2JhbACCPDSLIAICBwQGBwgY X-IronPort-AV: E=Sophos;i="4.20,268,1186351200"; d="scan'208,217";a="2865026" Received: from discorde.inria.fr ([192.93.2.38]) by mail3-smtp-sop.national.inria.fr with ESMTP; 18 Sep 2007 15:30:33 +0200 Received: from mail2-relais-roc.national.inria.fr (mail2-relais-roc.national.inria.fr [192.134.164.83]) by discorde.inria.fr (8.13.6/8.13.6) with ESMTP id l8IDTthb010837 (version=TLSv1/SSLv3 cipher=RC4-SHA bits=128 verify=OK) for ; Tue, 18 Sep 2007 15:29:56 +0200 X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AgAAALdv70bBiQmRn2dsb2JhbACCPDSLIAICBwQGBwgY X-IronPort-AV: E=Sophos;i="4.20,268,1186351200"; d="scan'208,217";a="1359208" Received: from mx2.uminho.pt ([193.137.9.145]) by mail2-smtp-roc.national.inria.fr with ESMTP; 18 Sep 2007 15:30:32 +0200 Received: from gexfe01.uminho.pt ([192.168.29.114]) by mx2.uminho.pt with Microsoft SMTPSVC(6.0.3790.3959); Tue, 18 Sep 2007 14:30:27 +0100 Received: from BEFUNCIONARIOS.uminho.pt ([192.168.29.248]) by gexfe01.uminho.pt with Microsoft SMTPSVC(6.0.3790.3959); Tue, 18 Sep 2007 14:30:30 +0100 x-mimeole: Produced By Microsoft Exchange V6.5 Content-class: urn:content-classes:message MIME-Version: 1.0 Content-Type: multipart/alternative; boundary="----_=_NextPart_001_01C7F9F8.14709E7A" Subject: CfP: MOMPES 2008 (published by IEEE CS Press) Date: Tue, 18 Sep 2007 14:30:29 +0100 Message-ID: <1200D8BEDB3DD54DBA528E210F372BF33A5A14@BEFUNCIONARIOS.uminho.pt> X-MS-Has-Attach: X-MS-TNEF-Correlator: Thread-Topic: MOMPES 2008 (published by IEEE CS Press) Thread-Index: Acf5+BRR9C/hNmBgQfO1jthMp2JBOQ== From: =?iso-8859-1?Q?Ricardo_Jorge_Silv=E9rio_Magalh=E3es_Machado?= To: , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , X-OriginalArrivalTime: 18 Sep 2007 13:30:30.0880 (UTC) FILETIME=[155A6600:01C7F9F8] X-TM-AS-Product-Ver: SMEX-7.0.0.1526-3.6.1039-15430.002 X-TM-AS-Result: No--21.488500-0.000000-1 X-j-chkmail-Score: MSGID : 46EFD2D4.000 on discorde : j-chkmail score : XX : 5/20 0 0.000 -> 2 X-Miltered: at discorde with ID 46EFD2D4.000 by Joe's j-chkmail (http://j-chkmail . ensmp . fr)! X-Spam: no; 0.00; etaps:01 model:01 notation:01 model:01 predictable:01 -column:01 ifip:01 etaps:01 joao:01 joao:01 paderborn:01 rosenstiel:01 selic:01 sztipanovits:01 notation:01 This is a multi-part message in MIME format. ------_=_NextPart_001_01C7F9F8.14709E7A Content-Type: text/plain; charset="iso-8859-1" Content-Transfer-Encoding: quoted-printable ****************************************************************** CALL FOR PAPERS 5th International Workshop on Model-based Methodologies for Pervasive and Embedded Software (MOMPES 2008) http://www.di.uminho.pt/mompes within the=20 11th European Joint Conferences on Theory and Practice of Software=20 (ETAPS 2008) Budapest - Hungary April 5, 2008 ****************************************************************** SCOPE Model Based Development (MBD) comprises approaches to software development, which rely on modelling and the systematic transition from models to executable code. This workshop focuses on the theoretical and practical aspects related with the adoption of MBD methodologies (notation, process, methods, and tools) for supporting the construction of software for pervasive and embedded systems. Suggested areas of interest in the workshop include, but are not restricted to: - Meta-modelling and Tools - Feature Modelling - Modelling of Non-Functional Requirements - Model-based Architectures - Model Transformation and Code Generation - Software Process, Product Lines and Frameworks - Model-based Analysis, Testing and Verification - Model-Based Optimization, Design Spaces and Design Rules - Models for Adaptable and Predictable System Quality - Models for Adaptive System Infrastructure - Models for Ultra-Large Scale Systems - Issues In Socio-Technical Ecosystems - Case Studies and Demonstration Cases ****************************************************************** PAPER SUBMISSION Authors are requested to submit a 10-page PDF English version (including figures, references, and appendices) of their papers in IEEE Computer Society Press 2-column format available from ftp://pubftp.computer.org/Press/Outgoing/proceedings/instruct.pdf. Submitted papers will be reviewed by at least 3 PC members. Authors of accepted papers must sign the IEEE copyright form. Full papers exceeding 10 pages will be charged for pages in excess. At least one author of each accepted submission must register and present the paper at the workshop.=20 Submissions by email to mompes@di.uminho.pt. ****************************************************************** PROCEEDINGS Proceedings containing accepted regular papers and invited papers are planned to be published by IEEE Computer Society Press. Best papers of MOMPES 2008 will be considered for publication in extended and revised form in a special issue of the Springer's journal of Innovations in Systems and Software Engineering. ****************************************************************** SPONSORING MOMPES 2008 is technically co-sponsored by IFIP WG10.2 (Embedded Systems). ****************************************************************** IMPORTANT DATES - Submission of full papers: 29.Oct.2007 - Notification of acceptance: 03.Dec.2007 - Camera-ready paper version: 04.Jan.2008 - Workshop at ETAPS 2008: 05.Apr.2008 ****************************************************************** ORGANIZING COMMITTEE - Ricardo J. Machado U Minho (PT) - Joao M. Fernandes U Minho (PT) - Rick Kazman SEI CMU (US) - Flavio Wagner UFRGS (BR) PROGRAM COMMITTEE - Len Bass SEI CMU (US) - Jean Bezivin U Nantes (FR) - Gaelle Calvary U Joseph Fourier (FR) - Hong-Mei Chen U Hawaii Manoa (US) - Sophie Dupuy-Chessa U Joseph Fourier (FR) - Joao M. Fernandes U Minho (PT) - Lidia Fuentes U Malaga (ES) - Susanne Graf VERIMAG (FR) - Luis Gomes UN Lisboa (PT) - Nick Graham Queen=92s U (CA) - Mike Hinchey NASA (US) - Jean-Marc Jezequel U Rennes & INRIA (FR) - Rick Kazman SEI CMU (US) - Ridha Khedri McMaster U (CA) - Hillel Kugler Microsoft Research (UK) - Ricardo J. Machado U Minho (PT) - Stephen J. Mellor Mentor Graphics (US) - Dirk Muthig IESE (DE) - Franz Rammig U Paderborn (DE) - Wolfgang Rosenstiel U Tuebingen (DE) - Bran Selic IBM Rational Software (CA) - Joao P. Sousa GMU (US) - Janos Sztipanovits Vanderbilt U (US) - Arie van Deursen CWI (NL) - Yves Vanderperren U Leuven (BE) - Flavio Wagner UFRGS (BR) ****************************************************************** ------_=_NextPart_001_01C7F9F8.14709E7A Content-Type: text/html; charset="iso-8859-1" Content-Transfer-Encoding: quoted-printable CfP: MOMPES 2008 (published by IEEE CS Press)

****************************************************************= **
            &= nbsp;           CALL = FOR PAPERS

  5th International Workshop on Model-based Methodologies for
         Pervasive and Embedded = Software (MOMPES 2008)

            &= nbsp;   http://www.di.uminho.pt/mompes

            &= nbsp;           &n= bsp; within the
 11th European Joint Conferences on Theory and Practice of = Software
            &= nbsp;            = (ETAPS 2008)
            &= nbsp;          Budapest - = Hungary
            &= nbsp;           April = 5, 2008


******************************************************************
SCOPE

Model Based Development (MBD) comprises approaches to software
development, which rely on modelling and the systematic transition
from models to executable code. This workshop focuses on the
theoretical and practical aspects related with the adoption of MBD
methodologies (notation, process, methods, and tools) for supporting
the construction of software for pervasive and embedded systems.
Suggested areas of interest in the workshop include, but are not
restricted to:
- Meta-modelling and Tools
- Feature Modelling
- Modelling of Non-Functional  Requirements
- Model-based Architectures
- Model Transformation and Code Generation
- Software Process, Product Lines and Frameworks
- Model-based Analysis, Testing and Verification
- Model-Based Optimization, Design Spaces and Design Rules
- Models for Adaptable and Predictable System Quality
- Models for Adaptive System Infrastructure
- Models for Ultra-Large Scale Systems
- Issues In Socio-Technical Ecosystems
- Case Studies and Demonstration Cases

******************************************************************
PAPER SUBMISSION

Authors are requested to submit a 10-page PDF English version
(including figures, references, and appendices) of their papers in
IEEE Computer Society Press 2-column format available from
ftp://pubftp.computer.org/Press/Outgoing/proceedings/instruct.pdf.<= BR> Submitted papers will be reviewed by at least 3 PC members. Authors
of accepted papers must sign the IEEE copyright form. Full papers
exceeding 10 pages will be charged for pages in excess.
At least one author of each accepted submission must register and
present the paper at the workshop.
Submissions by email to mompes@di.uminho.pt.

******************************************************************
PROCEEDINGS

Proceedings containing accepted regular papers and invited papers
are planned to be published by IEEE Computer Society Press.
Best papers of MOMPES 2008 will be considered for publication in
extended and revised form in a special issue of the Springer's
journal of Innovations in Systems and Software Engineering.

******************************************************************

SPONSORING

MOMPES 2008 is technically co-sponsored by IFIP WG10.2 (Embedded
Systems).


******************************************************************
IMPORTANT DATES

- Submission of full papers:    =         29.Oct.2007
- Notification of acceptance:   =         03.Dec.2007
- Camera-ready paper version:   =         04.Jan.2008
- Workshop at ETAPS 2008:       =         05.Apr.2008



******************************************************************
ORGANIZING COMMITTEE

- Ricardo J. Machado    U Minho (PT)
- Joao M. Fernandes     U Minho (PT)
- Rick Kazman           SEI = CMU (US)
- Flavio Wagner         UFRGS = (BR)

PROGRAM COMMITTEE
- Len Bass      =         SEI CMU (US)
- Jean Bezivin          U Nantes = (FR)
- Gaelle Calvary        U Joseph = Fourier (FR)
- Hong-Mei Chen         U Hawaii = Manoa (US)
- Sophie Dupuy-Chessa   U Joseph Fourier (FR)
- Joao M. Fernandes     U Minho (PT)
- Lidia Fuentes         U Malaga = (ES)
- Susanne Graf          VERIMAG = (FR)
- Luis Gomes    =         UN Lisboa (PT)
- Nick Graham           = Queen’s U (CA)
- Mike Hinchey          NASA = (US)
- Jean-Marc Jezequel    U Rennes & INRIA (FR)
- Rick Kazman           SEI = CMU (US)
- Ridha Khedri          McMaster = U (CA)
- Hillel Kugler         Microsoft = Research (UK)
- Ricardo J. Machado    U Minho (PT)
- Stephen J. Mellor     Mentor Graphics (US)
- Dirk Muthig           = IESE (DE)
- Franz Rammig          U = Paderborn (DE)
- Wolfgang Rosenstiel   U Tuebingen (DE)
- Bran Selic    =         IBM Rational Software = (CA)
- Joao P. Sousa         GMU (US)
- Janos Sztipanovits    Vanderbilt U (US)
- Arie van Deursen      CWI (NL)
- Yves Vanderperren     U Leuven (BE)
- Flavio Wagner         UFRGS = (BR)


******************************************************************

------_=_NextPart_001_01C7F9F8.14709E7A--