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=1.8 required=5.0 tests=HTML_FONT_FACE_BAD, HTML_MESSAGE,SPF_NEUTRAL 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 E3EF1BBAF for ; Tue, 2 Dec 2008 00:05:16 +0100 (CET) X-IronPort-AV: E=Sophos;i="4.33,698,1220220000"; d="scan'208,217";a="19778108" Received: from discorde.inria.fr ([192.93.2.38]) by mail3-smtp-sop.national.inria.fr with ESMTP; 02 Dec 2008 00:05:16 +0100 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 mB1N5G81014098 (version=TLSv1/SSLv3 cipher=RC4-SHA bits=128 verify=OK) for ; Tue, 2 Dec 2008 00:05:16 +0100 X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AmgCADD8M0nBiBMYgWdsb2JhbACCQS+PI4E4AQEWIr1tAYJ8g2Y X-IronPort-AV: E=Sophos;i="4.33,698,1220220000"; d="scan'208,217";a="17843100" Received: from unknown (HELO mx1.di.uminho.pt) ([193.136.19.24]) by mail2-smtp-roc.national.inria.fr with ESMTP; 02 Dec 2008 00:05:15 +0100 Received: (qmail 16650 invoked from network); 1 Dec 2008 23:05:10 -0000 Received: from unknown (HELO [192.168.1.100]) (jmf@[80.243.87.183]) (envelope-sender ) by mx1.di.uminho.pt (qmail-ldap-1.03) with SMTP for ; 1 Dec 2008 23:05:10 -0000 Mime-Version: 1.0 (Apple Message framework v753.1) To: types@cis.upenn.edu, codesign@ifi.unizh.ch, puml-list@cs.york.ac.uk, hwcomp@mailbase.ac.uk, softverf@nist.gov, lotos-world@site.uottawa.ca, concurrency@cwi.nl, cat-dist@mta.ca, petrinet@informatik.uni-hamburg.de, system-safety@listserv.gsfc.nasa.gov, formal-methods@cs.uidaho.edu, bug@estas1.inrets.fr, seworld@cs.colorado.edu, pdcemail@ee.uwa.edu.au, isworld@lyris.isworld.org, ieee-tcrts-request@cs.bu.edu, eapls@jiscmail.ac.uk, eatcs-it@cs.unibo.it, amast@cs.utwente.nl, tfm-list@doc.ic.ac.uk, appsem@cs.chalmers.se, theory@brics.dk, prog-lang@brics.dk, theory@cl.cam.ac.uk, focs@comlab.ox.ac.uk, prog-lang@diku.dk, eacsl@dimi.uniud.it, mailinglist@fmeurope.org, softtech@cs.uu.nl, palist@win.tue.nl, ag-list@uni-mb.si, relmics-l@mcmaster.ca, ecoop-info@ecoop.org, coq-club@pauillac.inria.fr, theorem-provers@ai.mit.edu, isabelle-users@cl.cam.ac.uk, info-hol@ultimate.cs.byu.edu, calculemus-ig@mathweb.org, lprolog@cs.umn.edu, lics-request@dcs.ed.ac.uk, pvs@csl.sri.com, logic@CS.Cornell.EDU, logic@theory.lcs.mit.edu, procos@mailbase.ac.uk, webmaster@eatcs.org, gulp@di.unipi.it, clean-list@cs.kun.nl, church-announce@types.bu.edu, tucsnews@cs.utu.fi, morphware@rhrk.uni-kl.de, reliable_computing@interval.louisiana.edu, components@artist-embedded.org, agents@cs.umbc.edu, behavior@cs.ucsd.edu, cafeobj@sran419.sra.co.jp, caml-list@inria.fr, comlab@comlab.ox.ac.uk, cs-logic@cs.indiana.edu, csl@dbai.tuwien.ac.at, dbworld@cs.wisc.edu, generic-haskell@cs.uu.nl, ifip@ifip.or.at, logic-announce@uclink4.berkeley.edu, logic-list@cs.rice.edu, reus@informatik.uni-muenchen.de, rewriting@ens-lyon.fr, isda02@softcomputing.net, lfcs-interest@dcs.ed.ac.uk, theory@cs.bham.ac.uk, acl2@cs.utexas.edu, events@fmeurope.org, pure@di.uminho.pt, lernet@di.uminho.pt, cctc-all@di.uminho.pt, sefm2005@uni-koblenz.de, fortia@fmeurope.org, members@fmeurope.org, info@fmeurope.org, appsem@appsem.org, coalgebras@iti.cs.tu-bs.de, categories@mta.ca, haskell@haskell.org, evolution@joint.org, formal-methods@imit.kth.se, fme03@isti.cnr.it, appiar@liacc.up.pt, action-semantics@brics.dk, THEORYNT@listserv.nodak.edu, com1204@lists.ccs.neu.edu, dsi@dsi.uminho.pt Message-Id: Content-Type: multipart/alternative; boundary=Apple-Mail-31-757416100 From: =?ISO-8859-1?Q?Jo=E3o_Miguel_Fernandes?= Subject: Call for Papers: MOMPES @ ICSE 2009 Date: Mon, 1 Dec 2008 23:05:19 +0000 X-Mailer: Apple Mail (2.753.1) X-Miltered: at discorde with ID 49346DAC.000 by Joe's j-chkmail (http://j-chkmail . ensmp . fr)! X-Spam: no; 0.00; model:01 notation:01 model:01 predictable:01 joao:01 hankin:01 joao:01 notation:01 predictable:01 hankin:01 2009:98 2009:98 15.:98 19.:98 16.:98 --Apple-Mail-31-757416100 Content-Transfer-Encoding: quoted-printable Content-Type: text/plain; charset=ISO-8859-1; format=flowed ****************************************************************** CALL FOR PAPERS 6th International Workshop on Model-based Methodologies for Pervasive and Embedded Software (MOMPES 2009) http://www.di.uminho.pt/mompes within the ICSE 2009 (31st International Conference on Software Engineering) Vancouver - Canada May 16, 2009 ****************************************************************** 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 The official language is English. Authors are requested to submit a PDF version of their papers in the official ICSE 09 format. Papers should not exceed 11 pages, including figures, references, and appendices. Submitted papers will be reviewed by at least 3 PC members. Submission instructions will be included in the website. Accepted papers will be published in the ACM and IEEE Digital Libraries under MOMPES 2009 Workshop Proceedings as part of the ICSE 2009 Workshop publications. ICSE will make the formal proceedings available on an ICSE memory stick. ****************************************************************** IMPORTANT DATES - Submission of full papers: 15.Jan.2009 - Notification of acceptance: 09.Feb.2009 - Camera-ready paper version: 19.Jan.2009 - Workshop at ICSE 2009: 16.May.2009 ****************************************************************** ORGANIZING COMMITTEE - Joao M. Fernandes, U Minho (PT) - Lu=EDs Lamb, UFRGS (BR) - Ricardo J. Machado, U Minho (PT) - Flavio R. Wagner, UFRGS (BR) PROGRAM COMMITTEE (under construction) - Jean B=E9zivin, INRIA & U Nantes (FR) - Dov Dori, Technion (IL) - Jo=E3o M. Fernandes, U Minho (PT) - Artur d'Avila Garcez, City University of London (UK) - Dragan Gasevic, Athabasca University (CA) - Susanne Graf, VERIMAG (FR) - Lu=EDs Gomes, UN Lisboa (PT) - Nick Graham, Queen=EDs U (CA) - Chris Hankin, Imperial College (UK) - Mike Hinchey, LERO (IE) - Lu=EDs Lamb, UFRGS (BR) - Ricardo J. Machado, U Minho (PT) - Stephen J. Mellor, Mentor Graphics (US) - Jo=E3o P. Sousa, George Mason U (US) - Fl=E1vio R. Wagner, UFRGS (BR) ****************************************************************** -- Joao M. Fernandes, Ph.D. Dept. Informatics Universidade do Minho 4710-057 Braga, PORTUGAL Phone: +351-253604454 Fax: +351-253604471 Email: jmf(AT)di(DOT)uminho(DOT)pt Web: www.di.uminho.pt/~jmf --Apple-Mail-31-757416100 Content-Transfer-Encoding: quoted-printable Content-Type: text/html; charset=ISO-8859-1

****************************************************************** =A0=A0=A0=A0=A0=A0=A0=A0=A0=A0=A0=A0=A0=A0=A0=A0=A0=A0=A0=A0=A0=A0=A0 = CALL FOR PAPERS

=A0=A0 6th International Workshop on Model-based = Methodologies for
=A0=A0=A0=A0=A0=A0=A0=A0 Pervasive and Embedded = Software (MOMPES 2009)

=A0=A0=A0=A0=A0=A0=A0=A0=A0=A0=A0=A0=A0=A0=A0= http://www.di.uminho.pt/mompes=

=A0=A0 =A0 =A0 =A0 =A0 =A0 =A0 =A0 =A0 =A0within the=A0ICSE = 2009

=A0=A0 =A0(31st International Conference on Software = Engineering)
=A0=A0 =A0 =A0 =A0 =A0 =A0 =A0 =A0 =A0 =A0 = Vancouver - Canada
=A0=A0 =A0 =A0 =A0 =A0 =A0 =A0 =A0 =A0 =A0 =A0 = =A0May 16, 2009

= ******************************************************************
= SCOPE

Model Based Development (MBD) comprises approaches to = software=A0
development, which rely on modelling and the = systematic transition=A0
from models to executable code. This = workshop focuses on the=A0
theoretical and practical aspects = related with the adoption of MBD=A0
methodologies (notation, = process, methods, and tools) for=A0
supporting the = construction of software for pervasive and=A0
embedded = systems.
Suggested areas of interest in the workshop include, = but are not=A0
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

The official language is = English.=A0
Authors are requested to submit a PDF version of = their papers in=A0
the official ICSE 09 = format.
Papers should not exceed 11 pages, including figures, = references,=A0
and appendices.=A0
Submitted papers = will be reviewed by at least 3 PC members.
Submission = instructions will be included in the website.
Accepted papers = will be published in the ACM and IEEE Digital=A0
Libraries = under MOMPES 2009 Workshop Proceedings as part of the=A0
ICSE = 2009 Workshop publications. ICSE will make the = formal=A0
proceedings=A0available on an ICSE memory = stick.

= ******************************************************************
= IMPORTANT DATES

- Submission of full papers: =A0 =A0 =A0 =A0 =A0 = =A015.Jan.2009
- Notification of acceptance:=A0=A0 =A0=A0=A0=A0=A0=A0=A0= 09.Feb.2009
- Camera-ready paper version: =A0 =A0 =A0 =A0 =A0 = 19.Jan.2009
- Workshop at ICSE 2009: =A0 =A0 =A0 =A0 =A0 =A0 =A0 = =A016.May.2009

= ******************************************************************
= ORGANIZING COMMITTEE
- Joao M. Fernandes, U Minho (PT)
-=A0Lu=ED= s Lamb, UFRGS (BR)
- Ricardo J. Machado, U Minho (PT)
- Flavio = R. Wagner, UFRGS (BR)

PROGRAM COMMITTEE (under = construction)
- Jean B=E9zivin, INRIA & U Nantes (FR)
=
-=A0Dov Dori, Technion (IL)
-=A0Jo=E3o M. Fernandes, U = Minho (PT)
-=A0Artur d'Avila Garcez, City University of = London (UK)
-=A0Dragan Gasevic, Athabasca University = (CA)
-=A0Susanne Graf, VERIMAG (FR)
-=A0Lu=EDs = Gomes, UN Lisboa (PT)
-=A0Nick Graham, Queen=EDs U (CA)
=
-=A0Chris Hankin, Imperial College (UK)
-=A0Mike = Hinchey, LERO (IE)
-=A0Lu=EDs Lamb, UFRGS (BR)
=
-=A0Ricardo J. Machado, U Minho (PT)
-=A0Stephen J. = Mellor, Mentor Graphics (US)
-=A0Jo=E3o P. Sousa, George = Mason U (US)
-=A0Fl=E1vio R. Wagner, UFRGS (BR)

= ****************************************************************** =


--
Joao M. Fernandes, = Ph.D.
Dept. Informatics
Universidade do Minho
4710-057 Braga, = PORTUGAL=A0 =A0=A0

Phone: = +351-253604454
Fax:=A0=A0 +351-253604471
Email: = jmf(AT)di(DOT)uminho(DOT)pt

= --Apple-Mail-31-757416100--